In the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of (...) class='Hi'>theories and on witnessed models. (shrink)

Starting from the assumption that the ability to see patterns and thus abstract from actual events and properties of specific objects is universal, the article reviews different conceptualizations of and attitudes toward the terms ‘theory’ and ‘model’, identifying two co-existing and opposing tendencies: the love for details and the attraction to generalizations that can cover a wide range of phenomena. Using as a backdrop seven theses here reproduced in the Appendix, the article also examines the implications of taking the notion (...) of interaction as primary in the analysis of language and culture. Such implications involve the need to identify useful units of analysis and evaluative measures for competing theories and models. (shrink)

In this paper the topic of the relations between scientific theories and scientific models is tackled by considering the former as hypothetical scientific representations and the latter as fictive scientific representations. A classification of the models is also proposed.

Metaphysics is once again a thriving subdiscipline within philosophy, despite a long tradition of challenges to the very viability of the metaphysical enterprise. The criticisms have not so much been satisfactorily answered, as shouldered aside by the vigorous development of the field. Some focused meta-theoretic discussion has recently arisen within mainstream metaphysics.1 The present paper is written more from an outsider's vantage point. I attempt to give a new meta-theory for some parts of metaphysics. The central claim is that much (...) metaphysical work, especially of the contemporary systematic kind, might best be understood as model-building, in a specific sense of this term that draws on recent philosophy of science. (shrink)

For Jari-Erik Nurmi, the practice of model-making in psychology is a complex process operating on different levels simultaneously. At first sight, his account seems to reflect Suppes' (1962) notion of a hierarchy of models: from low-level data models to high-level theoretical models, where at each level the model represents "structure" at a different degree of abstraction, and the levels are connected through structural isomorphism.1In this commentary, I want to complement and perhaps somewhat redirect Nurmi's analysis of his (...) own modeling efforts—away from the idea of an interconnected hierarchy of isomorphic structures, towards more autonomous roles of the models at different levels, each with its own .. (shrink)

Contents: PART 1. MODELS IN SCIENTIFIC PROCESSES. Joseph AGASSI: Why there is no theory of models. Ma??l??gorzata CZARNOCKA: Models and symbolic nature of knowledge. Adam GROBLER: The representational and the non-representational in models of scientific theories. Stephan HARTMANN: Models as a tool for the theory construction; some strategies of preliminary physics. William HERFEL: Nonlinear dynamical models as concrete construction. Elzbieta KA??L??USZY??N??SKA: Styles of thinking. Stathis PSILLOS: The cognitive interplay between theories and (...) class='Hi'>models: the case of 19th century optics. PART 2. TOOLS OF SCIENCE. Nancy D. CARTWRIGHT, Towfic SHOMAR, Maricio SUAREZ: The tool-box of science. Javier ECHEVERRIA: The four contexts of scientific activity. Katline HAVAS: Continuity and change; kinds of negation in scientific progress. Matthias KAISER: The independence of scientific phenomena. W??l??adys??l??aw KRAJEWSKI: Scientific meta-philosophy. Ilkka NIINILUOTO: The emergence if scientific specialities: six models. Leszek NOWAK: Antirealism, realism and idealization. Rinat M. NUGAYEV: Classic, modern and postmodern scientific unification. Veikko RANTALA: Translation and scientific change. Gerhard SCHURZ: Theories and their applications - a case of nonmonotonic reasoning. Witold STRAWI??N??SKI: The unity of science today. Vardan TOROSIAN: Are the ethic and logic of science compatible. PART 3. UNSHARP APPROACHES IN SCIENCE. Ernest W. ADAMS: Problems and prospects in a theory of inexact first-order theories. Wolfgang BALZER and Gerhard ZOUBEK: On the comparison of approximative empirical claims. Gianpierro CATTANEO, Maria Luisa DALLA CHIARA, Roberto GIUNTINI: The unsharp approaches to quantum theory. Theo A.F. KUIPERS: Falsification versus efficient truth approximation. Bernhard LAUTH: Limiting decidability and probability. Jaros??l??aw PYKACZ: Many-valued logics in foundations of quantum mechanics. Roman R. ZAPATRIN: Logico-algebraic approach to spacetime quantization. (shrink)

