PhilSci Archive

Mathematical proof as (guided) intentional reasoning

Bacelar Valente, Mario (0021) Mathematical proof as (guided) intentional reasoning. [Preprint]

WarningThere is a more recent version of this item available.
[img] Text
Mathematical proof as (guided) intentional reasoning .docx

Download (338kB)

Abstract

In this paper, mathematical proofs are conceived as a form of (guided) intentional reasoning. In a proof, we start with a sentence – the premise; this sentence is followed by another, the conclusion of an inferential step. Guided by the text, we produce an autonomous reasoning process that enables us to arrive at the conclusion from the premise. That reasoning process is accompanied by a metareasoning process. Metareasoning gives rise to a feeling of correctness, which makes us feel that the reasoning is correct. Guided by the proof, we go through small inferential steps, one at a time. In each of these cycles, we produce an autonomous reasoning process that “links” the premise to the conclusion. This enables, due to our metareasoning, to associate to the verbal conclusion a feeling of correctness. In each step/cycle of the proof, as a (guided) intentional reasoning process, we have a feeling of correctness. Overall, we reach a feeling of correctness for the whole proof.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Bacelar Valente, Mario
Keywords: mathematical proof; ancient geometry; Euclid
Subjects: Specific Sciences > Mathematics
Depositing User: mario bacelar valente
Date Deposited: 13 Oct 2021 18:44
Last Modified: 13 Oct 2021 18:44
Item ID: 19681
Subjects: Specific Sciences > Mathematics
Date: 29 August 0021
URI: https://philsci-archive.pitt.edu/id/eprint/19681

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item