A note on brute vs. institutional facts

Author Davide Grossi



PDF
Thumbnail PDF

File

DagSemProc.09121.8.pdf
  • Filesize: 484 kB
  • 10 pages

Document Identifiers

Author Details

Davide Grossi

Cite AsGet BibTex

Davide Grossi. A note on brute vs. institutional facts. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
https://doi.org/10.4230/DagSemProc.09121.8

Abstract

The paper investigates the famous Searlean distinction between "brute" and "institutional" concepts from a logical point of view. We show how the partitioning of the non-logical alphabet—e.g., into "brute" and "institutional" atoms—gives rise to interesting modal properties. A modal logic, called UpTo-logic, is introduced and investigated which formalizes the notion of (propositional) logical equivalence up to a given signature.
Keywords
  • Modal logic
  • brute and institutional facts

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail