Cantitate/Preț
Produs
Total produse
Vezi coșul
Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction de Antonio Piccolomini d’Aragona

Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction: Synthese Library, cartea 469

Autor Antonio Piccolomini d’Aragona
en Limba Engleză Paperback – 3 ian 2024
This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz’s theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion.

The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz’s grounding as foundin his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 71430 lei  6-8 săpt.
  Springer International Publishing – 3 ian 2024 71430 lei  6-8 săpt.
Hardback (1) 72018 lei  6-8 săpt.
  Springer International Publishing – 2 ian 2023 72018 lei  6-8 săpt.

Din seria Synthese Library

  • Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future
    Preț: 54327 lei
  • 15% Truth in Fiction: Rethinking its Logic
    Preț: 62768 lei
  • 18% Exploring Meinong’s Jungle and Beyond: The Sylvan Jungle - Volume 1
    Preț: 97328 lei
  • 15% Ultralogic as Universal?: The Sylvan Jungle - Volume 4
    Preț: 58666 lei
  • 18% Believing in Accordance with the Evidence: New Essays on Evidentialism
    Preț: 88867 lei
  • 15% Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content
    Preț: 57701 lei
  • 15% Scientific Discovery in the Social Sciences
    Preț: 68477 lei
  • 18% Dispositionalism: Perspectives from Metaphysics and the Philosophy of Science
    Preț: 87784 lei
  • 15% Vagueness as Arbitrariness: Outline of a Theory of Vagueness
    Preț: 63251 lei
  • Philosophy of Astrophysics: Stars, Simulations, and the Struggle to Determine What is Out There
    Preț: 28233 lei
  • Gewinnungsarbeiten, Wasserhaltung: IV
    Preț: 43568 lei
  • 5% The Behavior of Human Infants
    Preț: 36597 lei
  • 15% A Precis of Mathematical Logic
    Preț: 62686 lei
  • 18% Formal Methods in the Methodology of Empirical Sciences: Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974
    Preț: 94269 lei
  • 15% Belief and Probability
    Preț: 63154 lei
  • 18% The Scientific World-Perspective and Other Essays, 1931–1963
    Preț: 120987 lei
  • 15% Unity of Science
    Preț: 63201 lei
  • 18% Mathematical Thought: An Introduction to the Philosophy of Mathematics
    Preț: 98350 lei
  • Advanced Logic for Applications
    Preț: 38318 lei
  • 15% Tense Logic
    Preț: 62655 lei
  • 18% Position and Change: A Study in Law and Logic
    Preț: 93620 lei
  • 18% Dispositions
    Preț: 121053 lei
  • 15% Inference, Method and Decision: Towards a Bayesian Philosophy of Science
    Preț: 63509 lei
  • Human Action and Its Explanation: A Study on the Philosophical Foundations of Psychology
    Preț: 38924 lei
  • Semiotics in Poland 1894–1969
    Preț: 39378 lei
  • 18% Mathematical Epistemology and Psychology
    Preț: 120479 lei
  • 15% Action Theory and Social Science: Some Formal Models
    Preț: 62814 lei
  • 18% Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
    Preț: 121129 lei
  • Studies in Inductive Probability and Rational Expectation
    Preț: 37409 lei
  • Essays in Honour of Jaakko Hintikka: On the Occasion of His Fiftieth Birthday on January 12, 1979
    Preț: 38827 lei
  • 15% Quantum Logic
    Preț: 62960 lei
  • 15% Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi
    Preț: 62832 lei
  • Dismantling the Memory Machine: A Philosophical Investigation of Machine Theories of Memory
    Preț: 37560 lei
  • 15% Ontology and the Logistic Analysis of Language: An Enquiry into the Contemporary Views on Universals
    Preț: 63217 lei

Preț: 71430 lei

Preț vechi: 87110 lei
-18% Nou

Puncte Express: 1071
Preț estimativ în valută:
13670€ • 14241$ • 11366£

Carte tipărită la comandă

Livrare economică 11-25 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031202964
ISBN-10: 3031202961
Pagini: 282
Ilustrații: VIII, 282 p. 1 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.41 kg
Ediția:1st ed. 2023
Editura: Springer International Publishing
Colecția Springer
Seria Synthese Library

Locul publicării:Cham, Switzerland

Cuprins

1. Introduction.- Part I. The idea of epistemic grounding. 2. From models to evidence.-  3. Valid arguments and proofs.- 4. Prawitz’s theory of grounds.- Part II. Formal epistemic grounding. 5. Languages of grounding.- 6. Systems of grounding.- 7. Completeness and recognizability.- 8. Conclusion.- Bibliography.

Notă biografică

I obtained my Bachelor Degree in Philosophy at the “Federico II” University of Naples in 2009, and my Master Degree in Philosophy at the “La Sapienza” University of Rome in 2014. I achieved the Doctoral Degree in Philosophy in 2019, with a dissertation about Dag Prawitz’s theory of grounds under the conjoint direction of prof. Gabriella Crocco (Aix-Marseille University) and prof. Cesare Cozzo (“La Sapienza” University of Rome). I am currently teaching History and Philosophy of Science, Logic and Philosophy of Logic, and Philosophy of Mathematics, at the Science and Philosophy Departments of the Aix-Marseille University.

Broadly, I deal with mathematical logic and philosophy of logic. More specifically, I am interested into constructive logics and proof-theoretic semantics (particularly Prawitz’s semantics) stemming from the intuitionistic tradition. As a parallel project, I investigate whether Kreisel’s informal rigour and Goedel’s absolute provability can be read through the lens of contemporary constructivist approaches. A minor interest concerns a socio-epistemological study of scientific controversies.

Textul de pe ultima copertă

This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz’s theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion.

The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz’s grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.

Caracteristici

Answers one of the most fundamental questions in logic Presents an in-depth and critical reconstruction of Dag Prawitz’s epistemic grounding Discusses Dag Prawitz's epistemic grounding within the broader field of proof-theoretic semantics