Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Keine ausführliche Beschreibung für "Basis und Deduktion" verfügbar.

Lambert, Johann Heinrich, --- Axioms --- Parallels (Geometry) --- Lambert, Johann Heinrich --- Methodology. --- Axioms. --- Logic. --- Logic --- Methodology --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Philosophy --- Lambert, Jean-Henri, --- Lambert, I. H., --- Lambert, J.-H. --- Lambert, --- Research --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Geometry --- Mathematics --- Foundations --- Humanities Methodology --- Lambert, Johann Heinrich, - 1728-1777.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.

Philosophy of mathematics --- History of mathematics --- Mathematical foundations --- Lorenzen on Constructive Mathematics --- Application to Constructive Measure Theory --- Lorenzeṇ’s Work on Lattice-groups and Divisibility Theory --- Krull’s Fundamentalsatz for Integral Domains --- Modern Set Theory and Lorenzen’s Critique of Actual Infinity --- Grundlagenforschung --- Lorenzen’s Consistency Proof and Hilbert’s Larger Programme --- Lorenzen's Dialogue Game --- Game Semantics for Substructural Logics --- Constructive Examination of a Russell-style Ramified Type Theory --- Operative Justification of Logic and Mathematics --- Lorenzen on Proof-theoretic Semantics --- Lorenzen on Databank Management --- Lorenzen on Stochastics --- Russell-style Ramified Type Theory --- Lorenzen and Erlangen School of Methodical Constructivism --- Mathematics --- Mathematics. --- History. --- Mathematical logic. --- Philosophy of Mathematics. --- History of Mathematical Sciences. --- Mathematical Logic and Foundations. --- Philosophy. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Math --- Science --- Logic of mathematics --- Mathematics, Logic of

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Science --- Interpretation (Philosophy) --- Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access volume is based on the 'Early Carnap in Context’ workshop that took place in Konstanz in 2017 and looks at Rudolf Carnap’s philosophy, documented in his recently released diaries, from a combination of historical, cultural and philosophical perspectives. It enables further evaluation of the diaries and traces newly found interrelationships and their systematic definition. From a cultural and historical point of view, Logical Empiricism and Carnap’s pivotal opus, The Logical Structure of the World, did not evolve in a vacuum. This applies equally in a history of philosophy context as well as under consideration of contemporary historical and cultural influences such as the socio-cultural setting in Vienna and Prague, the correlation between Logical Empiricism and Bauhaus modernism, the connection to the Life Reform Movement or the Youth Movement with its own life philosophy. Pursuing Carnap’s progression on a micro level of history and referring the results back to Carnap’s philosophy is now facilitated by recent access to his Diaries from 1908–1935. These shorthand records, reading lists, travel reports and notes constitute a valuable source for the research of networks and social movements which left their mark on him.

Philosophy of science --- European history --- Philosophy of Science --- European History --- Rudolf Carnap --- Carnap’s Diaries --- The Logical Structure of the World --- Life Reform Movement --- Vienna Circle --- Open Access --- Science --- Europe --- Philosophy of Science. --- European History. --- Philosophy. --- History. --- Gay culture Europe --- Normal science