top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
A Theory of Formal Deducibility / by Haskell B. Curry
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
Opac: Controlla la disponibilità qui
A Theory of Sets / by Anthony P. Morse
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
Opac: Controlla la disponibilità qui
A Transfinite Type Theory with Type Variables / by P.B. Andrews
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
Opac: Controlla la disponibilità qui
A world of states of affairs / D. M. Armstrong
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
Opac: Controlla la disponibilità qui
Abaelardiana inedita / [edited by] L. Minio-Paluello
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
Opac: Controlla la disponibilità qui
Abaelardiana Inedita / L. Minio-Paluello
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
Opac: Controlla la disponibilità qui
Abduction in cognition and action : logical reasoning, scientific inquiry, and social practice / / John R. Shook, Sami Paavola, editors
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
Opac: Controlla la disponibilità qui
Abductive Reasoning [[electronic resource] /] / Douglas Walton
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
Opac: Controlla la disponibilità qui
Abductive Reasoning [[electronic resource] /] / Douglas Walton
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
Opac: Controlla la disponibilità qui
Abductive Reasoning [[electronic resource] /] / Douglas Walton
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
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...