Kategoria BISAC: Mathematics >> Logic

This volume covers a wide range of topics that fall under the 'philosophy of quantifiers', a philosophy that spans across multiple areas such as logic, metaphysics, epistemology and even the history of philosophy. It discusses the import of quantifier variance in the model theory of mathematics. It advances an argument for the uniqueness of quantifier meaning in terms of Evert Beth's notion of implicit definition and clarifies the oldest explicit formulation of quantifier variance: the one proposed by Rudolf Carnap.

The volume further examines what it means that a quantifier can have...

This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy.

The first part shows how information helps to reduce indefiniteness. Understanding rests on our ability to find the right context, in which we localize a problem as a point in a network of connections. New elements must be combined...

This book explains in detail how to define requirements modelling languages - formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design.

The book positions requirements problem solving within the framework of broader research on ill-structured problem solving in artificial intelligence and engineering in general. Further, it introduces the reader to many complicated issues in requirements...

The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in well-known theorems concerning projective modules over polynomial rings (mainly the Quillen-Suslin theorem) and syzygies of multivariate polynomials with coefficients in a valuation ring.

Simple and constructive proofs of some results in the theory of projective modules over polynomial rings are also given, and light is cast upon recent progress on the Hermite ring and Grobner ring conjectures. New conjectures on unimodular completion...

Paradoxes of the Infinite presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19^th century: Dr Bernard Bolzano's Paradoxien. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction to the masterpiece, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist.

This book explores the two major elements of Hintikka s model of inquiry: underlying game theoretical motivations and the central role of questioning. The chapters build on the Hintikkan tradition extending Hintikka s model and present a wide variety of approaches to the philosophy of inquiry from different directions, ranging from erotetic logic to Lakatosian philosophy, from socio-epistemologic approaches to strategic reasoning and mathematical practice.

Hintikka's theory of inquiry is a well-known example of a dynamic epistemic procedure. In an interrogative inquiry, the inquirer...

Griddlers logic puzzles, also known as Picross or Nonograms, are picture logic puzzles in which cells in a grid have to be colored or left blank according to numbers given at the side of the grid to reveal a hidden picture. Some people compare Griddlers to Sudoku. However, the Griddlers puzzles always reveal a nice image as a result.

This book consists of 151 Griddlers puzzles, from small and easy up to big and complicated ones that may take several hours to solve. The solutions of the puzzles appear at the end of the book. At the end of the book we also brought 6 black and white...