- 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: Citations
References in:
Guest Editor’s Introduction: JvH100 [Book Review]
Logica Universalis 6 (3-4):249-267 (2012)
Add references
You must login to add references.
|
|
|
|
|
|
Das Ziel: Konstitutionssystem der Begriffe Das Ziel der vorliegenden Untersuchungen ist die Aufstellung eines erkenntnismäßig-logischen Systems der ... |
|
|
This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work. |
|
|
This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work. |
|
|
|
|
|
Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning. |
|
|
|
|
|
This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility. |
|
|
Two conflicting interpretations of modern axiomatics will be considered. The logico-analytical interpretation goes back to Pasch, while the model-theoretical approach stems from Hilbert. This perspective takes up the distinction between logic as calculus ratiocinator versus lingua characterica that Heijenoort and Hintikka placed emphasis on. It is argued that the Heijenoort-Hintikka distinction can be carried over from logic to mathematical axiomatics. In particular, the model-theoretical viewpoint is deeply connected to a philosophy of mathematics that is not committed to a foundational perspective, (...) No categories |
|
|
Two conflicting interpretations of modern axiomatics will be considered. The logico-analytical interpretation goes back to Pasch, while the model-theoretical approach stems from Hilbert. This perspective takes up the distinction between logic as calculus ratiocinator versus lingua characterica that Heijenoort and Hintikka placed emphasis on. It is argued that the Heijenoort-Hintikka distinction can be carried over from logic to mathematical axiomatics. In particular, the model-theoretical viewpoint is deeply connected to a philosophy of mathematics that is not committed to a foundational perspective, (...) |
|
|
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to (...) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The calculus of relations was created and developed in the second half of the nineteenth century by Augustus De Morgan, Charles Sanders Peirce, and Ernst Schröder. In 1940 Alfred Tarski proposed an axiomatization for a large part of the calculus of relations. In the next decade Tarski's axiomatization led to the creation of the theory of relation algebras, and was shown to be incomplete by Roger Lyndon's discovery of nonrepresentable relation algebras. This paper introduces the calculus of relations and the (...) |
|
|
The most enlightening examination to date of the developments of Frege's thinking about his logic, this book introduces a new kind of logical language, one that ... |
|
|
|
|
|
|
|
|
|
|
|
A translation of the Écrits logiques, edited by Jean Van Heijenoort, published in 1968. |
|
|
No categories |
|
|
|
|
|
No categories |
|
|
Charles L. Dodgson's reputation as a significant figure in nineteenth-century logic was firmly established when the philosopher and historian of philosophy William Warren Bartley, III published Dodgson's ?lost? book of logic, Part II of Symbolic Logic, in 1977. Bartley's commentary and annotations confirm that Dodgson was a superb technical innovator. In this paper, I closely examine Dodgson's methods and their evolution in the two parts of Symbolic Logic to clarify and justify Bartley's claims. Then, using more recent publications and unpublished (...) |
|
|
The final two volumes, numbers IV and V, of the Oxford University Press edition of the Collected Works of Kurt Gödel [3]-[7] appeared in 2003, thus completing a project that started over twenty years earlier. What I mainly want to do here is trace, from the vantage point of my personal involvement, the at some times halting and at other times intense development of the Gödel editorial project from the first initiatives following Gödel’s death in 1978 to its completion last (...) |
|
|
|
|
|
|
|
|
No categories |
|
|
This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schroder, Leopold Lowenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic. |
|
|
In lieu of an abstract, here is a brief excerpt of the content:February 19, 2011 (11:48 am) E:\CPBR\RUSSJOUR\TYPE3002\russell 30,2 040 red.wpd Reviews 161 7 In, respectively, PaciWsm in Britain and Semi-Detached Idealists: the British Peace Movement and International Relations (Oxford: Oxford U. P., 2000). 8 See Monk 2: Chap. 13. FUNCTIONS OR PROPOSITIONAL FUNCTIONS? Alexander Paul Bozzo Philosophy / Marquette U. Milwaukee, wi 53233, usa [email protected] Michael Potter and Tom Ricketts, eds. The Cambridge Companion to Frege. Cambridge, uk: Cambridge U. (...) |
|
|
|
|
|
SummaryThe germs of future development, contained in Aristotle's logical works, are indicated, and their influence on the later evolution of logic is explained.The history of symbolic logic since Boole's Mathematical analysis and De Morgan's Formal logic, both of which were published in 1847, is divided into four approximately subsequent phases, viz.:1. algebra of logic; this phase is characterized by Boole's work;2. logical foundation of mathematics; this phase is characterized by Frege's, Peano's and Russell's work, by the discovery of the antonomies (...) |
|
|
|
|
|
One of the most influential philosophers of the twentieth century details the events of his career and describes meetings with people who have shaped the philosophical and political character of recent history. |
|
|
No categories |
|
|
This influential 1888 publication explained the real numbers, and their construction and properties, from first principles. No categories |
|
|
Die Grundlagen gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen. Studienausgabe aufgrund der textkritisch herausgegebenen Jubiläumsausgabe (Centenarausgabe). Mit Einleitung, Anmerkungen, Literaturverzeichnis und Namenregister. |
|
|
Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...) |
|
|
No categories |
|
|
No categories |
|
|
In the general theory of logic built up by Whitehead and Russell to furnish a basis for all mathematics there is a certain subtheory which is unique in its simplicity and precision; and though all other portions of the work have their roots in this subtheory, it itself is completely independent of them. Whereas the complete theory requires for the enunciation of its propositions real and apparent variables, which represent both individuals and propositional functions of different kinds, and as a (...) |
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-7c76586df8-5tf24 uwo