Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Bolzano's Logical System
This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logial thought - already amply studied - as muh as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work. Casari presents this within a formal system and adopts the approach of the predicate calculus with identity and choice operator by using Hilbert's epsilon calculus (the logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics).
Rediscovering Phenomenology
This book proposes a new phenomenological analysis of the questions of perception and cognition which are of paramount importance for a better understanding of those processes which underlies the formation of knowledge and consciousness. It presents many clear arguments showing how a phenomenological perspective helps to deeply interpret most fundamental findings of current research in neurosciences and also in mathematical and physical sciences.
Substructural Logics: A Primer
The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.
On Fuzziness
The notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through technical and formal advances on one side and useful applications on the other side, but also as consequence of the introduction and assimilation of new concepts in its corpus. These, in turn, produce new developments and applications. And this is what Fuzziness, one of the few new concepts arisen in the XX Century, has been doing so far. This book aims at paying homage to Professor Lotfi A. Zadeh, the “father of fuzzy logic” and also at giving credit to his exceptional work and personality. In a way, this is reflected in the variety of contrib...
Logic and Philosophy of Mathematics in the Early Husserl
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 ...
Logic and Algebra
""Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in Siena, Italy, in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic in Italy since the 1960s.
The Restoration of Ghirlandina Tower in Modena and the Assessment of Soil-Structure Interaction by Means of Dynamic Identification Techniques
This book is the first of a series of volumes on Built Heritage and Geotechnics, intended to reach a wide audience: professionals and academics in the fields of civil engineering, architecture, restoration and cultural heritage management, and even the wider public. The present volume provides essential information on the history of the construction of the Ghirlandina Tower in Modena, the techniques involved and the restoration works, and proves how the interaction with the supporting soil may explain the reasons behind the corrections that masons implemented during construction, the pattern of settlements suffered by the tower and the Cathedral and their mutual interaction. In addition to t...
Alexander of Aphrodisias: On Aristotle Topics 3
Aristotle's Topics is a handbook for dialectic, i.e. the exercise for philosophical debates between a questioner and a respondent. Alexander takes the Topics as a sort of handbook teaching how to defend and how attack any philosophical claim against philosophical adversaries. In book 3, Aristotle develops strategies for arguing about comparative claims, in which properties are said to belong to subjects to a greater, lesser, or equal degree. Aristotle illustrates the different argumentative patterns that can be used to establish or refute a comparative claim through one single example: whether something is more or less or equally to be chosen or to be avoided than something else. In his comm...
Consequence Relations
The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's An Algebraic Approach to Non-Classical Logics (1974), and Wójcicki's Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, fills this niche. Citkin and Muravitsky consider the problem of obtaining confirmation that a statement is a consequence of a set of statements as prerequisites, on the one hand, and the problem of demonstrating that such confirmation does not exist in the structure under consideration, on the other hand. For ...
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
This book offers the first-ever English translation of Oskar Becker’s Zur Logik der Modalitäten. This essay, 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.
