Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 8 of 8 for “"Logic and Foundations of Mathematics"”.
-
An Argument For A Neutral Free Logic
<p>I argue for a neutral free logic is a logic wherein sentences containing non-referring terms do not have truth value. The primary support for this conclusion comes by way of criticism of the alternatives. If every sentence of the form `a = a' is a logical truth and is consequently knowable a …
-
Frontiers of Conditional Logic
<p>Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the …
-
The Proscriptive Principle and Logics of Analytic Implication
<p>The analogy between inference and mereological containment goes at least back to Aristotle, whose discussion in the <em>Prior Analytics</em> motivates the validity of the syllogism by way of talk of parts and wholes. On this picture, the application of syllogistic is merely the <em>analysis</em> …
-
Three Essays in Intuitionistic Epistemology
<p>We present three papers studying knowledge and its logic from an intuitionistic viewpoint.</p> <p><em>An Arithmetic Interpretation of Intuitionistic Verification</em></p> <p>Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK …
-
Prolegomenon to a Neo-Kantian Student Heuristic
<p>The author attempts an in-depth study of Immanuel Kant's Critique of Pure Reason in order to prepare a text for college students in composition courses. It was to be a text designed to help students come to terms with some of the more perplexing problems of man's intellectual life by providing …