Reilly's law of retail gravitation

Independence-friendly logic (IF logic), proposed by Jaakko Hintikka and Gabriel Sandu in 1989, aims at being a more natural and intuitive alternative to classical first-order logic (FOL). IF logic is characterized by branching quantifiers. It is more expressive than FOL because it allows one to express independence relations between quantified variables.

For example, the formula ∀a ∀b ∃c/b ∃d/a φ(a,b,c,d) ("x/y" should be read as "x independent of y") cannot be expressed in FOL. This is because c depends only on a and d depends only on b. First-order logic cannot express these independences by any linear reordering of the quantifiers. In part, IF logic was motivated by game semantics for games with imperfect information.

IF logic is translation equivalent with existential second-order logic (${\mathrm{\Sigma }}_1^1$) and also with Väänänen's dependence logic and with first-order logic extended with Henkin quantifiers. Although it shares a number of metalogical properties with first-order logic, there are some differences, including lack of closure under negation and higher complexity for deciding the validity of formulas. Extended IF logic addresses the closure problem, but it sacrifices game semantics in the process, and it properly belongs to higher fragment of second-order logic ( ${\mathrm{\Delta }}_2^1$).

Hintikka's proposal that IF logic and its extended version be used as foundations of mathematics has been met with skepticism by other mathematicians, including Väänänen and Solomon Feferman.

Semantics

Since Tarskian semantics does not allow indeterminate truth values, it cannot be used for IF logic. Hintikka further argues that the standard semantics of FOL cannot accommodate IF logic because the principle of compositionality fails in the latter. Wilfrid Hodges (1997) gives a compositional semantics for it in part by having the truth clauses for IF formulas quantify over sets of assignments rather than just assignments (as the usual truth clauses do).

The game-theoretic semantics for FOL treats a FOL formula as a game of perfect information, whose players are Verifier and Falsifier. The same holds for the standard semantics of IF logic, except that the games are of imperfect information.

Independence relations between the quantified variables are modelled in the game tree as indistinguishability relations between game states with respect to a certain player. In other words, the players are not certain where they are in the tree (this ignorance simulates simultaneous play). The formula is evaluated as true if there Verifier has a winning strategy, false if Falsifier has a winning strategy, and indeterminate otherwise.

A winning strategy is informally defined as a strategy that is guaranteed to win the game, regardless of how the other players play. It can be given a completely rigorous, formal definition.

Extended IF logic

Template:Expand section IF logic is not closed under classical negation. The boolean closure of IF logic is known as extended IF logic and it is equivalent to a proper fragment of ${\mathrm{\Delta }}_2^1$ (Figueira et al. 2011). Hintikka (1996, p. 196) claimed that "virtually all of classical mathematics can in principle be done in extended IF first-order logic".

Properties and critique

A number of properties of IF logic follow from logical equivalence with ${\mathrm{\Sigma }}_1^1$ and bring it closer to first-order logic including a compactness theorem, a Löwenheim–Skolem theorem, and a Craig interpolation theorem. (Väänänen, 2007, p. 86). However, Väänänen (2001) proved that the set of Gödel numbers of valid sentences of IF logic with at least one binary predicate symbol (set denoted by Val_IF) is recursively isomorphic with the corresponding set of Gödel numbers of valid (full) second-order sentences in a vocabulary that contains one binary predicate symbol (set denoted by Val²). Furthermore Väänänen showed that Val² is the complete Π₂-definable set of integers, and that it is Val² not in ${\mathrm{\Sigma }}_n^m$ for any finite m and n. Väänänen (2007, pp. 136-139) summarizes the complexity results as follows:

Problem	first-order logic	IF/depence/ESO logic
Decision	${\mathrm{\Sigma }}_1^0$ (r.e.)	${\mathrm{\Pi }}_2$
Non-validity	${\mathrm{\Pi }}_1^0$ (co-r.e.)	${\mathrm{\Sigma }}_2$
Consistency	${\mathrm{\Pi }}_1^0$	${\mathrm{\Pi }}_1^0$
Inconsistency	${\mathrm{\Sigma }}_1^0$	${\mathrm{\Sigma }}_1^0$

