This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...) updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

We can now recognize Aristotle's many accomplishments in logical theory, not the least of which is treating the deduction process itself as a subject matter and thus establishing the science of logic. Aristotle took logic to be that part of epistemolo gy used to establish knowledge of logical consequence. Prior Analytics is a metalogical treatise on his syllogistic system in which Aristotle modelled his deduction system to demonstrate certain logical relationships among its rules. Aristotle's n otion of substitution distinguishes logical (...) syntax from semantics and enabled him to distinguish validity from deducibility sufficiently to note the completeness of his logic. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in (...) human reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but (...) have been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The article presents a verbal and mathematical model of medium-term business cycles (with a characteristic period of 7–11 years) known as Juglar cycles. The model takes into account a number of approaches to the analysis of such cycles; in the meantime it also takes into account some of the authors' own generalizations and additions that are important for understanding the internal logic of the cycle, its variability and its peculiarities in the present-time conditions. The authors argue that the most (...) important cause of cyclical crises stems from strong structural disproportions that develop during economic booms. These are not only disproportions between different economic sectors, but also disproportions between different societal subsystems; at present these are also disproportions within the World System as a whole. The proposed model of business cycle is based on its subdivision into four phases: – recovery phase (which could be subdivided into the start sub-phase and the acceleration sub-phase); – upswing/prosperity/expansion phase (which could be subdivided into the growth sub-phase and the boom/overheating sub-phase); – recession phase (within which one may single out the crash/bust/acute crisis subphase and the downswing sub-phase); – depression/stagnation phase (which we could subdivide into the stabilization subphase and the breakthrough sub-phase). The article provides a detailed qualitative description of macroeconomic dynamics at all the phases; it specifies driving forces of cyclical dynamics and the causes of transition from one phase to another (including psychological causes); a special attention is paid to the turning point from the peak of overheating to the acute crisis, as well as to the turning point from the downswing to recovery. The proposed mathematical model of Juglar cycle takes into account the following effects that are typical for the market economy: • positive feedbacks between various economic processes; • presence of a certain inertia, time lags in reactions of the economic subsystem to the change in conditions; • amplification by the financial subsystem of positive feedbacks and time lags in the economic subsystem; • excessive reaction to changing conditions during the acute crisis sub-phase. The authors suggest that the current crisis turns out to be rather similar to classical Juglar crises; however, there is also a significant difference, as the current crisis occurs at a truly global scale. Yet, due to this truly global scale of the current crisis, the possibilities of regulation with the national state's measures have turned out to be ineffective,whereas the suprastate regulation of financial processes hardly exists. It is shown that all these have led to the reproduction of the current crisis according to a classical Juglar scenario. (shrink)

John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be of interest to a wide range of readers across philosophy (...) of mathematics, logic, and philosophy of language. (shrink)

