Euporia

martes, noviembre 22, 2005

Links de lógica

via Paul Wong's Logic Resources:
Active Logic Group, University of Maryland
Alan Turing - Home Page
American Mathematical Society
Argonne National Laboratory Home Page
Automated Reasoning Division
Mathematics and Computing Science Division
Association for Computing Machinery
Association for Symbolic Logic
Australian Logic Home Page
Beginnings of Set Theory
Center for Logic and Philosophy of Science, University of Ghent, Belgium
Center for Logic, Epistemology and the History of Science, Brasil
Center for the study of Language and Information, Stanford
Computability Theory
Computational Epistemology Lab, University of Waterloo
Construction of Computational Logics
Damjan Bojadziev's homepage
Department of Artificial Intelligence, University of New South Wales, Australia
Department of Mathematical Logic and Philosophy of Mathematics, Charles University, Czech Republic
Dipartimento di Informatica, University of Torino, Italy
Eda-Fukuyama-Hirose Laboratory, Waseda University, Japan
The Erdos Number Project
European Association for Logic, Language and Information
Roger Bishop Jones' Home page
Formal Method
Formal Reasoning Group, Stanford
G J Chaitin's Home Page
Godel's Page
Group of Logic, Language and Computation, King's College London
Herbert B. Enderton's Home Page
Harvey Friedman's Home Page
Institute of Computing Science, University of Leipzig, Germany
Institut de Recherche en Informatique de Toulouse, France
Institut für mathematische Logik und Grundlagenforschung
Interest Group in Pure and Applied Logics, U.K.
Kakehi Laboratory, Waseda University, Japan
Laboratory for Applied Logic, Brigham Young University
Lehrstuhl für Mathematische Logik
Logic and Computation Group at Instituto Superior Técnico, Lisboa
Logic and Computation Group at University of Pennsylvania
Logic at Charles University, Czech Republic
Logic at Delaware, U.S.
Logic at Manchester, U.K.
Logic at Munich, Germany
Logic at Notre Dame
Logic at Padova, Italy
Logic at Penn State
Logic at University of Paris
Logic Daemon
Logic Group at Berkeley
Logic Group at Bonn
Logic Group at Helsinki
Logic Group at Indiana
Logic Group at Japan Advanced Institute of Science and Technology
Logic Group at Stanford
Logic in Israel
Logic Optimization Group at Portland State University
Logic Software from CSLI
Luis Sanchis' Home Page
Mathematical Logic Around The World, University of Bonn, Germany
Max-Planck-Institut fr Informatik, Germany
Mechanized Deduction, Stanford
Metaphysics Research Lab, Stanford
Modal Operator Theory Homepage (University of Roskilde, Denmark)
NADA Project, Germany
New Foundations Home Page
Otter: An Automated Deduction System
Philosophy in Cyberspace: Logic/Science
Pure and Applied Logics at Carnegie Mellon University
Reiner Haehnle's Home Page
Saharon Shelah's Archive
The Fields Institute (University of Toronto)
The Four Colour Theorem
The Search for a Finite Projective Plane of Order 10
University of Chicago Philosophy Project
University of Michigan AI Lab Homepage
Willard van Orman Quine Home Page

Modal Operator Theory - A Program in Philosophy

MOT - The Online Companion to Modal Operator Theory - A Program in Philosophy:

The Danish Network for Philosophical Logic and Its Applications

The Danish Network for Philosophical Logic and Its Applications

lunes, noviembre 21, 2005

Mathematical Logic around the world

Google nos ofrece un listado de los links más destacados en lógica matemática.

Formal Philosophy online

Formal Philosophy, es una colección de entrevistas a distintos filósofos y lógicos eminentes editada por Vincent Hendricks and John Symons.

Reasonable

Reasonable es un software que te ayuda a estructurar diagramas simples de razonamientos complejos.

Stephen 's Guide to the logical fallacies

Index of the Logical Fallacies
Logic Books and Other References
Logic Resources on the World Wide Web
Stephen's Guide Online Store

Foundations of Mathematics

Alexander Sakharov ofrece un interesante proyecto sobre los fundamentos de las matemáticas -En su libro de referencia online- con contribuciones de: Bhupinder Anand, Harvey Friedman, Haim Gaifman, Vladik Kreinovich, Victor Makarov, Grigori Mints, Karlis Podnieks, Panu Raatikainen, Stephen Simpson.

domingo, noviembre 20, 2005

Tractatus Logico-Philosophicus

Encontré esta versión online del tractatus en inglés.