Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

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

Doktorsavhandling
Författare Martin Kaså
Datum för examination 2017-04-07
Opponent at public defense Prof. Andrea Sorbi
ISBN 978-91-7346-903-6
Förlag Acta Universitatis Gothoburgensis
Förlagsort Göteborg
Publiceringsår 2017
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar hdl.handle.net/2077/51792
Ämnesord convergence, dynamic meaning, experimental logics, knowable consistency, tableaux systems, trial-and-error
Ämneskategorier Matematisk logik, Teoretisk filosofi, Logik

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?