论文信息 - Diversification of Object-Languages for Propositional Logics

Diversification of Object-Languages for Propositional Logics

I argue in favour of object languages of logics to be diversely-generated, that is, not having identical (or equivalent) immediate sub-formulas. In addition to diversely-generated object languages constituting a more appropriate abstraction of the use of sentential connectives in natural language, I show that such language lead to a simplifications w.r.t. some specific issues: the identity of proofs, the factual equivalence (in logics of grounding) and the Mingle axiom in Relevance logics. I also point out that some of the properties of classical logic based on freely-generated object languagest.

Nissim Francez | N. Francez

[1] Kit Fine,et al. Metaphysical Grounding: Guide to ground , 2012 .

[2] Kelly Trogdon,et al. An Introduction to Grounding , 2012 .

[3] Stephan Krämer,et al. A Note on the Logic of Worldly Ground , 2015 .

[4] Pierre Ageron. Logic without Self-Deductibility , 2005 .

[5] H. Grice. Logic and conversation , 1975 .

[6] Michael L. Tiomkin. A sequent calculus for a logic of contingencies , 2013, J. Appl. Log..

[7] Arnon Avron,et al. Whither relevance logic? , 1992, J. Philos. Log..

[8] Brian Rabern,et al. Well Founding Grounding Grounding , 2016, J. Philos. Log..

[9] Francesca Poggiolesi,et al. On constructing a logic for the notion of complete and immediate formal grounding , 2018, Synthese.

[10] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[11] R. Suszko,et al. Some theorems on abstract logics , 1970 .

[12] Francesca Poggiolesi,et al. On defining the notion of complete and immediate formal grounding , 2016, Synthese.

[13] Fabrice Correia,et al. ON THE LOGIC OF FACTUAL EQUIVALENCE , 2015, The Review of Symbolic Logic.