Plotkin suggested using a polymorphic dual intuitionistic/linear type theory as a metalanguage for parametric polymorphism and recursion. In recent work the first two authors and R.L. Petersen have defined a notion of parametric LAPL-structure, which are models of image, in which one can reason using parametricity and, for example, solve a large class of domain equations, as suggested by Plotkin.In this paper, we show how an interpretation of a strict version of Bierman, Pitts and Russo’s language image into synthetic (...) domain theory presented by Simpson and Rosolini gives rise to a parametric LAPL-structure. This adds to the evidence that the notion of LAPL-structure is a general notion, suitable for treating many different parametric models, and it provides formal proofs of consequences of parametricity expected to hold for the interpretation. Finally, we show how these results, in combination with Rosolini and Simpson’s computational adequacy result, can be used to prove consequences of parametricity for image. In particular, we show that one can solve domain equations in image up to ground contextual equivalence. (shrink)

Recently, Luk tried to establish a model and a theory of scientific studies. He focused on articulating the theory and the model, but he did not emphasize relating them to some issues in philosophy of science. In addition, they might explain some of the issues in philosophy of science, but such explanation is not articulated in his papers. This paper explores the implications and extensions of Luk’s work in philosophy of science or science in general.

Specially selected articles from the Journal of Advanced Nursing have been updated where appropriate by the original author. Models, Theories and Concepts brings together international authorities in their specialist fields to consider the gaps occurring between theory and practice, as well as the evaluation of a selection of models and emerging theories.

Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; (...) they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. -/- The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. -/- The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right. (shrink)

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 chapter provides broad coverage of the notion of logical consequence, exploring its modal, semantic, and epistemic aspects. It develops the contrast between proof-theoretic notion of consequence, in terms of deduction, and a model-theoretic approach, in terms of truth-conditions. The main purpose is to relate the formal, technical work in logic to the philosophical concepts that underlie reasoning.

About 25 years ago, it came to light that a single combinatorial property determines both an important dividing line in model theory and machine learning. The following years saw a fruitful exchange of ideas between PAC-learning and the model theory of NIP structures. In this article, we point out a new and similar connection between model theory and machine learning, this time developing a correspondence between stability and learnability in various settings of online learning. In particular, this gives many new (...) examples of mathematically interesting classes which are learnable in the online setting. (shrink)

Over the past two decades, academic economics has undergone a mild revolution in methodology. The language, concepts and techniques of noncooperative game theory have become central to the discipline. This book provides the reader with some basic concepts from noncooperative theory, and then goes on to explore the strengths, weaknesses, and future of the theory as a tool of economic modelling and analysis. The central theses are that noncooperative game theory has been a remarkably popular tool in economics over the (...) past decade because it allows analysts to capture essential features of dynamic competition and competition where some parties have proprietary information. The theory is weakest in providing a sense of when it - and equilibrium analysis in particular - can be applied and what to do when equilibrium analysis is inappropriate. Many of these weaknesses can be addressed by the consideration of individuals who are boundedly rational and learn imperfectly from the past. Written in a non-technical style and working by analogy, the book, first given as part of the Clarendon Lectures in Economics, is readily accessible to a broad audience and will be of interest to economists and students alike. Knowledge of game theory is not required as the concepts are developed as the book progresses. (shrink)

The paper aims to develop a theoretical reflection on existing knowledge in public policy and its implementation in the nineties. This is a documental research design of bibliographical nature. The results reveal that the body of knowledge in public policy has been under the domain of rational choice theory and the assumptions of the neoclassical school. I conclude that, in the context of an alternative model to the neoliberal one, one need a different theoretical tool for alternative public policy that (...) consider social rationality moving away from a deterministic and technical policy. Este trabajo tiene como propósito desarrollar una reflexión teórica al conocimiento existente en materia de política pública y de su implementación en la década de los noventa. Esta es una investigación documental con un tipo de diseño de carácter bibliográfico. Los resultados revelan que el cuerpo de conocimientos en materia de política pública, ha estado bajo el dominio de la Teoría de la Elección Racional y de los supuestos de la Escuela Neoclásica. Se concluye que, en el marco de un modelo alternativo al neoliberal, se necesita un instrumental teórico diferente para una política pública alternativa. Esto pasa por considerar una racionalidad social que se aleje de una concepción determinista y técnica de la política. (shrink)

