Derksen, T. W. (2014) Correspondence theory for implication in LP. Bachelor's Thesis, Artificial Intelligence.
|
Text
AI_BA_2014_THOMASDERKSEN.pdf - Published Version Download (299kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
toestemming.pdf - Other Restricted to Backend only Download (21kB) |
Abstract
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 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/12423 |
Actions (login required)
 |
View Item |