Fomalizirovannyĭ i konstrucktivistskiĭ podkhod k probleme istinnosti

(1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Call number

BC135.R9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

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

Elementary Applied Symbolic Logic.Bangs L. Tapscott - 1979 - Journal of Symbolic Logic 44 (2):281-282.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
A first course in mathematical logic and set theory.Michael L. O'Leary - 2016 - Hoboken, New Jersey: Wiley.
Logic in Wonderland: an introduction to logic through reading Alice's adventures in Wonderland.Nitsa Movshovitz-Hadar - 2019 - Singapore: WS Education, an imprint of World Scientific Publishing Co Pte. Edited by Atara Shriki.
Zinov'év A. A.. Ob odnom sposobé obzora funkcij istinnosti n-značnogo isčisléniá vyskazyvanij . Russian with Polish and English summaries. Studia logica, vol. 11 pp. 217–222. [REVIEW]I. Rosenberg - 1971 - Journal of Symbolic Logic 36 (4):691-691.
Einführung in die Grundbegriffe und Probleme der modernen Logik.Gisbert Hasenjaeger - 1962 - K. Alber.
Proof & truth: mathematical logic for non-mathematicians.John Hayden Woods - 1974 - Toronto: Martin.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
Principles of Truth: [Conference "Truth, Necessity and Provability", Which Was Held in Leuven, Belgium, From 18 to 20 November 1999].Volker Halbach & Leon Horsten (eds.) - 2002 - New York: De Gruyter.
Hempel C. G.. On the nature of mathematical truth. The American mathematical monthly, vol. 52 , pp. 543–556.Charles A. Baylis - 1946 - Journal of Symbolic Logic 11 (3):100-100.
Introduction.Lou Goble - 2017 - In The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 1–8.
Paul Benacerraf. Mathematical truth. The journal of philosophy, vol. 70 , pp. 661–679. - Michael Jubien. Ontology and mathematical truth. Noûs, vol. 11 , pp. 133–150. - Philip Kitcher. The plight of the Platonist. Noûs, vol. 12 , pp. 119–136. [REVIEW]W. D. Hart - 1987 - Journal of Symbolic Logic 52 (2):552-554.
Truth & assertibility.Nik Weaver - 2015 - New Jersey: World Scientific.

Analytics

Added to PP
2023-07-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references