Nonlinear Studies (forthcoming)

Seppo Heikkilä
University of Oulu
Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.
Keywords language  sentence  valuation  meaning  true  false  truth predicate  logic  classical  countable
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Introduction to Set Theory.K. Hrbacek & T. Jech - 2001 - Studia Logica 69 (3):448-449.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Classical Logic and Truth-Value Gaps.Philip Hugly & Charles Sayward - 1992 - Philosophical Papers 21 (2):141-150.
A Propositional Theory of Truth.Yannis Stephanou - 2018 - Notre Dame Journal of Formal Logic 59 (4):503-545.
The Logics of Strict-Tolerant Logic.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2015 - Journal of Philosophical Logic 44 (5):551-571.
Truth Without Standard Models: Some Conceptual Problems Reloaded.Eduardo Barrio & Bruno Da Ré - 2018 - Journal of Applied Non-Classical Logics 28 (1):122-139.
A Non-Classical Theory of Truth, with an Application to Intuitionism.Storrs McCall - 1970 - American Philosophical Quarterly 7 (1):83 - 88.
Truth and Necessity in Partially Interpreted Languages.Vann Roger Mcgee - 1985 - Dissertation, University of California, Berkeley
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
Non‐Classical Knowledge.Ethan Jerzak - 2019 - Philosophy and Phenomenological Research 98 (1):190-220.
Vagueness, Truth and Logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.


Added to PP index

Total views
42 ( #229,622 of 2,348,451 )

Recent downloads (6 months)
2 ( #329,213 of 2,348,451 )

How can I increase my downloads?


My notes