DagSemProc.09121.8.pdf
- Filesize: 484 kB
- 10 pages
Document
A note on brute vs. institutional facts
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9121
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2009-03-11
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
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)
0PDF Downloads