- New
-
Topics
- 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
- Journals
- Submit material
- More
Switch to: References
Citations of:
Carnap's work in the foundations of logic and mathematics in a historical perspective
Synthese 93 (1-2):167 - 189 (1992)
Add citations
You must login to add citations.
|
|
|
This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) |
|
|
In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style ofPrincipia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics of (...) |
|
|
In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...) |
|
|
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’ (...) |
|
|
In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...) |
|
|
Carnap’s work was instrumental to the liberalization of empiricism in the 1930s that transformed the logical positivism of the Vienna Circle to what came to be known as logical empiricism. A central feature of this liberalization was the deployment of the Principle of Tolerance, originally introduced in logic, but now invoked in an epistemological context in “Testability and Meaning”. Immediately afterwards, starting with Foundations of Logic and Mathematics, Carnap embraced semantics and turned to interpretation to guide the choice of a (...) |
|
|
This paper consists of three sections. In the first one, some of the main developments in the philosophy of science through the xx century up to the present will be pointed out, and inserted them in the frame of some more general philosophical transformations, such as the so-called “linguistic turn” and “pragmatic turn”, respectively. In the second one, the established connection will be nuanced, from a revision of the work of a “classical” author such as Carnap. Finally, it will be (...) |
|
|
We shift attention from the development of model theory for demarcated languages to the development of this theory for fragments of a language. Although it is often assumed that model theory for demarcated languages is not compatible with a universalist conception of logic, no one has denied that model theory for fragments of a language can be compatible with that conception. It thus seems unwarranted to ignore the universalist tradition in the search for the origins and development of model theory. (...) |
|
|
En este artículo que dedicamos a las concepciones epistemológicas de Jean Cavaillès sobre el pensamiento formal y la teoría de la ciencia, analizaremos, en un primer tiempo, cómo la filosofía de las matemáticas de Cavaillès se presenta como una severa censura del logicismo y, en particular, de la empresa universalista de Carnap cuya sintaxis lógica es el blanco de las reprobaciones del filósofo francés, tanto en lo que atañe a la cuestión del formalismo como a la que estudia la relación (...) No categories |
|
|
Steve Awodey and Erich H. Reck. Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics. No categories |
|
|
This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) |
|
|
The main task in this paper is to detail and investigate Carnap’s conception of a “linguistic framework”. On this basis, we will see whether Carnap’s dichotomies, such as the analytic-synthetic distinction, are to be construed as absolute/fundamental dichotomies or merely as relative dichotomies. I argue for a novel interpretation of Carnap’s conception of a LF and, on that basis, will show that, according to Carnap, all the dichotomies to be discussed are relative dichotomies; they depend on conventional decisions concerning the (...) |
|
|
Intentionality may be dealt with in two different ways: either ontologically, as an ordinary relation to some extraordinary objects, or epistemologically, as an extraordinary relation to some ordinary objects. This paper endorses the epistemological view in order to provide a model of semiotic intentionality defined as the meaning-and-cognizing process that constitutes to power of the mind to be about something on the basis of a semiotic system. After a short introduction that presents the components of semiotic intentionality (viz. sign, act, (...) |
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-67c5d994d4-kg9jj uwo