Switch to: References

Add citations

You must login to add citations.
  1. Logic in Russell's Principles of Mathematics.Gregory Landini - 1996 - Notre Dame Journal of Formal Logic 37 (4):554-584.
    Unaware of Frege's 1879 Begriffsschrift, Russell's 1903 The Principles of Mathematics set out a calculus for logic whose foundation was the doctrine that any such calculus must adopt only one style of variables–entity (individual) variables. The idea was that logic is a universal and all-encompassing science, applying alike to whatever there is–propositions, universals, classes, concrete particulars. Unfortunately, Russell's early calculus has appeared archaic if not completely obscure. This paper is an attempt to recover the formal system, showing its philosophical background (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The analysis of thoughts.Gregory Currie - 1985 - Australasian Journal of Philosophy 63 (3):283 – 298.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Frege and Wittgenstein's Tractatus.Irving M. Copi - 1976 - Philosophia 6 (3-4):447-461.
    The purpose of the article is to explain two curious doctrines maintained by frege and rejected by wittgenstein in the 'tractatus logico-philosophicus'. that a special assertion sign is necessary was maintained by frege because he wanted to apply his concept-writing to ordinary language, and it was rejected by wittgenstein because his concern in the 'tractatus' was with scientific assertions only. frege's paradoxical notion that 'the concept horse is not a concept' was a consequence of his symbolizing functions by 'unsaturated' expressions. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Peano on Symbolization, Design Principles for Notations, and the Dot Notation.Dirk Schlimm - 2021 - Philosophia Scientiae 25:95-126.
    Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present some original features of his notations. To explain the motivations underlying Peano's approach, we first present his view of logic as a method of analysis and his desire for a rigorous and concise symbolism to represent mathematical ideas. On the basis of both his practice and his explicit reflections on notations, we discuss (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On Frege’s Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs.Dirk Schlimm - 2018 - History and Philosophy of Logic 39 (1):53-79.
    Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Speech acts in mathematics.Marco Ruffino, Luca San Mauro & Giorgio Venturi - 2020 - Synthese 198 (10):10063-10087.
    We offer a novel picture of mathematical language from the perspective of speech act theory. There are distinct speech acts within mathematics, and, as we intend to show, distinct illocutionary force indicators as well. Even mathematics in its most formalized version cannot do without some such indicators. This goes against a certain orthodoxy both in contemporary philosophy of mathematics and in speech act theory. As we will comment, the recognition of distinct illocutionary acts within logic and mathematics and the incorporation (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations