tag:blogger.com,1999:blog-4987609114415205593.post2815395578853765277..comments2024-03-28T13:40:26.497+00:00Comments on M-Phi: Jacquette's Argument for the Inconsistency of Type TheoryJeffrey Ketlandhttp://www.blogger.com/profile/01753975411670884721noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-4987609114415205593.post-4256215575754623362013-08-12T01:41:16.715+01:002013-08-12T01:41:16.715+01:00Thanks, Göran.
I don't know why Jacquette did...Thanks, Göran. <br />I don't know why Jacquette didn't just say, "Oops, my mistake". Instead, he insists he's right, nearly a decade later!<br /><br />Yes, Gentzen's method gives a simple model.<br /><br />Cheers,<br /><br />JeffJeffrey Ketlandhttps://www.blogger.com/profile/01753975411670884721noreply@blogger.comtag:blogger.com,1999:blog-4987609114415205593.post-56792015748249584562013-08-11T23:39:39.217+01:002013-08-11T23:39:39.217+01:00Dear Jeffrey,
Your analysis seems entirely convinc...Dear Jeffrey,<br />Your analysis seems entirely convincing; Jaquette's point is incomprehsible to me. Suppes, Introduction to Logic,Ch 8,rehearses the arguments for definitional variable restrictions in a nice way.<br /><br />With respect to the substative point that Jaquette was concerned to establish, namley the (in)consistency of Simple Type Theory, we may also point to Gentzen's trivial demonstration of its consistency in 'Die Widerspruchsfreiheit der Stufenlogik', Math. Zeitschrift 41(1936), pp.357-366. He uses the "one-elment model", and obtains a finitary consistency proof for STT, in much the same way as one reduces the consistency of predicate logic to propositional logic, by considering a domain with only one element. (Matters are different of course if we include an axiom of infinity; then there is no one-element model ....)<br /><br />Nothing that Jaquette has adduced can shake one's faith in that simple Gentzen demonstartion.Göran Sundholmnoreply@blogger.comtag:blogger.com,1999:blog-4987609114415205593.post-37427273276010079942013-08-08T01:44:32.135+01:002013-08-08T01:44:32.135+01:00To clarify, I interpreted the problem as consistin...To clarify, I interpreted the problem as consisting of the subtraction and addition of value (or truth) from an entire set, with the idea that a paradox emerges when part of the outer bound has no truth or value, or if another part has additional truth which becomes relevant only because part of the context has been ignored. Perhaps that is clear.Nathan Coppedgehttps://www.blogger.com/profile/13272730626911068222noreply@blogger.comtag:blogger.com,1999:blog-4987609114415205593.post-15654467475680772812013-08-08T01:40:34.000+01:002013-08-08T01:40:34.000+01:00I take a categorical view, which some might say co...I take a categorical view, which some might say could be deemed central to type theory. Categories are really 'the standard of standardization' in my view.<br /><br />I will assume I have some grasp of the logical phrase above. It seems to relate to set-theory concepts of spirals, or perhaps bounded boxes.<br /><br />No matter what it symbolizes, I will express my own interpretation.<br /><br />If H(^)n is take to mean the central value or parsing process, and if the repeated F^n-1 is taken to be a standard deviation from an opposite pair, expressed by F^n (assumed) and 'not' F^n, then the paradoxical expression is a very simple approach to categories, a denial of exclusion.<br /><br />Consider, in one theory of physics, the universe returns to the same point, but at infinite distance. It is the same problem. Either (1) The universe is cyclical, or (2) The universe is linear and unending.<br /><br />Then it is up to the logician or mathematician to decide (formally) if the 'system' used is itself cyclical, or instead, definite, and otherwise it may be seen as lacking a definition.<br /><br />This assumes, or posits, that a system is coherent. It is, as an alternate, possible to define a system as an amalgam of other systems, but this requires a still further system, which is capable of parsing amalgams. Perhaps that is the central, and un-addressed, issue. At any rate, the proposal that sets (or systems) are cyclical or definitive seems to be an adequate solution from my point of view.<br /><br />I have already applied this same idea in my interesting book, The Dimensional Philosopher's Toolkit (2013), not to be confused with Baggini and Fosl's classic.Nathan Coppedgehttps://www.blogger.com/profile/13272730626911068222noreply@blogger.com