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 theories and on witnessed 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.

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)

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)

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)

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.

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 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)

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)

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)

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.

Several quantitative techniques for choosing among data models are available. Among these are techniques based on algorithmic information theory, minimum description length theory, and the Akaike information criterion. All these techniques are designed to identify a single model of a data set as being the closest to the truth. I argue, using examples, that many data sets in science show multiple patterns, providing evidence for multiple phenomena. For any such data set, there is more than one data (...) model that must be considered close to the truth. I conclude that, since the established techniques for choosing among data models are unequipped to handle these cases, they cannot be regarded as adequate. ‡I presented a previous version of this paper at the 20th Biennial Meeting of the Philosophy of Science Association, Vancouver, November 2006. I am grateful to the audience for constructive discussion. I thank Leiden University students Marjolein Eysink Smeets and Lenneke Schrier for suggesting the cortisol example, and Remko van der Geest for comments on a draft. †To contact the author, please write to: Faculty of Philosophy, University of Leiden, P.O. Box 9515, 2300 RA Leiden, The Netherlands; e-mail: [email protected]. (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)

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)

Economists usually assume that rational actions are the ones motivated by a self-interested agent. However in our daily life we often see people doing altruistic actions which we praise and which we do not call irrational. How can we account for this paradox? This question and the tension underlying it, is at the heart of Philip Pettit’s classic essay, “The Virtual Reality of Homo Economicus” (1995). This dissertation constitutes a detailed analysis and evaluation of the claims that Pettit makes there, (...) in particular his original proposal of reconciliation between economic science and common sense, and the role that self-interest occupies in his model. Despite its importance, there are still few written commentaries or critiques of Pettit’s essay (1995). Among the few, most concentrate on the thesis of resilience explanation that Pettit presents at the end of the essay. What is lacking in the literature is a thorough examination of the central claim that Pettit makes there, and which gives the title to his essay: namely, the thesis of the "virtual self-interested control". In my view, this constitutes one of the most sophisticated defences of the assumption of self-interest in rational choice theory and economics. Therefore, it is surprising that it has not been subjected to more discussion, and published research. In section 1, present some of the central concepts of rational choice theory and economics, namely the homo economicus. In section 2, I introduce Pettit’s model, and then evaluate in which sense it is a plausible model to explain the behaviour in non-market contexts. Section 3 presents my criticism of the shortcomings of the model. (shrink)

Explanatory pluralism holds that the sorts of comprehensive theoretical and ontological economies, which microreductionists and New Wave reductionists envision and which antireductionists fear, offer misleading views of both scientific practice and scientific progress. Both advocates and foes of employing reductionist strategies at the interface of psychology and neuroscience have overplayed the alleged economies that interlevel connections (including identities) justify while overlooking their fundamental role in promoting scientific research. A brief review of research on visual processing provides support for the explanatory (...) pluralist=s general model of cross-scientific relations and discloses the valuable heuristic role hypothetical identities play in cross-scientific research. That model also supplies grounds for hesitation about the correlation objection to the psycho-physical identity theory and complaints about an explanatory gap in physicalist accounts of consciousness. These takes on psycho-neural connections miss both the sorts of considerations that motivate hypothetical identities in science and their fundamental contribution to progressive research. Thus, their focus on the contributions of research at multiple levels of analysis does not bar explanatory pluralists from considering heuristic identity theory (HIT). Arguably, it encourages it. (shrink)

The objective of this research is to understand, predict and explain what factors influence organizations and induce individuals to accept technology. Through the methodology of content analysis and based on the Web of Science database and through the MAXQDA software, this document analyzes and reviews the ten most important theories and models of technology acceptance used in recent years. This review offers a holistic view that will help future researchers to select the most appropriate theories to apply to their field (...) of study. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (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)

Many previous studies have documented the detrimental effects of social loafing on others (_inter_personal impacts) at the between-person level. However, social loafing may carry underappreciated _intra_personal functional effects at the within-person level. Our research develops a novel theoretical framework to investigate _when_ and _how_ engaging in social loafing enhances one’s job performance. Drawing on the effort-recovery model and moral cleansing theory, we propose that social loafing may improve subsequent job performance by enhancing recovery and guilt. Specifically, we argue (...) that among employees who experience higher job demands or have higher moral identity, social loafing in the morning enhances their job performance in the afternoon by facilitating recovery or guilt in the morning. Two-wave daily data collected across ten consecutive workdays using the experience sampling method (ESM) supports this model. We discuss how this research identifies a functional basis for social loafing and provides implications for research and practice. (shrink)

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)

In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early (...) attempts to develop the semantics of axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition and two proponents of the first-order tradition, we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (shrink)

Political theory as a discipline has long been skeptical of computational methods. In this paper, I argue that it is time for theory to make a perspectival shift on these methods. Specifically, we should consider integrating recently developed generative large language models like GPT-4 as tools to support our creative work as theorists. Ultimately, I suggest that political theorists should embrace this technology as a method of supporting our capacity for creativity—but that we should do so in a (...) way that is mindful of the content and value of theorizing, the technical constraints of the models, and the ethical questions that the technology raises. (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)

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.

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)

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)

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)

In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style ofPrincipia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts (...) to develop the semantics of axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition (Carnap and Tarski) and two proponents of the first-order tradition (Gödel and Hilbert), we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (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)