Take a formula of first-order logic which is a logical consequence of some other formulae according to model theory, and in all those formulae replace schematic letters with English expressions. Is the argument resulting from the replacement valid in the sense that the premisses could not have been true without the conclusion also being true? Can we reason from the model-theoretic concept of logical consequence to the modal concept of validity? Yes, if the model theory is the standard one for (...) sentential logic; no, if it is the standard one for the predicate calculus; and yes, if it is a certain model theory for free logic. These conclusions rely inter alia on some assumptions about possible worlds, which are mapped into the models of model theory. Plural quantification is used in the last section, while part of the reasoning is relegated to an appendix that includes a proof of completeness for a version of free logic. (shrink)

The current paper studies the formal properties of the Global Reflection Principle, to wit the assertion “All theorems of$\mathrm {Th}$are true,” where$\mathrm {Th}$is a theory in the language of arithmetic and the truth predicate satisfies the usual Tarskian inductive conditions for formulae in the language of arithmetic. We fix the gap in Kotlarski’s proof from [15], showing that the Global Reflection Principle for Peano Arithmetic is provable in the theory of compositional truth with bounded induction only ($\mathrm {CT}_0$). Furthermore, we (...) extend the above result showing that$\Sigma _1$-uniform reflection over a theory of uniform Tarski biconditionals ($\mathrm {UTB}^-$) is provable in$\mathrm {CT}_0$, thus answering the question of Beklemishev and Pakhomov [2]. Finally, we introduce the notion of a prolongable satisfaction class and use it to study the structure of models of$\mathrm {CT}_0$. In particular, we provide a new model-theoretical characterization of theories of finite iterations of uniform reflection and present a new proof characterizing the arithmetical consequences of$\mathrm {CT}_0$. (shrink)

Philosophers of science have used various formulations of the "random mutation--natural selection" scheme to explain the development of scientific knowledge. But the uncritical acceptance of this evolutionary model has led to substantive problems concerning the relation between fact and theory. The primary difficulty lies in the fact that those who adopt this model (Popper and Kuhn, for example) are led to claim that theories arise chiefly through the processes of relatively random change. Systems theory constitutes a general criticism of (...) this model insofar as it demonstrates the necessity of supplementing this mechanism with the non-random influences exercised by the internal organization of a system on its own development. (shrink)

We develop positive model theory, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation. The analogue of a first order theory in this framework is a compact abstract theory: several equivalent yet conceptually different presentations of this notion are given. We prove in particular that Banach and Hilbert spaces are compact abstract theories, and in fact very well-behaved as such.

According to republican theory, we are free persons to the extent that we are protected and secured in the same fundamental choices, on the same public basis, as one another. But there is no public protection or security without a coercive state. Does this mean that any freedom we enjoy is a superficial good that presupposes a deeper, political form of subjection? Philip Pettit addresses this crucial question in On the People's Terms. He argues that state coercion will not involve (...) individual subjection or domination insofar as we enjoy an equally shared form of control over those in power. This claim may seem utopian but it is supported by a realistic model of the institutions that might establish such democratic control. Beginning with a fresh articulation of republican ideas, Pettit develops a highly original account of the rationale of democracy, breathing new life into democratic theory. (shrink)

