Centrone Stefania (131 results)

Condition: Wie neu. 75 S. Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Unser Produktfoto entspricht dem hier angebotenen Artikel, dieser weist folgende Merkmale auf: Helle/saubere Seiten in fester Bindung. Sprache: Englisch Gewicht in Gramm: 45 Taschenbuch, Maße: 10.16 cm x 1.27 cm x 18.42 cm. …

Broschiert. Condition: Gut. 275 S. ; 21 cm Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Deutsch Gewicht in Gramm: 350.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. In English.

Hardback. Condition: New. Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal operators can be introduced in different formalisms with increasing complexity such as Basic Modal Logic (BML), Linear-Time Temporal Logic (LTL), Computation Tree Logic (CTL), and Full Computation Tree Logic (CTL*). Proof-theoretically, these formalisms of temporal logic can be interpreted by the sequent calculus of Gentzen, the tableau-based calculus, automata-based calculus, game-based calculus, and dialogue-based calculus with different advantages for different purposes, especially in computer science.The book culminates in an outlook on trendsetting applications of temporal logics in future technologies such as artificial intelligence and quantum technology. However, it will not be sufficient, as in traditional temporal logic, to start from the everyday understanding of time. Since the 20th century, physics has fundamentally changed the modern understanding of time, which now also determines technology. In temporal logic, we are only just beginning to grasp these differences in proof theory which needs interdisciplinary cooperation of proof theory, computer science, physics, technology, and philosophy.…

Hardcover. Condition: Brand New. 220 pages. 9.00x6.00x0.56 inches. In Stock.

Condition: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Condition: New. In English.

Condition: New.

Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: New.

Gebunden. Condition: New.

Condition: As New. Unread book in perfect condition.

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from reading Husserl's early work as a more or less immature sketch of claims consolidated only in his later phenomenology, and unlike the majority of historians of logic she emphasizes the systematic strength and the originality of Husserl's logico-mathematical work.The book attempts to reconstruct the discussion between Husserl and those philosophers and mathematicians who contributed to new developments in logic, such as Leibniz, Bolzano, the logical algebraists (especially Boole and Schröder), Frege, and Hilbert and his school. It presents both a comprehensive critical examination of some of the major works produced by Husserl and his antagonists in the last decade of the 19th century and a formal reconstruction of many texts from Husserl's Nachlaß that have not yet been the object of systematical scrutiny.This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to analytical philosophers and phenomenologists with a background in standard logic. …

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - In a fragment entitledElementa Nova Matheseos Universalis(1683 ) Leibniz writes 'themathesis[.]shall deliver the method through which things that are conceivable can be exactly determined'; in another fragment he takes themathesisto be 'the science of all things that are conceivable.' Leibniz considers all mathematical disciplines as branches of themathesisand conceives themathesisas a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms themathesisinvestigates possible relations between 'arbitrary objects' ('objets quelconques'). It is an abstract theory of combinations and relations among objects whatsoever.In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitledContributions to a Better-Grounded Presentation of Mathematics.There is, according to him, acertain objective connectionamong the truths that are germane to a certain homogeneous field of objects: some truths are the 'reasons' ('Gründe') of others, and the latter are 'consequences' ('Folgen') of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proofis characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.The contributors ofMathesis Universalis, Computability and Proof,leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionisticlogic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from reading Husserl's early work as a more or less immature sketch of claims consolidated only in his later phenomenology, and unlike the majority of historians of logic she emphasizes the systematic strength and the originality of Husserl's logico-mathematical work.The book attempts to reconstruct the discussion between Husserl and those philosophers and mathematicians who contributed to new developments in logic, such as Leibniz, Bolzano, the logical algebraists (especially Boole and Schröder), Frege, and Hilbert and his school. It presents both a comprehensive critical examination of some of the major works produced by Husserl and his antagonists in the last decade of the 19th century and a formal reconstruction of many texts from Husserl's Nachlaß that have not yet been the object of systematical scrutiny.This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to analytical philosophers and phenomenologists with a background in standard logic.…

Condition: New.

Gebunden. Condition: New.

Condition: New. pp. 256.

Condition: New.

Condition: New. pp. 256.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers the first-ever English translation of Oskar Becker'sZur Logik der Modalitäten. Thisessay, published in 1930, is a pioneering yet often neglected contribution in the context of prewar modal logic research in Europe. Becker's text is complemented by an extended commentary that explains, analyzes and highlights Becker's accomplishments and the philosophical background of his investigations.The commentary provides an in-depth analysis of all of Becker's important contributions, both from a philosophical and logical perspective, making it a very useful book for scholars in both philosophy and logic.…

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers the first-ever English translation of Oskar Becker'sZur Logik der Modalitäten. Thisessay, published in 1930, is a pioneering yet often neglected contribution in the context of prewar modal logic research in Europe. Becker's text is complemented by an extended commentary that explains, analyzes and highlights Becker's accomplishments and the philosophical background of his investigations.The commentary provides an in-depth analysis of all of Becker's important contributions, both from a philosophical and logical perspective, making it a very useful book for scholars in both philosophy and logic.…

Condition: New. In English.