New Essays in Free Logic: In Honour of Karel Lambert

Dordrecht, Netherland: Springer (2001)
  Copy   BIBTEX

Abstract

Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own as a field of research in the 1950s. As is the case with so many developments in Western philosophy, its roots can be traced back to ancient Greek philo sophy. It is only during the last fifty years, however, that it has become well established as a branch of modern logic. The name of Karel Lambert is most closely connected with this development: he gave it its name and its profile as a well defined field of research. After a development of fifty years, it is time to look back and take stock while at the same time scanning for new perspectives. This is the purpose of the papers collected in this volume. The first paper is written by Karel Lambert himself who also comments on all the papers of the other authors. In an introductory essay we give a survey of the present status of and new directions in free logic.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

Similar books and articles

On Béziau’s logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
Is there an axiom for everything?Jean-Yves Beziau - 2021 - In Oliver Passon & Christoph Benzmüller (eds.), Wider den Reduktionismus -- Ausgewählte Beiträge zum Kurt Gödel Preis 2019. Springer Nature Switzerland. pp. 103-117..
Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.Gianluca Grilletti - 2021 - Journal of Logic, Language and Information 30 (4):725-751.
Free Logic: Selected Essays.Karel Lambert - 2002 - New York: Cambridge University Press.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
An Axiomatization of Full Computation Tree Logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
Axiomatization of a Basic Logic of Logical Bilattices.Mitio Takano - 2016 - Bulletin of the Section of Logic 45 (2).
Philosophical applications of free logic.Karel Lambert (ed.) - 1991 - New York: Oxford University Press.

Analytics

Added to PP
2015-02-02

Downloads
19 (#778,470)

6 months
11 (#222,787)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alexander Hieke
University of Salzburg

Citations of this work

Free logic.John Nolt - 2021 - Stanford Encyclopedia of Philosophy.
A More Unified Approach to Free Logics.Edi Pavlović & Norbert Gratzl - 2020 - Journal of Philosophical Logic 50 (1):117-148.
Composition and Identities.Manuel Lechthaler - 2017 - Dissertation, University of Otago
State-of-affairs Semantics for Positive Free Logic.Hans-Peter Leeb - 2006 - Journal of Philosophical Logic 35 (2):183-208.
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.

Add more citations

References found in this work

No references found.

Add more references