In this paper, I discuss the discovery of the DNA structure by Francis Crick and James Watson, which has provoked a large historical literature but has yet not found entry into philosophical debates. I want to redress this imbalance. In contrast to the available historical literature, a strong emphasis will be placed upon analysing the roles played by theory, model, and evidence and the relationship between them. In particular, I am going to discuss not only Crick and Watson's well-known model (...) and Franklin's x-ray diffraction pictures (the evidence) but also the less well known theory of helical diffraction, which was absolutely crucial to Crick and Watson's discovery. The insights into this groundbreaking historical episode will have consequences for the ‘new’ received view of scientific models and their function and relationship to theory and world. The received view, dominated by works by Cartwright and Morgan and Morrison ([1999]), rather than trying to put forth a ‘theory of models’, is interested in questions to do with (i) the function of models in scientific practice and (ii) the construction of models. In regard to (i), the received view locates the model (as an idealized, simplified version of the real system under investigation) between theory and the world and sees the model as allowing the application of the former to the latter. As to (ii) Cartwright has argued for a phenomenologically driven view and Morgan and Morrison ([1999]) for the ‘autonomy’ of models in the construction process: models are determined neither by theory nor by the world. The present case study of the discovery of the DNA structure strongly challenges both (i) and (ii). In contrast to claim (i) of the received view, it was not Crick and Watson's model but rather the helical diffraction theory which served a mediating purpose between the model and the x-ray diffraction pictures. In particular, Cartwright's take on (ii) is refuted by a comparison of Franklin's bottom-up approach with Crick and Watson's top-down approach in constructing the model. The former led to difficulties, which only a strong confidence in the structure incorporated in the model could circumvent. How to Get to the Structure 1.1 X-ray diffraction and its synthesis 1.2 Model building and Pauling's panache 1.3 The structure of proteins 1.3.1 A failed inference to the best explanation 1.3.2 The misleading 5.1 Å spot in proteins and how to get rid of it 1.3.3 Derived predictions from Pauling's alpha-helix of protein molecules The CCV Theory of Helical X-Ray Diffraction 2.1 The role of the CCV theory in the discovery of the DNA structure Killing the Helix 3.1 Appreciating all evidence—in vain Conclusion Epilogue: Chargaff's Ratios CiteULike Connotea Del.icio.us What's this? (shrink)

In this article I investigate the phenomenon of minimum and minimal models of second-order set theories, focusing on Kelley–Morse set theory KM, Gödel–Bernays set theory GB, and GB augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of ZFC has a minimum GBC-realization if and only if it admits a parametrically definable global well order. (2) Countable models of GBC admit minimal extensions with the same sets. (3) There (...) is no minimum transitive model of KM. (4) There is a minimum β-model of GB+ETR. The main question left unanswered by this article is whether there is a minimum transitive model of GB+ETR. (shrink)

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these (...) issues can be accommodated within the partial structures formulation of the semantic or model-theoretic approach. (shrink)

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called "internalization through a universal" based on universal mapping properties. A recently developed "heteromorphic" theory (...) of adjoint functors allows the concepts to be more easily applied empirically. This suggests a conceptual structure, albeit abstract, to model a range of selectionist mechanisms (e.g., in evolution and in the immune system). Closely related to adjoints is the notion of a "brain functor" which abstractly models structures of cognition and action (e.g., the generative grammar view of language). (shrink)

A large number of definitions of the concept “model” have been given by various authors in recent years. Thirty-seven definitions are listed by A. I. Uyemov in a recent monograph. This list is somewhat one-sided since it contains a disproportionate number of references to the work of Soviet authors. However, most of the important definitions given by Western writers are included. I shall give three definitions, all of great generality, so that various types of models, replicas, maps, theories (...) and, most importantly, cybernetic models, are included. The advantage of this high degree of generality, or all-inclusiveness, is that the task of the investigator of uses of models in science, is reduced to classifying the various types of models, their construction, function, and structure, thus avoiding indecisive arguments such as the Duhem–Campbell controversy, so perceptively discussed by Mary Hesse. (shrink)

This paper is a critical notice of Philip Pettit's On the People's Terms: A Republican Theory and Model of Democracy. Pettit argues that only Republicanism can respond appropriately to the ‘evil of subjection to another's will – particularly in important areas of personal choice’ because its ideal of liberty – freedom as non-domination – both captures better than liberalism our commitment to individual liberty and explains better our commitment to the legitimacy of democratic decision-making than standard democrat accounts. If this (...) argument succeeds, it demonstrates that there is no real tension between the liberal thought that justice provides a standard for evaluating public decisions independent of the fact that they are taken democratically and the democratic thought that the fact that a decision is democratic suffices to make it legitimate. I argue, however, that Pettit finds himself caught between two contradictory positions: a version of Isaiah Berlin's negative concept of liberty and a positive liberty account of democracy. And I show that his attempt to resolve the tension fails because it requires him to embrace the positive liberty account he is committed to rejecting. (shrink)

