Logica di ordine superiore e verità

Titolo Rivista EPISTEMOLOGIA
Autori/Curatori Ciro De Florio
Anno di pubblicazione 2014 Fascicolo 2014/1
Lingua Italiano Numero pagine 17 P. 79-95 Dimensione file 633 KB
DOI 10.3280/EPIS2014-001005
Il DOI è il codice a barre della proprietà intellettuale: per saperne di più clicca qui

Qui sotto puoi vedere in anteprima la prima pagina di questo articolo.

Se questo articolo ti interessa, lo puoi acquistare (e scaricare in formato pdf) seguendo le facili indicazioni per acquistare il download credit. Acquista Download Credits per scaricare questo Articolo in formato PDF

Anteprima articolo

FrancoAngeli è membro della Publishers International Linking Association, Inc (PILA)associazione indipendente e non profit per facilitare (attraverso i servizi tecnologici implementati da CrossRef.org) l’accesso degli studiosi ai contenuti digitali nelle pubblicazioni professionali e scientifiche

Logic of higher order and truth. This paper takes into account Etchemendy’s argument which critiques classic tarskian notion of logical truth and it casts light on some doubtful aspect of his approach. The focus is the extensional inadequacy of tarskian logical truth with respect to the relationship between the concept of logical truth and higher order languages. In the end, it offers a series of philosophical reflections on Etchemendy’s challenge.;

Keywords:Conseguenza logica, John Etchemendy, Alfred Tarski, logica di ordine superiore, verità logica, filosofia della logica, filosofia della matematica, definizione modellistica di conseguenza logica.

  1. Boolos G. (1975). On Second-Order Logic, Journal of Philosophy, 72(16), pp. 509-527.
  2. Boolos G. (1984). To Be is to Be a Value of a Variable (or to Be some Values of some Variables), Journal of Philosophy, 81(8), pp. 430-449.
  3. Corcoran J. (ed.) (1983). Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Indianapolis, Hackett.
  4. Etchemendy J. (1990). The Concept of Logical Consequence, Cambridge (Mass.), Harvard University Press.
  5. Etchemendy J. (2008). Reflection on Consequence. In Patterson D. (ed.), New Essays on Tarski and Philosophy, New York, Oxford University Press, pp. 263-299.
  6. García-Carpintero M. (1993). The Grounds for the Model-Theoretic Account of the Logical Properties, Notre Dame Journal of Formal Logic, 34(1), pp. 107-131.
  7. Gödel K. (1953). Is Mathematics Syntax of Language?. In Feferman S. et al. (eds.), Collected Works. Vol. III, New York, Oxford University Press.
  8. Gómez-Torrente M. (1996). Tarski on Logical Consequence, Notre Dame Journal of Formal Logic, 37(1), pp. 125-151.
  9. Gómez-Torrente M. (1999). Logical Truth and Tarskian Logical Truth, Synthese, 117(3), pp. 375-408.
  10. Gómez-Torrente M. (2008). Are There Model-Theoretic Logical Truth that are not Logically True?. In Patterson D. (ed.), New Essays on Tarski and Philosophy, New York, Oxford University Press, pp. 340-368.
  11. Jané I. (2006). What is Tarski’s common concept of consequence?, Bulletin of Symbolic Logic, 12(1), pp. 1-42.
  12. Kreisel G. (1967). Informal Rigour and Completeness Proofs. In Lakatos I. (ed.), Problems in the Philosophy of Mathematics, Amsterdam, North-Holland, pp. 138-171.
  13. Mancosu P. (2006). Tarski on models and logical consequence. In Gray J., Ferreiros J., (eds.), The Architecture of Modern Mathematics, New York, Oxford University Press, pp. 209-237.
  14. McGee V. (1992). Two Problems with Tarski’s Theory of Consequence, Proceedings of the Aristotelian Society, 92, pp. 273-292. 95
  15. Ray G. (1996). Logical Consequence: A Defense of Tarski, Journal of Philosophical Logic, 25(6), pp. 617-677.
  16. Shapiro S. (1991). Foundations without Foundationalism: A Case for Second-Order Logic, Oxford, Clarendon Press.
  17. Shapiro S. (1998). Logical Consequence: Models and Modality. In Schirn M. (ed.), Philosophy of Mathematics Today, Oxford, Oxford University Press, pp. 131-156.
  18. Tarski A. (1935). The concept of truth in formalized languages. In Corcoran J. (ed.) (1983), pp. 152-278.
  19. Tarski A. (1936). On the Concept of Logical Consequence. In Corcoran J. (ed.) (1983), pp. 409-420.

Ciro De Florio, Logica di ordine superiore e verità in "EPISTEMOLOGIA" 1/2014, pp 79-95, DOI: 10.3280/EPIS2014-001005