E.W. Beth and the logical empiricists
Henk Visser (1998-1999)
Philosophia Scientiae
Similarity:
Displaying similar documents to “The scientific work of A. Heyting”
E.W. Beth and the logical empiricists
Moral integrity during a difficult period: Beth and Scholz
Volker Peckhaus (1998-1999)
Philosophia Scientiae
Similarity:
Logic of existence and logic of knowledge. Epistemic and non epistemic aspects of logic
Michel Bourdeau (2003)
Philosophia Scientiae
Similarity:
Contrairement à ce qui a parfois été dit, la logique classique et la logique intuitionniste ne s’opposent pas comme une logique de l’existence à une logique de la connaissance. Les considérations épistémologiques trouvent naturellement leur place dans le cadre de la logique classique, sans qu’il soit nécessaire de faire intervenir aucun principe intuitionniste ; il suffit pour cela de reconnaître que la logique ne peut se passer de la notion d’assertion, ou si l’on préfère de jugement....
Beth and Lorenzen on the history of science
Christian Thiel (1998-1999)
Philosophia Scientiae
Similarity:
The axiomatic method and Ernst Schröder's algebraic approach to logic
Volker Peckhaus (1996)
Philosophia Scientiae
Similarity:
C.S. Peirce: pragmatism and logicism
Jaime Nubiola (1996)
Philosophia Scientiae
Similarity:
Beth's nonclassical valuations
Dick de Jongh, Paul van Ulsen (1998-1999)
Philosophia Scientiae
Similarity:
From apophantics to manifolds: the structure of Husserl's formal logic
Paul Cortois (1996)
Philosophia Scientiae
Similarity:
Intuitionistic logic considered as an extension of classical logic : some critical remarks
Javier Legris, Jorge A. Molina (2001)
Philosophia Scientiae
Similarity:
In this paper we analyze the consideration of intuitionistic logic as an extension of classical logic. This — at first sight surprising — point of view has been sustained explicitly by Jan Łukasiewicz on the basis of a mapping of classical propositional logic into intuitionistic propositional logic by Kurt Gödel in 1933. Simultaneously with Gödel, Gerhard Gentzen had proposed another mapping of Peano´s arithmetic into Heyting´s arithmetic. We shall discuss these mappings in connection...