A reasoned argument or tarka is essential for a wholesome vāda that aims at establishing the truth. A strong tarka constitutes of a number of elements including an anumāna based on a valid hetu. Several scholars, such as Dharmakīrti, Vasubandhu and Dignāga, have worked on theories for the establishment of a valid hetu to distinguish it from an invalid one. This paper aims to interpret Dignāga’s hetu-cakra, called the wheel of grounds, from a modern philosophical perspective by deconstructing it into (...) a simple probabilistic mathematical model. The objective is to understand how and why a vāda based on a probabilistically weaker hetu can degrade into a Jalpa or vitaṇḍā. To do so, the paper maps the concept of ‘Bounded Rationality’ onto the hetu-cakra. Bounded Rationality, an idea coined by the management thinker Herbert Simon, is often employed in understanding decision-making processes of rational agents. In the context of this paper, the concept would state that the prativādin and ālocaka (debater) may not hold unbounded information to back their pratijñā (proposition). The paper argues that within the probabilistically deconstructed hetu-cakra model, most people argue in the ‘Zone of Bounded Rationality’, and thus, the probability of a debate degrading into Jalpa or vitaṇḍā is high. -/- . (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. (...) Several attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

The theory of Yin and Yang and the Five Movements is based on the concept of cyclical time. This ancient cosmological model postulates that when expansive energy reaches its apex, mutual life-saving relations prevail over mutually conflictual societal relations, and that this cycle repeats. This cosmic change model was first presented in ancient Korea and China, by Hado-Nakseo, via numerological configurations and symbols. The Hado diagram was drawn by a Korean thinker, Bok-hui (?-BC3413), also known as Great Empeor (...) Fuzi or Fu-hsi in Chinese mythology. Confucius once recognized him as the father of I Ching (Book of Changes). The Eastern cosmology was further developed by King Wen and the Duke of Zhou and compiled by Confucius (BC551?-BC 479) during the Spring and Autumn Period and the Warring States Period. Nakseo diagram was first discovered by the famous King Wu of China, who founded the Xia dynasty. In contrast to the harmonious mathematical matrix of Hado, Nakseo symbolizes the conflictual and dynamic expansion of the universe. In the Nakseo world, masculine energy is structurally greater than feminine energy, continuously breeding disequilibrium and conflict. The Yin and Yang model suggests that everything in the universe exists as a combination of opposing dynamics. At any given time, one of the two dynamics grows while the other declines. When Yang energy is at its peak, Yin energy is at its nadir; then, a reversal occurs; and envetually the whole cycle repeats. It would thus be logical to express that when conflictual energy has reached its apex harmonious energy begins to wax. It can be argued that since the state of disequilibrium within the universe represented by Nakseo cannot indefinitely sustain its dynamic of expansion, harmonious international relationships eventually come to pervade the world. This argument represents a unique applicationof the concept of Yin and Yang logic to international arms race and arms control. This cyclical dynamics can explain the long-term process of arms build-up followed by eventually by nuclear standoff and subsequent nuclear arms control regimes as NPT, CTBT, MTCR, SALT, START, PSI and etc. One can boldly claim that Yin and Yang logic offers a clue to creating a theory of structural peace by discovering a constructivist element in the model. The esoteric matrixes of ancient Korea and China thus provide humanity with an new vision for nuclear disarmament and a sustainable peace. (shrink)

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's (...) arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs. Originally published in 1978. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

A version of nonstandard analysis, Internal Set Theory, has been used to provide a resolution of Zeno's paradoxes of motion. This resolution is inadequate because the application of Internal Set Theory to the paradoxes requires a model of the world that is not in accordance with either experience or intuition. A model of standard mathematics in which the ordinary real numbers are defined in terms of rational intervals does provide a formalism for understanding the paradoxes. This model suggests that in (...) discussing motion, only intervals, rather than instants, of time are meaningful. The approach presented here reconciles resolutions of the paradoxes based on considering a finite number of acts with those based on analysis of the full infinite set Zeno seems to require. The paper concludes with a brief discussion of the classical and quantum mechanics of performing an infinite number of acts in a finite time. (shrink)

John P. Burgess, Mathematics, Models, and Modality: Selected Philosophical Essays. Cambridge: Cambridge University Press, 2008. xiii + 301 pp. $90.00, £50.00. ISBN 978-0-521-88034-3. Adobe eBook, $...

This paper sets out to show how mathematical modelling can serve as a way of ampliating knowledge. To this end, I discuss the mathematical modelling of time in theoretical physics. In particular I examine the construction of the formal treatment of time in classical physics, based on Barrow’s analogy between time and the real number line, and the modelling of time resulting from the Wheeler-DeWitt equation. I will show how mathematics shapes physical concepts, like time, acting as a (...) heuristic means—a discovery tool—, which enables us to construct hypotheses on certain problems that would be hard, and in some cases impossible, to understand otherwise. (shrink)

This paper describes model building and manipulation in the solution of problems in mechanics. An automatic problem solver, MECHO, solving problems in several areas of mechanics, employs (1) a knowledge base representing the semantic content of the particular problem area, (2) a means-ends search strategy similar to GPS to produce sets of simultaneous equations and (3) a “focusing” technique, based on the data within the knowledge base, to guide the GSP-like search through possible equation instantiations. Sets of predicate logic statements (...) are employed to describe this model building activity. These clauses are used to give information content to the knowledge base and provide both basis and guidance for the goal driven search.It is hypothesized that humon subjects solving mechanics problems employ similar model building techniques. Protocols of several subjects are presented and comparisons are drawn with the traces of the automated problem solver. Adjustments are made to the program to provide a better fit of traces to protocols. Some implications are presented for using a rule based model for describing human problem solving performance in solving mechanics problems. (shrink)

Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account of the history of attempts to answer this question, the reasoning behind the different positions taken, and their far-reaching implications. Aristotle had claimed that scientific knowledge, which includes mathematics, is provided by syllogisms of a special sort: 'scientific' ('demonstrative') syllogisms. In ancient Greece and in the Middle Ages, the claim that Euclid's theorems could be recast syllogistically was accepted without further scrutiny. (...) Nevertheless, as early as Galen, the importance of relational reasoning for mathematics had already been recognized. Further critical voices emerged in the Renaissance and the question of whether mathematical proofs could be recast syllogistically attracted more sustained attention over the following three centuries. Supported by more detailed analyses of Euclidean theorems, this led to attempts to extend logical theory to include relational reasoning, and to arguments purporting to reduce relational reasoning to a syllogistic form. Philosophical proposals to the effect that mathematical reasoning is heterogenous with respect to logical proofs were famously defended by Kant, and the implications of the debate about the adequacy of syllogistic logic for mathematics are at the very core of Kant's account of synthetic a priori judgments. While it is now widely accepted that syllogistic logic is not sufficient to account for the logic of mathematical proof, the history and the analysis of this debate, running from Aristotle to de Morgan and beyond, is a fascinating and crucial insight into the relationship between philosophy and mathematics. (shrink)

Nitric oxide (NO) is involved in synaptic long-term potentiation (LTP) by multiple signaling pathways. Here, we show that LTP of synaptic transmission can be explained as a feature of signal transduction—bistable behavior in a chain of biochemical reactions with positive feedback, formed by diffusion of NO to the presynaptic site and facilitating the release of glutamate (Glu). The dynamics of Glu, calcium (Ca2+) and NO is described by a system of nonlinear reaction–diffusion equations with modified Michaelis–Menten (MM) kinetics. Numerical investigation (...) reveals that the chain of biochemical reactions analyzed can exhibit a bistable behavior under physiological conditions when production of Glu is described by MM kinetics and decay of NO is modeled by means of two enzymatic pathways with different kinetic properties. Our finding extends understanding of the role of NO in LTP: a short high-intensity stimulus is “memorized” as a long-lasting elevation of NO concentration. The conclusions obtained by analysis of the chain of biochemical reactions describing LTP can be generalized to other chains of interactions or for creating the logical elements for biological computers. (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical (Boolean) foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated (...) in this paper have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims at providing an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic has fewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic ${\rm PPC}_{3}$ , with two kinds of falsity and two negations. It introduces the notion of Σ-space for a sentence A (or / A /, the set of situations in which A is true) as the basis of logical model theory, and the notion of / ${\bf P}^{A}$ / (the Σ-space of the presuppositions of A), functioning as a 'private' subuniverse for / A /. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. ${\rm PPC}_{3}$ and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of ${\rm PPC}_{3}$ as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: $1_{a}$ for the conjoined presuppositions of a, ã for the complement of a within $1_{a}$ , and â for the complement of $1_{a}$ within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic ...

This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rare-logics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability are established by faithfully translating (...) the Rare-logics into more standard modal logics. The main idea of the translation consists in eliminating the Boolean terms by taking advantage of the components construction and in using various properties of the classes of semilattices involved in the semantics. The novelty of our approach allows us to prove new decidability results (presented in Part II), in particular for information logics derived from rough set theory and we open new perspectives to define proof systems for such logics (presented also in Part II). (shrink)

This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal logics (...) (some of them contain the universal modal operator).In Part II, we push forward the results from Part I. For Rare-logics with nominals (present at the level of formulae and at the level of modal expressions), we show that the constructions from Part I can be extended although it is technically more involved. We also characterize a class of standard modal logics for which the universal modal operator can be eliminated as far as satifiability is concerned. Although the previous results have a semantic flavour, we are also able to define proof systems for Rare-logics from existing proof systems for the corresponding standard modal logics. Last, but not least, decidability results for Rare-logics are established uniformly, in particular for information logics derived from rough set theory. (shrink)

I discuss a stochastic model of language learning and change. During a syntactic change, each speaker makes use of constructions from two different idealized grammars at variable rates. The model incorporates regularization in that speakers have a slight preference for using the dominant idealized grammar. It also includes incrementation: The population is divided into two interacting generations. Children can detect correlations between age and speech. They then predict where the population’s language is moving and speak according to that prediction, which (...) represents a social force encouraging children not to sound out-dated. Both regularization and incrementation turn out to be necessary for spontaneous language change to occur on a reasonable time scale and run to completion monotonically. Chance correlation between age and speech may be amplified by these social forces, eventually leading to a syntactic change through prediction-driven instability. (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in (...) this paper have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims atproviding an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic hasfewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic PPC3, with two kinds of falsity and two negations. It introduces the notion of -space for a sentence A as the basis of logical model theory, and the notion of P A /, functioning as a `private' subuniverse for A/A. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. PPC3 and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of PPC3 as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: 1a for the conjoined presuppositions of a, ã for the complement of a within 1a, and â for the complement of 1a within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

Scientific observation has led to the discovery of recurring patterns in nature. Symmetry is the property of an object showing regularity in parts on a plane or around an axis. There are several types of symmetries observed in the natural world and the most common are mirror symmetry, radial symmetry, and translational symmetry. Symmetries can be continuous or discrete. A discrete symmetry is a symmetry that describes non-continuous changes in an object. A continuous symmetry is a repetition of an object (...) an infinite number of times. A consequence of continuous symmetry is the existence of conservation laws. A natural system with discrete and continuous symmetries displays several physical properties, such as the existence of long-range order. Geometric shapes exhibit symmetry as mirror reflections of each other. Symmetry in nature has been a model of beauty since the beginning of civilization. Since the earliest times, nature itself has manifestly been a model, evincing regularity in sundry forms and occurrences–from minerals and plants to the anatomy of living beings, to the regularly recurring stellar constellations. For Ancient Greek philosophers, proportion, symmetry, and harmony, were the basics to determine whether something is beautiful or not. Ancient Greek philosophers were known for bringing logic and rational thinking to phenomena that were previously explained by mythology and Gods. They observed the natural world around them and used their knowledge to answer questions about the proportion in observable objects and the origin of Earth. The Greek words _summetria_ and _summetros_ appear frequently in the Timaeus, defined as parts with each other and with the whole. Plato has a very rough concept of symmetry, and when he uses “beauty” to characterize the so-called Platonic Solids in the Timaeus, he seems to be emphasizing their regularity and indirectly their symmetry. Plato believes the four elements (earth, air, fire, water) have been constructed by the Demiurge, or a divine craftsman who appoints order in an otherwise chaotic universe. Minerals are representative examples of beauty, order, and symmetry in inorganic materials. Well-formed minerals (crystals) are a collection of equivalent faces related by symmetry. The goal of this paper is to relate the perspective of symmetry in ancient Greek philosophy with the modern scientific evidence of the geometric description of crystal structures. The five Platonic solids are ideal models of geometrical patterns that occur throughout the world of minerals. In this paper, minerals serve as a model of connecting the symmetry theory in Plato’s philosophy and modern advances in mineralogy. (shrink)

In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, squarely address this development. These articles also connect to the diverse work of Väänänen, whose ecumenical approach to logic reflects the unity of the discipline.

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical (...) mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can (...) be also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

Conceptual models are descriptions of our ideas about a problem, used to shape the implementation of a solution to it. Everyone who builds complex information systems uses such models - be they requirements analysts, knowledge modellers or software designers - but understanding of the pragmatics of model design tends to be informal and parochial. Lightweight uses of logic can add precision without destroying the intuitions we use to interpret our descriptions. Computing with logic allows us to make use (...) of this precision in providing automated support tools. Modern information scientists need to know what these methods are for and may need to build their own. This book gives you a place to begin. Where do you start when building models in a precise language like logic? One way is by following standard paradigms for design and adapting these to your needs. Some of these come from an analysis of existing informal notations. Others are from within logic itself. We take you through a sample of these, from more commonplace styles of formal modelling to non-standard methods such as techniques editing and argumentation. Each of these provides a window onto broader areas of applied logic and gives you a basis for adapting the method to your own needs. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. (...) A renaissance in ancient logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

The beginning of the journey -- What this book is about : using ideas from mathematics, economics, and physics to tackle the big questions in philosophy : what is real? what can we know? what is the difference between right and wrong? and how should we live? -- Reality and unreality -- On what there is -- Why is there something instead of nothing? the best answer I have : mathematics exists because it must and everything else exists because it (...) is made of mathematics, with an excursion into artificial intelligence -- Unfinished business -- Unfinished business from chapter two : the nature and purpose of economic models -- How Richard Dawkins got it wrong -- Why Dawkins's argument against intelligent design can't be right and a mathematical analysis of the arguments for the existence of God -- Belief -- Daydream believers -- Most beliefs are ill-considered because most false beliefs are costless to hold -- The next several chapters will explore the consequences of this observation before we return to the question of where our beliefs and knowledge come from -- Unfinished business -- Unfinished business from the preceding chapter : how color vision works, sound, and water waves, the sheer craziness of economic protectionism -- Do believers believe? -- Our ill-considered beliefs about religion : why I believe that almost nobody is deeply religious -- On what there obviously is -- Our ill-considered beliefs about free will, ESP, and life after death -- Diogenes's nightmare -- How is legitimate disagreement possible if you're arguing with someone who is as intelligent and informed as you are, shouldn't you put just as much weight on your opponent's arguments as your own? -- The fact that we persist in disagreeing is strong evidence that we don't really care what's true -- Knowledge -- Knowing your math -- Where mathematical knowledge comes from and logic and why evidence and logic are not enough -- Unfinished business -- Unfinished business from the preceding chapter : the tale of hercules and the hydra, with an excursion into the lore of very large numbers -- Incomplete thinking -- Godel's incompleteness theorem and what it doesn't say about the limits of human knowledge -- The rules of logic and the tale of a Potbellied pig -- The power of logical thought, with excursions into the most counterintuitive theorem in all of mathematics and the tale of a potbellied pig -- The rules of evidence -- What we can and can't learn from evidence, with excursions into the value of preschool and how internet porn prevents rape -- The limits to knowledge -- What physics does and doesn't tell us about what we can and cannot know -- Understanding Heisenberg's uncertainty principle -- Unfinished business -- The oddness of the quantum world and why it matters to game theorists -- Right and wrong -- Telling right from wrong -- Some hard questions about right and wrong and about life and death -- The economist's golden rule -- A rule of thumb for good behavior -- How to be socially responsible -- Putting the rule of thumb into practice -- On not being a jerk -- Goofus and gallant on immigration policy -- The economist on the playground -- Our ill-considered beliefs about fairness in the market place and in the voting booth, contrasted with our carefully considered beliefs about fairness on the playground -- Unfinished business -- How ancient talmudic scholars anticipated modern economic theory -- The life of the mind -- How to think -- Some basic rules for clear thinking, mostly about economics, but also about arithmetic, neurobiology, sin, and eschewing blather -- What to study -- Advice to college students : stay away from the English department and approach the philosophy department with caution, with an excursion into the remarkable life of Frank Ramsey. (shrink)

First published in the most ambitious international philosophy project for a generation; the _Routledge Encyclopedia of Philosophy_. _Logic from A to Z_ is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of: * Logic: Argument, Turing Machine, Variable * Set and model theory: Isomorphism, Function * Computability theory: Algorithm, Turing Machine * Plus a table of logical symbols. Extensively cross-referenced to help comprehension and add (...) detail, _Logic from A to Z_ provides an indispensable reference source for students of all branches of logic. (shrink)

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...) striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

The nominalistic ontology of Kotarbinski, Slupecki and Tarski does not provide any direct interpretations of the sets of higher types which play important roles in type theory and in set theory. For this and other reasons I will interpret those theories as descriptions of some finite structures which are actually constructed in human imaginations and stored in their memories. Those structures will be described in this lecture. They are hinted by the idea of Skolem functions and Hilbert's -symbols, and they (...) constitute a finitistic modification of Tarski's concept of a model. They suggest also a form of the evolutionary process which leads to the development of human intelligence and language. (shrink)

This book brings together several directions of work in model theory between the late 1950s and early 1980s.

This article argues that many, if not most, behavior descriptions and sequencing are in essence an interpretation of signs, and are evaluated as sequences of signs by researchers. Thus, narrative analysis, as developed by Barthes and others, seems best suited to be used in behavioral/biosemiotic studies rather than mathematical modeling, and is very similar to some classic ethology methods. As our brain interprets behaviors as signs and attributes meaning to them, narrative analysis seems more suitable than mathematical modeling (...) to describe and study behavior. Mathematical models are, on many occasions, extremely reductionist and simplifying because of computational and/or numerical representation limitations that lead to errors and straitjacketing interpretations of reality. Since actual animals are not as optimal in real life as our mathematical models, here it is proposed that we should consider logical/verbal models and semantic interpretations as equally or even better suited for behavioral analysis, and refrain from enforcing mathematical modeling as the only way to study and understand biological problems, especially those of a behavioral and biosemiotic nature. (shrink)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part (...) II supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. (shrink)

This book examines the birth of the scientific understanding of motion. It investigates which logical tools and methodological principles had to be in place to give a consistent account of motion, and which mathematical notions were introduced to gain control over conceptual problems of motion. It shows how the idea of motion raised two fundamental problems in the 5th and 4th century BCE: bringing together being and non-being, and bringing together time and space. The first problem leads to the (...) exclusion of motion from the realm of rational investigation in Parmenides, the second to Zeno's paradoxes of motion. Methodological and logical developments reacting to these puzzles are shown to be present implicitly in the atomists, and explicitly in Plato who also employs mathematical structures to make motion intelligible. With Aristotle we finally see the first outline of the fundamental framework with which we conceptualise motion today. (shrink)

This study tested a structural model of cognitive-emotional explanatory variables to explain performance in mathematics. The predictor variables assessed were related to students’ level of development of early mathematical competencies (EMCs), specifically, relational and numerical competencies, predisposition toward mathematics, and the level of logical intelligence in a population of primary school Chilean students (n = 634). This longitudinal study also included the academic performance of the students during a period of four years as a variable. The sampled students were (...) initially assessed by means of an Early Numeracy Test (ENT), and, subsequently, they were administered a Likert-type scale to measure their predisposition toward mathematics (EPMAT) and a basic test of logical intelligence (TILE). The results of these tests were used to analyse the interaction of all the aforementioned variables by means of a structural equations model. This combined interaction model was able to predict 64.3% of the variability of observed performance. Preschool students' performance in EMCs was a strong predictor for achievement in mathematics for students between 8 to 11 years of age. Therefore, this paper highlights the importance of EMCs and the modulating role of predisposition toward mathematics. Also, this paper discusses the educational role of these findings, as well as possible ways to improve negative predispositions toward mathematical tasks in the school domain. (shrink)

Provability, Computability and Reflection.

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the (...) impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the (...) study of deduction, without providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)