Semantic computations of truth based on associations already learned

AbstractThis article sets forth a detailed theoretical proposal of how the truth of ordinary empirical statements, often atomic in form, is computed. The method of computation draws on psychological concepts such as those of associative networks and spreading activation, rather that the concepts of philosophical or logical theories of truth. Axioms for a restricted class of cases are given, as well as some detailed examples

A Procedure for Generating (Conditional) Answers in a Goal-Directed Way

Two evolutionary games : collective action and prisoner's dilema / Jakson Alves de Aquino -- A formal approach to problem solving / Diderik Batens -- Application of mathematics and underdetermination / Otávio Bueno -- A framework for combining defeasible argumentation with labeled deduction / Carlos Iván Chesñevar and Guillermo Ricardo Simari -- A procedure for generating (conditional) answers in a goal-directed way / Kristof De Clerq and Rob Vanderbeken -- Abductive inference in defeasible reasoning : a model for research programmes / Claudio Delrieux -- Kepler's near discovery of the sine law : a quantitative computational model / Albrecht Heeffer -- Default models of rationality / Silvia Lerner -- Most inferences are defeasible / José Carlos Loureiro Ralha and Célia Ghedini Rahla -- Reasoning through doing : epistemic mediators in scientific reasoning / Lorenzo Magnani -- Do we need paraconsistency in commonsense reasoning? / Joke Meheus -- Descartes, a methodical elimination of paradoxes for (de)-ontology building / Jean Sallantin ... [et al.] -- Measuring coherence using LP-models / Carlos A. Oller -- What are multi-agent systems trying to accomplish? Towards pragmatic game-theoretical agenda / Ahti-Veikko Pietarinen -- Direct dynamic proofs for compatibility / Dagmar Provijn -- Semantic computations of truth, based on associations already learned / Patrick Suppes and Jean-Yves Béziau -- On the sense of eating strawberries, or, On the exclusivity implcature fo 'or' / Liza Verhoeven and Leon Horsten -- A note on epistemology and logical afrificial intelligence / Gregory R. Wheeler and Luís Moniz Pereira