The following pages link to Synthese Library (Q163447):
Displaying 50 items.
- Bas van Fraassen's approach to representation and models in science (Q278792) (← links)
- Strict finitism and the logic of mathematical applications (Q381241) (← links)
- Games, norms and reasons. Logic at the crossroads (Q624803) (← links)
- Reasoning about preference dynamics. (Q636214) (← links)
- Proof, computation and agency. Logic at the crossroads (Q691169) (← links)
- Probability theory. Philosophy, recent history and relations to science. Papers from the conference, Roskilde Univ., Roskilde, Denmark, September 16--18, 1998 (Q699449) (← links)
- A précis of mathematical logic. Translated from the French and German editions by Otto Bird (Q771501) (← links)
- The concept and the role of the model in mathematics and natural and social sciences. Proceedings of the colloquium sponsored by the Division of Philosophy of Sciences of the International Union of History and Philosophy of Sciences organized at Utrecht, (Q774823) (← links)
- Noneist explorations II. The Sylvan jungle. Volume 3. Edited by Dominic Hyde (Q785731) (← links)
- Handbook of philosophical logic. Vol. I: Elements of classical logic (Q792991) (← links)
- Reduction in science. Structure, examples, philosophical problems. (Papers presented at the Colloquium ''Reduktion in der Wissenschaft: Struktur, Beispiele, philosophische Probleme'', held in Bielefeld, Germany, July 18-21, 1983) (Q796495) (← links)
- Space, time, and mechanics. Basic structures of a physical theory. (Papers from a Colloquium held in Munich from 18th to 20th May 1979, conducted by the Deutsche Forschungsgemeinschaft) (Q796504) (← links)
- Space, time and causality. (Revised versions of papers read to a Conference at the University of Keele in September 1981, sponsored by the Royal Institute of Philosophy) (Q796505) (← links)
- Brouwer meets Husserl. On the phenomenology of choice sequences (Q850964) (← links)
- From the act of judging to the sentence. The problem of truth bearers from Bolzano to Tarski (Q850995) (← links)
- Signs of logic. Peircean themes on the philosophy of language, games, and communication (Q850996) (← links)
- Abductive reasoning. Logical investigations into discovery and explanation (Q850998) (← links)
- Fundamental issues of artificial intelligence. Proceedings of the 2nd conference on the philosophy and theory of artificial intelligence, PT-AI, Oxford, UK, September 21--22, 2013 (Q908101) (← links)
- Philosophical lectures on probability. Collected, edited, and annotated by Alberto Mura. With an introductory essay by Maria Carla Galavotti. Transl. by Hykel Hosni (Q952006) (← links)
- Degrees of belief. Based on the conference, Konstanz, Germany, July 2004 (Q953924) (← links)
- Logicism, intuitionism, and formalism. What has become of them? Originated from the conference and the symposium on constructive mathematics, Uppsala, Sweden, August 2004 (Q953925) (← links)
- Dynamic epistemic logic (Q953926) (← links)
- Explaining games. The epistemic programme in game theory (Q986628) (← links)
- Logic and philosophy of mathematics in the early Husserl (Q1048732) (← links)
- Deontic logic: introductory and systematic readings. (Repr. with new introd.) (Q1051626) (← links)
- Proof methods for modal and intuitionistic logics (Q1056744) (← links)
- Handbook of philosophical logic. Volume II: Extensions of classical logic (Q1062045) (← links)
- Truthlikeness (Q1100186) (← links)
- Hilbert's program. An essay on mathematical instrumentalism (Q1100453) (← links)
- An architectonic for science. The structuralist program (Q1105580) (← links)
- Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems (Q1125201) (← links)
- Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19--25, 1995 (Q1125622) (← links)
- Essays in honour of Jaakko Hintikka. On the occasion of his fiftieth birthday on January 12, 1979 (Q1132071) (← links)
- The logical structure of mathematical physics. 2nd ed., rev (Q1135832) (← links)
- Semantical investigations in Heyting's intuitionistic logic (Q1148885) (← links)
- Mechanism, mentalism, and metamathematics. An essay on finitism (Q1149428) (← links)
- Modern logic --- a survey. Historical, philosophical, and mathematical aspects of modern logic and its applications (Q1153881) (← links)
- Aspects of philosophical logic. Some logical forays into central notions of linguistics and philosophy. (Proceedings of a workshop on formal semantics of natural languages which was held in Tübingen from the 1st to the 3rd of December 1977) (Q1156121) (← links)
- The theory of indistinguishables. A search for explanatory principles below the level of physics (Q1167711) (← links)
- Papers on probability, statistics and statistical physics. Ed. by R. D. Rosenkrantz (Q1172049) (← links)
- Mathematical intuition. Phenomenology and mathematical knowledge (Q1187657) (← links)
- Papers on probability, statistics and statistical physics. Ed. by R. D. Rosenkrantz. (Q1187726) (← links)
- Analogical reasoning: Perspectives of artificial intelligence, cognitive science, and philosophy (Q1188508) (← links)
- Theory of logical calculi. Basic theory of consequence operations (Q1188523) (← links)
- Handbook of philosophical logic. Vol. IV: Topics in the philosophy of language (Q1188526) (← links)
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. (Q1188997) (← links)
- Probability and causality. Essays in honor of Wesley C. Salmon. With an annotated bibliography by Wesley C. Salmon (Q1188998) (← links)
- Kant's philosophy of mathematics. Modern essays (Q1201985) (← links)
- Philosophical problems of space and time. 2nd, enlarged ed (Q1215164) (← links)
- PSA 1972. Proceedings of the 1972 biennial meeting of the Philosophy of Science Association (Q1215359) (← links)
