Sense and Proof
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 | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMichael 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.
Analytics
Monthly downloads |
Added to index2010-01-02Total downloads59 ( #16,406 of 549,060 )Recent downloads (6 months)1 ( #63,185 of 549,060 )How can I increase my downloads? |
My notes
Discussion
