If-logic and truth-definition

Journal of Philosophical Logic 27 (2):143-164 (1998)
  Copy   BIBTEX

Abstract

In this paper we show that first-order languages extended with partially ordered connectives and partially ordered quantifiers define, under a certain interpretation, their own truth-predicate. The interpretation in question is in terms of games of imperfect information. This result is compared with those of Kripke and Feferman

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1017905122049

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

Super liars.Philippe Schlenker - 2010 - Review of Symbolic Logic 3 (3):374-414.
Borderline Logic.David H. Sanford - 1975 - American Philosophical Quarterly 12 (1):29-39.
Partially-ordered (branching) generalized quantifiers: A general definition.Gila Sher - 1997 - Journal of Philosophical Logic 26 (1):1-43.
Truth, proofs and functions.Jean Fichot - 2003 - Synthese 137 (1-2):43 - 58.
Kant on the Nominal Definition of Truth.Alberto Vanzo - 2010 - Kant Studien 101 (2):147-166.
Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
Partially ordered connectives and monadic monotone strict np.Lauri Hella, Merlijn Sevenster & Tero Tulenheimo - 2008 - Journal of Logic, Language and Information 17 (3):323-344.
Truth as translation – part a.Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (4):281-307.

Analytics

Added to PP
2009-01-28

Downloads
111 (#156,334)

6 months
10 (#255,509)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriel Sandu
University of Helsinki

Citations of this work

What is the axiomatic method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
Post-tarskian truth.Jaakko Hintikka - 2001 - Synthese 126 (1-2):17 - 36.
Post-Tarskian Truth.Jaakko Hintikka - 2001 - Synthese 126 (1-2):17-36.

View all 10 citations / Add more citations

References found in this work

Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
Finite partially-ordered quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.
Finite Partially‐Ordered Quantifiers.Herbert B. Enderton - 1970 - Mathematical Logic Quarterly 16 (8):393-397.
Elementary Predicate Logic.Wilfrid Hodges, D. Gabbay & F. Guenthner - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.

View all 11 references / Add more references