Semantic Criteria of Correct Formalization

In Lampert Timm (ed.), Proceedings of Gap Conference (2010)
  Copy   BIBTEX

Abstract

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

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

Similar books and articles

Adequate formalization and De Morgan’s argument.Georg Brun - 2012 - Grazer Philosophische Studien 85 (1):325-335.
Adequate formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.
Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
Categorías teóricas en el lenguaje jurídico y su formalización.Roberto José Vernengo - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1-2):191-202.
The use of philosophical arguments in quantum physics.John Losee - 1964 - Philosophy of Science 31 (1):10-17.
Interpretation.Göran Herméren - 1983 - Grazer Philosophische Studien 19 (1):131-161.
Hermeneutics, Logic and Reconstruction.Friedrich Reinmuth - 2014 - History of Philosophy & Logical Analysis 17 (1):152–190.
On the formalization of semantic conventions.James G. Williams - 1990 - Journal of Symbolic Logic 55 (1):220-243.

Analytics

Added to PP
2017-09-08

Downloads
175 (#102,953)

6 months
40 (#84,207)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Timm Lampert
Humboldt-University, Berlin

Citations of this work

No citations found.

Add more citations

References found in this work

Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
Methods of logic.Willard Van Orman Quine - 1950 - Cambridge, Mass.: Harvard University Press.
Introduction to logic.Patrick Suppes - 1957 - Mineola, N.Y.: Dover Publications.
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.

View all 22 references / Add more references