{"id":2599,"date":"2012-11-05T21:57:19","date_gmt":"2012-11-06T02:57:19","guid":{"rendered":"http:\/\/www.noahgreenstein.com\/wordpress\/?p=2599"},"modified":"2012-11-05T21:57:19","modified_gmt":"2012-11-06T02:57:19","slug":"eifl-domainless-logic","status":"publish","type":"post","link":"https:\/\/www.noahgreenstein.com\/wordpress\/2012\/11\/05\/eifl-domainless-logic\/","title":{"rendered":"EIFL (Domainless Logic)"},"content":{"rendered":"

I saw this post<\/a> by Mark Lance<\/a> over at New APPS<\/a> and he brought up one of the issues that I have recently been concerned with: What is a logical domain?\u00a0 He said:<\/p>\n

So our ignorance of our domain has implications for which sentences are true.\u00a0 And if a sentence is true under one interpretation and false under another, it has different meanings under them.\u00a0 And if we don’t know which of these interpretations we intend, then we don’t know what we mean.<\/p>\n

I am inclined to think that this is a really serious issue…<\/p>\n

When we don’t know what we, ourselves, mean, I regard this as THE_PHILOSOPHICAL_BAD, the place you never want to be in, the position where you can’t even speak<\/a>.\u00a0 Any issue that generates this sort of problem I regard as a Major Problem of Philosophy — philosophy in general, not just of its particular subject.<\/p>\n

A little over a year ago I was trying to integrate probability and logic in a new way<\/a>.\u00a0 I developed indexed domains in order that different quantifications ranged over different values.\u00a0 But then I said:<\/p>\n

(aside:
\nI prefer to use an artifact of Independence Friendly logic, the dependence indicator: a forward slash, \/. The dependence indicator means that the quantifier only depends on those objects, variables, quantifiers or formulas specified. Hence<\/p>\n

\u042fx\/(Heads, Tails)<\/p>\n

means that the variable x is randomly instantiated to Heads or Tails, since the only things that \u042fx is logically aware of are Heads and Tails. Therefore this too represents a coin flip, without having multiple domains.)<\/p>\n

I used the dependence slash to indicate the exact domain that a specific quantification ranged over.\u00a0 This localized the domain to the quantifier.\u00a0 About a week after publishing this I realized that the structure of this pseudo-domain ought to be logically structured: (Heads, Tails) became (Heads OR Tails).\u00a0\u00a0The logical or mathematical domain, as an independent structure, can therefore be completely done away with.<\/strong>\u00a0 Instead a pseudo-domain must be specified by a set of logical or mathematical statements given by a dependence (or independence) relation attached to every quantifier.<\/p>\n

For example:<\/p>\n

\u2200x\/((a or b or c) & (p \u2192 q))…<\/p>\n

This means that instantiating x depends upon the individuals a, b or c, that is, x can only be a, b or c, and it also can only be instantiated if (p \u2192 q) already has a truth value.\u00a0 If\u00a0 ((p \u2192 q) \u2192 d) was in the pseudo-domain, then x could be instantiated to d if (p \u2192 q) was true; if \u00acd was implied, then it would be impossible to instantiate x to d, even if d was implied in some other part of the pseudo-domain.\u00a0 Hence the pseudo-domain is the result of a logical process.<\/p>\n

The benefit of this approach is that it better represents the changing state of epistemic access that a logical game player has at different times.\u00a0 You can have a general domain for things that exist across all game players and times that would be added to all the quantifier dependencies (Platonism, if you will), but localized pseudo-domains for how the situation changes relative to each individual quantification.<\/p>\n

Moreover, the domain has become part of the logical argument structure and does not have an independent existence, meaning fewer ontological denizens.\u00a0 And, to answer the main question of this post, every domain is completely specified, both in content and structure.<\/p>\n

I’m inclined to call this logic Domainless Independence Friendly logic, or DIF logic, but I really also like EIFL, like the French Tower: Epistemic Independence Friendly Logic.\u00a0 Calling this logic epistemic<\/em> emphasizes the relative epistemic access each player has during the logical game that comes with the elimination of the logical domain.<\/p>\n","protected":false},"excerpt":{"rendered":"

I saw this post by Mark Lance over at New APPS and he brought up one of the issues that I have recently been concerned with: What is a logical domain?\u00a0 He said: So our ignorance of our domain has implications for which sentences are true.\u00a0 And if a sentence is true under one interpretation and false under another, it has different meanings under them.\u00a0 And if we don’t know which of these interpretations we […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[42,11,13,16,26],"tags":[],"class_list":["post-2599","post","type-post","status-publish","format-standard","hentry","category-epistemology","category-game-theory","category-independence-friendly-logic","category-logic","category-philosophy"],"_links":{"self":[{"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/posts\/2599","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=2599"}],"version-history":[{"count":0,"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/posts\/2599\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/media?parent=2599"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/categories?post=2599"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.noahgreenstein.com\/wordpress\/wp-json\/wp\/v2\/tags?post=2599"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}