List of logic journals
Encyclopedia
This is a list of academic journals in logic
. See also: List of philosophy journals.
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
. See also: List of philosophy journals.
- Acta Philosophica FennicaActa Philosophica FennicaActa Philosophica Fennica is a peer-reviewed academic journal published by the Philosophical Society of Finland. The journal was established in 1935. From 1968-1981 it was distributed by North-Holland Publishing , and since 1981 by the Academic Bookstore . The Acta Philosophica Fennica covers all...
, Helsinki 1935 ff. - Annals of Mathematical Logic, Vols 1–23, 1970–1982.
- Annals of Pure and Applied Logic, 1983 ff. (Successor of the Annals of Mathematical Logic).
- Annals of the Japan Association for the Philosophy of Science, Tokyo 1956/1957 ff.
- AnalysisAnalysis (journal)Analysis is a peer-reviewed academic journal of philosophy established in 1933 that is published quarterly by Oxford University Press on behalf of the Analysis Trust. Prior to January 2009, the journal was published by Blackwell Publishing. Electronic access to this journal is available via JSTOR ,...
, Oxford 1933/34 ff. - Archiv für mathematische Logik und Grundlagenforschung, vols 1–26, Stuttgart-Berlin-Köln 1950–1987.
- Archive for Mathematical LogicArchive for Mathematical LogicArchive for Mathematical Logic is a peer-reviewed mathematics journal published by Springer.Founded in 1950, the journal publishes articles on mathematical logic.The journal is indexed by Mathematical Reviews and Zentralblatt MATH....
, Berlin-Heidelberg 1988 ff. vol. 27 ff. (Successor of the former). - Argumentation. An International Journal on Reasoning, Dordrecht 1987ff.
- Australasian Journal of Logic, Melbourne 2003 ff. Electronic Edition.
- DialecticaDialecticaDialectica is a quarterly philosophy journal published by Blackwell. The journal was founded in 1947 by Gaston Bachelard, Paul Bernays and Ferdinand Gonseth. Dialectica is edited in Switzerland and has a focus on analytical philosophy. The journal is the official journal of the European...
. International Review of Philosophy of Knowledge/Revue Internationale de Philosophie de la Connaissance/Internationale Zeitschrift für Philosophie der Erkenntnis, Neuchâtel-Paris 1947 ff., Vols. 20 ff. Lausanne. - Forschungen zur Logistik und zur Grundlegung der exakten Wissenschaften, Leipzig 1934–1943, Repr. in 1 vol. Hildesheim 1970.
- History and Philosophy of Logic, London 1979 ff.
- Inquiry. An Interdisciplinary Journal of Philosophy, London 1958 ff.
- Informal LogicInformal logicInformal logic, intuitively, refers to the principles of logic and logical thought outside of a formal setting. However, perhaps because of the informal in the title, the precise definition of informal logic is matters of some dispute. Ralph H. Johnson and J...
. Reasoning and Argumentation in Theory and Practice, 1990 ff - International Journal of Logic and Computation 2010 ff.
- International Logic Review, Bologna 1970 ff.
- Journal of Applied Non-Classical LogicsJournal of Applied Non-Classical LogicsJournal of Applied Non-Classical Logics is a peer reviewed journal published in France by Éditions Hermès-Lavoisier.The editor-in-chief for 2009 is Luis Fariñas del Cerro.- External links :* — official website...
, 1991 ff. - Journal of Automated ReasoningJournal of Automated ReasoningThe Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.The journal is published by...
- Journal of Logic and ComputationJournal of Logic and ComputationThe Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press....
, Oxford 1990 ff. - Journal of Logic, Language and InformationJournal of Logic, Language and InformationThe Journal of Logic, Language and Information is the official journal of the European Association for Logic, Language and Information. It provides a forum for publication of research in "natural, formal, and programming languages"....
, 1992 ff. - Journal of Logic Programming, (Elsevir Publ.) 1984–2000. Continued by *Theory and Practice of Logic
- Programming and The Journal of Logic and Algebraic Programming.
- Journal of Mathematical LogicJournal of Mathematical LogicThe Journal of Mathematical Logic was established in 2001 and is published by World Scientific. It covers the field of mathematical logic and its applications.- Abstracting and indexing :The journal is abstracted and indexed in:...
, 2001 ff. - Journal of Non-Classical Logic, 1982–1991.
- Journal of Multiple-Valued Logic and Soft Computing, 1994 ff.
- Journal of Philosophical LogicJournal of Philosophical LogicThe Journal of Philosophical Logic, is a peer-reviewed scientific journal founded in 1972. It is published by Springer and "provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical.Accordingly, the Journal publishes...
, Toronto- Dordrecht 1972 ff. - Journal of Symbolic LogicJournal of Symbolic LogicThe Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic.Founded in 1936, the journal publishes articles on mathematical logic....
, Providence, Rhode Island 1936 ff. - Linguistics and PhilosophyLinguistics and PhilosophyLinguistics and Philosophy is a peer reviewed journal addressing "structure and meaning in natural language". This journal, along with Studies in Language, is a continuation of the journal Foundations of Language ....
- Logic Journal of the IGPL, Oxford 1993 ff.
- Logica UniversalisLogica UniversalisLogica Universalis is a peer-reviewed academic journal which covers research related to universal features of logic. Topics covered include tools and techniques for studying existing systems of logic and constructing new ones, the study of the various classes of logical systems, the scope of...
- Logical Analysis and History of PhilosophyLogical Analysis and History of PhilosophyLogical Analysis and History of Philosophy is a peer-reviewed journal of philosophy. The journal publishes original work, focusing on interpreting classical philosophical texts by drawing on the resources of modern formal logic...
/ Philosophiegeschichte und Logische Analyse, Bonn 1998 ff. - Logique et Analyse, Nouvelle Serie, Löwen-Paris 1958 ff.
- Mathematical Logic Quarterly, Weinheim 1993 ff. (Successor of Zeitschrift für mathematische Logik und Grundlagen der Mathematik vols 1 –38, 1955–1992).
- Methodos. Rivista trimestriale de Metodologia e di Logica Simbolica, Milano 1949 ff.
- Miscellanea LogicaMiscellanea LogicaMiscellanea Logica is an academic journal of logic based at the Charles University in Prague. It is part of Acta Universitatis Carolinae....
- Modern Logic, vols 1–7, 1990–1997.
- Multiple-Valued Logic. An International Journal, 1996 ff.
- Nordic Journal of Philosophical LogicNordic Journal of Philosophical LogicThe Nordic Journal of Philosophical Logic was an international journal of philosophy started in May 1996. The journal considered submissions in any of the areas associated with Philosophical Logic and with the application of logic in conceptual analysis. The journal was edited at the Department of...
- Notes on LinguisticsNotes on LinguisticsNotes on Linguistics was "a quarterly publication of the International Linguistics Department of the Summer Institute of Linguistics."It originated as a subscription journal, from 1975 through 2001, intended to share practical, theoretical, and even administrative information...
- Notre Dame Journal of Formal Logic, Notre Dame, Ind., USA 1960 ff.
- Philosophia MathematicaPhilosophia MathematicaPhilosophia Mathematica is a philosophical journal devoted specifically to philosophy of mathematics. The journal publishes three issues per year....
. An International Journal for Philosophy of Modern Mathematics, Hauppauge, N. Y. 1964–1980/1981. 2nd Series 1986–1991 (6 vols). 3rd Series Oxford 1993 ff. - Prace z Logiki, Kracow 1965 ff.
- Philosophiegeschichte und logische Analyse / Logical Analysis and History of PhilosophyLogical Analysis and History of PhilosophyLogical Analysis and History of Philosophy is a peer-reviewed journal of philosophy. The journal publishes original work, focusing on interpreting classical philosophical texts by drawing on the resources of modern formal logic...
, Paderborn 1998 ff. - Proceedings of the Aristotelian Society, London 1900 ff.
- Quality and Quantity. European Journal of Methodology, Bologna 1967 ff.
- Rassegna Internazionale di Logica / International Logic Review, Bologna 1970 ff.
- Rechtstheorie. Zeitschrift für Logik, Methodenlehre, Kybernetik und Soziologie des Rechts, Berlin- München 1970 ff.
- Revue d’historie des mathématiques, Marseille 1995 ff.
- Scripta MathematicaScripta MathematicaScripta Mathematica was a quarterly journal published by Yeshiva University devoted to the philosophy, history, and expository treatment of mathematics...
. A Quarterly Journal devoted to the Philosophy, History and Expository Treatment of Mathematics, New York 1932 ff. - Studia LogicaStudia LogicaStudia Logica is an international journal of mathematics and logic. The scope of the journal is all scientific disciplines, however the main criterion for publication is not the scope of the submission, but rather the use of formal methods...
, Warszawa 1953 ff. Since vol. 54, Studia Logica. An International Journal for Symbolic Logic, Dordrecht 1995 ff. Studia Logica, Prague 1974 and 1975 (only 2 vols). Studies in Logic and the Foundations of Mathematics, Amsterdam 1951 ff. - SyntheseSyntheseSynthese is a scholarly periodical edited by Johan van Benthem, Vincent F. Hendricks and John Symons specializing in papers in epistemology, methodology and philosophy of science...
. An International Journal for Epistemology, Methodology, and Philosophy of Science, Bussum 1936; Vol. 11, 1959ff. Dordrecht . - teorema, Valencia 1971 ff.
- The Bulletin of Symbolic Logic, Champeigne, Ill. 1995 ff. (Electronic Journal of the Cornell University Library).
- Journal of Logic and Algebraic Programming, 2001 ff.
- The Journal of Symbolic Logic, 1936 ff.
- Quarterly Journal of MathematicsQuarterly Journal of MathematicsThe Quarterly Journal of Mathematics is a mathematics journal formed in 1930 from the merger of The Quarterly Journal of Pure and Applied Mathematics and the Messenger of Mathematics. According to the Journal Citation Reports, the journal has a 2009 impact factor of 0.656, ranking it 117th out of...
, Oxford 1930 – vol. 20, 1949. 2nd Series 1950 ff. - Theoria (journal). Revista de Teoria, Historia y Fundamentos de la Ciencia, San Sebastian 1962 ff.
- Theory and DecisionTheory and DecisionTheory and Decision is a peer-reviewed multidisciplinary journal of decision science published quarterly by Springer Science+Business Media. It was first published in 1970. The current editor-in-chief is Mohammed Abdellaoui. The journal publishes research in fields such as economics, game theory,...
. An International Journal for Philosophy and Methodology of the Social Sciences, Dordrecht 1970 ff. - Theory and Practice of Logic Programming, 2001 ff.
- Zeitschrift für allgemeine Wissenschaftstheorie, Wiesbaden 1970 ff, Journal for General Philosophy of Science / Zeitschrift für allgemeine Wissenschaftstheorie, Vol 21 ff, Dordrecht 1990 ff
- Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vols. 1 –38, Leipzig 1955–1992. Continued as Mathematical Logic Quarterly, vol. 39 ff, 1993 ff..