Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
Articles 1 - 2 of 2
Full-Text Articles in Logic and Foundations of Mathematics
The Problems Of Philosophy: Student Edition, Bertrand Russell, Landon D.C. Elkind Ed.
The Problems Of Philosophy: Student Edition, Bertrand Russell, Landon D.C. Elkind Ed.
Philosophy & Religion Faculty Publications
This is a very lightly edited open educational resource version of The Problems of Philosophy by Bertrand Russell. It is lightly edited to approach (without yet meeting) the “truer” text of The Problems of Philosophy indicated by Kenneth Blackwell in the journal Russell.1 Student notes from the editor are included to make the text more suitable for college (or high school) students.
The basis for this edition is this 2004 version available in HTML through Project Gutenberg, produced by Gordon Keener and David Widger. After using Pandoc to convert this HTML file into TeX, I made some aesthetic edits (like …
Semantic Completeness Of Intuitionistic Predicate Logic In A Fully Constructive Meta-Theory, Ian Ray
Semantic Completeness Of Intuitionistic Predicate Logic In A Fully Constructive Meta-Theory, Ian Ray
Masters Theses & Specialist Projects
A constructive proof of the semantic completeness of intuitionistic predicate logic is explored using set-generated complete Heyting Algebra. We work in a constructive set theory that avoids impredicative axioms; for this reason the result is not only intuitionistic but fully constructive. We provide background that makes the thesis accessible to the uninitiated.