- 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
Two episodes in the unification of logic and topology
British Journal for the Philosophy of Science 36 (2):147-157 (1985)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Unification: What is it, how do we reach and why do we want it?Erik Weber - 1999 - Synthese 118 (3):479-499.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Every countably presented formal topology is spatial, classically.Silvio Valentini - 2006 - Journal of Symbolic Logic 71 (2):491-500.
A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
Highly constrained unification grammars.Daniel Feinstein & Shuly Wintner - 2008 - Journal of Logic, Language and Information 17 (3):345-381.
Multideductive logic and the theoretic-formal unification of physical theories.Edelcio G. de Souza - 2000 - Synthese 125 (1-2):253-262.
Multideductive Logic and the Theoretic-Formal Unification of Physical Theories.Edelcio G. de Souza - 2000 - Synthese 125 (1/2):253 - 262.
The spirit of unification in sociological theory.Thomas J. Fararo - 1989 - Sociological Theory 7 (2):175-190.
Analytics
Added to PP
2009-01-28
Downloads
113 (#156,947)
6 months
25 (#114,324)
2009-01-28
Downloads
113 (#156,947)
6 months
25 (#114,324)
Historical graph of downloads
Author's Profile
Citations of this work
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
Idealization in Cassirer's philosophy of mathematics.Thomas Mormann - 2008 - Philosophia Mathematica 16 (2):151 - 181.
Unification – it's magnificent but is it explanation?Ilpo Halonen & Jaakko Hintikka - 1999 - Synthese 120 (1):27-47.
Reasoning by Analogy in Mathematical Practice.Francesco Nappo & Nicolò Cangiotti - 2023 - Philosophia Mathematica 31 (2):176-215.
The introduction of topology into analytic philosophy: two movements and a coda.Samuel C. Fletcher & Nathan Lackey - 2022 - Synthese 200 (3):1-34.
References found in this work
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
From a Logical Point of View.Richard M. Martin - 1955 - Philosophy and Phenomenological Research 15 (4):574-575.
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-64dd777598-g9b9l uwo