66
Views
0
CrossRef citations to date
0
Altmetric
Research Article

Generalized Quantification in an Axiomatic Truth Theory

ORCID Icon
Received 31 Mar 2021, Accepted 21 Jul 2023, Published online: 05 May 2024

References

  • Aoyama, Hiroshi (1994) ‘The Strong Completeness of a System based on Kleene’s Strong Three-Valued Logic’, Notre Dame Journal of Formal Logic 35: 355–68. doi:10.1305/ndjfl/1040511343.
  • Blamey, Stephen R (2002) ‘Partial Logic’, in Dov M Gabbay and F Guenther, eds., Handbook of Philosophical Logic, 2nd edition, vol. 5: 261–353. Kluwer.
  • Chiswell, Ian and Wilfrid A Hodges (2007) Mathematical Logic. Oxford University Press.
  • Endrullis, Jörg and Lawrence S Moss (2019) ‘Syllogistic Logic with “Most”’, Mathematical Structures in Computer Science 29: 763–82. doi:10.1017/S0960129518000312.
  • Feferman, Solomon (1984) ‘Towards Useful Type-Free Theories I’, Journal of Symbolic Logic 49: 75–111. doi:10.2307/2274093.
  • Feferman, Solomon (1991) ‘Reflecting on Incompleteness’, Journal of Symbolic Logic 56: 1–49. doi:10.2307/2274902.
  • Feferman Solomon (2012) ‘Axiomatizing Truth: Why and How?’ in Ulrich Berger, Hannes Diener, Peter Schuster, and Monika Seisenberger, eds., Logic, Construction, Computation: 181–96. Ontos Verlag.
  • Fischer, Martin, Volker Halbach, Jönne Kriener, and Johannes Stern (2015) ‘Axiomatizing Semantic Theories of Truth’, Review of Symbolic Logic 8: 257–78. doi:10.1017/s1755020314000379.
  • Halbach, Volker (2014) Axiomatic Theories of Truth, revised edition. Cambridge University Press.
  • Halbach, Volker, and Leon F Horsten (2006) ‘Axiomatizing Kripke’s Theory of Truth’, Journal of Symbolic Logic 71: 677–712. doi:10.2178/jsl/1146620166.
  • Kearns, John T (1979) ‘The Strong Completeness of a System for Kleene’s Strong Three-Valued Logic’, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25: 61–68. doi: 10.1002/malq.19790250307.
  • Kripke, Saul A (1975) ‘Outline of a Theory of Truth’, Journal of Philosophy 72: 690–716. doi:10.2307/2024634.
  • McGee, Vann (1991) Truth, Vagueness, and Paradox: An Essay on the Logic of Truth. Hackett.
  • Maudlin, Tim (2004) Truth and Paradox: Solving the Riddles. Oxford University Press.
  • Mostowski, Abraham (1957) ‘On a Generalization of Quantifiers’, Fundamenta Mathematicae 44: 12–36. doi:10.2307/2964414.
  • Rumfitt, Ian (2023) ‘In Defence of PKF’, Synthese 201. doi:10.1007/s11229-022-04009-x.
  • Tarski, Alfred (1935) ‘Der Wahrheitsbegriff in den formalisierten Sprachen’, Studia Philosophica I: 261–405.
  • Tarski, Alfred (1955) ‘A Lattice-Theoretical Fixpoint Theorem and its Applications’, Pacific Journal of Mathematics 5: 285–309. doi:10.2140/pjm.1955.5.285.
  • Whittle, Bruno (2019) ‘Truth and Generalized Quantification’, Australasian Journal of Philosophy 97: 340–53. doi:10.1080/00048402.2018.1476980.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.