GUPEA >
Faculty of Arts / Humanistiska fakulteten >
Department of Philosophy, Linguistics and Theory of Science / Institutionen för filosofi, lingvistik och vetenskapsteori >
Doctoral Theses / Doktorsavhandlingar Institutionen för filosofi, lingvistik och vetenskapsteori >

Truth and Proof in the Long Run: Essays on Trial and-Error Logics


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/51792

Files in This Item:

File Description SizeFormat
gupea_2077_51792_1.pdfThesis frame269KbAdobe PDF
View/Open
gupea_2077_51792_2.pdfAbstract21KbAdobe PDF
View/Open
Title: Truth and Proof in the Long Run: Essays on Trial and-Error Logics
Authors: Kaså, Martin
E-mail: martin.kasa@gu.se
Issue Date: 17-Mar-2017
University: Göteborgs universitet. Humanistiska fakulteten
University of Gothenburg. Faculty of Arts
Institution: Department of Philosophy, Linguistics and Theory of Science ; Institutionen för filosofi, lingvistik och vetenskapsteori
Parts of work: (I) M. Kaså. Experimental Logics, Mechanism and Knowable Consistency. Theoria, 78(3): 213-224, 2012.
VIEW ARTICLE


(II) M. Kaså. A Logic for Trial and Error Classifiers. Journal of Logic, Language and Information, 24(3):307-322, 2015.
VIEW ARTICLE


(III) M. Kaså. Formally Modelling Convergent Dynamic Meaning. Results on Compactness and Axiomatizability. Submitted, 2016.

(IV) M. Kaså. Analytic Tableaux for Trial-and-Error Reasoning. Manuscript, 2017.
Date of Defence: 2017-04-07
Disputation: Fredagen den 7 april 2017, kl 13:00, Sal T302, Gamla Hovrätten, Olof Wijksgatan 6
Degree: Doctor of Philosophy
Publication type: Doctoral thesis
Series/Report no.: Acta Philosophica Gothoburgensia
29
Keywords: convergence
dynamic meaning
experimental logics
knowable consistency
tableaux systems
trial-and-error
Abstract: The theme of this book is convergence. For many philosophical representations of the evolution of theories, as well as representations of the meaning of the language used to express these theories, it has been essential that there exists some kind of convergence. This thesis introduces and collects four papers in philosophical logic pertaining to two different aspects of this basic tenet. On one hand, we have theories, their axioms and their rules of inference. We often have reason to revise a t... more
ISBN: 978-91-7346-903-6 (print)
978-91-7346-904-4 (digital)
ISSN: 0283-2380
Description: Manuscripts of papers III and IV are provided by the author upon request.
URI: http://hdl.handle.net/2077/51792
Appears in Collections:Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet
Doctoral Theses / Doktorsavhandlingar Institutionen för filosofi, lingvistik och vetenskapsteori

 

 

© Göteborgs universitet 2011