Re:Philosophy Has Made Plenty of Progress
by naasking on Monday November 05, 2018 @08:57AM
(#18382308)
> Gödel's entire point was that this formulation was rigorous and could not be escaped by a mere change of (syntactic or semantic) venue.
Well that's not true, because there exist logics that are both consistent and complete, they simply don't have the expressive power of full arithmetic. This is a syntactic or semantic change, depending on how you frame it.
Well that's not true, because there exist logics that are both consistent and complete, they simply don't have the expressive power of full arithmetic. This is a syntactic or semantic change, depending on how you frame it.