Re: Intuitionist Double Negation --> Aristotelian P=P --> Double Positives
Posted: Sat Nov 09, 2019 4:05 am
Sorry but again I'm slow on the uptake as whilst I think I get the idea of a 'meta-language', i.e. that a formal language is applied to its own objects(I think) I'd also like to know what the difference is between a 'metalanguage' and a 'sematic' for that language? But anyhoo I'm still a bit puzzled here as we are saying P1 is false, i.e. 'pears don't exist' and P2 appears to just be agreeing with that claim and given that they don't exist I'm not surprised it is true?Skepdick wrote: ↑Fri Nov 08, 2019 7:06 amThis is a proposition about pears:Arising_uk wrote: ↑Fri Nov 08, 2019 3:20 am I'm not sure of your point here, as for sure if pears don't exist then its false that pears exist and the proposition "Pears exist" will be false?
P1: Pears exist
P1 is false.
This is a proposition about another proposition (P1):
P2: P1 is false
P2 is true.
...
P2 is not the same proposition as 'Pears don't exist'.
Keeping the language/meta language distinction in the back of your head ( https://en.wikipedia.org/wiki/Metalanguage )
P1 is stated in the object language.
P2 is stated in the metalanguage.
It's a primitive form of Encapsulation