Brouwer meets Husserl: On the Phenomenology of Choice by Mark van Atten

By Mark van Atten

Can a line be analysed mathematically any such means that it doesn't crumble right into a set of discrete issues? Are there items of natural arithmetic which could swap via time? L. E. J. Brouwer argued that the 2 questions are comparable and that the reply to either is "yes", introducing the concept that of selection sequences. This booklet topics Brouwer's selection sequences to a phenomenological critique within the type of Husserl.

Show description

Read or Download Brouwer meets Husserl: On the Phenomenology of Choice Sequences: 335 (Synthese Library) PDF

Best logic books

Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic)

This can be a continuation of Vol. 7 of tendencies in good judgment. It wil hide the wealth of contemporary advancements of Lukasiewicz common sense and their algebras (Chang MV-algebras), with specific connection with (de Finetti) coherent overview of always valued occasions, (Renyi) conditionals for such occasions, similar algorithms.

Epistemology, Context, and Formalism: 369 (Synthese Library)

The most goal of the current quantity is to strengthen our realizing of the notions of information and context, the connections among them and the ways that they are often modeled, specifically formalized – a query of leading significance and utmost relevance to such diversified disciplines as philosophy, linguistics, laptop technology and synthetic intelligence and cognitive technology.

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory (Studies in Fuzziness and Soft Computing)

The booklet is a suite of contributionsby best specialists, built round conventional subject matters mentioned on the annualLinz Seminars on Fuzzy Set concept. the several chapters were written byformer PhD scholars, colleagues, co-authors and pals of Peter Klement, aleading researcher and the organizer of the Linz Seminars on Fuzzy Set thought.

NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Lecture Notes in Computer Science)

This ebook constitutes the lawsuits of the eighth overseas Symposium on NASA Formal equipment, NFM 2016, held in Minneapolis, MN, united states, in June 2016. the nineteen complete and 10 brief papers provided during this quantity have been conscientiously reviewed and chosen from 70 submissions. The papers have been geared up in topical sections named: necessities and architectures; trying out and run-time enforcement; theorem proving and proofs; program of formal tools; code iteration and synthesis; version checking and verification; and correctness and certification.

Extra resources for Brouwer meets Husserl: On the Phenomenology of Choice Sequences: 335 (Synthese Library)

Example text

Download PDF sample

Rated 4.78 of 5 – based on 5 votes