Searching for "Truth and Meaning." – sorted by Relevance.
132 documents found, showing 1 through 10.
Next 10 →
-
The Truth of ‘Meaning ’ and... the Meaning of ‘Truth’
- …The Truth of ‘Meaning’ and ... the Meaning of ‘Truth’ Micha̷l Walicki September 7, 1998 All kinds…
- Add To MetaCart
-
Provability logic
- … to Brouwer, intuitionistic truth means provability. Here is a summary from Constructivism in Mathematics…
- Cited by 8 (4 self) – Add To MetaCart
-
Means-Ends Epistemology
- … to the truth). Means-ends vindications of (a version of) Occam’s Razor and the natural generalizations in a…
- Cited by 2 (1 self) – Add To MetaCart
-
Book Reviews Philosophy, Language, and Artificial Intelligence: Resources for Processing Natural Language Linguistics, Malostransk n.25, 118 O0 Praha 1, Czechoslo- vakia.
- … that one can drop, for example, Davidson's "Truth and Meaning" in the lap of a computer scientist…
- Add To MetaCart
-
and
- … which allocation functions are truthful, meaning that they can be combined with a payment function…
- Add To MetaCart
-
Name Strategy: Its Existence and Implications
- … and mathematics are discussed: specifically it is argued that in accounts of truth and meaning it is necessary…
- Cited by 1 (1 self) – Add To MetaCart
-
A Constructive Game Semantics for the Language of Linear Logic
- … "truth" means existence of an effective winning (resource-using, problem-solving) strategy. The paper…
- Cited by 6 (3 self) – Add To MetaCart
-
A Semantics for Model-Based Spatial Reasoning
- … domain. In contrast, rule-based reasoning is proving truth by means of formal manipulation of formulas. A…
- Cited by 1 (0 self) – Add To MetaCart
-
Grounded on Experience: Semantics for intelligence
- …. Accordingly, both truth value and meaning are dynamic and subjective. This approach provides new ideas…
- Cited by 5 (4 self) – Add To MetaCart
-
Imagining Contexts ⋆
- … the relation between meaning and truth by formally separating the conditions for a sentence to be meaningful…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
