• English
    • svenska
  • svenska 
    • English
    • svenska
  • Logga in
Redigera dokument 
  •   Startsida
  • Faculty of Humanities / 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
  • Redigera dokument
  •   Startsida
  • Faculty of Humanities / 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
  • Redigera dokument
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Sammanfattning
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 theory over time, to delete some axioms, add some new ones, or perhaps even revise our modes of reasoning. A simple model of such activity, providing a definition of what it may mean that something is provable in the long run in such a dynamic setting, is here investigated, and its relevance for the philosophical discussion about mechanism and knowable self-consistency is evaluated. On the other hand, the notion of a convergent concept, a term which, for whatever reason, has a certain tendency to its application over time, gets a precise explication in terms of trial-and-error classifiers. Formal languages, based on these classifiers, are introduced with semantics and proof systems, and are explored using standard logical methods.
Delarbeten
(I) M. Kaså. Experimental Logics, Mechanism and Knowable Consistency. Theoria, 78(3): 213-224, 2012. ::doi::10.1111/j.1755-2567.2012.01133.x
 
(II) M. Kaså. A Logic for Trial and Error Classifiers. Journal of Logic, Language and Information, 24(3):307-322, 2015. ::doi::10.1007/s10849-015-9222-7
 
(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.
 
Examinationsnivå
Doctor of Philosophy
Universitet
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
Disputation
Fredagen den 7 april 2017, kl 13:00, Sal T302, Gamla Hovrätten, Olof Wijksgatan 6
Datum för disputation
2017-04-07
E-post
martin.kasa@gu.se
Övrig beskrivning
Manuscripts of papers III and IV are provided by the author upon request.
URL:
http://hdl.handle.net/2077/51792
Samlingar
  • Acta Philosophica Gothoburgensia
  • Doctoral Theses / Doktorsavhandlingar Institutionen för filosofi, lingvistik och vetenskapsteori
  • Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet
Fil(er)
Thesis frame (269.7Kb)
Abstract (21.00Kb)
Datum
2017-03-17
Författare
Kaså, Martin
Nyckelord
convergence
dynamic meaning
experimental logics
knowable consistency
tableaux systems
trial-and-error
Publikationstyp
Doctoral thesis
ISBN
978-91-7346-903-6 (print)
978-91-7346-904-4 (digital)
ISSN
0283-2380
Serie/rapportnr.
Acta Philosophica Gothoburgensia
29
Språk
eng
Metadata
Visa fullständig post

DSpace software copyright © 2002-2016  DuraSpace
gup@ub.gu.se | Teknisk hjälp
Theme by 
Atmire NV
 

 

Visa

VisaSamlingarI datumordningFörfattareTitlarNyckelordDenna samlingI datumordningFörfattareTitlarNyckelord

Mitt konto

Logga inRegistrera dig

DSpace software copyright © 2002-2016  DuraSpace
gup@ub.gu.se | Teknisk hjälp
Theme by 
Atmire NV