By P. Dybjer,Sten Lindström,Erik Palmgren,B.G. Sundholm

This e-book brings jointly philosophers, mathematicians and logicians to penetrate very important difficulties within the philosophy and foundations of arithmetic. In philosophy, one has been occupied with the competition among constructivism and classical arithmetic and the various ontological and epistemological perspectives which are mirrored during this competition. The dominant foundational framework for present arithmetic is classical good judgment and set thought with the axiom of selection (ZFC). This framework is, although, encumbered with philosophical problems. One very important substitute foundational programme that's actively pursued this present day is predicativistic constructivism in response to Martin-Löf variety conception. linked philosophical foundations are which means theories within the culture of Wittgenstein, Dummett, Prawitz and Martin-Löf. what's the relation among proof-theoretical semantics within the culture of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or different bills of meaning-as-use? What can proof-theoretical analyses let us know in regards to the scope and boundaries of optimistic and predicative mathematics?

Show description

Read Online or Download Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science) PDF

Similar philosophical logic & language books

Mere Possibilities: Metaphysical Foundations of Modal Semantics (Carl G. Hempel Lecture Series)

It kind of feels moderate to think that there may have existed issues except those who actually exist, or have existed. yet how may still we comprehend such claims? usual semantic theories take advantage of the Leibnizian metaphor of a collection of all attainable worlds: a proposition may perhaps or has to be precise whether it is precise in a few or all attainable worlds.

Indian Logic: A Reader

The articles during this quantity are all landmarks within the evolution of recent stories in Indian good judgment. The booklet lines the advance of recent experiences in Indian common sense from their beginnings correct as much as the most recent work.

Argument, Inference and Dialectic: Collected Papers on Informal Logic with an Introduction by Hans V. Hansen (Argumentation Library)

This quantity comprises 12 papers addressed to researchers and complex scholars in casual good judgment and similar fields, corresponding to argumentation, formal common sense, and communications. one of the matters mentioned are makes an attempt to reconsider the character of argument and of inference, the position of dialectical context, and the factors for comparing inferences, and to make clear the interfaces among casual good judgment and argumentation idea, rhetoric, formal common sense and cognitive psychology.

On Reasoning and Argument: Essays in Informal Logic and on Critical Thinking (Argumentation Library)

This e-book brings jointly in a single position David Hitchcock’s most important released articles on reasoning and argument. In seven new chapters he updates his considering within the gentle of next scholarship. jointly, the papers articulate a particular place within the philosophy of argumentation.

Extra resources for Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science)

Sample text

Download PDF sample

Rated 4.55 of 5 – based on 6 votes