Feferman (2006) cites Väänänen's 2001 result to argue (contra Hintikka) that while satisfiability might be a first-order matter, the question of whether there is a winning strategy for Verifier over all structures in general "lands us squarely in full second order logic" (emphasis Feferman's). Feferman also attacked the claimed usefulness of the extended IF logic, because the sentences in ${\mathrm{\Pi }}_1^1$ do not admit a game-theoretic interpretation.

See also

• Game Semantics
• Branching Quantifiers
• Dependence Logic

References

• Hintikka, Jaakko and Gabriel Sandu (1989), "Informational independence as a semantical phenomenon", in Logic, Methodology and Philosophy of Science VIII (J. E. Fenstad, et al., eds.), North-Holland, Amsterdam, 21 year-old Glazier James Grippo from Edam, enjoys hang gliding, industrial property developers in singapore developers in singapore and camping. Finds the entire world an motivating place we have spent 4 months at Alejandro de Humboldt National Park.
• Jaakko Hintikka, 1996, The Principles of Mathematics Revisited, Cambridge University Press, ISBN 978-0-521-62498-5
• Jaakko Hintikka and Gabriel Sandu, "Game-theoretical semantics", in Handbook of logic and language, ed. J. van Benthem and A. ter Meulen, Elsevier 1996 (1st ed.) Updated in the 2nd second edition of the book (2011).
• Wilfrid Hodges, 1997, 'Compositional semantics for a language of imperfect information'. Journal of the IGPL 5: 539–563.
• Daniel Kolak, On Hintikka, Belmont: Wadsworth 2001 ISBN 0-534-58389-X
• One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting
  
  In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang
  
  Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules
  
  Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.
  
  A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running
  
  The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more
  
  There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang
• Jaakko Hintikka, "Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory", Bulletin of Symbolic Logic 8, 2002, 404-423
• Matti Eklund and Daniel Kolak, “Is Hintikka’s Logic First Order?” Synthese, 131(3): 371-388 June 2002
• Janssen, Theo M. V. "Independent choices and the interpretation of IF logic." Journal of Logic, Language and Information, Volume 11 Issue 3, Summer 2002, pp. 367-387 21 year-old Glazier James Grippo from Edam, enjoys hang gliding, industrial property developers in singapore developers in singapore and camping. Finds the entire world an motivating place we have spent 4 months at Alejandro de Humboldt National Park.
• Daniel Kolak and John Symons, "The Results are In: The Scope and Import of Hintikka’s Philosophy" in Daniel Kolak and John Symons, eds., Quantifiers, Questions, and Quantum Physics. Essays on the Philosophy of Jaakko Hintikka, Springer 2004, pp. 205-268 ISBN 1-4020-3210-2, 21 year-old Glazier James Grippo from Edam, enjoys hang gliding, industrial property developers in singapore developers in singapore and camping. Finds the entire world an motivating place we have spent 4 months at Alejandro de Humboldt National Park.
• Solomon Feferman, "What kind of logic is “Independence Friendly” logic?", in The Philosophy of Jaakko Hintikka (Randall E. Auxier and Lewis Edwin Hahn, eds.); Library of Living Philosophers vol. 30, Open Court (2006), 453-469.
• Jouko Väänänen, 2007, 'Dependence Logic -- A New Approach to Independence Friendly Logic', Cambridge University Press, ISBN 978-0-521-87659-9
• Allen L. Mann, Gabriel Sandu, Merlijn Sevenster (2011) Independence-Friendly Logic. A Game-Theoretic Approach, Cambridge University Press, ISBN 0521149347
• Santiago Figueira, Daniel Gorín, and Rafael Grimson "On the Expressive Power of IF-Logic with Classical Negation", WoLLIC 2011 proceedings, pp. 135-145, ISBN 978-3-642-20919-2

External links

• Tero Tulenheimo, 2009. 'Independence friendly logic'. Stanford Encyclopedia of Philosophy.
• Wilfrid Hodges, 2009. 'Logic and Games'. Stanford Encyclopedia of Philosophy.
• IF logic on Planet Math