Switch to: References

Add citations

You must login to add citations.
  1. Sense and Proof.Carlo Penco & Daniele Porello - 2010 - In Marcello D'Agostino, Federico Laudisa, Giulio Giorello, Telmo Pievani & Corrado Sinigaglia (eds.), New Essays in Logic and Philosophy of Science. College Publications.
    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).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Rational Procedures.Carlo Penco - 2009 - The Dialogue - Yearbook of Philosophical Hermenutics, Lit Verlag. Berlin, 2009 4 (1):137-153.
    In this paper I shall deal with the role of "understanding a thought" in the debate on the definition of the content of an assertion. I shall present a well known tension in Frege's writings, between a cognitive and semantic notion of sense. This tension is at the source of some of the major contemporary discussions, mainly because of the negative influence of Wittgenstein's Tractatus, which did not give in-depth consideration to the tension found in Frege. However many contemporary authors, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Frege: Two theses, two senses.Carlo Penco - 2003 - History and Philosophy of Logic 24 (2):87-109.
    One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Contexts in Philosophy: Pragmatic competence as filter.Carlo Penco - 2018 - Modeling and Using Context 2 (1):1-19.
    This programmatic paper is an attempt to connect some worries in the philosophy of language with some traditional views in artificial intelligence. After a short introduction to the notion of context in philosophy (§1), starting from the inventor of mathematical logic, Gottlob Frege, I list three debates in the philosophy of language where the solution is strongly undecided: §2 treats the debate between holism and molecularism; §3 describes the debate on the boundaries between semantics and pragmatics; §4 hints at a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Frege: A fusion of horizontals.Francesco Bellucci, Daniele Chiffi & Luca Zanetti - 2023 - Theoria 89 (5):690-709.
    In Die Grundgesetze der Arithmetik (I, §48), Frege introduces his rule of the fusion of horizontals, according to which if an occurrence of the horizontal stroke is followed by another occurrence of the same stroke, either in isolation or “contained” in a propositional connective, the two occurrences can be fused with each other. However, the role of this rule, and of the horizontal sign more generally, is controversial; Michael Dummett notoriously claimed, for instance, that the horizontal is “wholly superfluous” in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation