- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
Never shall this be proved, that things that are not are. ParmenidesTo say that something does not exist, or that there is something which is not, is clearly a contradiction in terms; hence “ ” must be true. Moreover, we should certainly expect leave to put any primitive name of our language for the “x” of any matrix “ … x … ”, and to infer the resulting singular statement from “ ”; it is difficult to contemplate any alternative logical (...) |
|
|
The concept of quantity (Größe) plays a key role in Frege's theory of real numbers. Typically enough, he refers to this theory as ?theory of quantity? (?Größenlehre?) in the second volume of his opus magnum Grundgesetze der Arithmetik (Frege 1903). In this essay, I deal, in a critical way, with Frege's treatment of the concept of quantity and his approach to analysis from the beginning of his academic career until Frege 1903. I begin with a few introductory remarks. In Section (...) |
|
|
The paper surveys two contrasting views of first‐order analyses of classical theistic doctrines about the existence and nature of God. On the first view, first‐order logic provides methods for the adequate analysis of these doctrines, for example by construing ‘God’ as a singular term or as a monadic predicate, or by taking it to be a definite description. On the second view, such analyses are conceptually inadequate, at least when the doctrines in question are viewed against the background of classical (...) |
|
|
In this paper, we want to present the genesis of Stanisław Leśniewski’s mereology. Although ‘mereology’ comes from theword ‘part’, mereology arose as a theory of collective classes. That is why we present the differences between the concepts of being a distributive class and being a collective class. Next, we present Leśniewski’s original mereology from 1927, but with a modern approach. Leśniewski was inspired to create his concept of classes and their elements by Russell’s antinomy. To face it, Leśniewski had to (...) |
|
|
|
|
|
This is a companion to a paper by the authors entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Gödel presented with the help of Gentzen’s sequents, which amounts to Jaśkowski’s natural deduction system of 1934, and which may be found in Gödel’s unpublished notes for the elementary logic course he gave in 1939 (...) |
|
|
Several difficulties, concerning the individuation and the variation of tropes, beset the initial classic version of trope theory. K. Campbell (Abstract particulars, Oxford, Basil Blackwell, 1990) presented a modified version that aims to avoid those difficulties. Unfortunately, the revised theory cannot make the case that one of the fundamental tropes, space-time, is a genuine particular. |
|
|
|
|
|
In this essay, I first solve solve a conundrum and then deal with criteria of identity, Leibniz's definition of identity and Frege's adoption of it in his (failed) attempt to define the cardinality operator contextually in terms of Hume's Principle in Die Grundlagen der Arithmetik. I argue that Frege could have omitted the intermediate step of tentatively defining the cardinality operator in the context of an equation of the form ‘NxF(x) = NxG(x)'. Frege considers Leibniz's definition of identity to be (...) |
|
|
|
|
|
From the pre-Socratics to the present, one primary aim of philosophy has been to learn from arguments. Philosophers have debated whether we could indeed do this, but they have by and large agreed on how we would use arguments if learning from argument was at all possible. They have agreed that we could learn from arguments either by starting with true premises and validly deducing further statements which must also be true and therefore constitute new knowledge, or that we could (...) |
|
|
The paper offers a historical survey of the emergence of logical formalization in twentieth-century analytically oriented philosophy of religion. This development is taken to have passed through three main ?stages?: a pioneering stage in the late nineteenth and early twentieth centuries (led by Frege and Russell), a stage of crisis in the 1920s and early 1930s (occasioned by Wittgenstein, logical positivists such as Carnap, and neo-Thomists such as Maritain), and a stage of rehabilitation in the 1930s, 1940s, and 1950s (led (...) |
|
|
In a definition (∀ x )(( x є r )↔D[ x ]) of the set r, the definiens D[ x ] must not depend on the definiendum r . This implies that all quantifiers in D[ x ] are independent of r and of (∀ x ). This cannot be implemented in the traditional first-order logic, but can be expressed in IF logic. Violations of such independence requirements are what created the typical paradoxes of set theory. Poincaré’s Vicious Circle Principle (...) |
|
|
Russell says that logical constructions are fictions. Does this show that he took them not to be real things? |
|
|
|
|
|
|
|
|
Bruno Latour, the increasingly popular French philosopher and foundational thinker for science studies, once wrote: “I know neither who I am nor what I want, but others say they know on my behalf, others who will define me, link me up, make me speak, interpret what I say, and enroll me”. This invocation of an “other” as a self-definition is no longer surprising nor radical but has long been a common answer to Plato’s famous and persistent insistence that we must, (...) |
|
|
At first russell thought (p) that whatever a proposition is about must be a constituent of it. Then, Around 1900, He discovered denoting concepts and realized that a proposition could be about something and have only its denoting concept as constituent. However, A number of remarks that he made through the years can only be understood as inspired by (p). In particular, The arguments offered in "on denoting" against the doctrine of denotation of "principles" are grounded on (p). |
|
|
There is the idea that rational belief for a single individual can be constructed via a process of unilateral argument. To preempt antipathy between the AI communities that can claim the idea that rational belief can be so constructed, we trace the idea to the beginning of this century, to Keynes' dispute with Russell over logic and probability. We review how Keynesian ideas were revived in AI's work on non-monotonic reasoning and parallel developments in philosophical logic. |
|
|
We briefly overview some of the historical landmarks on the path leading to the reduction of the number of logical connectives in classical logic. Relying on the duality inherent in Boolean algebras, we introduce a new operator ( Nallor ) that is the dual of Schönfinkel’s operator. We outline the proof that this operator by itself is sufficient to define all the connectives and operators of classical first-order logic ( Fol ). Having scrutinized the proof, we pinpoint the theorems of (...) |
|
|
Logicism is one of the great reductionist projects. Numbers and the relationships in which they stand may seem to possess suspect ontological credentials â to be entia non grata â and, further, to be beyond the reach of knowledge. In seeking to reduce mathematics to a small set of principles that form the logical basis of all reasoning, logicism holds out the prospect of ontological economy and epistemological security. This paper attempts to show that a fundamental logicist project, that of (...) |
|
|
|
|
|
|
|
|
This paper aims to shed light on the broader significance of Frege’s logicism against the background of discussing and comparing Wittgenstein’s ‘showing/saying’-distinction with Brandom’s idiom of logic as the enterprise of making the implicit rules of our linguistic practices explicit. The main thesis of this paper is that the problem of Frege’s logicism lies deeper than in its inconsistency : it lies in the basic idea that in arithmetic one can, and should, express everything that is implicitly presupposed so that (...) |
|
|
Cet article s'ajoute à la liste déjà longue de ceux qui traitent des rapports entre la théorie russellienne des descriptions définies et la théorie ramifiée des types. Seule la prétention d'aborder cette question dans une perspective nouvelle justifie ici sa présence: d'une part, la théorie des descriptions définies sera resituée dans le contexte initial et souvent méconnu de la théorie des expressions dénotantes et d'autre part, c'est à la logique intensionnelle de Russell, objet d'une méconnaissance au moins égale, que nous (...) |
|
|
|
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5cf77db6b5-fpc68 uwo