Theories of truth for countable languages which conform to classical logic

Nonlinear Studies (forthcoming)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

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

A mathematical theory of truth and an application to the regress problem.S. Heikkilä - forthcoming - Nonlinear Studies 22 (2).
Classical logic and truth-value gaps.Philip Hugly & Charles Sayward - 1992 - Philosophical Papers 21 (2):141-150.
A theory of truth for a class of mathematical languages and an application.S. Heikkilä - manuscript
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.
A simple logic for comparisons and vagueness.Theodore J. Everett - 2000 - Synthese 123 (2):263-278.
A mathematically derived definitional/semantical theory of truth.Seppo Heikkilä - 2018 - Nonlinear Studies 25 (1):173-189.
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.
Notes on ω-inconsistent theories of truth in second-order languages.Eduardo Barrio & Lavinia Picollo - 2013 - Review of Symbolic Logic 6 (4):733-741.
Non‐Classical Knowledge.Ethan Jerzak - 2017 - Philosophy and Phenomenological Research 98 (1):190-220.
Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.
Modal models.Greg Restall - unknown

Analytics

Added to PP
2019-01-19

Downloads
232 (#84,163)

6 months
61 (#70,832)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Seppo Heikkilä
University of Oulu

Citations of this work

No citations found.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Truth and Theories of Truth.Panu Raatikainen - 2021 - In Piotr Stalmaszczyk (ed.), The Cambridge Handbook of the Philosophy of Language. New York, NY: Cambridge University Press. pp. 217–232..

View all 11 references / Add more references