|
Kuno Lorenz
Kuno Lorenz (born September 17, 1932 in Vachdorf, Thüringen) is a German philosopher. He developed a philosophy of dialogue, in connection with the pragmatic theory of action of the Erlangen constructivist school. Lorenz is married to the literary scholar Karin Lorenz-Lindemann. Career After studying mathematics and physics in Tübingen, Hamburg, Bonn and Princeton, Lorenz earned his Ph.D. in 1961 under Paul Lorenzen in Kiel with a thesis about ''Arithmetic and Logic as Games''. In 1969 he received his habilitation degree in philosophy also under Lorenzen but this time in Erlangen. In 1970 he was offered the chair of philosophy at the University of Hamburg to succeed Carl Friedrich von Weizsäcker. From 1974 till his retirement in 1997 he taught at the University of Saarland in Saarbrücken. Among his former students is Arno Ros. Dialogue and predication Lorenz developed (along with Paul Lorenzen) an approach to arithmetic and logic as dialogue games. In dialogica ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Saarland
Saarland University (german: Universität des Saarlandes, ) is a public research university located in Saarbrücken, the capital of the German state of Saarland. It was founded in 1948 in Homburg in co-operation with France and is organized in six faculties that cover all major fields of science. In 2007, the university was recognized as an excellence center for computer science in Germany. Thanks to bilingual German and French staff, the university has an international profile, which has been underlined by its proclamation as "''European University''" in 1950 and by establishment of Europa-Institut as its "''crown and symbol''" in 1951. Nine academics have been honored with the highest German research prize, the Gottfried Wilhelm Leibniz Prize, while working at Saarland University. History Saarland University, the first to be established after World War II, was founded in November 1948 with the support of the French Government and under the auspices of the University of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Georg Meggle
{{disambiguation ...
Georg may refer to: * ''Georg'' (film), 1997 * Georg (musical), Estonian musical * Georg (given name) * Georg (surname) * , a Kriegsmarine coastal tanker See also * George (other) George may refer to: People * George (given name) * George (surname) * George (singer), American-Canadian singer George Nozuka, known by the mononym George * George Washington, First President of the United States * George W. Bush, 43rd President ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sprachphilosophie
In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought. Gottlob Frege and Bertrand Russell were pivotal figures in analytic philosophy's " linguistic turn". These writers were followed by Ludwig Wittgenstein (''Tractatus Logico-Philosophicus''), the Vienna Circle, logical positivists, and Willard Van Orman Quine. In continental philosophy, language is not studied as a separate discipline. Rather, it is an inextricable part of many other areas of thought, such as phenomenology, structural semiotics, language of mathematics, hermeneutics, existentialism, deconstruction and critical theory. History Ancient philosophy In the West, inquiry into language stretches back to the 5th century BC with Socrates, Plato, Aristotle, and the St ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jürgen Mittelstraß
Jürgen Mittelstraß (born 11 October 1936 in Düsseldorf) is a German philosopher especially interested in the philosophy of science. Career Mittelstraß studied philosophy, history and protestant theology at the universities of Bonn, Erlangen, Hamburg and Oxford from 1956 until 1961. He received his Ph.D. from the University of Erlangen in 1961, where he afterwards wrote his habilitation, completing in 1968. He was influenced by the '' Erlanger Konstruktivismus''. In 1970 Mittelstraß became a professor of philosophy in the University of Konstanz and from 1970 to 2005 he was a full professor of philosophy of science at Konstanz. He is the editor of the ''Enzyklopädie Philosophie und Wissenschaftstheorie'' (4 volumes, 1980–1996; second edition 2005-2018, 8 volumes). Academic recognition Mittelstraß is member of numerous scientific and philosophical societies and has received several awards. He has been awarded honorary doctorates from six universities, the Humboldt Univ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wilhelm Dilthey
Wilhelm Dilthey (; ; 19 November 1833 – 1 October 1911) was a German historian, psychologist, sociologist, and hermeneutic philosopher, who held G. W. F. Hegel's Chair in Philosophy at the University of Berlin. As a polymathic philosopher, working in a modern research university, Dilthey's research interests revolved around questions of scientific methodology, historical evidence and history's status as a science. He could be considered an empiricist, in contrast to the idealism prevalent in Germany at the time, but his account of what constitutes the empirical and experiential differs from British empiricism and positivism in its central epistemological and ontological assumptions, which are drawn from German literary and philosophical traditions. Life Dilthey was born in 1833 as the son of a Reformed pastor in the village of Biebrich in the Duchy of Nassau, now in Hesse, Germany. As a young man he followed family traditions by studying theology at Heidelberg Un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Sanders Peirce
Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism". Educated as a chemist and employed as a scientist for thirty years, Peirce made major contributions to logic, a subject that, for him, encompassed much of what is now called epistemology and the philosophy of science. He saw logic as the formal branch of semiotics, of which he is a founder, which foreshadowed the debate among logical positivists and proponents of philosophy of language that dominated 20th-century Western philosophy. Additionally, he defined the concept of abductive reasoning, as well as rigorously formulated mathematical induction and deductive reasoning. As early as 1886, he saw that logical operations could be carried out by electrical switching circuits. The same idea was used decades later to produce digital computers. See Also In 1934, the philosopher Paul We ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian- British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He is considered by some to be the greatest philosopher of the 20th century. From 1929 to 1947, Wittgenstein taught at the University of Cambridge. In spite of his position, during his entire life only one book of his philosophy was published, the 75-page ''Logisch-Philosophische Abhandlung'' (''Logical-Philosophical Treatise'', 1921), which appeared, together with an English translation, in 1922 under the Latin title '' Tractatus Logico-Philosophicus''. His only other published works were an article, " Some Remarks on Logical Form" (1929); a book review; and a children's dictionary. His voluminous manuscripts were edited and published posthumously. The first and best-known of this posthumous series is the 1953 book '' Philosophical Investigations' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intuitionism
In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality. Truth and proof The fundamental distinguishing characteristic of intuitionism is its interpretation of what it means for a mathematical statement to be true. In Brouwer's original intuitionism, the truth of a mathematical statement is a subjective claim: a mathematical statement corresponds to a mental construction, and a mathematician c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gentzen's Consistency Proof
Gentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of first-order arithmetic do not contain a contradiction (i.e. are " consistent"), as long as a certain other system used in the proof does not contain any contradictions either. This other system, today called " primitive recursive arithmetic with the additional principle of quantifier-free transfinite induction up to the ordinal ε0", is neither weaker nor stronger than the system of Peano axioms. Gentzen argued that it avoids the questionable modes of inference contained in Peano arithmetic and that its consistency is therefore less controversial. Gentzen's theorem Gentzen's theorem is concerned with first-order arithmetic: the theory of the natural numbers, including their addition and multiplication, axiomatized by the first-order Peano axioms. This is a "first-order" theory: the quantifiers extend over natural numbers, bu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Truth Table
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra (logic), Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expression (mathematics), expressions on each of their functional arguments, that is, for each valuation (logic), combination of values taken by their logical variables. In particular, truth tables can be used to show whether a propositional expression is true for all legitimate input values, that is, Validity (logic), logically valid. A truth table has one column for each input variable (for example, P and Q), and one final column showing all of the possible results of the logical operation that the table represents (for example, P XOR Q). Each row of the truth table contains one possible configuration of the input variables (for instance, P=true Q=false), and the result of the operation for those values. See the examples below for further clarification. Ludwig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
