Three Types and Traditions of Logic: Syllogistic, Calculus and Predicate Logic

In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 133-152 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110657883-009

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.
The place of syllogistic in logical theory.Michael Clark - 1980 - Nottingham: Nottingham University Press.
Logic & Natural Language: On Plural Reference and its Semantic and Logical Significance.Hanoch Ben-Yami - 2004 - Routledge.
A Cube of Opposition for Predicate Logic.Jørgen Fischer Nilsson - 2020 - Logica Universalis 14 (1):103-114.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Continuation-passing style models complete for intuitionistic logic.Danko Ilik - 2013 - Annals of Pure and Applied Logic 164 (6):651-662.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
Herbrand E a silogística ampliada.Frank Thomas Sautter - 2015 - Philósophos - Revista de Filosofia 20 (1):125-144.
Algebraic logic and predicate functors.W. V. Quine - 1971 - [Indianapolis,: Bobbs-Merrill.
The Elements of Formal Logic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):813-813.
Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.

Analytics

Added to PP
2020-06-17

Downloads
33 (#486,491)

6 months
20 (#131,944)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wolfgang Kienzler
Friedrich Schiller Universität, Jena

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references