Íomhá chlúdaigh

The Logical Writings of Karl Popper

Taispeáin leaganacha eile (2)

This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("o...

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Rannpháirtithe:	Binder, David (Eagarthóir), Piecha, Thomas (Eagarthóir), Schroeder-Heister, Peter (Eagarthóir)
Formáid:	Leictreonach Caibidil leabhair
Teanga:	Béarla
Foilsithe / Cruthaithe:	Cham Springer Nature 2022
Sraith:	Trends in Logic
Ábhair:	Philosophy: logic Mathematical theory of computation Mathematical foundations Literary studies: general Karl R. Popper Deductive Logic Logical Constants Proof-theoretic Semantics Classical Logic Non-classical Logic Inferential Definitions Mathematical Logic Negation Modalities History of Logic L.E.J. Brouwer Paul Bernays Rudolf Carnap Alonzo Church Kalman Joseph Cohen Henry George Forder Harold Jeffreys Stephen Cole Kleene
Rochtain ar líne:	DOAB: download the publication DOAB: description of the publication
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

The Logical Writings of Karl Popper
Foilsithe / Cruthaithe: (2022)

The Logical Writings of Karl Popper
Foilsithe / Cruthaithe: (2022)

Inquisitive Logic Consequence and Inference in the Realm of Questions /
de réir: Ciardelli, Ivano
Foilsithe / Cruthaithe: (2022)

Inquisitive Logic Consequence and Inference in the Realm of Questions
de réir: Ciardelli, Ivano
Foilsithe / Cruthaithe: (2022)

Inquisitive Logic Consequence and Inference in the Realm of Questions
de réir: Ciardelli, Ivano
Foilsithe / Cruthaithe: (2022)

The Game of Logic
de réir: Carroll, Lewis, 1832-1898

The Algebra of Logic
de réir: Couturat, Louis, 1868-1914; Jourdain, Philip E. B. (Philip Edward Bertrand), 1879-1919 [Author of introduction, etc.]; Robinson, Lydia Gillingham, 1875- [Translator]

Symbolic Logic
de réir: Carroll, Lewis, 1832-1898

The calculus of logic
de réir: Boole, George, 1815-1864

An Investigation of the Laws of Thought On which are founded the mathematical theories of logic and probabilities
de réir: Boole, George, 1815-1864

Advances in Proof-Theoretic Semantics
Foilsithe / Cruthaithe: (2016)

Advances in Proof-Theoretic Semantics
Foilsithe / Cruthaithe: (2016)

Advances in Proof-Theoretic Semantics
Foilsithe / Cruthaithe: (2016)

Peter Schroeder-Heister on Proof-Theoretic Semantics
Foilsithe / Cruthaithe: (2024)

Mathematical Aspects of Logic Programming Semantics
de réir: Hitzler, Pascal
Foilsithe / Cruthaithe: (2010)

Paul Lorenzen -- Mathematician and Logician
Foilsithe / Cruthaithe: (2021)

Deductive Logic
de réir: Stock, St. George William Joseph, 1850-

The Logic of Hegel
de réir: Hegel, Georg Wilhelm Friedrich, 1770-1831; Wallace, William, 1844-1897 [Translator]

Logic: Deductive and Inductive
de réir: Read, Carveth, 1848-1931

Logic, Inductive and Deductive
de réir: Minto, William, 1845-1893

Studies in Logical Theory
de réir: Dewey, John, 1859-1952

Essays in Experimental Logic
de réir: Dewey, John, 1859-1952

Logic as the Science of the Pure Concept
de réir: Croce, Benedetto, 1866-1952; Ainslie, Douglas, 1865-1948 [Translator]

Studies and Exercises in Formal Logic
de réir: Keynes, John Neville, 1852-1949

John Dewey's logical theory
de réir: Howard, Delton Thomas, 1883-

The Art of Logical Thinking; Or, The Laws of Reasoning
de réir: Atkinson, William Walker, 1862-1932

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /
Foilsithe / Cruthaithe: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Foilsithe / Cruthaithe: (2023)

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Foilsithe / Cruthaithe: (2023)

First notions of logic (preparatory to the study of geometry)
de réir: De Morgan, Augustus, 1806-1871

A Logic of Facts; Or, Every-day Reasoning
de réir: Holyoake, George Jacob, 1817-1906

Prolegomena to the Study of Hegel's Philosophy, and Especially of His Logic
de réir: Wallace, William, 1844-1897

The Essentials of Logic, Being Ten Lectures on Judgment and Inference
de réir: Bosanquet, Bernard, 1848-1923

Deductive Systems in Traditional and Modern Logic
Foilsithe / Cruthaithe: (2020)

The Mathematical Analysis of Logic Being an Essay Towards a Calculus of Deductive Reasoning
de réir: Boole, George, 1815-1864

Reformed Logic A System Based on Berkeley's Philosophy with an Entirely New Method of Dialectic
de réir: McLachlan, D. B.

A Class Room Logic Deductive and Inductive, with Special Application to the Science and Art of Teaching
de réir: McNair, George Hastings

Impossible Worlds
de réir: Berto, Francesco
Foilsithe / Cruthaithe: (2019)

Impossible Worlds
de réir: Berto, Francesco
Foilsithe / Cruthaithe: (2019)

Variant Construction from Theoretical Foundation to Applications
Foilsithe / Cruthaithe: (2019)