Normality Operators and Classical Collapse

&
In T. Arazim P. And Lavicka (ed.), The Logica Yearbook 2017. Londra, Regno Unito: pp. 2-20 (2018)
  Copy   BIBTEX

Abstract

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

Categories

Keywords

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

Normality operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.
Graded consequence relations and fuzzy closure operator.Giangiacomo Gerla - 1996 - Journal of Applied Non-Classical Logics 6 (4):369-379.
Schönfinkel-type Operators for Classical Logic.Katalin Bimbó - 2010 - Studia Logica 95 (3):355-378.
The measurement problem, quantisation and collapse.Lars-Göran Johansson - unknown
Normality and Majority: Towards a Statistical Understanding of Normality Statements.Corina Strößner - 2015 - Erkenntnis 80 (4):793-809.
Logic as "making it explicit".Jaroslav Peregrin - manuscript
Adaptively applying modus ponens in conditional logics of normality.Christian Strasser - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):125-148.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic.Sergey Pavlov - 2011 - Logica Universalis 5 (2):319-325.
Labelled Natural Deduction for Conditional Logics of Normality.Krysia Broda, Dov Gabbay, Luís Lamb & Alessandra Russo - 2002 - Logic Journal of the IGPL 10 (2):123-163.
Representing any-time and program-iteration by infinitary conjunction.Norihiro Kamide - 2013 - Journal of Applied Non-Classical Logics 23 (3):284 - 298.
Remarks on Gregory's “actually” operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
Remarks on variable binding term operators.Celina Abar & Mineko Yamashita - 1986 - Bulletin of the Section of Logic 15 (4):145-149.

Analytics

Added to PP
2018-12-27

Downloads
204 (#80,405)

6 months
41 (#70,679)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Massimiliano Carrara
University of Padua

Citations of this work

Add more citations

References found in this work

In contradiction: a study of the transconsistent.Graham Priest - 2006 - New York: Oxford University Press.
Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.

View all 25 references / Add more references