Logical reconstruction is a fundamental philosophical method for achieving clarity concerning the prerequisites, presuppositions and the logical structure of natural language arguments. The scope and limits of this method have become visible not least through its intense application to Anselm of Canterbury’s notorious proofs for the existence of God. This volume collects, on the one hand, reconstructions of Anselmian arguments that take account of the problems of reconstruction and, on the other hand, theoretical reflections on reconstruction with a view to (...) Anselm. We hope that this will allow the reader to critically assess the merits of the theoretical accounts in the light of the reconstructions and the merits of the reconstructions in the light of the theoretical accounts. In general, by considering the example of an outstanding thinker in one or the other way, this volume aims at advancing the methodology and the practice of logical reconstruction. The following remarks explain and motivate this undertaking: What purposes does logical reconstruction serve? What purposes does the reflection on logical reconstruction serve? In which ways can the practice and theory of reconstruction profit particularly from studying Anselm’s reasoning? How can the resulting problems be addressed? – Finally, a short overview over the contributions to this volume is offered. (shrink)

ABSTRACT In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We to Reject, (...) While Saving Truth from Paradox?’. (shrink)

People routinely use facial expressions to communicate successfully and to regulate other’s behaviour, yet modelling the form and meaning of these facial behaviours has proven surprisingly complex. One reason for this difficulty may lie in an over-reliance on the assumptions inherent in existing theories of facial expression – specifically that (1) there is a putative set of facial expressions that signal an internal state of emotion, (2) patterns of facial movement have been empirically linked to the prototypical emotions in (...) this set, and (3) static, non-social, posed images from convenience samples are adequate to validate the first two assumptions. These assumptions have guided the creation of datasets, which are then used to train unrepresentative computational models of facial expression. In this article, we discuss existing theories of facial expression and review how they have shaped current facial expression recognition tools. We then discuss the resources that are available to help researchers build a more ecologically valid model of facial expressions. (shrink)

Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.

We set up a general context in which one can prove Sauer-Shelah type lemmas. We apply our general results to answer a question of Bhaskar [1] and give a slight improvement to a result of Malliaris and Terry [7]. We also prove a new Sauer-Shelah type lemma in the context of op-rank, a notion of Guingona and Hill [4].

In this paper we discuss two approaches to the axiomatization of scientific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models. The two approaches are associated respectively to Suppes’ and to da Costa and Chuaqui’s works. We argue that theories can be developed both in a way more akin to the usual mathematical practice (Suppes), in an informal set theoretical environment, writing the (...) set theoretical predicate in the language of set theory itself or, more rigorously (da Costa and Chuaqui), by employing formal languages that help us in writing the postulates to define a class of structures. Both approaches are called internal , for we work within a mathematical framework, here taken to be first-order ZFC. We contrast these approaches with an external one, here discussed briefly. We argue that each one has its strong and weak points, whose discussion is relevant for the philosophical foundations of science. (shrink)

This chapter surveys set theory, model theory, and computability theory: how they first emerged from the foundations of mathematics, and how they have developed since. There are any amounts of mathematical technicalities in the background, but the chapter highlights those themes that have some philosophical resonance.

This papers deals with the class of axiomatic theories of truth for semantically closed languages, where the theories do not allow for standard models; i.e., those theories cannot be interpreted as referring to the natural number codes of sentences only (for an overview of axiomatic theories of truth in general, see Halbach[6]). We are going to give new proofs for two well-known results in this area, and we also prove a new theorem on the nonstandardness (...) of a certain theory of truth. The results indicate that the proof strategies for all the theorems on the nonstandardness of such theories are "essentially" of the same kind of structure. (shrink)

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, namely, that which sees them (...) as non-individuals, then there would be strong reasons to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks, we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science. (shrink)

I first give a brief summary of a critique of the traditional theories of approximation and idealization; and after identifying one of the major roles of idealization as detaching component processes or systems from their joints, a detailed analysis is given of idealized laws – which are discoverable and/or applicable – in such processes and systems (i.e., idealized model systems). Then, I argue that dispositional properties should be regarded as admissible properties for laws and that such an inclusion supplies (...) the much needed connection between idealized models and the laws they `produce'' or `accommodate''. And I then argue that idealized law-statements so produced or accommodated in the models may be either true simpliciter or true approximately, but the latter is not because of the idealizations involved. I argue that the kind of limiting-case idealizations that produce approximate truth is best regarded as approximation; and finally I compare my theory with some existing theories of laws of nature.We seem to trace [in KingLear] ... the tendency of imagination toanalyse and abstract, to decomposehuman nature into its constituentfactors, and then to construct beings in whomone or more of these factors isabsent or atrophied or only incipient. (shrink)