Diversification of Object-Languages for Propositional Logics

Journal of Logic, Language and Information 27 (3):193-203 (2018)
  Copy   BIBTEX

Abstract

I argue in favour of object languages of logics to be diversely-generated, that is, not having identical 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 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.

Categories

Keywords

Reprint years

DOI

10.1007/s10849-018-9266-6

Links

PhilArchive



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

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

Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.
Гіпотеза мови мислення дж. фодора й епістемічна логіка.Konstantin Rayhert - 2016 - Схід 3 (143):88-93.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz.Mateusz M. Radzki - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):27-32.
Why Combine Logics?Patrick Blackburn & Maarten de Rijke - 1997 - Studia Logica 59 (1):5 - 27.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
Não-reflexividade e quantificação.Jonas Becker Arenhart - 2012 - Principia: An International Journal of Epistemology 16 (1):33-51.
Propositional Identity and Logical Necessity.David B. Martens - 2004 - Australasian Journal of Logic 2:1-11.
The Invention of the Object: Object Orientation and the Philosophical Development of Programming Languages.Justin Joque - 2016 - Philosophy and Technology 29 (4):335-356.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
Embeddings of propositional monomodal logics.E. Zolin - 2000 - Logic Journal of the IGPL 8 (6):861-882.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Logics of Kripke meta-models.Sergey Babenyshev & Vladimir Rybakov - 2010 - Logic Journal of the IGPL 18 (6):823-836.
On completeness of intermediate predicate logics with respect to {K}ripke semantics.T. Shimura - 1995 - Bulletin of the Section of Logic 24:41-45.

Analytics

Added to PP
2018-02-16

Downloads
11 (#1,113,583)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nissim Francez
Technion, Israel Institute of Technology

Citations of this work

On Beall’s New Interpretation of $$WK_{3}$$ W K 3.Nissim Francez - 2019 - Journal of Logic, Language and Information 28 (1):1-7.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding. Cambridge University Press. pp. 37--80.
Logic and Conversation.H. P. Grice - 1975 - In Donald Davidson & Gilbert Harman (eds.), The Logic of Grammar. Encino, CA: pp. 64-75.
An introduction to grounding.Kelly Trogdon - 2013 - In Miguel Hoeltje, Benjamin Schnieder & Alex Steinberg (eds.), Varieties of Dependence. Munich, Germany: Philosophia Verlag. pp. 97-122.
The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.

View all 19 references / Add more references