Constructivisation through Induction and Conservation

Show full item record



Permalink

http://urn.fi/URN:ISBN:978-951-51-8460-3
Title: Constructivisation through Induction and Conservation
Author: Fellin, Giulio
Other contributor: Helsingin yliopisto, humanistinen tiedekunta
Helsingfors universitet, humanistiska fakulteten
University of Helsinki, Faculty of Arts
Filosofian, taiteiden ja yhteiskunnan tutkimuksen tohtoriohjelma
Doktorandprogrammet i filosofi, konstforskning och samhället
Doctoral Programme in Philosophy, Arts and Society
Publisher: Helsingin yliopisto
Date: 2022-08-26
Language: en
URI: http://urn.fi/URN:ISBN:978-951-51-8460-3
http://hdl.handle.net/10138/346530
Thesis level: Doctoral dissertation (article-based)
Abstract: The topic of this thesis lies in the intersection between proof theory and alge- braic logic. The main object of discussion, constructive reasoning, was intro- duced at the beginning of the 20th century by Brouwer, who followed Kant’s explanation of human intuition of spacial forms and time points: these are constructed step by step in a finite process by certain rules, mimicking con- structions with straightedge and compass and the construction of natural numbers, respectively. The aim of the present thesis is to show how classical reasoning, which admits some forms of indirect reasoning, can be made more constructive. The central tool that we are using are induction principles, methods that cap- ture infinite collections of objects by considering their process of generation instead of the whole class. We start by studying the interplay between cer- tain structures that satisfy induction and the calculi for some non-classical logics. We then use inductive methods to prove a few conservation theorems, which contribute to answering the question of which parts of classical logic and mathematics can be made constructive.Tämän opinnäytetyön aiheena on todistusteorian ja algebrallisen logiikan leikkauspiste. Keskustelun pääaiheen, rakentavan päättelyn, esitteli 1900-luvun alussa Brouwer, joka seurasi Kantin selitystä ihmisen intuitiosta tilamuodoista ja aikapisteistä: nämä rakennetaan askel askeleelta äärellisessä prosessissa tiettyjen sääntöjen mukaan, jotka jäljittelevät suoran ja kompassin konstruktioita ja luonnollisten lukujen konstruktiota. Tämän opinnäytetyön tavoitteena on osoittaa, kuinka klassista päättelyä, joka mahdollistaa tietyt epäsuoran päättelyn muodot, voidaan tehdä rakentavammaksi. Keskeinen työkalu, jota käytämme, ovat induktioperiaatteet, menetelmät, jotka keräävät äärettömiä objektikokoelmia ottamalla huomioon niiden luomisprosessin koko luokan sijaan. Aloitamme tutkimalla vuorovaikutusta tiettyjen induktiota tyydyttävien rakenteiden ja joidenkin ei-klassisten logiikan laskelmien välillä. Todistamme sitten induktiivisten menetelmien avulla muutamia säilymislauseita, jotka auttavat vastaamaan kysymykseen siitä, mitkä klassisen logiikan ja matematiikan osat voidaan tehdä rakentaviksi.
Subject: philosophy
Rights: Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.


Files in this item

Total number of downloads: Loading...

Files Size Format View
Fellin_Giulio_dissertation_2022.pdf 808.4Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record