- #1
ryan14
- 2
- 0
Hey,
I'm studying Predicate Logic at the moment and I can't seem to wrap my head around the way that english sentences would convert into second order logic. What kind of sentence can be faithfully represented in PL2 but not in PL1? Sorry if this isn't the appropriate section; I'm actually in a Philosophy (of Math) class, so the sciences aren't really my strong suit.
Would "There exists an American philosopher" be one? Wiki mentions "There are no Albanian philosophers" but I don't see why this couldn't be translated into PL1 if you just made a predicate "is an Albanian philosopher." Or is that beyond the point?
Pretty much I'd like to see an example of what a PL2 sentence that couldn't be expressed in PL1 would look like.
Thanks,
Ryan
I'm studying Predicate Logic at the moment and I can't seem to wrap my head around the way that english sentences would convert into second order logic. What kind of sentence can be faithfully represented in PL2 but not in PL1? Sorry if this isn't the appropriate section; I'm actually in a Philosophy (of Math) class, so the sciences aren't really my strong suit.
Would "There exists an American philosopher" be one? Wiki mentions "There are no Albanian philosophers" but I don't see why this couldn't be translated into PL1 if you just made a predicate "is an Albanian philosopher." Or is that beyond the point?
Pretty much I'd like to see an example of what a PL2 sentence that couldn't be expressed in PL1 would look like.
Thanks,
Ryan