Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Definite Descriptions in Intuitionist Positive Free Logic
  • Home
  • /
  • Definite Descriptions in Intuitionist Positive Free Logic
  1. Home /
  2. Archives /
  3. Vol. 30 No. 2 (2021): June /
  4. Articles

Definite Descriptions in Intuitionist Positive Free Logic

Authors

  • Nils Kürbis University of Łódź, Department of Logic

DOI:

https://doi.org/10.12775/LLP.2020.024

Keywords

free logic, definite descriptions, proof theory, normalisation, intuitionist logic, binary quantifiers, term forming operators

Abstract

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F,G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. 

References

Bencivenga, E., 1986, “Free logics”, pages 373–426 in D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic. Volume III: Alternatives to Classical Logic, Dortrecht: Springer. DOI: http://dx.doi.org/10.1007/978-94-017-0458-8_3

Bostock, D., 1997, Intermediate Logic, Oxford: Clarendon Press.

Czermak, J., 1974, “A logical calculus with definite descriptions”, Journal of Philosophical Logic 3 (3): 211–228. DOI: http://dx.doi.org/10.1007/BF00247223

Dummett, M., 1978, “The justification of deduction”, pages 290–318 in Truth and Other Enigmas, London: Duckworth.

Dummett, M., 1981, Frege. Philosophy of Language, 2 ed., London: Duckworth.

Dummett, M., 1993, The Logical Basis of Metaphysics, Cambridge, Mass.: Harvard University Press.

Fitting, M., and R.L. Mendelsohn, 1998, First-Order Modal Logic, Dordrecht, Boston, London: Kluwer. DOI: http://dx.doi.org/10.1007/978-94-011-5292-1

Francez, N., and R. Dyckhoff, 2012, “A note on harmony”, Journal of Philosophical Logic 41 (3): 613–628. DOI: http://dx.doi.org/10.1007/s10992-011-9208-0

Garson, J.W., 2013, Modal Logic for Philosophers, 2 ed., Cambridge University Press. DOI: http://dx.doi.org/10.1017/CBO9780511617737

Gratzl, N., 2015, “Incomplete symbols – definite descriptions revisited”, Journal of Philosophical Logic 44 (5): 489–506. DOI: http://dx.doi.org/10.1007/s10992-014-9339-1

Indrzejczak, A., 2018, “Cut-free modal theory of definite descriptions”, pages 359–378 in G.M.G. Bezhanishvili, G. D’Agostino and T. Studer (eds.), Advances in Modal Logic, vol. 12, London: College Publications.

Indrzejczak, A., 2019, “Fregean description theory in proof-theoretical setting”, Logic and Logical Philosophy 28 (1): 137–155. DOI: http://dx.doi.org/10.12775/LLP.2018.008

Indrzejczak, A., 2020a, “Existence, definedness and definite descriptions in hybrid modal logic”, pages 349–368 in N. Olivetti, R. Verbrugge, S. Negri and G. Sandu (eds.), Advances in Modal Logic 13, Rickmansworth: College Publications.

Indrzejczak, A., 2020b, “Free definite description theory - sequent calculi and cut elimination”, Logic and Logical Philosophy, 29 (4): 505–539. DOI: http://dx.doi.org/10.12775/LLP.2020.020

Indrzejczak, A., 2020c, “Free logics are cut free”, forthcoming in Studia Logica. DOI: http://dx.doi.org/10.1007/s11225-020-09929-8

Kürbis, N., 2007, “Harmony, normality and stability”. https://nilskurbis.weebly.com/uploads/4/8/9/6/48969837/kurbisstability.pdf

Kürbis, N., 2015, “Proof-theoretic semantics, a problem with negation and prospects for modality”, The Journal of Philosophical Logic 44: 713–727. DOI: http://dx.doi.org/10.1007/s10992-013-9310-6

Kürbis, N., 2019a, “A binary quantifier for definite descriptions in intuitionist negative free logic: Natural deduction and normalisation”, Bulletin of the Section of Logic 48 (2): 81–97. DOI: http://dx.doi.org/10.18778/0138-0680.48.2.01

Kürbis, N., 2019b, Proof and Falsity. A Logical Investigation, Cambridge University Press. DOI: http://dx.doi.org/10.1017/9781108686792

Kürbis, N., 2019c, “Two treatments of definite descriptions in intuitionist negative free logic”, Bulletin of the Section of Logic 48 (4): 299–318. DOI: http://dx.doi.org/10.18778/0138-0680.48.4.04

Lambert, K., 2001, “Free logic and definite descriptions”, in E. Morscher and A. Hieke (eds.), New Essays in Free Logic in Honour of Karel Lambert, Dordrecht: Kluwer. DOI: http://dx.doi.org/10.1007/978-94-015-9761-6-2

Lambert, K., and E. Bencivenga, 1986, “A free logic with simple and complex predicates”, Notre Dame Journal of Formal Logic 27 (2): 247–256. DOI: http://dx.doi.org/10.1305/ndjfl/1093636615

Prawitz, D., 1965, Natural Deduction, Stockholm, Göteborg, Uppsala: Almqvist and Wiksell.

Prawitz, D., 1979, “Proofs and the meaning and completeness of the logical constants”, pages 25–40 in J. Hintikka et al. (ed.), Essays on Mathematical and Philosophical Logic, Dordrecht: Reidel. DOI: http://dx.doi.org/10.1007/978-94-009-9825-4_2

Prawitz, D., 1987, “Dummett on a theory of meaning and its impact on logic”, pages 117–165 in B. Taylor (ed.), Michael Dummett: Contributions to Philosophy, Dordrecht: Nijhoff.

Prawitz, D., 2006, “Meaning approached via proofs”, Synthese 148: 507–524. DOI: http://dx.doi.org/10.1007/s11229-004-6295-2

Read, S., 2010, “General-elimination harmony and the meaning of the logical constants”, Journal of Philosophical Logic 39: 557–576. DOI: http://dx.doi.org/10.1007/s10992-010-9133-7

Schroeder-Heister, P., 1984, “A natural extension of natural deduction”, Journal of Symbolic Logic 49: 1284–1300. DOI: http://dx.doi.org/10.2307/2274279

Tennant, N., 1978, Natural Logic, Edinburgh: Edinburgh University Press.

Tennant, N., 2004, “A general theory of abstraction operators”, The Philosophical Quarterly 54 (214): 105–133. DOI: http://dx.doi.org/10.1111/j.0031-8094.2004.00344.x

Troestra, A., and H. Schwichtenberg, 2000, Basic Proof Theory, 2 ed., Cambridge University Press. DOI: http://dx.doi.org/10.1017/CBO9781139168717

van Fraassen, B.C., and K. Lambert, 1967, “On free description theory”, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 13: 225–240.

Whitehead, A.N., and B. Russell, 1997, Principia Mathematica to ∗56, Cambridge University Press.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2020-11-30

How to Cite

1.
KÜRBIS, Nils. Definite Descriptions in Intuitionist Positive Free Logic. Logic and Logical Philosophy. Online. 30 November 2020. Vol. 30, no. 2, pp. 227-358. [Accessed 17 June 2025]. DOI 10.12775/LLP.2020.024.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 30 No. 2 (2021): June

Section

Articles

Stats

Number of views and downloads: 1103
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

free logic, definite descriptions, proof theory, normalisation, intuitionist logic, binary quantifiers, term forming operators
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop