HOME
*





Dialectica
''Dialectica'' is a quarterly philosophy journal published by Blackwell between 2004 and 2019. As of 2020, Dialectica is published in full open access. The journal was founded in 1947 by Gaston Bachelard, Paul Bernays and Ferdinand Gonseth. Dialectica is edited in Switzerland and has a focus on analytical philosophy. The journal is the official journal of the European Society for Analytic Philosophy. See also * Dialectica interpretation In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic arithmetic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so-called System T. It was developed by Kurt Gödel to pr ... External links Journal web siteIssues published between 2004 and 2019 on Wiley Online Library Philosophy journals Analytic philosophy literature Logic journals {{philo-journal-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Dialectica Interpretation
In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic arithmetic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so-called System T. It was developed by Kurt Gödel to provide a consistency proof of arithmetic. The name of the interpretation comes from the journal ''Dialectica'', where Gödel's paper was published in a 1958 special issue dedicated to Paul Bernays on his 70th birthday. Motivation Via the Gödel–Gentzen negative translation, the consistency of classical Peano arithmetic had already been reduced to the consistency of intuitionistic Heyting arithmetic. Gödel's motivation for developing the dialectica interpretation was to obtain a relative consistency proof for Heyting arithmetic (and hence for Peano arithmetic). Dialectica interpretation of intuitionistic logic The interpretation has two components: a formula translation and a proof translation. The formula translation describes how ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Ferdinand Gonseth
Ferdinand Gonseth (1890–1975) was a Swiss mathematician and philosopher. He was born on 22 September 1890 at Sonvilier, the son of Ferdinand Gonseth, a clockmaker, and his wife Marie Bourquin. He studied at La Chaux-de-Fonds, and read physics and mathematics at ETH Zurich, from 1910 to 1914. In 1929 Gonseth succeeded Jérôme Franel as Professor of Higher Mathematics at ETH. In 1947 he founded ''Dialectica'', with Paul Bernays and Gaston Bachelard. In the same year he took the newly-created chair of philosophy of science at ETH. Gonseth died on 17 December 1975 at Lausanne , neighboring_municipalities= Bottens, Bretigny-sur-Morrens, Chavannes-près-Renens, Cheseaux-sur-Lausanne, Crissier, Cugy, Écublens, Épalinges, Évian-les-Bains (FR-74), Froideville, Jouxtens-Mézery, Le Mont-sur-Lausanne, Lugrin (FR-74), .... He was noted for his "open philosophy", according to which science and mathematics lacked absolute foundations. See . Notes {{DEFAULTSORT:Gonseth, Ferd ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


European Society For Analytic Philosophy
The European Society for Analytic Philosophy (ESAP) is a philosophical organization founded by Kevin Mulligan, Barry Smith, Peter Simons, Pierre Jacob, Diego Marconi, Francois Recanati, Marco Santambrogio, Andreas Kemmerling and Pascal Engel in 1991. History The founders of ESAP felt that after the long interruption due to World War II and the North American exile of many European philosophers, analytic philosophy was finally flourishing again in Europe. But even though more and more people were doing analytic philosophy in Continental Europe, they were often not even aware of each other's existence. Both in their writings and in their personal interactions, European analytic philosophers were looking rather exclusively towards North America and Britain. But now, it seemed the time was ripe for bringing together analytic philosophers from all over Europe in one society furthering inter-European contacts, connections, and collaboration. Thus, ESAP was born. Today, analytic philoso ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Wiley-Blackwell
Wiley-Blackwell is an international scientific, technical, medical, and scholarly publishing business of John Wiley & Sons. It was formed by the merger of John Wiley & Sons Global Scientific, Technical, and Medical business with Blackwell Publishing in 2007.About Wiley-Blackwell
John Wiley & Sons, Inc.
Wiley-Blackwell is now an imprint that publishes a diverse range of academic and professional fields, including , , ,

picture info

Gaston Bachelard
Gaston Bachelard (; ; 27 June 1884 – 16 October 1962) was a French philosopher. He made contributions in the fields of poetics and the philosophy of science. To the latter, he introduced the concepts of ''epistemological obstacle'' and '' epistemological break'' (''obstacle épistémologique'' and ''rupture épistémologique''). He influenced many subsequent French philosophers, among them Michel Foucault, Louis Althusser, Dominique Lecourt and Jacques Derrida, as well as the sociologists Pierre Bourdieu and Bruno Latour. For Bachelard, the scientific object should be constructed and therefore different from the positivist sciences; in other words, information is in continuous construction. Empiricism and rationalism are not regarded as dualism or opposition but complementary, therefore studies of a priori and a posteriori, or in other words reason and dialectic, are part of scientific research. Life and work Bachelard was a postal clerk in Bar-sur-Aube, and then stud ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Paul Bernays
Paul Isaac Bernays (17 October 1888 – 18 September 1977) was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert. Biography Bernays was born into a distinguished German-Jewish family of scholars and businessmen. His great-grandfather, Isaac ben Jacob Bernays, served as chief rabbi of Hamburg from 1821 to 1849. Bernays spent his childhood in Berlin, and attended the Köllner Gymnasium, 1895–1907. At the University of Berlin, he studied mathematics under Issai Schur, Edmund Landau, Ferdinand Georg Frobenius, and Friedrich Schottky; philosophy under Alois Riehl, Carl Stumpf and Ernst Cassirer; and physics under Max Planck. At the University of Göttingen, he studied mathematics under David Hilbert, Edmund Landau, Hermann Weyl, and Felix Klein; physics under Voigt and Max Born; and philosophy under Leonard Nelson. In 1912, the Unive ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Analytic Philosophy
Analytic philosophy is a branch and tradition of philosophy using analysis, popular in the Western world and particularly the Anglosphere, which began around the turn of the 20th century in the contemporary era in the United Kingdom, United States, Canada, Australia, New Zealand, and Scandinavia, and continues today. Analytic philosophy is often contrasted with continental philosophy, coined as a catch-all term for other methods prominent in Europe. Central figures in this historical development of analytic philosophy are Gottlob Frege, Bertrand Russell, G. E. Moore, and Ludwig Wittgenstein. Other important figures in its history include the logical positivists (particularly Rudolf Carnap), W. V. O. Quine, and Karl Popper. After the decline of logical positivism, Saul Kripke, David Lewis, and others led a revival in metaphysics. Elizabeth Anscombe, Peter Geach, Anthony Kenny and others brought analytic approach to Thomism. Analytic philosophy is characterized by an empha ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Philosophy Journals
This is a list of academic journals pertaining to the field of philosophy. Journals in Catalan * '' Filosofia, ara!'' Journals in Czech * '' Filosofický časopis'' * '' Reflexe'' Journals in Danish * '' Kierkegaard Studies Monograph Series'' (also in English, French and German) * '' Kierkegaard Studies Yearbook'' (also in English, French and German) Journals in Dutch * '' Krisis'' Journals in English * '' The Acorn'' * ''Acta Philosophica Fennica'' * '' American Catholic Philosophical Quarterly'' * ''American Journal of Bioethics'' * '' The American Journal of Semiotics'' * ''American Philosophical Quarterly'' * ''Analysis'' * ''Analytic Philosophy'' * ''Ancient Philosophy'' * '' Angelaki'' * ''Apeiron'' * '' Archiv für Geschichte der Philosophie'' * '' Arendt Studies'' * ''Ars Disputandi'' * ''Augustinian Studies'' * ''Australasian Journal of Philosophy'' * '' Avant: Journal of the Philosophical-Interdisciplinary Vanguard'' * ''Berkeley Studies'' * ''Between the S ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Analytic Philosophy Literature
Generally speaking, analytic (from el, ἀναλυτικός, ''analytikos'') refers to the "having the ability to analyze" or "division into elements or principles". Analytic or analytical can also have the following meanings: Chemistry * Analytical chemistry, the analysis of material samples to learn their chemical composition and structure * Analytical technique, a method that is used to determine the concentration of a chemical compound or chemical element * Analytical concentration Mathematics * Abstract analytic number theory, the application of ideas and techniques from analytic number theory to other mathematical fields * Analytic combinatorics, a branch of combinatorics that describes combinatorial classes using generating functions * Analytic element method, a numerical method used to solve partial differential equations * Analytic expression or analytic solution, a mathematical expression using well-known operations that lend themselves readily to calculation * An ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]