Leibniz on Reasoning about Impossible Concepts

Lukas Grätz

doi:10.29007/jnml

Download PDF Open PDF in browser

Leibniz on Reasoning about Impossible Concepts

5 pages•Published: May 25, 2019

Lukas Grätz

Abstract

Leibniz wrote down a proof for the existence of God accompanied by a note on im- possible concepts. A possibly true contradiction is quite unusual and not compatible with mainstream logic or his “Theodicy”. His example of such a contradiction about an impossible concept, the “square circle”, is still popular in contemporary metaphysics. Similar examples make the proposition of contradiction and possible truth controversial. An alter- native formalization approach avoids contradictions by using a description logics extension to a different kind of concept composition.

Keyphrases: concept composition, Description Logics, Impossible Concept, multi-modal logic

In: Christoph Benzmüller, Xavier Parent and Alexander Steen (editors). Selected Student Contributions and Workshop Papers of LuxLogAI 2018, vol 10, pages 27--31

Links:	https://easychair.org/publications/paper/FWDH
	https://doi.org/10.29007/jnml

BibTeX entry

@inproceedings{LuxLogAI2018:Leibniz_on_Reasoning_about,
  author    = {Lukas Gr\textbackslash{}"atz},
  title     = {Leibniz on Reasoning about Impossible Concepts},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzm\textbackslash{}"uller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  pages     = {27--31},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/FWDH},
  doi       = {10.29007/jnml}}

Download PDF Open PDF in browser