The semantic view on theories has been much in vogue over four decades as the successor of the syntactic view. In the present paper, I take issue with this approach by arguing that theories and models must be separated and that a theory should be considered to be a linguistic systems consisting of a vocabulary and a set of rules for the use of that vocabulary.

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)

We continue the analysis of foundations of positive model theory as introduced by Ben Yaacov and Poizat. The objects of this analysis are $h$-inductive theories and their models, especially the “positively” existentially closed ones. We analyze topological properties of spaces of types, introduce forms of quantifier elimination, and characterize minimal completions of arbitrary $h$-inductive theories. The main technical tools consist of various forms of amalgamations in special classes of structures.

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)

The primary aim of this paper is to critically evaluate the deductive model of ethical applications, which is based on normative ethical theories like deontology and consequentialism, and to show why a number of models have failed to furnish appropriate resolutions to practical moral problems. Here, for the deductive model, I want to call it a “Linear Mechanical Model” because the basic assumption of this model is that if a normative theory is sacrosanct, then the (...) case is as it is. The conclusion derived from the case will also be correct, true and acceptable. However, traditional ethicists used to apply their ethical theories, but they did not know which moral theory was effective on the ground level of reality. The study will show readers how ethical theories are in conflict with each other in the case of euthanasia. In more precise words, “which ethical theories are said to be applied, meta-ethical or normative, or both for the resolution of ethical problems? If normative theories are said to be applied, how the application can take place when it is contrary to our experience, that (then) in a situation of moral crises, no one really applies a theory?” For that, my argument is the linear model has failed because it is rigid, often ignores the agents’ intrinsic values, and has no space to amend it, no matter how bizarre the consequence is. Its alternative is the Inductive model. For that, the paper will take three moral principles (autonomy, beneficence including maleficence, and justice) of Beauchamp & Childress. This suggests us for resolving value-laden moral problems, we should consider some steps such as a) recognising moral issues to start with; b) developing the moral imagination; c) sharpening analytical/critical skills; d) testing out disagreements; e) effecting decisions and behavior; and f) implementation, closure, and process are of vital importance, in other words, it starts with the free and informed consensus of all interested parties, but this model also has been failed because the model could not give a systematic organization to their way of resolution. Here, my argument is that the inductive model provides resolution of the practical problem but ignores what is ethically obligatory, permissible, or wrong in that situation, and there are no appropriate suggestions in the case of a moral crisis. (shrink)

Pettit (2012) presents a model of popular control over government, according to which it consists in the government being subject to those policy-making norms that everyone accepts. In this paper, I provide a formal statement of this interpretation of popular control, which illuminates its relationship to other interpretations of the idea with which it is easily conflated, and which gives rise to a theorem, similar to the famous Gibbard-Satterthwaite theorem. The theorem states that if government policy is subject to (...) popular control, as Pettit interprets it, and policy responds positively to changes in citizens' normative attitudes, then there is a single individual whose normative attitudes unilaterally determine policy. I use the model and theorem as an illustrative example to discuss the role of mathematics in normative political theory. (shrink)

In this paper, key concepts from the philosophy of critical realism and meta-Reality are used to develop an art education research project that can enhance the freedom of art students in their art work and, potentially, contribute to the promotion of emancipation beyond the world of art work. In the process of developing this project, the author engages in a two-way interrogation of both concepts and empirical research. The stratified model of reality, the ontological status of absence and the (...) concepts of transcendental identification, transcendental agency and the ground-state have informed decisions about data collection and contributed to the analysis of data in this study. The research results offer some empirical support for the philosophy of critical realism and meta-Reality, whilst also identifying potential inconsistencies. A further original feature of the paper is that it draws on the flow theory of Mihaly Csikszentmihalyi to complement Roy Bhaskar's account of the ground-state and of the nature of free-flowing activity; also using neuroscience to provide some neurological evidence for the differences between mindful and spontaneous activity. It is anticipated that the cross-analysis between cases resulting from the two-way interchange between theory and empirical evidence could help to generate a model for ‘unblocking the creative block’, experienced not only by students practising art-making, but also by the wider community. (shrink)

Dr Seuren's study deals with the problem of presenting an adequate model of grammatical description. The model he proposes conforms in its main outlines to the transformational generative grammar established by Chomsky, but differs in important respects. These mainly affect that part of Chomsky's syntactic component known as the 'base', which generates basic or 'deep' structures. In the model of the base proposed here two main constituents are distinguished for every deep structure representation of a sentence, vis-a-vis (...) the operators and the nucleus. The deep structure of a sentence is thus seen to be very similar to the logical structure of a proposition. The arguments given in support of this analysis are based on mainly on considerations of simplicity and semantic adequacy. (shrink)

The purpose of this paper is to identify the factors that affect the intention to use Big Data Applications in companies. Research into Big Data usage intention and adoption is scarce and much less from the perspective of the use of these techniques in companies. That is why this research focuses on analyzing the adoption of Big Data Applications by companies. Further to a review of the literature, it is proposed to use a UTAUT model as a starting (...) class='Hi'>model with the update and incorporation of other variables such as resistance to use and perceived risk, and then to perform a neural network to predict this adoption. With respect to this non-parametric technique, we found that the multilayer perceptron model for the use of Big Data Applications in companies obtains higher AUC values, and a better confusion matrix. This paper is a pioneering study using this hybrid methodology on the intention to use Big Data Applications. The result of this research has important implications for the theory and practice of adopting Big Data Applications. (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)

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)