Second-order logic : ontological and epistemological problems
In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some (further to be specified) proper sense of logic, and what epistemic status it occupies. More specifically, second-order logic is sometimes taken to be mathematical, a mere notational variant of some fragment of set theory. If this is the case, it might be argued that it does not have the &quot;epistemic innocence&quot; which would be needed for, e.g., foundational programmes in (the philosophy of) mathematics for which second-order logic is sometimes used. I suggest a Deductivist conception of logic, that characterises logical consequence by means of inference rules, and argue that on this conception second-order logic should count as logic in the proper sense.
Rossberg, Marcus
BC135.R77 ; Logic, symbolic and mathematical
Second-order logic : ontological and epistemological problems. In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some (further to be specified) proper sense of logic, and what epistemic status it occupies. More specifically, second-order logic is sometimes taken to be mathematical, a mere notational variant of some fragment of set theory. If this is the case, it might be argued that it does not have the &quot;epistemic innocence&quot; which would be needed for, e.g., foundational programmes in (the philosophy of) mathematics for which second-order logic is sometimes used. I suggest a Deductivist conception of logic, that characterises logical consequence by means of inference rules, and argue that on this conception second-order logic should count as logic in the proper sense.
second order logic ontological_epistemological problem provide survey different_approach second order logic interpretation introduce novel approach special_interest question_whether particular_form second order logic count logic specify proper sense logic epistemic_status occupies specifically second order logic sometimes take mathematical mere variant fragment set_theory case might argue quot epistemic innocence quot would need foundational programme philosophy_mathematics second order logic sometimes use suggest conception logic characterise logical consequence mean inference rule argue conception second order logic count logic proper sense