Skip to main content
×
Home
    • Aa
    • Aa

NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES

  • ELIA ZARDINI (a1)
Abstract
Abstract

A unified answer is offered to two distinct fundamental questions: whether a nonclassical solution to the semantic paradoxes should be extended to other apparently similar paradoxes (in particular, to the paradoxes of logical properties) and whether a nonclassical logic should be expressed in a nonclassical metalanguage. The paper starts by reviewing a budget of paradoxes involving the logical properties of validity, inconsistency, and compatibility. The author’s favored substructural approach to naive truth is then presented and it is explained how that approach can be extended in a very natural way so as to solve a certain paradox of validity. However, three individually decisive reasons are later provided for thinking that no approach adopting a classical metalanguage can adequately account for all the features involved in the paradoxes of logical properties. Consequently, the paper undertakes the task to do better, and, building on the system already developed, introduces a theory in a nonclassical metalanguage that expresses an adequate logic of naive truth and of some naive logical properties.

Copyright
Corresponding author
*LOGOS, LOGIC, LANGUAGE AND COGNITION RESEARCH GROUP DEPARTMENT OF LOGIC, HISTORY AND PHILOSOPHY OF SCIENCE UNIVERSITY OF BARCELONA and NORTHERN INSTITUTE OF PHILOSOPHY DEPARTMENT OF PHILOSOPHY UNIVERSITY OF ABERDEEN E-mail:elia.zardini@ub.edu
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

E Ashworth . (1974). Language and Logic in the Post-Medieval Period. Dordrecht, Netherlands: Reidel.

A Avron . (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57, 161184.

A Avron . (1991). Simple consequence relations. Information and Computation, 92, 105140.

J. C Beall . (2009). Spandrels of Truth. Oxford, UK: Oxford University Press.

J. C. Beall , & J Murzi . (2013). Two flavors of Curry’s paradox. The Journal of Philosophy, 110, 143165.

T Burge . (1978). Buridan and epistemic paradox. Philosophical Studies, 34, 2135.

H Field . (2006). Truth and the unprovability of consistency. Mind, 115, 567605.

H Field . (2008). Saving Truth from Paradox. Oxford, UK: Oxford University Press.

D. Kaplan , & R Montague . (1960). A paradox regained. Notre Dame Journal of Formal Logic, 1, 7990.

S Kripke . (1975). Outline of a theory of truth. The Journal of Philosophy, 72, 690716.

R. Meyer , R. Routley , & M Dunn . (1979). Curry’s paradox. Analysis, 39, 124128.

G Priest . (2006). In Contradiction (second edition). Oxford, UK: Oxford University Press.

S Read . (1979). Self-reference and validity. Synthese, 42, 265274.

S Read . (2001). Self-reference and validity revisited. In M. Yrjönsuuri , editor. Medieval Formal Logic, Dordrecht, Netherlands: Kluwer, pp. 183196.

B Russell . (1908). Mathematical logic as based on the theory of types. American Journal of Mathematics, 30, 222262.

D Scott . (1974). Completeness and axiomatizability in many-valued logic. In L. Henkin , editor. Proceedings of the Tarski Symposium, Providence, RI: American Mathematical Society, pp. 411435.

L Shapiro . (2011). Deflating logical consequence. The Philosophical Quarterly, 61, 320342.

A Tarski . (1930). Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I. Monatshefte für Mathematik und Physik, 37, 361404.

E Zardini . (2008a). Truth and what is said. Philosophical Perspectives, 22, 545574.

E Zardini . (2008b). A model of tolerance. Studia Logica, 90, 337368.

E Zardini . (2013b). Naive modus ponens. Journal of Philosophical Logic, 42, 575593.

E Zardini . (2013e). Naive logical properties and structural properties. The Journal of Philosophy. Forthcoming.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 21 *
Loading metrics...

Abstract views

Total abstract views: 144 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 26th September 2017. This data will be updated every 24 hours.