A Logic for Trial and Error Classifiers

Artikel i vetenskaplig tidskrift, refereegranskad
Författare
Martin Kaså | Institutionen för filosofi, lingvistik och vetenskapsteori
Publikationsår
2015
Publicerad i
Journal of Logic, Language and Information, 24 (3), 307-322
Sammanfattning
Trial and error classifiers, corresponding to concepts which change their extensions over time, are introduced and briefly philosophically motivated. A fragment of the language of classical first-order logic is given a new semantics, using omega-sequences of classical models, in order to interpret the basic predicates as classifiers of this kind. It turns out that we can use a natural deduction proof system which differs from classical logic only in the conditions for application of existential elimination. Soundness and completeness theorems are proved for this system.
ISSN
0925-8531
E-ISSN
1572-9583
Ämnesord
  • HUMANIORA | Filosofi, etik och religion | Filosofi
  • NATURVETENSKAP | Matematik | Algebra och logik
Nyckelord
classifiers, completeness, experimental logic, trial and error
Språk
Engelska
Publikations-ID
223875