A Theory of Formal Deducibility / by Haskell B. Curry |
Autore | Curry, Haskell B. |
Edizione | [3rd printing] |
Pubbl/distr/stampa | Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950 |
Descrizione fisica | xi, 129 p. ; 23 cm |
Disciplina | 160 |
Collana | Notre Dame Mathematical Lectures |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000980090403321 |
Curry, Haskell B. | ||
Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Theory of Sets / by Anthony P. Morse |
Autore | Morse, Anthony P. |
Pubbl/distr/stampa | New York [etc.] : Academic Press, 1965 |
Descrizione fisica | xxxi, 130 p. ; 24 cm |
Disciplina | 160 |
Collana | Pure and applied mathematics |
Soggetto non controllato | Teoria degli insiemi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001036630403321 |
Morse, Anthony P. | ||
New York [etc.] : Academic Press, 1965 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Transfinite Type Theory with Type Variables / by P.B. Andrews |
Autore | Andrews, Peter B. |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1965 |
Descrizione fisica | xv, 143 p. ; 23 cm |
Disciplina | 160 |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000953750403321 |
Andrews, Peter B. | ||
Amsterdam : North-Holland, 1965 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A world of states of affairs / D. M. Armstrong |
Autore | Armstrong, David Malet |
Pubbl/distr/stampa | Cambridge [etc.], : Cambridge University press, 1997 |
Descrizione fisica | XIII, 285 p. ; 22 cm |
Disciplina | 160 |
Collana | Cambridge studies in philosophy |
ISBN | 9780521589482 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910632197403321 |
Armstrong, David Malet | ||
Cambridge [etc.], : Cambridge University press, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abaelardiana inedita / [edited by] L. Minio-Paluello |
Autore | Abaelardus, Petrus <1079-1142> |
Pubbl/distr/stampa | Roma : Edizioni di Storia e letteratura, 1958 |
Descrizione fisica | XLVIII, 160 p. ; 22 cm. |
Disciplina | 160 |
Altri autori (Persone) | Minio-Paluello, Lorenzo |
Collana | Twelfth century logic. Texts and studies ; 2 |
Soggetto topico |
Filosofia medievale
Logica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | lat |
Record Nr. | UNISALENTO-991001863189707536 |
Abaelardus, Petrus <1079-1142> | ||
Roma : Edizioni di Storia e letteratura, 1958 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Abaelardiana Inedita / L. Minio-Paluello |
Autore | Minio-Paluello, Lorenzo |
Pubbl/distr/stampa | Roma : Edizioni di storia e letteratura, 1958 |
Descrizione fisica | XLVIII, 160 p. ; 23 cm |
Disciplina | 160 |
Collana | Twelfth century logic ; 2 |
Soggetto topico | Logica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991001203269707536 |
Minio-Paluello, Lorenzo | ||
Roma : Edizioni di storia e letteratura, 1958 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Abduction in cognition and action : logical reasoning, scientific inquiry, and social practice / / John R. Shook, Sami Paavola, editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (298 pages) |
Disciplina | 160 |
Collana | Studies in Applied Philosophy, Epistemology and Rational Ethics |
Soggetto topico | Abduction (Logic) |
ISBN | 3-030-61773-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483485203321 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abductive Reasoning [[electronic resource] /] / Douglas Walton |
Autore | Walton Douglas N |
Pubbl/distr/stampa | Tuscaloosa, Ala., : University of Alabama Press, 2004 |
Descrizione fisica | 1 online resource (320 p.) |
Disciplina | 160 |
Soggetto topico |
Reasoning
Abduction (Logic) |
Soggetto genere / forma | Electronic books. |
ISBN | 0-8173-8761-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; Acknowledgments; Introduction; 1. Abductive, Presumptive, and Plausible Arguments; Abductive Inference; Peirce on the Three Types of Reasoning; Peirce on the Form of Abductive Inference; Scientific Discovery and Artificial Intelligence; Abductive Inference in Legal Evidence; Defeasible, Plausible, and Presumptive Reasoning; Tentative Definitions; Argumentation Schemes; Araucaria as a Tool for Argument Diagramming; 2. A Dialogue Model of Explanation; Types of Explanation; Models of Scientific Explanation; Simulation, Understanding, and Making Sense
Scripts, Anchored Narratives, and ImplicaturesThe Dialogue Model of Explanation; The Speech Act of Explanation; Dialogue Models of Scientific Argumentation and Explanation; Examination Dialogue and Shared Understanding; Dialectical Shifts and Embeddings; 3. A Procedural Model of Rationality; Computational Dialectics; Reasoning as Chaining of Inferences; Forward and Backward Chaining Rule-Based Systems in Artificial Intelligence; The Problem of Enthymemes; Multiagent Practical Reasoning; Bounded Rationality; 4. Defeasible Modus Ponens Arguments A Typical Case of Abductive Reasoning in Evidence LawArgumentation from Consequences; Defeasible Inferences and Modus Ponens; Conditionals and Generalizations; Abductive Inference in Medical Diagnosis; Introducing Defeasible Modus Ponens; Using Defeasible Modus Ponens as an Argumentation Scheme; 5. Abductive Causal Reasoning; Necessary and Sufficient Conditions; Forms of Causal Argumentation; Argument from Correlation to Cause; Abductive Causal Reasoning in Law; Causal Abduction in Medical Examination and Diagnosis; Causal Reasoning as Dynamic Improvement of a Hypothesis The Thesis That Causal Reasoning Is AbductiveCausal Explanations; The Chain of Reasoning in the Accident Case; Insights into Causal Argumentation Yielded by the Abductive Theory; 6. Query-Driven Abductive Reasoning; Argument Extrapolation by Chaining Forward; Colligation in Chaining Backward; The Form of Abductive Inference Revisited; Belief-Desire-Intention and Commitment Models; The Abductive Profile of Dialogue; Abduction as a Query-Driven Process; Discovery as an Open Process; Retraction of Commitment; The Four Phases of Abductive Reasoning; 7. Unsolved Problems of Abduction Abduction and Argumentation SchemesEnthymemes, Argumentation Schemes, and the Defeasible Modus Ponens Form of Reasoning; The Role of Examination in Science; Accounts and Explanations; The Problem of Inconsistency; How Abductive Reasoning Moves Forward by Examining Competing Accounts; Question-Answering and Critiquing Systems in Artificial Intelligence; Summary of Abduction as a Heuristic; Notes; References; Index |
Record Nr. | UNINA-9910464521303321 |
Walton Douglas N | ||
Tuscaloosa, Ala., : University of Alabama Press, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abductive Reasoning [[electronic resource] /] / Douglas Walton |
Autore | Walton Douglas N |
Pubbl/distr/stampa | Tuscaloosa, Ala., : University of Alabama Press, 2004 |
Descrizione fisica | 1 online resource (320 p.) |
Disciplina | 160 |
Soggetto topico |
Reasoning
Abduction (Logic) |
ISBN | 0-8173-8761-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; Acknowledgments; Introduction; 1. Abductive, Presumptive, and Plausible Arguments; Abductive Inference; Peirce on the Three Types of Reasoning; Peirce on the Form of Abductive Inference; Scientific Discovery and Artificial Intelligence; Abductive Inference in Legal Evidence; Defeasible, Plausible, and Presumptive Reasoning; Tentative Definitions; Argumentation Schemes; Araucaria as a Tool for Argument Diagramming; 2. A Dialogue Model of Explanation; Types of Explanation; Models of Scientific Explanation; Simulation, Understanding, and Making Sense
Scripts, Anchored Narratives, and ImplicaturesThe Dialogue Model of Explanation; The Speech Act of Explanation; Dialogue Models of Scientific Argumentation and Explanation; Examination Dialogue and Shared Understanding; Dialectical Shifts and Embeddings; 3. A Procedural Model of Rationality; Computational Dialectics; Reasoning as Chaining of Inferences; Forward and Backward Chaining Rule-Based Systems in Artificial Intelligence; The Problem of Enthymemes; Multiagent Practical Reasoning; Bounded Rationality; 4. Defeasible Modus Ponens Arguments A Typical Case of Abductive Reasoning in Evidence LawArgumentation from Consequences; Defeasible Inferences and Modus Ponens; Conditionals and Generalizations; Abductive Inference in Medical Diagnosis; Introducing Defeasible Modus Ponens; Using Defeasible Modus Ponens as an Argumentation Scheme; 5. Abductive Causal Reasoning; Necessary and Sufficient Conditions; Forms of Causal Argumentation; Argument from Correlation to Cause; Abductive Causal Reasoning in Law; Causal Abduction in Medical Examination and Diagnosis; Causal Reasoning as Dynamic Improvement of a Hypothesis The Thesis That Causal Reasoning Is AbductiveCausal Explanations; The Chain of Reasoning in the Accident Case; Insights into Causal Argumentation Yielded by the Abductive Theory; 6. Query-Driven Abductive Reasoning; Argument Extrapolation by Chaining Forward; Colligation in Chaining Backward; The Form of Abductive Inference Revisited; Belief-Desire-Intention and Commitment Models; The Abductive Profile of Dialogue; Abduction as a Query-Driven Process; Discovery as an Open Process; Retraction of Commitment; The Four Phases of Abductive Reasoning; 7. Unsolved Problems of Abduction Abduction and Argumentation SchemesEnthymemes, Argumentation Schemes, and the Defeasible Modus Ponens Form of Reasoning; The Role of Examination in Science; Accounts and Explanations; The Problem of Inconsistency; How Abductive Reasoning Moves Forward by Examining Competing Accounts; Question-Answering and Critiquing Systems in Artificial Intelligence; Summary of Abduction as a Heuristic; Notes; References; Index |
Record Nr. | UNINA-9910786459503321 |
Walton Douglas N | ||
Tuscaloosa, Ala., : University of Alabama Press, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abductive Reasoning [[electronic resource] /] / Douglas Walton |
Autore | Walton Douglas N |
Pubbl/distr/stampa | Tuscaloosa, Ala., : University of Alabama Press, 2004 |
Descrizione fisica | 1 online resource (320 p.) |
Disciplina | 160 |
Soggetto topico |
Reasoning
Abduction (Logic) |
ISBN | 0-8173-8761-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; Acknowledgments; Introduction; 1. Abductive, Presumptive, and Plausible Arguments; Abductive Inference; Peirce on the Three Types of Reasoning; Peirce on the Form of Abductive Inference; Scientific Discovery and Artificial Intelligence; Abductive Inference in Legal Evidence; Defeasible, Plausible, and Presumptive Reasoning; Tentative Definitions; Argumentation Schemes; Araucaria as a Tool for Argument Diagramming; 2. A Dialogue Model of Explanation; Types of Explanation; Models of Scientific Explanation; Simulation, Understanding, and Making Sense
Scripts, Anchored Narratives, and ImplicaturesThe Dialogue Model of Explanation; The Speech Act of Explanation; Dialogue Models of Scientific Argumentation and Explanation; Examination Dialogue and Shared Understanding; Dialectical Shifts and Embeddings; 3. A Procedural Model of Rationality; Computational Dialectics; Reasoning as Chaining of Inferences; Forward and Backward Chaining Rule-Based Systems in Artificial Intelligence; The Problem of Enthymemes; Multiagent Practical Reasoning; Bounded Rationality; 4. Defeasible Modus Ponens Arguments A Typical Case of Abductive Reasoning in Evidence LawArgumentation from Consequences; Defeasible Inferences and Modus Ponens; Conditionals and Generalizations; Abductive Inference in Medical Diagnosis; Introducing Defeasible Modus Ponens; Using Defeasible Modus Ponens as an Argumentation Scheme; 5. Abductive Causal Reasoning; Necessary and Sufficient Conditions; Forms of Causal Argumentation; Argument from Correlation to Cause; Abductive Causal Reasoning in Law; Causal Abduction in Medical Examination and Diagnosis; Causal Reasoning as Dynamic Improvement of a Hypothesis The Thesis That Causal Reasoning Is AbductiveCausal Explanations; The Chain of Reasoning in the Accident Case; Insights into Causal Argumentation Yielded by the Abductive Theory; 6. Query-Driven Abductive Reasoning; Argument Extrapolation by Chaining Forward; Colligation in Chaining Backward; The Form of Abductive Inference Revisited; Belief-Desire-Intention and Commitment Models; The Abductive Profile of Dialogue; Abduction as a Query-Driven Process; Discovery as an Open Process; Retraction of Commitment; The Four Phases of Abductive Reasoning; 7. Unsolved Problems of Abduction Abduction and Argumentation SchemesEnthymemes, Argumentation Schemes, and the Defeasible Modus Ponens Form of Reasoning; The Role of Examination in Science; Accounts and Explanations; The Problem of Inconsistency; How Abductive Reasoning Moves Forward by Examining Competing Accounts; Question-Answering and Critiquing Systems in Artificial Intelligence; Summary of Abduction as a Heuristic; Notes; References; Index |
Record Nr. | UNINA-9910811720303321 |
Walton Douglas N | ||
Tuscaloosa, Ala., : University of Alabama Press, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|