Javascript must be enabled for the correct page display

Correspondence theory for implication in LP

Derksen, T. W. (2014) Correspondence theory for implication in LP. Bachelor's Thesis, Artificial Intelligence.

AI_BA_2014_THOMASDERKSEN.pdf - Published Version

Download (299kB) | Preview
[img] Text
toestemming.pdf - Other
Restricted to Backend only

Download (21kB)


In traditional logic, there seem to be some problems with implication. Especially in many-valued logics, including Graham Priest's Logic of Paradox (LP), the validity of some inferences concerning implication can be different from human intuition about them. If you want to make these inferences invalid in LP, it can have an impact on the truth-table for implication. In this paper, I will do some research into implication in LP. First, I take a look at the correspondence between ten problematic inferences concerning implication and the truth-table for implication in LP. I will show that it is possible to make nine of these invalid by defining the truth-table for implication in certain ways. I will then describe a program that can convert any given inference in LP into a set of restrictions for the truth-table of implication. This program can be used to form the basis for a correspondence theory for implication in LP.

Item Type: Thesis (Bachelor's Thesis)
Degree programme: Artificial Intelligence
Thesis type: Bachelor's Thesis
Language: English
Date Deposited: 15 Feb 2018 08:02
Last Modified: 15 Feb 2018 08:02

Actions (login required)

View Item View Item