Daniele Mundici – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

19 produkter

Kategorier

19 produkter

Logic and Scientific Methods
Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
AvMaria Luisa Dalla Chiara,Kees Doetsm. fl.
Inbunden, Engelska, 1996
2 162 kr
Skickas inom 10-15 vardagar
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science.
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
AvMaria Luisa Dalla Chiara,Kees Doetsm. fl.
Inbunden, Engelska, 1996
2 162 kr
Skickas inom 10-15 vardagar
This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe and the Far East.
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Kluwer Academic Publishers
1996
5 167 kr
Skickas inom 10-15 vardagar
This is the second of two volumes comprising the papers submitted for publication by the invited participants to the 10th International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science.The papers published in the second volume are concerned with the general issues of methodology and ethics, and foundational issues of natural sciences, social sciences and humanities, linguistics, psychology and history of science.
Algebraic Foundations of Many-Valued Reasoning
AvR.L. Cignoli,Itala M. d'Ottavianom. fl.
Inbunden, Engelska, 1999
1 085 kr
Skickas inom 10-15 vardagar
The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is for self-study: with the possible exception of Chapter 9 on advanced topics, the only prere- quisite for the reader is some acquaintance with classical propositional logic, and elementary algebra and topology. In this book it is not our aim to give an account of Lukasiewicz's motivations for adding new truth values: readers interested in this topic will find appropriate references in Chapter 10. Also, we shall not explain why Lukasiewicz infinite-valued propositionallogic is a ba- sic ingredient of any logical treatment of imprecise notions: Hajek's book in this series on Trends in Logic contains the most authorita- tive explanations. However, in order to show that MV-algebras stand to infinite-valued logic as boolean algebras stand to two-valued logic, we shall devote Chapter 5 to Ulam's game of Twenty Questions with lies/errors, as a natural context where infinite-valued propositions, con- nectives and inferences are used.While several other semantics for infinite-valued logic are known in the literature-notably Giles' game- theoretic semantics based on subjective probabilities-still the transi- tion from two-valued to many-valued propositonallogic can hardly be modelled by anything simpler than the transformation of the familiar game of Twenty Questions into Ulam game with lies/errors.
Del 69 - Trends in Logic
Algebraic Probabilistic Consistency
Boole, Łukasiewicz, de Finetti, Kolmogorov
AvDaniele Mundici
Inbunden, Engelska, 2026
1 192 kr
Skickas inom 10-15 vardagar
This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability, through de Finetti’s finitely additive probability and his consistency notion, also known as “non-Dutchbookability,” to the intricate relationship between logic independence and stochastic independence. Using the recent characterization of Łukasiewicz logic as the only logic generated by a continuous [0,1]-valued operation having the two minimal properties of what is commonly understood as an implication, the author extends the results of the first part of the book from yes-no events to continuous real-valued events. The book culminates with a detailed examination of the symbiosis between de Finetti’s finitely additive and Kolmogorov’s countably additive probability on compact spaces. By providing a rigorous and cohesive narrative, this book serves as an essential resource for scholars and students in mathematical logic eager to grasp the profound connections between logic, probability, and algebraic structures.
Algebraic Probabilistic Consistency
Boole, Lukasiewicz, de Finetti, Kolmogorov
AvDaniele Mundici
E-bok
Engelska, 2026
1 570 kr
Läs direkt efter köp
This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability, through de Finetti’s finitely additive probability and his consistency notion, also known as “non-Dutchbookability,” to the intricate relationship between logic independence and stochastic independence. Using the recent characterization of Lukasiewicz logic as the only logic generated by a continuous [0,1]-valued operation having the two minimal properties of what is commonly understood as an implication, the author extends the results of the first part of the book from yes-no events to continuous real-valued events. The book culminates with a detailed examination of the symbiosis between de Finetti’s finitely additive and Kolmogorov’s countably additive probability on compact spaces. By providing a rigorous and cohesive narrative, this book serves as an essential resource for scholars and students in mathematical logic eager to grasp the profound connections between logic, probability, and algebraic structures.
Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
AvGeorg Gottlob,Alexander Leitschm. fl.
Häftad, Engelska, 1993
546 kr
Skickas inom 10-15 vardagar
The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and proof theory. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science. In both disciplines methods were inventedwhich arecrucial to one another. This volume contains theproceedings of the symposium. It contains contributions by36 authors from 10 different countries. In addition to 10invited papers there are 26 contributed papers selected fromover 50 submissions.
Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
AvPierangelo Miglioli,Ugo Moscatom. fl.
Häftad, Engelska, 1996
546 kr
Skickas inom 10-15 vardagar
This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.
Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
AvGeorg Gottlob,Alexander Leitschm. fl.
Häftad, Engelska, 1997
546 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
Del 50 - UNITEXT
Logica: Metodo Breve
AvDaniele Mundici
Häftad, Italienska, 2011
309 kr
Skickas inom 10-15 vardagar
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.
Logica: Metodo Breve
AvDaniele Mundici
E-bok
PDF, Italienska, 2011
237 kr
Läs direkt efter köp
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.
Logic: a Brief Course
AvDaniele Mundici
Häftad, Engelska, 2012
546 kr
Skickas inom 10-15 vardagar
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.
Logic: a Brief Course
AvDaniele Mundici
E-bok
PDF, Engelska, 2012
710 kr
Läs direkt efter köp
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.A proof of Gödel''s completeness theorem and its main consequences is given using Robinson''s completeness theorem and Gödel''s compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.
Logic and Scientific Methods
Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
AvMaria Luisa Dalla Chiara,Kees Doetsm. fl.
Häftad, Engelska, 2010
2 162 kr
Skickas inom 10-15 vardagar
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science.
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
AvMaria Luisa Dalla Chiara,Kees Doetsm. fl.
Häftad, Engelska, 2010
2 162 kr
Skickas inom 10-15 vardagar
This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe and the Far East.
Algebraic Foundations of Many-Valued Reasoning
AvR.L. Cignoli,Itala M. d'Ottavianom. fl.
Häftad, Engelska, 2010
1 085 kr
Skickas inom 10-15 vardagar
The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is for self-study: with the possible exception of Chapter 9 on advanced topics, the only prere- quisite for the reader is some acquaintance with classical propositional logic, and elementary algebra and topology. In this book it is not our aim to give an account of Lukasiewicz's motivations for adding new truth values: readers interested in this topic will find appropriate references in Chapter 10. Also, we shall not explain why Lukasiewicz infinite-valued propositionallogic is a ba- sic ingredient of any logical treatment of imprecise notions: Hajek's book in this series on Trends in Logic contains the most authorita- tive explanations. However, in order to show that MV-algebras stand to infinite-valued logic as boolean algebras stand to two-valued logic, we shall devote Chapter 5 to Ulam's game of Twenty Questions with lies/errors, as a natural context where infinite-valued propositions, con- nectives and inferences are used.While several other semantics for infinite-valued logic are known in the literature-notably Giles' game- theoretic semantics based on subjective probabilities-still the transi- tion from two-valued to many-valued propositonallogic can hardly be modelled by anything simpler than the transformation of the familiar game of Twenty Questions into Ulam game with lies/errors.
Algebraic Foundations of Many-Valued Reasoning
AvDaniele Mundici,Itala M. d'Ottavianom. fl.
E-bok
PDF, Engelska, 2013
1 413 kr
Läs direkt efter köp
Logic and Scientific Methods
Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
AvJohan van Benthem,Daniele Mundicim. fl.
E-bok
PDF, Engelska, 2013
2 833 kr
Läs direkt efter köp
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science.
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
AvJohan van Benthem,Daniele Mundicim. fl.
E-bok
PDF, Engelska, 2013
2 917 kr
Läs direkt efter köp
This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe and the Far East.

Företag, bibliotek eller offentlig verksamhet?

Daniele Mundici – författare

Logic and Scientific Methods

Structures and Norms in Science

Structures and Norms in Science

Algebraic Foundations of Many-Valued Reasoning

Algebraic Probabilistic Consistency

Algebraic Probabilistic Consistency

Computational Logic and Proof Theory

Theorem Proving with Analytic Tableaux and Related Methods

Computational Logic and Proof Theory

Logica: Metodo Breve

Logica: Metodo Breve

Logic: a Brief Course

Logic: a Brief Course

Logic and Scientific Methods

Structures and Norms in Science

Algebraic Foundations of Many-Valued Reasoning

Algebraic Foundations of Many-Valued Reasoning

Logic and Scientific Methods

Structures and Norms in Science

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration