Icefield, William (2020) Conceptual truth versus empirical truth. [Preprint]

Preview

Text conceptual_truth.pdf Download (99kB) | Preview

Abstract

Ontological arguments seek to affirm existence of a priori empirical truths by use of logic. I focus on Godel's ontological proof. Axioms utilized are definitional by usual standards, which is one reason why controversies surrounding the proof still linger on. I argue that logic without empirical supports can only be used to prove conceptual truths. In order for logic to prove empirical truths, definitions and axioms used must be based on established truths of actual reality. How Thomas Aquinas's criticism of ontological arguments unfolds in context of modern modal higher-order logic is discussed.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Icefield, William williamicefield@gmail.com
Keywords:	Godel's ontological proof, modal higher-order logic, conceptual truth, empirical truth, conceivable property, Thomas Aquinas
Subjects:	Specific Sciences > Mathematics > Applicability Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Ontology General Issues > Scientific Metaphysics
Depositing User:	William Icefield
Date Deposited:	01 Feb 2020 17:40
Last Modified:	01 Feb 2020 17:40
Item ID:	16873
Subjects:	Specific Sciences > Mathematics > Applicability Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Ontology General Issues > Scientific Metaphysics
Date:	24 January 2020
URI:	https://philsci-archive.pitt.edu/id/eprint/16873

Available Versions of this Item

• Conceptual truth versus empirical truth. (deposited 01 Feb 2020 17:40) [Currently Displayed]
  • On inference from non-instantiated properties. (deposited 16 Mar 2020 15:28)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item