In M. D'agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.), New Essays in Logic and Philosophy of Science,. College Publicationss (2010)
|Abstract||In this paper we give some formal examples of ideas developed by Penco in two papers on the tension inside Frege's notion of sense (see Penco 2003). The paper attempts to compose the tension between semantic and cognitive aspects of sense, through the idea of sense as proof or procedure – not as an alternative to the idea of sense as truth condition, but as complementary to it (as it happens sometimes in the old tradition of procedural semantics).|
|Keywords||sense proof meaning Carnap|
|Through your library||Configure|
Similar books and articles
Michael De Medeiros (2010). Common Sense. Weigl Publishers.
Carlo Penco (2003). Frege: Two Theses, Two Senses. History and Philosophy of Logic 24 (2):87-109.
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
Dag Prawitz (2012). Truth as an Epistemic Notion. Topoi 31 (1):9-16.
Mario Gómez-Torrente (2000). A Note on Formality and Logical Consequence. Journal of Philosophical Logic 29 (5):529-539.
Göran Sundholm (1994). Existence, Proof and Truth-Making: A Perspective on the Intuitionistic Conception of Truth. Topoi 13 (2):117-126.
Carlo Penco (2009). Rational Procedures. The Dialogue - Yearbook of Philosophical Hermenutics, Lit Verlag. Berlin, 2009 4 (1):137-153.
Added to index2010-01-02
Total downloads59 ( #16,406 of 549,060 )
Recent downloads (6 months)1 ( #63,185 of 549,060 )
How can I increase my downloads?