The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem

Fiche du document

Auteurs
Date

2008

Discipline
Type de document
Périmètre
Langue
Identifiants
Source

HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques

Collection

Archives ouvertes

Organisation

Centre pour la communication scientifique directe

Licences

http://creativecommons.org/licenses/by-nc/ , info:eu-repo/semantics/OpenAccess

Mots-clés En

philosophy of mathematics

Sujets proches En

Knowledge--Philosophy Mental philosophy Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive Attorneys Solicitors Bar Jurists Advocates Lawyers--Legal status, laws, etc Legal profession Barristers Explanation (Philosophy)

Citer ce document

Göran Sundholm et al., « The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10670/1.ammbzp

Métriques

Partage / Export

Résumé 0

Brouwer's demonstration of his Bar Theorem gives rise to provocative questions regarding the proper explanation of the logical connectives within intuitionistic and constructivist frameworks, respectively, and, more generally, regarding the role of logic within intuitionism. It is the purpose of the present note to discuss a number of these issues, both from an historical, as well as a systematic point of view.

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en