Barwise is uncertain about the eventual outcome.
For a collection of quotes on the role of FA, see Barwise and Moss (1991).
Stephanie Barwise who represents a group of bereaved, survivors and residents argued that manufacturers knew that the products they were selling were dangerous, yet failed to be candid with organisations which issued official classification certificates, instead viewing them as ‘mere marketing tools’
Barwise & Etchemendy 1987 illustrate the idea with an imagined utterance of sentence (12):
This is Barwise and Etchemendy’s book The Liar (Barwise and Etchemendy 1987).
See also Troelstra 1973, and Troelstra's “Aspects of constructive mathematics” in Barwise 1977.
One such package was designed by Jon Barwise and John Etchemendy at Stanford, called ‘Tarski’s World’.
Barwise describes situations informally as “portions of the world” (Barwise 1989: 225).
Barwise and Etchemendy discuss relations between their situation-based and a more traditional approach in 1987 (Ch. 11).
As Barwise himself observes, the fixed point analysis of common knowledge is closely related to Aumann's partition account.
Barwise argues that in fact the fixed point analysis is more flexible and consequently more general than the hierachical account.
A version of it (for set theory with urelements, objects which are not sets) is the topic of a chapter in Barwise and Moss (1996).
One of Soames’ examples is (19) below (Soames 1986, 357), which is a variation of Barwise and Perry’s sleep lab example quoted above.
See Aczel (1988), Barwise and Moss (1996), and Moss (2009) for more information about bisimulation an circularity, connections with modal logic, data structures, and coalgebras.
Barwise and Perry (1983) reconceptualized this idea in their Situation Semantics, though this lacks the tight coupling between sentences and events that is arguably needed to capture causal relations expressed in language.
Situations entered natural language semantics with Jon Barwise’s paper Scenes and Other Situations (Barwise 1981), followed by Barwise and Perry’s Situations and Attitudes (Barwise & Perry 1983).
In particular, non-well founded sets are applied to the analysis of the paradoxes, to the semantics of natural languages and to theoretical computer science (see Barwise and Etchemendy 1984, Barwise and Moss 1996).
This line of reasoning is now widely known as the “slingshot argument”, a term coined by Jon Barwise and John Perry (in Barwise and Perry 1981: 395), who stressed thus an extraordinary simplicity of the argument and the minimality of presuppositions involved.
This conviction was necessary for the birth of their innovative computer program Hyperproof, which adopts both first-order languages and diagrams (in a multi-modal system) to teach elementary logic courses (Barwise & Etchemendy 1993 and Barwise & Etchemendy 1994).
Another indication of the dependence of second-order logic on set theory as the metatheory is the result of Barwise to the effect that the existence of the Hanf number of second-order logic is not provable in set theory without a highly complex use of the Replacement Axiom (for details, see Barwise 1972b).
barwise
On this page, there are 20 sentence examples for barwise. They are all from high-quality sources and constantly processed by lengusa's machine learning routines.
Grid-Flow technology
Just use the " " button to fragment sentence examples and start your learning flow.
Example output from one of your searches:
Another indication of the dependence of second-order logic on set theory as the metatheory is the result of Barwise to the effect that the existence of the Hanf number of second-order logic is not provable in set theory without a highly complex use of the Replacement Axiom for details see Barwise 1972b