- 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.
|
|
|
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 (...) |
|
|
Spatial and diagrammatic reasoning is a significant part not only of logical abilities, but also of logical studies. The authors of this paper consider some novel trends in studying this type of reasoning. They show that there are the following two main trends in spatial logic: (i) logical studies of the distribution of various objects in space (logic of geometry, logic of colors, etc.); (ii) logical studies of the space algorithms applied by nature itself (logic of swarms, logic of fungi (...) |
|
|
This paper provides a historically sensitive discussion of Carnaps theory will be assessed with respect to two interpretive issues. The first concerns his mathematical sources, that is, the mathematical axioms on which his extremal axioms were based. The second concerns Carnapcompleteness of the modelss different attempts to explicate the extremal properties of a theory and puts his results in context with related metamathematical research at the time. |
|
|
This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...) |
|
|
On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...) |
|
|
The paper reviews some conceptions of logical form in the light of Andrea Iacona’s book Logical Form. I distinguish the following: logical form as schematization of natural language, provided by, for example, Aristotle’s syllogistic; the relevance to logical form of formal languages like those used by Frege and Russell to express and prove mathematical theorems; Russell’s mid-period conception of logical form as the structural cement binding propositions; the conceptions of logical form discussed by Iacona; and logical form regarded as an (...) |
|
|
It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence. |
|
|
All contributions included in the present issue were originally presented at an ‘Author Meets Critics’ session organised by Richard Zach at the Pacific Meeting of the American Philosophical Association in San Diego in the Spring of 2014. |
|
|
This paper examines four arguments in support of Frege's theory of incomplete entities, the heart of his semantics and ontology. Two of these arguments are based upon Frege's contributions to the foundations of mathematics. These are shown to be question-begging. Two are based upon Frege's solution to the problem of the relation of language to thought and reality. They are metaphysical in nature and they force Frege to maintain a theory of types. The latter puts his theory of incomplete entities (...) |
|
|
We propose a model of cognition grounded in ancient Greek philosophy which encompasses Aristotle’s categories. Taking for First Principles the brute facts of the mental actions of separation, aggregation and ordering, we derive Aristotle’s categories as follows. First, Separation lets us see single entities, giving the simple concept of an individual. Next, Aggregation lets us see instances of some kind, giving the basic concept of a particular. Then, Ordering lets us see both wholes-with-parts as well as parts-of-some-whole, giving the subtle (...) |
|
|
En este artículo delineamos una propuesta para elaborar una lógica de las ficciones desde el enfoque lúdico del pragmatismo dialógico. En efecto, centrados en una de las críticas mayores al enfoque clásico de la lógica: la esquizofrenia estructural de su semántica, recorremos los compromisos ontológicos de las dos tradiciones mayores de la lógica para establecer sus posibilidades y límites en el análisis del discurso ficcional, y la superación desde una perspectiva lúdico pragmática. |
|
|
European Journal of Philosophy, EarlyView. |
|
|
European Journal of Philosophy, Volume 29, Issue 3, Page 624-633, September 2021. |
|
|
The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...) |
|
|
This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature (...) |
|
|
|
|
|
La remisión del problema relativo al como de la captación de pensamientos a la psicología por parte de Frege ha llevado a que se imponga entre los críticos la idea de que toda consideración subjetiva está ausente en este autor. La crítica fregueana al psicologismo, sin embargo, se concentra en una crítica a la concepción psicologista de subjetividad y, correlativamente, implica una concepción de subjetividad novedosa en el contexto de la filosofía alemana de la segunda mitad del s. XIX que, (...) |
|
|
After describing the philosophical background of Kerry’s work, an account is given of the way Kerry proposed to supplement Bolzano’s conception of logic with a psychological account of the mental acts underlying mathematical judgements.In his writings Kerry criticized Frege’s work and Kerry’s views were then attacked by Frege.The following two issues were central to this controversy: the relation between the content of a concept and the object of a concept; the logical roles of the definite article.Not only did Frege in (...) |
|
|
The idea underlying the Begriffsschrift account of identities was that the content of a sentence is a function of the things it is about. If so, then if an identity a=b is about the content of its contained terms and is true, then a=a and a=b have the same content. But they do not have the same content; so, Frege concluded, identities are not about the contents of their contained terms. The way Frege regarded the matter is that in an (...) |
|
|
We reconstruct Frege’s treatment of certain deducibility problems posed by Boole. It turns out that in his formalization and solution of Boole’s problems Frege anticipates the idea of propositional resolution. |
|
|
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 (...) |
|
|
The German debates concerning the need for a reform of logic in post-Hegelian times took place under the label “The logical question”, a label introduced by Friedrich Adolf Trendelenburg. The main objective of these debates was to overcome the Hegelian identification of logic and metaphysics without re-establishing the old Aristotelian-scholastic formal logic. This paper presents the positions developed by Friedrich Adolf Trendelenburg, Otto Friedrich Gruppe, and Carl v. Prantl, each of whom advocated the importance of language in logic in order (...) |
|
|
Este artículo tiene camo finalidad estudiar la noción de aserción en dos obras del sigla XVII francés: La Logique ou l’art de penser (conocida como Lógica de Port-Royal), de Antoine Arnauld y Pierre Nicole, y la Grammaire générale et raisonnée, de Antoine Arnauld y Claude Lancelot. Se ha dividido el artículo en dos apartados dedicados respectivamente a la concepción de Port-Royal acerca del juicio, y a la teoría del verbo. A lo largo de la reflexión en torno a estos importantes (...) |
|
|
Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative. |
|
|
|
|
|
Discussion of Frege’s theory of fiction has tended to focus on the problem of empty names, and has consequently missed the truly problematic aspect of the theory, Frege’s commitment to the view that even fictional sentences that contain no empty names fail to refer. That claim prima facie conflicts with his commitment to the cognitive transparency of sense, and the determination of reference by sense. Resolving this tension compels us to recognize that fiction for Frege is a special kind of (...) |
|
|
I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...) |
|
|
|
|
|
Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) |
|
|
Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) |
|
|
This article responds to Johan Dahlbeck’s ‘Towards a pure ontology: Children’s bodies and morality’, 2014, pp. 8–23). His arguments from Nietzsche and Spinoza do not carry the weight he supposes, and the conclusions he draws from them about pedagogy would be ill-advised in practice. |
|
|
Practice-based philosophy of science has gradually arisen in the sociology of scientific knowledge (SSK) and science and technology studies (STS) during the past decades. It studies science as an ensemble of practices and theorising as one of these practices. A recent study has shown how the practice-based approach can be methodologically justified with reference to Peirce and Dewey. In this article, I will explore one consequence of that notion: science, as practice, is necessarily social. I will disambiguate five different senses (...) |
|
|
Practice-based philosophy of science has gradually arisen in the sociology of scientific knowledge (SSK) and science and technology studies (STS) during the past decades. It studies science as an ensemble of practices and theorising as one of these practices. A recent study has shown how the practice-based approach can be methodologically justified with reference to Peirce and Dewey. In this article, I will explore one consequence of that notion: science, as practice, is necessarily social. I will disambiguate five different senses (...) |
|
|
|
|
|
Philosophers disagree whether composition as identity entails mereological universalism. Bricker :264–294, 2016) has recently considered an argument which concludes that composition as identity supports universalism. The key step in this argument is the thesis that any objects are identical to some object, which Bricker justifies with the principle of the universality of identity. I will spell out this principle in more detail and argue that it has an unexpected consequence. If the universality of identity holds, then composition as identity not (...) |
|
|
I argue that common nouns should be analyzed as variables, rather than as predicates which take variables as arguments. This necessitates several unusual features to the analysis, such as allowing variables to be modally non-rigid, and assigning their values compositionally. However, treating common nouns as variables offers a variety of theoretical and empirical advantages over a more traditional analysis: It predicts the conservativity of nominal quantification, simplifies the analysis of articleless languages, derives the weak reading of sentences with donkey anaphora, (...) |
|
|
Hume's Principle, dear to neo-Logicists, maintains that equinumerosity is both necessary and sufficient for sameness of cardinal number. All the same, Whitehead demonstrated in Principia Mathematica's logic of relations that Cantor's power-class theorem entails that Hume's Principle admits of exceptions. Of course, Hume's Principle concerns cardinals and in Principia's ‘no-classes’ theory cardinals are not objects in Frege's sense. But this paper shows that the result applies as well to the theory of cardinal numbers as objects set out in Frege's Grundgesetze. (...) |
|
|
The paper first formalizes the ramified type theory as (informally) described in the Principia Mathematica [32]. This formalization is close to the ideas of the Principia, but also meets contemporary requirements on formality and accuracy, and therefore is a new supply to the known literature on the Principia (like [25], [19], [6] and [7]).As an alternative, notions from the ramified type theory are expressed in a lambda calculus style. This situates the type system of Russell and Whitehead in a modern (...) |
|
|
The paper attempts to analyze in some detail the main problems encountered in reasoning using diagrams, which may cause errors in reasoning, produce doubts concerning the reliability of diagrams, and impressions that diagrammatic reasoning lacks the rigour necessary for mathematical reasoning. The paper first argues that such impressions come from long neglect which led to a lack of well-developed, properly tested and reliable reasoning methods, as contrasted with the amount of work generations of mathematicians expended on refining the methods of (...) |
|
|
In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected. |
|
|
|
|
|
In his Naming and Necessity, Saul Kripke puts forth a series of arguments against theories of proper names he calls Frege-Russell theories. As the title reveals, Kripke takes Gottlob Frege's theory of sense and Bedeutung to be a good representative of these theories. In this essay, I characterize how Frege might have answered Kripke. I agree with Kripke that presumably Frege thought that the sense of a proper name is the same as some definite description. I, however, question his assumption (...) |
|
|
Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...) |
|
|
In the explanations of logical laws and inference rules of the mature version of Begriffsschrift in Grundgesetze, Frege uses the predicate “… is the True.” Scholars like Greimann maintain that this predicate is a metalinguistic truth-predicate for Frege. This paper examines an argument for this claim that is based on the “nominal reading” of Frege’s conception of sentences—the claim that for Frege a sentence “p” is equivalent to a nonsentential phrase like “the truth-value of the thought that p.” In particular, (...) |
|
|
Ernst Friedrich Ferdinand Zermelo transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and providing a simple and workable axiomatization setting out generative set-existence principles. Zermelo thereby tempered the ontological thrust of early set theory, initiated the delineation of what is to be regarded as set-theoretic, drawing out the combinatorial aspects from the logical, and established the basic conceptual framework for the development of modern set theory. Two (...) |
|
|
Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...) |
|
|
Set theory, it has been contended, developed from its beginnings through a progression ofmathematicalmoves, despite being intertwined with pronounced metaphysical attitudes and exaggerated foundational claims that have been held on its behalf. In this paper, the seminal results of set theory are woven together in terms of a unifying mathematical motif, one whose transmutations serve to illuminate the historical development of the subject. The motif is foreshadowed in Cantor's diagonal proof, and emerges in the interstices of the inclusion vs. membership (...) |
|
|
For the modern set theorist the empty set Ø, the singleton {a}, and the ordered pair 〈x, y〉 are at the beginning of the systematic, axiomatic development of set theory, both as a field of mathematics and as a unifying framework for ongoing mathematics. These notions are the simplest building locks in the abstract, generative conception of sets advanced by the initial axiomatization of Ernst Zermelo [1908a] and are quickly assimilated long before the complexities of Power Set, Replacement, and Choice (...) |
|
|
Ernst Friedrich Ferdinand Zermelo (1871–1953) transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and providing a simple and workable axiomatization setting out generative set-existence principles. Zermelo thereby tempered the ontological thrust of early set theory, initiated the delineation of what is to be regarded as set-theoretic, drawing out the combinatorial aspects from the logical, and established the basic conceptual framework for the development of modern set theory. (...) |
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-df5c4697d-gvqks uwo