The Bulletin of Symbolic Logic
ISSN: 1079-8986 | eISSN: 1943-5894
The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.
Episteme
ISSN: 1742-3600 | eISSN: 1750-0117
Episteme is a general journal of epistemology in the analytic tradition that invites both informal and formal approaches. Among its primary “traditional” topics are knowledge, justification, evidence, reasons, rationality, skepticism, truth, probability, epistemic norms and values, and methodology. The journal devotes special attention to issues in social epistemology, including testimony, trust, disagreement, relativism, diversity and expertise, collective judgment, and the epistemic assessment of social institutions (e.g., science, law, democracy, and the media). The journal welcomes interdisciplinary approaches to epistemology that borrow methods from allied disciplines such as experimental psychology, linguistics, economics, game theory, evolutionary theory, and computer simulation studies.
Erkenntnis
ISSN: 0165-0106 | eISSN: 1572-8420
Erkenntnis is a globally recognized philosophical journal focused on areas inspired by 'scientific philosophy'.
History and Philosophy of Logic
ISSN: 0144-5340 | eISSN:1464-5149
Publishes research on the history of logic, referring to ancient times and the present century, and broad and general philosophical questions related to logic.
Journal of Philosophical Logic
ISSN: 0022-3611 | eISSN: 1573-0433
Journal of Philosophical Logic is a forum for work at the crossroads of philosophy and logic across multiple disciplines.
Logique et Analyse
ISSN: 0024-5836 | eISSN: 2295-5836
Logique et Analyse is an international, peer-reviewed journal that publishes research in logic, philosophy of logic and/or mathematics, argumentation-theory, and analytical philosophy, broadly conceived.
Notre Dame Journal of Formal Logic
ISSN: 0029-4527 | eISSN: 1939-0726
The Notre Dame Journal of Formal Logic, founded in 1960, aims to publish high quality and original research papers in philosophical logic, mathematical logic, and related areas, including papers of compelling historical interest. The Journal is also willing to selectively publish expository articles on important current topics of interest as well as book reviews.
The Review of Symbolic Logic
ISSN: 1755-0203 | eISSN: 1755-0211
The Review of Symbolic Logic is designed to cultivate research on the borders of logic, philosophy, and the sciences, and to support substantive interactions between these disciplines. The journal welcomes submissions in any of the following areas, broadly construed:- The general study of logical systems and their semantics,including non-classical logics and algebraic logic;- Philosophical logic and formal epistemology, including interactions with decision theory and game theory;- The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics;- Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences.
The Review welcomes submissions in all these areas.
Studia Logica
ISSN: 0039-3215 | eISSN: 1572-8730
Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic, such as those of algebra, model theory, proof theory and others. More specifically, the journal offers articles on topics in general logic (as defined in 1991 Mathematical Subject Classification) and on applications of logic to other branches of knowledge such as philosophy, the methodology of science or linguistics.
Synthese
ISSN: 0039-7857 | eISSN: 1573-0964
Synthese is a philosophy journal focusing on contemporary issues in epistemology, philosophy of science, and related fields. More specifically, we divide our areas of interest into four groups: (1) epistemology, methodology, and philosophy of science, all broadly understood. (2) The foundations of logic and mathematics, where ‘logic’, ‘mathematics’, and ‘foundations’ are all broadly understood. (3) Formal methods in philosophy, including methods connecting philosophy to other academic fields. (4) Issues in ethics and the history and sociology of logic, mathematics, and science that contribute to the contemporary studies Synthese focuses on, as described in (1)-(3) above. In order to be considered in Synthese, manuscripts need to engage in detail with and contribute substantially to the relevant current philosophical literature. Authors should make clear how their work goes beyond what has already been done in the relevant field.
Databases
Philosopher's Index
This premier bibliographic database is designed to help researchers easily find publications of interest in the field of philosophy.
Serving philosophers worldwide, it contains over 650,000 records from publications that date back to 1902 and originate from 139 countries in 37 languages.
PhilPapers
PhilPapers is a comprehensive index and bibliography of philosophy maintained by the community of philosophers.
Project MUSE
Project MUSE promotes the creation and dissemination of essential humanities and social science resources through collaboration with libraries, publishers, and scholars worldwide. Forged from a partnership between a university press and a library, Project MUSE is a trusted part of the academic and scholarly community it serves.
Thousands of Problems for Theorem Provers
TPTP is a freely available collection of problems for automated theorem proving. It is used to evaluate the efficacy of automated reasoning algorithms. Problems are expressed in a simple text-based format for first order logic or higher-order logic.
Websites
Carnap
Carnap is a free and open software framework written in Haskell for teaching and studying formal logic. Carnap powers logic courses at dozens of colleges and universities around the world.
Internet Encyclopedia of Philosophy
The Internet Encyclopedia of Philosophy (IEP) (ISSN 2161-0002) was founded in 1995 to provide open access to detailed, scholarly, peer-reviewed information on key topics and philosophers in all areas of philosophy written by philosophers from a wide variety of countries. The Encyclopedia receives no funding, and it operates through the volunteer work of the editors, authors, volunteers, and technical advisers. The Encyclopedia is free of charge and available to all users of the Internet worldwide. The staff of 30 editors hold doctorate degrees and are professors at universities around the world.
Logic Matters
Study guides and recommendations for learning logic
PhilEvents
PhilEvents is a calendar of academic events and calls for papers in philosophy around the world, allowing you to track upcoming events based on location, topics, and other criteria.
PhilPeople
PhilPeople is an online directory of philosophers, a social network for philosophers, and a tool for keeping up with everything in the philosophical profession.
PhilSci Archive
PhilSci-Archive is an electronic archive specifically tailored to and run by philosophers of science. The archive is offered as a free service to the philosophy of science community. Its goal is to promote communication in the field by the rapid dissemination of new work.
Stanford Encyclopedia of Philosophy
The Stanford Encyclopedia of Philosophy organizes scholars from around the world in philosophy and related disciplines to create and maintain an up-to-date reference work.
Books
Click the Books & EBooks Tab Above to see even more books.
A Companion to Philosophical Logic
by
Dale Jacquette (Editor)
This collection of newly commissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Written by experts from a variety of different logical and philosophical perspectives, the volume presents controversies in philosophical implications and applications of formal symbolic logic. Each section features contributors currently active in research who explain the central ideas of their special field and take a philosophical stand on recent issues in the intersection of logic and analytic philosophy
Call Number: *Available by Request
ISBN: 9781405149945
Publication Date: 2008-04-15
Philosophical Logic
by
John P. Burgess
Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, modal, conditional, relevantistic, and intuitionistic), focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it balances the philosophical and technical aspects of the subject.
Call Number: *Available by Request
ISBN: 9780691156330
Publication Date: 2012-08-26
Thinking about Logic : an introduction to the philosophy of logic
by
Stephen Read
Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and processes are founded on assumptions which are themselves amenable to philosophical investigation. He examines the fundamental principles of consequence, logical truth and correct inference within the context of logic, and shows that the principles by which we delineate consequences are themselves not guaranteed free from error. Central to the notion of truth is the beguiling issue of paradox. Its philosophical value, Read shows, lies in exposing the invalid assumption on which the paradox is built. Thinking About Logic also discusses logical puzzles which introduce questions relating to language, the world, and their relationship
Call Number: *Available by Request
ISBN: 9780192892386
Publication Date: 1995-03-23
Professional Associations
American Philosophical Association
The American Philosophical Association promotes the discipline and profession of philosophy, both within the academy and in the public arena. The APA supports the professional development of philosophers at all levels and works to foster greater understanding and appreciation of the value of philosophical inquiry.
American Philosophical Society
The American Philosophical Society, the oldest learned society in the United States, was founded in 1743 by Benjamin Franklin for the purpose of “promoting useful knowledge.” In the 21st century we sustain this mission in three principal ways. We honor and engage leading scholars, scientists, and professionals through elected membership and opportunities for interdisciplinary, intellectual fellowship, particularly in our semi-annual Meetings. We support research and discovery through grants and fellowships, lectures, publications, prizes, exhibitions, and public education. We serve scholars through a research library of manuscripts and other collections internationally recognized for their enduring historic value. The American Philosophical Society’s current activities reflect the founder’s spirit of inquiry, provide a forum for the free exchange of ideas, and convey our conviction that intellectual inquiry and critical thought are inherently in the best interest of the public.
Aristotelian Society
The stated aim of The Society is ‘the systematic study of philosophy; 1st, as to its historical development; 2nd, as to its methods and problems’. As befits its beginnings, however, the activities of The Society have been marked from its earliest days by a distinctive tone of openness and inclusivity reaching beyond the limits of academic philosophy.
Association for Symbolic Logic
The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.
Cambridge Philosophical Society
Founded in 1819 'for the purpose of promoting scientific inquiry', The Cambridge Philosophical Society is an exciting hub for the promotion of scientific research, discussion, and learning.
International Federation of Philosophical Societies
Established in 1948, FISP is the highest non-governmental world organization for philosophy. Its main objectives are: to contribute to the development of professional relations between philosophers of all countries, freely and with mutual respect; to foster contacts between institutions, societies and publications dedicated to philosophy; to collect documentation useful for the development of philosophical studies; to sponsor every five years a World Congress of Philosophy; to promote philosophical education; to prepare publications of global interest and to contribute to the impact of philosophical knowledge on global problems. FISP members are philosophical societies, associations, and similar institutions at national, regional and international levels. FISP is a member of the International Council for Philosophy and Human Sciences, the non-governmental organization that constitutes the link between international humanities federations and UNESCO.
Karl Jaspers Society of North America
The Karl Jaspers Society of North America is a philosophy organization founded on December 28, 1980 by George B. Pepper, Edith Ehrlich, and Leonard H. Ehrlich to promote study and research on the ideas of Karl Jaspers and related issues in continental philosophy.
Kurt Godel Society
The Kurt Gödel Society was founded in 1987 and is chartered in Vienna. It is an international organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel, and in other areas to which Gödel made contributions, especially mathematics, physics, theology, philosophy and Leibniz studies.
Society for Exact Philosophy
The Society for Exact Philosophy is an international scholarly association, founded in 1970, to provide sustained discussion among researchers who believe that rigorous methods have a place in philosophical investigations. To this end, the Society meets annually, alternating between locations in Canada and the U.S.
The membership of the Society is predominantly academic philosophers from Canada and the U.S., but with a membership of over 450 scholars, spanning over 20 countries, the S.E.P. includes many researchers in linguistics, cognitive science, logic & mathematics, computer science, as well as history of science, economics, law, psychology, and education.
Note: Available to Research Commons users at Atlantic, Carderock, Corona, Crane, DTRA, Indian Head, Keyport, Newport, Panama City, US Naval Observatory, and Office of Naval Research.