In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they...
Search Result :
Temporal Logic (Stanford Encyclopedia of Philosophy)
The term Temporal Logic has been broadly used to cover all approaches to representation and reasoning about time and temporal information within a logical ...
The term Temporal Logic has been broadly used to cover all approaches to representation and reasoning about time and temporal information within a logical ...
Provability Logic (Stanford Encyclopedia of Philosophy)
Bibliography General references on provability logic. Artemov, S.N. and L.D. Beklemishev, 2004, “Provability Logic,” in Handbook of Philosophical Logic ...
Bibliography General references on provability logic. Artemov, S.N. and L.D. Beklemishev, 2004, “Provability Logic,” in Handbook of Philosophical Logic ...
Logic at Harvard
Logic at Harvard. There is a long tradition in logic at Harvard, one that continues to this day. This page contains information concerning the logic resources at ...
Logic at Harvard. There is a long tradition in logic at Harvard, one that continues to this day. This page contains information concerning the logic resources at ...
In Memoriam - Aldo Antonelli — Philosophy Department
Aldo was an incredible person. I remember taking logic from him and he would always get to the end of a line of logic and say "and then this much is obvious" and ...
Aldo was an incredible person. I remember taking logic from him and he would always get to the end of a line of logic and say "and then this much is obvious" and ...
Pearson - Contemporary Logic Design, 2/E - Randy H. Katz ...
Contemporary Logic Design, 2/E Randy H. Katz, University of California, Berkeley Gaetano Borriello, University of Washington productFormatCode=P01 ...
Contemporary Logic Design, 2/E Randy H. Katz, University of California, Berkeley Gaetano Borriello, University of Washington productFormatCode=P01 ...
Modal Logic | Internet Encyclopedia of Philosophy
Modal Logic (draft: do not quote) Modal notions go beyond the merely true or false by embedding what we say or think in a larger conceptual space referring to what ...
Modal Logic (draft: do not quote) Modal notions go beyond the merely true or false by embedding what we say or think in a larger conceptual space referring to what ...
Modal logic - Wikipedia, the free encyclopedia
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.
Abstracts of Joseph Y. Halpern's Publications
Abstracts Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference. Joseph Y. Halpern (editor) This is the proceedings of the first TARK ...
Abstracts Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference. Joseph Y. Halpern (editor) This is the proceedings of the first TARK ...
Boolean algebra - Wikipedia, the free encyclopedia
History. Boole's algebra predated the modern developments in abstract algebra and mathematical logic; it is however seen as connected to the origins of both fields. [4]
History. Boole's algebra predated the modern developments in abstract algebra and mathematical logic; it is however seen as connected to the origins of both fields. [4]
Human Knowledge: Foundations and Limits
Why is there something rather than nothing? Might the world be an illusion or dream? What exists beyond the human senses? What happens after death?
Why is there something rather than nothing? Might the world be an illusion or dream? What exists beyond the human senses? What happens after death?
Download link for In the Light of Logic (Logic and Computation in Philosophy) by Solomon Feferman :
Aucun commentaire:
Enregistrer un commentaire