Representing Buridan’s Divided Modal Propositions in First-Order Logic

, &
History and Philosophy of Logic 43 (3):264-274 (2021)
  Copy   BIBTEX

Abstract

Formalizing categorical propositions of traditional logic in the language of quantifiers and propositional functions is no straightforward matter, especially when modalities get involved. Starting...

Categories

Keywords

Reprint years

2022

DOI

10.1080/01445340.2021.1976042

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Formal Reconstruction of Buridan's Modal Syllogism.Spencer Johnston - 2015 - History and Philosophy of Logic 36 (1):2-17.
Ockham and Buridan on the Ampliation of Modal Propositions.Spencer Johnston - 2015 - British Journal for the History of Philosophy 23 (2):234-255.
John Buridan’s Theory of Consequence and His Octagons of Opposition.Stephen Read - 2012 - In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. pp. 93--110.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Buridan’s Secular Demarcation of Logic.Michael Toppel & Esther Ramharter - 2020 - Philosophia 49 (3):1267-1288.
John Buridan.Gyula Klima - 2009 - New York: Oxford University Press.
A philosophical conception of propositional modal logic.Edward N. Zalta - 1993 - Philosophical Topics 21 (2):263-281.
‘My Future Son is Possibly Alive’. Existential Presupposition and Empty Terms in Abelard's Modal Logic.Irene Binini - 2018 - History and Philosophy of Logic 39 (4):341-356.
The square of opposition in orthomodular logic.Hector Freytes, Christian de Ronde & Graciela Domenech - unknown
John Buridan: Portrait of a Fourteenth-Century Arts Master.Jack Zupko - 2003 - Notre Dame.
De logische geometrie van Johannes Buridanus' modale achthoek.Lorenz Demey & Philipp Steinkrüger - 2017 - Tijdschrift Voor Filosofie 79 (2):217-238.
The Modal Octagon and John Buridan's Modal Ontology.Spencer Johnston - 2016 - In Jean-Yves Béziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Basel, Switzerland: Birkhäuser. pp. 35-52.
Topos Semantics for Higher-Order Modal Logic.Steve Awodey, Kohei Kishida & Hans-Cristoph Kotzsch - 2014 - Logique Et Analyse 228:591-636.
First-order modal theories. II: Propositions.Kit Fine - 1980 - Studia Logica 39:159.
John Buridan and Jerónimo Pardo on the notion of propositio.Paloma Pérez-Ilzarbe - 2003 - In R. L. Friedman & S. Ebbesen (eds.), John Buridan and Beyond. Royal Danish Academy of Sciences and Letters. pp. 89--153.

Analytics

Added to PP
2021-10-28

Downloads
45 (#329,731)

6 months
11 (#170,645)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jonas Dagys
Vilnius University

Citations of this work

Add more citations

References found in this work

The Nature of Necessity.Alvin Plantinga - 1974 - Oxford, England: Clarendon Press.
The Development of Logic.William Kneale & Martha Kneale - 1962 - Studia Logica 15:308-310.
The Development of Logic.William Kneale & Martha Kneale - 1962 - Philosophy 40 (151):79-83.
Introduction to Logic.Irving M. Copi - 1954 - Revue de Métaphysique et de Morale 59 (3):344-345.
Treatise on Consequences.John Buridan - 2020 - Fordham University Press.

View all 13 references / Add more references