Say we have some theory that we represent with a formula of logic.\u00a0 In part it looks like this:<\/p>\n
[1] …(\u2203z) … Pz …<\/p><\/blockquote>\n
This says that at some point in the theory there is some object z that has property P.<\/p>\n
After much hard work, we discover that the object z with property P can be described as the combination of two more fundamental objects w and v with properties R and S:<\/p>\n
[2] …(\u2203z) … Pz …\u00a0\u21d2 …(\u2203w)(\u2203v) … (Rw & Sv)…<\/p><\/blockquote>\n
Now lets say that in our theory, any object that had property P depended upon some other objects, x and y:<\/p>\n
[3] …(\u2200x)(\u2200y)…(\u2203z) … Pz …<\/p><\/blockquote>\n
In our revised theory we know that objects w and v must somehow depend upon x and y, but there are many more possible dependence patterns that two different objects can have as compared to z alone.\u00a0 Both w and v could depend upon x and y:<\/p>\n
[4] …(\u2200x)(\u2200y)…(\u2203w)(\u2203v) … (Rw & Sv)…<\/p><\/blockquote>\n
However, let’s say that w depends on x but not y, and v depends on y but not x.\u00a0 Depending on the rest of the formula, it may be possible to rejigger the order of the quantifiers to reflect this, but maybe not.\u00a0 If we allow ourselves to declare dependencies and independencies, arbitrary patterns of dependence can be handled.\u00a0 The forward slash means to ignore the dependency of the listed quantified variable:<\/p>\n
[5] …(\u2200x)(\u2200y)…(\u2203w\/\u2200y) (\u2203v\/\u2200x) … (Rw & Sv)…<\/p><\/blockquote>\n
Besides the convenience and being able to represent arbitrary dependence structures, I think there is another benefit for this use of the slash notation:\u00a0 theoretical continuity.\u00a0 In formula [2] above, there is a double right arrow which I used to represent the change from z to w and v, and P to R and S.\u00a0 However, I created this use of the double right arrow for this specific purpose;\u00a0 there is no way within normal logic to represent such a change.\u00a0 That is, there is no method to get from formula [3] to formula [4] or [5], even though there is supposed to be some sort of continuity between these formulas.<\/p>\n
Insofar as the slash notation from Independence Friendly Logic allows us to drop in new quantified variables without restructuring the rest of the formula, we can use this process as a logical move like modus ponens (though, perhaps, not as truth preserving).\u00a0 Tentatively I’ll call it ‘Hypothesis Introduction’:<\/p>\n
[6]<\/p>\n
\n
- …(\u2200x)(\u2200y)…(\u2203z) … Pz …<\/li>\n
- …(\u2200x)(\u2200y)…(\u2203w\/\u2200y) (\u2203v\/\u2200x) … (Rw & Sv)…\u00a0\u00a0\u00a0\u00a0\u00a0 (HI [1])<\/li>\n<\/ol>\n<\/blockquote>\n
The move from line one to line two changes the formula while providing a similar sort of continuity as used in deduction.<\/p>\n
One potential application of this would be to Ramsey Sentences.\u00a0 With the addition of Hypothesis Introduction, we can generalize the Ramsey Sentence into, if you will, a Ramsey Lineage, which would chart the changes of one Ramsey Sentence to another, one theory to another.<\/p>\n
A second application, and what got me thinking about this in the first place, was to game theory.\u00a0 When playing a game against an opponent, it is mostly best to assume that they are rational.\u00a0 What happens when the opponent does something apparently irrational?\u00a0 Either you can play as if they are irrational or you can ignore it and continue to play as if they hadn’t made such a move.\u00a0 By using Hypothesis Introduction to introduce a revision into the game structure, however, you can create a scenario that might reflect an alternate game that your opponent might be playing.\u00a0 In this way you can maintain your opponent’s rationality and explain the apparently irrational move as a rational move in a different game that is similar to the one you are playing.\u00a0 This alternate game could be treated as a branch off the original.\u00a0 The question would then be to discover who is playing the ‘real’ game – a question of information and research, not rationality.<\/p>\n","protected":false},"excerpt":{"rendered":"
Say we have some theory that we represent with a formula of logic.\u00a0 In part it looks like this: [1] …(\u2203z) … Pz … This says that at some point in the theory there is some object z that has property P. After much hard work, we discover that the object z with property P can be described as the combination of two more fundamental objects w and v with properties R and S: [2] […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[11,13,16,26,34],"tags":[256,279],"class_list":["post-1808","post","type-post","status-publish","format-standard","hentry","category-game-theory","category-independence-friendly-logic","category-logic","category-philosophy","category-science","tag-logic","tag-science"],"_links":{"self":[{"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/posts\/1808","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/comments?post=1808"}],"version-history":[{"count":0,"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/posts\/1808\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/media?parent=1808"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/categories?post=1808"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/tags?post=1808"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}