Given classical (2 valued) structures and and a homomorphism h of onto , it is shown how to construct a (non-degenerate) 3-valued counterpart of . Classical sentences that are true in are non-false in . Applications to number theory and type theory (with axiom of infinity) produce finite 3-valued models in which all classically true sentences of these theories are non-false. Connections to relevant logic give absolute consistency proofs for versions of these theories formulated in (...) relevant logic (the proof for number theory was obtained earlier by R. K. Meyer and suggested the present abstract development). (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 (...) which satisfies all the axioms of ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent (...) negation. Finally, our framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory. (shrink)

Boolean-valued models generalize classical two-valued models by allowing arbitrary complete Boolean algebras as value ranges. The goal of my dissertation is to study Boolean-valued models and explore their philosophical and mathematical applications.In Chapter 1, I build a robust theory of first-order Boolean-valued models that parallels the existing theory of two-valued models. I develop essential model-theoretic notions like “Boolean-valuation,” “diagram,” and “elementary diagram,” and prove a series of theorems on Boolean-valued models, including (...) the (strengthened) Soundness and Completeness Theorem, the Löwenheim–Skolem Theorems, the Elementary Chain Theorem, and many more.Chapter 2 gives an example of a philosophical application of Boolean-valued models. I apply Boolean-valued models to the language of mereology to model indeterminacy in the parthood relation. I argue that Boolean-valued semantics is the best degree-theoretic semantics for the language of mereology. In particular, it trumps the well-known alternative—fuzzy-valued semantics. I also show that, contrary to what many have argued, indeterminacy in parthood entails neither indeterminacy in existence nor indeterminacy in identity, though being compatible with both.Chapter 3 (joint work with Bokai Yao) gives an example of a mathematical application of Boolean-valued models. Scott and Solovay famously used Boolean-valued models on set theory to obtain relative consistency results. In Chapter 3, I investigate two ways of extending the Scott–Solovay construction to set theory with urelements. I argue that the standard way of extending the construction faces a serious problem, and offer a new way that is free from the problem.Abstract prepared by Xinhe Wu.E-mail: [email protected]. (shrink)

The 3-valued paraconsistent logic Ciore was developed by Carnielli, Marcos and de Amo under the name LFI2, in the study of inconsistent databases from the point of view of logics of formal inconsistency (LFIs). They also considered a first-order version of Ciore called LFI2*. The logic Ciore enjoys extreme features concerning propagation and retropropagation of the consistency operator: a formula is consistent if and only if some of its subformulas is consistent. In addition, Ciore is algebraizable in the sense (...) of Blok and Pigozzi. On the other hand, the logic LFI2* satisfies a somewhat counter-intuitive property: the universal and the existential quantifier are inter-definable by means of the paraconsistent negation, as it happens in classical first-order logic with respect to the classical negation. This feature seems to be unnatural, given that both quantifiers have the classical meaning in LFI2*, and that this logic does not satisfy the De Morgan laws with respect to its paraconsistent negation. The first goal of the present article is to introduce a first-order version of Ciore (which we call QCiore) preserving the spirit of Ciore, that is, without introducing unexpected relationships between the quantifiers. The second goal of the article is to adapt to QCiore the partial structures semantics for the first-order paraconsistent logic LPT1 introduced by Coniglio and Silvestrini, which generalizes the semantic notion of quasi-truth considered by Mikeberg, da Costa and Chuaqui. Finally, some important results of classical Model Theory are obtained for this logic, such as Robinson’s joint consistency theorem, amalgamation and interpolation. Although we focus on QCiore, this framework can be adapted to other 3-valued first-order LFIs. (shrink)

We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical (...) structures, namely, Priest's Collapsing Lemma and Dunn's Theorem in 3-Valued Logic. (shrink)

Abstract The values of the healthcare sector are fairly ubiquitous across the globe, focusing on caring and respect, patient health, excellence in care delivery, and multi-stakeholder collaboration. Many individual pharmacists embrace these core values. But their ability to honor these values is significantly determined by the nature of the system they work in. -/- The paper starts with a model of the prevailing pharmacist workforce model in Scotland, in which core roles are predominantly separated into hierarchically disaggregated jobs (...) focused on one professional ‘pillar’: Clinician /Practice Provider; Educator; Leader/Manager; and Researcher. This is the ‘Atomistic’ Model. This skills-segregation yields a workforce of individuals working in isolation rather than collaborating together, and lacking a shared information flow, purpose and identity. Key strategic flaws include suboptimal responsiveness to population and subpopulation needs, inconsistency and inequity of care, an erosion of professional agency, and lower job satisfaction. It is conjectured that this results from a lack of congruence between values, professional ethos, and organizational structure. ‘Atomism’ culminates in a syndrome of widespread professional-level cognitive dissonance. -/- The paper contrasts this with a new emerging workforce vision, The Collaborative Care Model. This new model defines a systems-first-approach, built on the principle that all jobs must include all four professional ‘pillars’. Vertical skills integration, involving education and task sharing, will support sustainability and succession planning. Horizontal skills integration (across practice, leadership and research) is included to improve responsiveness to population need and individual professional agency. The working conditions, supportive ethos, and career structure needed to make the model work are described. Moral theory and workforce theory are used to justify why the model may be more effective for population health, delivering greater job satisfaction for individuals and ultimately helping systematically realize and honor healthcare values. Finally, the paper sketches the first steps needed to implement the model at the national level, starting with the operationalization of new multi-pillar professional curricula across the career spectrum. Potential pitfalls and challenges are also discussed. -/- Co-Authors: 1. Paul Forsyth (PF) Lead Pharmacist Clinical Cardiology, Pharmacy, NHS Greater Glasgow & Clyde. Contribution: Conceptualization; Model Curation; Model Theory; Model Visualization; Writing - original draft (lead author), Writing - review & editing (lead author) 2. Andrew Radley (AR), Consultant in Public Health Pharmacy, NHS Tayside. Contribution: Conceptualization; Model curation; Model Theory; Writing - review & editing 3. Gordon Rushworth (GR), MPharm MSc FFRPS FRPharmS (Consultant). Programme Director, Highland Pharmacy Education & Research Centre, NHS Highland, Inverness. Contribution: Model curation; Writing - review & editing 4. Fiona Marra (FM) National Lead Clinician Scottish Infection and Immunology Network (SPAIIN) / Advanced Pharmacist HCV / HIV, NHS Greater Glasgow & Clyde. Contribution: Model curation; Writing - review & editing 5. Susan Roberts (SR) Associate Postgraduate Pharmacy Dean, NHS Education for Scotland. Contribution: Model curation; Writing - review & editing 6. Roisin O’Hare (RO) Lead Teacher Practitioner Pharmacist, Northern Ireland University Network, Southern Health and Social Care Trust. Contribution: Model curation; Writing - review & editing 7. Catherine Duggan (CD) Chief Executive Officer, International Pharmaceutical Federation (FIP). Contribution: Model curation; Writing - review & editing 8. Barry Maguire (BM) Senior Lecturer, School of Philosophy, Psychology and Life Sciences, The University of Edinburgh. Contribution: Conceptualization; Model Curation; Model Theory; Model Visualization; Supervision; Writing - original draft (senior academic supervisor), Writing - review & editing (senior academic supervisor) -/- . (shrink)

J. Michael Dunn’s Theorem in 3-Valued Model Theory and Graham Priest’s Collapsing Lemma provide the means of constructing first-order, three-valued structures from classical models while preserving some control over the theories of the ensuing models. The present article introduces a general construction that we call a Dunn–Priest quotient, providing a more general means of constructing models for arbitrary many-valued, first-order logical systems from models of any second system. This technique not only counts Dunn’s and Priest’s (...) techniques as special cases, but also provides a generalized Collapsing Lemma for Priest’s more recent plurivalent semantics in general. We examine when and how much control may be exerted over the resulting theories in particular cases. Finally, we expand the utility of the construction by showing that taking Dunn–Priest quotients of a family of structures commutes with taking an ultraproduct of that family, increasing the versatility of the tool. (shrink)

Chapter 5 is an essay on the methodology of equilibrium theory. In the course of examining recent controversies concerning lawlike claims and "assumptions" in economic theory, I reach a position similar to J. S. Mill's. Neo-classical economics is what Mill would call "a separate science." It follows a deductive method, since its basic laws supported by everyday experience. In its general equilibrium formulation, equilibrium theory possesses, however, no explanatory worth and very little explanatory importance, since its idealizations (...) are not legitimate. General equilibrium theory ought fundamentally to be regarded as an explanation of how economic equilibrium is possible. ;In conclusion I argue that Sraffa's contribution is a legitimate form of economic theorizing. Those methodological views, like Lionel Robbins', which would proscribe the sort of piecemeal theorizing Sraffa exemplifies, are, as methodological strictures, unjustified. In fact they involve an ideological distortion. Given the weaknesses in general equilibrium theory identified in Chapters 3 and 5, one has good reason to be eclectic. The Austrian theory, despite the Cambridge criticisms, may be useful in some investigations. A much more segmented economics built around Sraffa's work may have a great deal to teach us. Theories of capital, interest and exchange value currently are underdeveloped, unsupported, and subject to ideological influence. ;In Chapter 3 one special formulation of intertemporal general equilibrium theory is examined. I argue that general equilibrium theory may be taken as a theory of the rate of interest to which the Cambridge criticisms do not apply. Puzzles remain, however, concerning both the apparently lawlike claims and the unrealistic stipulations concerning background conditions that general equilibrium theory makes. ;In Chapter 4 Sraffa's system in The Production of Commodities by Means of Commodities is presented and tentatively assessed. I argue that it is consistent with equilibrium theory, but may be combined with other claims that are not consistent with equilibrium theory. What is puzzling but, I argue, methodologically legitimate in Sraffa's work is that he takes as givens factors like the composition of output, that are themselves subject to further economic analysis. Sraffa's work, when properly understood, can prove valuable to Marxian economists. ;Chapter 1 establishes a contrast between physical cost and marginal utility theories of exchange value and examines why issues concerning capital and interest are theoretically central to both theories. I point out that physical cost theories of value are not tenable. ;Chapter 2 is concerned with simplified aggregate capital theories, especially Wicksell's Austrian theory of capital, and with the Cambridge criticisms of such theories. The Cambridge criticisms show, I conclude, that aggregative capital theories make unwarranted economic claims. ;This dissertation examines from both an economic and a philosophical perspective controversies concerning the theory of capital and interest and the relationship of capital and interest to exchange value. The fundamentals of the neo-classical and neo-Ricardian approaches to economic theory are made explicit and compared. The neo-Ricardian approach is partially defended. (shrink)

In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed that appropriate counterparts of the axioms of Zermelo–Fraenkel set theory with the axiom of choice hold in the model. In this paper, we aim at unifying Takeuti’s model with Boolean-valued (...) models by constructing models based on general complete orthomodular lattices, and generalizing the transfer principle in Boolean-valued models, which asserts that every theorem in ZFC set theory holds in the models, to a general form holding in every orthomodular-valued model. One of the central problems in this program is the well-known arbitrariness in choosing a binary operation for implication. To clarify what properties are required to obtain the generalized transfer principle, we introduce a class of binary operations extending the implication on Boolean logic, called generalized implications, including even nonpolynomially definable operations. We study the properties of those operations in detail and show that all of them admit the generalized transfer principle. Moreover, we determine all the polynomially definable operations for which the generalized transfer principle holds. This result allows us to abandon the Sasaki arrow originally assumed for Takeuti’s model and leads to a much more flexible approach to quantum set theory. (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 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)

In lieu of an abstract, here is a brief excerpt of the content:Four Philosophical Models of the Relation Between Theory and PracticeEstelle R. JorgensenSince music education straddles theory and practice, my purpose is to sketch the strengths and weaknesses of four philosophical models of the relationship between theory and practice. I demonstrate that none of them suffices when taken alone; each has something to offer and its own detractions. And I conclude with four suggested ways in which (...) the analysis can be helpful to music teachers and those interested in their work.Clarifying what is meant by theory and practice raises a nest of conceptual problems. Concerning theory, it may be tempting to equate the terms "theory" and "philosophy." Among their shared properties, these terms deal with conceptual and abstract entities that, from the Enlightenment at least, have been held to be distinct from the phenomenal world. They also clarify ideas and distinguish one concept from another. Among their different purposes, the object of philosophy is the asking of questions in a search for wisdom or truth whereas theory is formulated for explanatory purposes, especially within the frame of scientific propositions that can be refuted through empirical observations. The tests of philosophy are, therefore, those of symbolic logic evidenced in principles such as [End Page 21] internal consistency, correspondence with evidence (deductive, inductive, or analogical), and coherence within a unity or whole. Although logical criteria may also be important in formulating and testing theory,1 it is tested and refuted primarily through means of qualitative descriptions and quantitative assessments of observable phenomena.Regarding practice, one is also confronted with an ambiguous construct that may be interpreted descriptively (what is done in the phenomenal world or taken to be the general state of affairs) or normatively (what is desirable or ideal). There is also the distinction between the practice of a seasoned performer and practice in the sense of striving towards the mastery of a competent and expert practice. In this regard, Vernon Howard distinguishes between "practice" (or the skills exemplified by proficient or expert performers) and "practise (or acquiring the level of mastery of proficient or expert performance)."2 For him, the ambiguous and paradoxical nature of artistic practice highlights the complexity of degrees of attaining mastery of skills or exemplary practice and the diverse array of skills ranging from habit to critical thinking involved in the practice of any art. Although each practice is distinguished by its own belief systems, rituals, expectations, and commonsense, boundaries between differing practices are sometimes "soft" or fuzzy, as one seeps into another.3 Consequently, it is often difficult to distinguish one from another at the margins where one practice becomes another.DichotomyThe notion of theory and practice as independent or a dichotomous relationship between the phenomenal world on the one hand and the mind and spirit on the other has its roots in the ancient world. For Plato, the world of "appearances," referring to the phenomenal world understood by imagination (eikasia) and belief (pistis), should be distinguished from the higher, abstract "intelligible world" grasped through thinking (dianoia), knowledge (episteme), and intelligence (noesis).4 René Descartes' later bifurcation of the inner and outer worlds and inversion of Platonic values and understandings resulted in the ascendancy of careful and deliberate observation of the phenomenal world over philosophical reflection.5 His ideas helped to set the stage for the Enlightenment and the Industrial, Scientific, and Information Revolutions. Empiricism, science, and technology gradually displaced philosophy as primary ways of knowing the phenomenal world and understanding the nature of mind, human cognition, feeling, and being. Making hard-boundaried distinctions between within and without one's self, the phenomenal world and the world of spiritual things, and theory and practice were important insights. These distinctions provided for limits on the sorts of ways in which truth could be known. Reasoned deliberation [End Page 22] and imaginative thought have particular usefulness in the world of theory while sensory perception and careful observation are especially useful in the phenomenal world of practice. So while the scholar might speculate about phenomena, observational tools are also useful in coming to know and understand them. Reason and observation each have particular strengths, and it ought not be assumed that philosophy or scientific observation... (shrink)

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.

We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory.

In lieu of an abstract, here is a brief excerpt of the content:Four Philosophical Models of the Relation Between Theory and PracticeEstelle R. JorgensenSince music education straddles theory and practice, my purpose is to sketch the strengths and weaknesses of four philosophical models of the relationship between theory and practice. I demonstrate that none of them suffices when taken alone; each has something to offer and its own detractions. And I conclude with four suggested ways in which (...) the analysis can be helpful to music teachers and those interested in their work.Clarifying what is meant by theory and practice raises a nest of conceptual problems. Concerning theory, it may be tempting to equate the terms "theory" and "philosophy." Among their shared properties, these terms deal with conceptual and abstract entities that, from the Enlightenment at least, have been held to be distinct from the phenomenal world. They also clarify ideas and distinguish one concept from another. Among their different purposes, the object of philosophy is the asking of questions in a search for wisdom or truth whereas theory is formulated for explanatory purposes, especially within the frame of scientific propositions that can be refuted through empirical observations. The tests of philosophy are, therefore, those of symbolic logic evidenced in principles such as [End Page 21] internal consistency, correspondence with evidence (deductive, inductive, or analogical), and coherence within a unity or whole. Although logical criteria may also be important in formulating and testing theory,1 it is tested and refuted primarily through means of qualitative descriptions and quantitative assessments of observable phenomena.Regarding practice, one is also confronted with an ambiguous construct that may be interpreted descriptively (what is done in the phenomenal world or taken to be the general state of affairs) or normatively (what is desirable or ideal). There is also the distinction between the practice of a seasoned performer and practice in the sense of striving towards the mastery of a competent and expert practice. In this regard, Vernon Howard distinguishes between "practice" (or the skills exemplified by proficient or expert performers) and "practise (or acquiring the level of mastery of proficient or expert performance)."2 For him, the ambiguous and paradoxical nature of artistic practice highlights the complexity of degrees of attaining mastery of skills or exemplary practice and the diverse array of skills ranging from habit to critical thinking involved in the practice of any art. Although each practice is distinguished by its own belief systems, rituals, expectations, and commonsense, boundaries between differing practices are sometimes "soft" or fuzzy, as one seeps into another.3 Consequently, it is often difficult to distinguish one from another at the margins where one practice becomes another.DichotomyThe notion of theory and practice as independent or a dichotomous relationship between the phenomenal world on the one hand and the mind and spirit on the other has its roots in the ancient world. For Plato, the world of "appearances," referring to the phenomenal world understood by imagination (eikasia) and belief (pistis), should be distinguished from the higher, abstract "intelligible world" grasped through thinking (dianoia), knowledge (episteme), and intelligence (noesis).4 René Descartes' later bifurcation of the inner and outer worlds and inversion of Platonic values and understandings resulted in the ascendancy of careful and deliberate observation of the phenomenal world over philosophical reflection.5 His ideas helped to set the stage for the Enlightenment and the Industrial, Scientific, and Information Revolutions. Empiricism, science, and technology gradually displaced philosophy as primary ways of knowing the phenomenal world and understanding the nature of mind, human cognition, feeling, and being. Making hard-boundaried distinctions between within and without one's self, the phenomenal world and the world of spiritual things, and theory and practice were important insights. These distinctions provided for limits on the sorts of ways in which truth could be known. Reasoned deliberation [End Page 22] and imaginative thought have particular usefulness in the world of theory while sensory perception and careful observation are especially useful in the phenomenal world of practice. So while the scholar might speculate about phenomena, observational tools are also useful in coming to know and understand them. Reason and observation each have particular strengths, and it ought not be assumed that philosophy or scientific observation... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Kant's Theory of Virtue: The Value of AutocracyRobert B. LoudenAnne Margaret Baxley. Kant's Theory of Virtue: The Value of Autocracy. Cambridge-New York: Cambridge University Press, 2010. Pp. xvi + 189. Cloth, $85.00.Back in the early 1980s, Anglophone philosophers began to seriously explore the nature and role of virtue in Kant's ethics. This development itself was the result of a confluence of three other phenomena: (1) the (...) growing influence of virtue ethics within contemporary ethical theory; (2) the simultaneous publication of the first two complete English translations of Kant's important late work, The Doctrine of Virtue (Tugendlehre); and (3) repeated claims made by virtue ethicists that Kant had denied the importance of virtue for ethical theory.Anne Margaret Baxley's book, Kant's Theory of Virtue, is the most informative and comprehensive discussion of the nature and role of virtue in Kant's ethics currently available. Making careful use of the relevant Kantian texts (including not only Kant's published works but also lecture transcriptions from his ethics courses and some of his unpublished notes and reflections on ethics and religion), an important text by Friedrich Schiller (Über Anmut und Würde), one of Kant's early Romantic critics, as well as a wide swath of contemporary [End Page 142] secondary literature written by virtue ethicists as well as Kant scholars, Baxley demonstrates incisively that virtue, far from being neglected by Kant, is vitally significant to his ethical theory.Baxley's distinctive approach to Kant's conception of virtue is signaled in her subtitle: The Value of Autocracy. Autocracy—understood here as rational self-rule over sensibility—is, Baxley holds, "the overriding metaphor throughout Kant's treatment of virtue as a character trait, and it provides the key for understanding his particular conception of virtue" (52). This accent on autocracy results in a somewhat sterner Kantian virtue ethics than others have argued for. As Baxley herself notes, "[A]t first glance, autocracy looks as if it amounts to a rigid, repressive form of self-rule, one requiring the suppression or wholesale extirpation of sensible feelings and inclinations" (49). In an effort to show that first appearances are in this case deceiving, Baxley stretches the metaphor of autocracy (or, as she puts it, "reconstructs" Kant's claims about virtue) into the following three-pronged theory:[A]utocracy involves containing feelings and desires at odds with duty (the containment model), but it also involves maintaining feelings and inclinations to accord with moral concerns (the maintenance model), as well as cultivating feelings and inclinations that promote morally good ends (the cultivation model).(173; see also 126–36)Strictly speaking, however, when Kant himself uses the term ‘autocracy' (‘Autokratie') in discussing virtue (and he actually only does so once in his published writings—other terms such as ‘moral strength' [‘moralische Stärke'] and ‘courage' [‘Tapferkeit'] are used much more often), it refers exclusively to what Baxley calls the containment model, not the maintenance model or the cultivation model. Autocracy, Kant states in the Tugendlehre, "comprises a consciousness of the capacity to become master of one's inclinations that oppose the law" (6.383). Nevertheless, even if Baxley is asking the metaphor of autocracy to carry a bit more weight than Kant intended, her own reconstruction of Kant's theory of virtue is very well articulated and defended. And she is certainly correct in holding that Kantian virtue, correctly considered, entails not merely containing those feelings and desires that are opposed to duty, but also maintaining and cultivating those that are conducive to the moral life.Three important, interrelated aspects of her account that deserve highlighting are the following:Virtue and radical evil. Kant's account of radical evil, as presented in part 1 of Religion within the Boundaries of Mere Reason, forms an integral but underexplored component of his theory of virtue, and his belief in the existence of a universal human propensity to evil is the clearest example of how his understanding of virtue differs from the more familiar Aristotle-inspired accounts favored by contemporary virtue ethicists. As Baxley correctly emphasizes, on Kant's view virtue is "a corrective... to our propensity to evil... (shrink)

This monograph is a follow up to the author's classic text Boolean-Valued Models and Independence Proofs in Set Theory, providing an exposition of some of the most important results in set theory obtained in the 20th century--the independence of the continuum hypothesis and the axiom of choice. Aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science, the text has been extensively updated with expanded introductory material, new chapters, and a new appendix on (...) category theory, and includes recent developments in the field. Numerous exercises, along with the enlarged and entirely updated background material, make this an ideal text for students in logic and set theory. (shrink)

Boolean-valued models for first-order languages generalize two-valued models, in that the value range is allowed to be any complete Boolean algebra instead of just the Boolean algebra 2. Boolean-valued models are interesting in multiple aspects: philosophical, logical, and mathematical. The primary goal of this paper is to extend a number of critical model-theoretic notions and to generalize a number of important model-theoretic results based on these notions to Boolean-valued models. For instance, we will investigate (...) (first-order) Boolean valuations, which are natural generalizations of (first-order) theories, and prove that Boolean-valued models are sound and complete with respect to Boolean valuations. With the help of Boolean valuations, we will also discuss the Löwenheim-Skolem theorems on Boolean-valued models. (shrink)

By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an (...) empty name in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)

In the previous issue of Analyse & Kritik (2020, vol. 42, issue 1) Alexander Vostroknutov (3-39) aims at a ‘synthesis’ of economics with ‘psychology, sociology, and evolutionary human biology.’ This paper argues that his approach needs to be complemented at least by work from sociologists and social psychologists. Starting with problems of defining and measuring norms it is then claimed that a theory of norms should address the origin, change and effects of norms and model micromacro processes. This (...) should also be the goal of a theory of institutions (which are defined here as sets of norms-norms in the sense of accepting oughtness statements). We show how the social psychological value expectancy theory can be applied to model the variety of incentives that could play a role in explaining the effects of norms. Regarding the origin Coleman’s theory of norms is applied to show how Vostroknutov’s dissatisfaction-norms hypothesis can be improved. (shrink)

Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka _The Journal of Philosophy_, _56_, 125–137 1959 ; Lambert _Notre Dame Journal of Formal Logic_, _8_, 133–144 1967, 1997, 2001 ). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential import. Free (...) logics reject the claim that names need to denote in (ii). _Positive_ free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, _negative_ free logic treats them as uniformly false, and _neutral_ free logic as taking a third value. There has been a renewed interest in analyzing proof theory of free logic in recent years, based on intuitionistic logic in Maffezioli and Orlandelli (_Bulletin of the Section of Logic_, _48_(2), 137–158 2019 ) as well as classical logic in Pavlović and Gratzl (_Journal of Philosophical Logic_, _50_, 117–148 2021 ), there for the positive and negative variants. While the latter streamlines the presentation of free logics and offers a more unified approach to the variants under consideration, it does not cover neutral free logic, since there is some lack of both clear formal intuitions on the semantic status of formulas with empty names, as well as a satisfying account of the conditional in this context. We discuss extending the results to this third major variant of free logics. We present a series of G3 sequent calculi adapted from Fjellstad (_Studia Logica_, _105_(1), 93–119 2017, _Journal of Applied Non-Classical Logics_, _30_(3), 272–289 2020 ), which possess all the desired structural properties of a good proof system, including admissibility of contraction and all versions of the cut rule. At the same time, we maintain the unified approach to free logics and moreover argue that greater clarity of intuitions is achieved once neutral free logic is conceptualized as consisting of two sub-varieties. (shrink)

This paper develops in certain directions the work of Meyer in [3], [4], [5] and [6]. In those works, Peano’s axioms for arithmetic were formulated with a logical base of the relevant logic R, and it was proved finitistically that the resulting arithmetic, called R♯, was absolutely consistent. It was pointed out that such a result escapes incau- tious formulations of Goedel’s second incompleteness theorem, and provides a basis for a revived Hilbert programme. The absolute consistency result used as a (...) model arithmetic modulo two. Modulo arithmetics are not or- dinarily thought of as an extension of Peano arithmetic, since some of the propositions of the latter, such as that zero is the successor of no number, fail in the former. Consequently a logical base which, unlike classical logic, tolerates contradictory theories was used for the model. The logical base for the model was the three-valued logic RM3, which has the advantage that while it is an extension of R, it is finite valued and so easier to handle. The resulting model-theoretic structure is interesting in its own right in that the set of sentences true therein consti- tutes a negation inconsistent but absolutely consistent arithmetic which is an extension of R♯. In fact, in the light of the result of [6], it is an extension of Peano arithmetic with a base of a classical logic, P♯. A generalisation of the structure is to modulo arithmetics with the same logical base RM3, but with varying moduli. We first study the properties of these arithmetics in this paper. The study is then generalised by vary- ing the logical base, to give the arithmetics RMni, of logical base RMn and modulus i. Not all of these exist, however, as arithmetical properties and logical properties interact, as we will show. The arithmetics RMni give rise, on intersection, to an inconsistent arithmetic RMω which is not of modulo i for any i. We also study its properties, and, among other results, we show by finitistic means that the more natural relevant arithmetics R♯ and R♯♯ are incomplete. In the rest of the paper we apply these techniques to several topics, particularly relevant quantum arithmetic in which we are able to show that the law of distribution remains unprovable. Aside from its intrinsic interest, we regard the present exercise as a demonstration that inconsistent theories and models are of mathematical worth and interest. (shrink)

he model theory of groups of unitriangular matrices over rings is studied. An important tool in these studies is a new notion of a quasiunitriangular group. The models of the theory of all unitriangular groups are algebraically characterized; it turns out that all they are quasiunitriangular groups. It is proved that if R and S are domains or commutative associative rings then two quasiunitriangular groups over R and S are isomorphic only if R and S are isomorphic (...) or antiisomorphic. This algebraic result is new even for ordinary unitriangular groups. The groups elementarily equivalent to a single unitriangular group UTn are studied. If R is a skew field, they are of the form UTn, for some S ≡ R. In general, the situation is not so nice. Examples are constructed demonstrating that such a group need not be a unitriangular group over some ring; moreover, there are rings P and R such that UTn ≡ UTn, but UTn cannot be represented in the form UTn for S ≡ R. We also study the number of models in a power of the theory of a unitriangular group. In particular, we prove that, for any communicative associative ring R and any infinite power λ, I = I). We construct an associative ring such that I = 3 and I) = 2. We also study models of the theory of UTn in the case of categorical R. (shrink)

This paper presents an extended version of the Quantified Argument Calculus (Quarc). Quarc is a logic comparable to the first-order predicate calculus. It employs several nonstandard syntactic and semantic devices, which bring it closer to natural language in several respects. Most notably, quantifiers in this logic are attached to one-place predicates; the resulting quantified constructions are then allowed to occupy the argument places of predicates. The version presented here is capable of straightforwardly translating natural-language sentences involving defining clauses. A three- (...) class='Hi'>valued, model-theoretic semantics for Quarc is presented. Interpretations in this semantics are not equipped with domains of quantification: they are just interpretation functions. This reflects the analysis of natural-language quantification on which Quarc is based. A proof system is presented, and a completeness result is obtained. The logic presented here is capable of straightforward translation of the classical first-order predicate calculus, the translation preserving truth values as well as entailment. The first-order predicate calculus and its devices of quantification can be seen as resulting from Quarc on certain semantic and syntactic restrictions, akin to simplifying assumptions. An analogous, straightforward translation of Quarc into the first-order predicate calculus is impossible. (shrink)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

We study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We also characterize the first-order definable convex subgroups of a given ordered abelian group and prove (...) that the definable real valuation rings of k are in correspondence with the definable convex subgroups of the value group of a certain real valuation of k. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

Chapter 1: An Introduction: The ‘Semantic Sting’ Argument Describes Dworkin’s theory as concerning the conditions of legal validity. “A legal system is a system of norms. Validity is a logical property of norms in a way akin to that in which truth is a logical property of propositions. A statement about the law is true if and only if the norm it purports to describe is a valid legal norm…It follows that there must be certain conditions which render certain (...) norms, but not others, legally valid. Hence it also follows that there can be two types of disagreement over the truth or falsehood of propositions about the law. People can disagree over the question ‘What are the conditions of legal validity?’, in which case their disagreement is a theoretical one. Or they can agree on the conditions of validity, and disagree as to whether or not those conditions actually obtain in a given case or not.” Argues that the best way to interpret Dworkin’s ‘semantic-sting argument’ is as a general argument against conventionalism in legal positivism. Summarizes the outcome of Dworkin’s argument as follows: “[I]f Dworkin is right about the legal reasoning of lawyers and judges, conventionalism would be self-defeating: if lawyers and judges recognize as legally binding not only those norms which are uncontroversially identifiable under the Rule of Recognition, that is, if what they recognize as binding is not only source-based law, then conventionalism turns out to be false on its own terms. In other words, either law is not what lawyers and judges think that it is, in which case law is not a matter of conventions, or – if it is what lawyers and judges think – conventionalism is false, as they do not see the law as purely a matter of conventions.” Dworkin’s theory, then, is a new conception of jurisprudence aiming to present itself as a rival to conventionalism. The book will be concerned with re-examining positivism in light of the interpretative challenge. Chapter 2: Meaning and Interpretation “[R]oughly, interpretation can be defined as an understanding or explanation of the meaning of an object.” Interpretation in this narrow sense is distinct from a less formal and broader use of interpretation that makes it equivalent to explanation. “Hence also, only those objects which are capable of bearing some meaning qualify as objects of interpretation.” [Why shouldn’t we think of interpretation as object-identification? This seems to be closer to what Dworkin has in mind.] Thus, a consideration of the philosophical work on meaning is appropriate. First, a consideration of Davidson on interpretation. The thesis is that Davidson’s “radical interpretation” can only account for sentence meaning and not for linguistic interpretation in general. Davidson cannot account for the non-rule-governed aspects of communication. “Semantics, as opposed to interpretation, concerns those aspects of communication which are rule or convention governed…but such rules are normally unavailable as reasons or justifications for an interpretation. On the contrary, interpretation is usually required because the issue is not determined by rules or conventions.” Interpretation, rather, is parasitic with understanding the meaning of an expression and not equivalent with it. As Dummett notes, any reflection on the meanings of words assumes prior knowledge of ordinary meanings. “This leads to the conclusion that understanding or explaining the meaning of an expression and interpreting it, are two conceptually separate things. It also indicates that seman ics can only be employed, if at all, to elucidate the concept of interpretation by way of contrast: interpretation concerns those aspects of communication which are under-determined by semantic rules or conventions.” Pragmatics, the study of problems posed by discrepancies between utterer’s meaning and sentence meaning, would seem to be closer to inquiry into interpretation. Both are concerned with understanding how meaning is possible where conventional rules leave off. Contemporary pragmatics, moreover, recognizes the logically indeterminate character of communicative inferences beyond conventional meaning and that the contextual conditions that account for the possibility cannot be realized in the semantic structure of the sentence. However, different criteria of success may be at work in pragmatics than interpretation. Pragmatics is concerned with how communication is achieved and thus the criteria of success would be grasping a speaker’s intentions. Many think, however, that communication is unimportant in certain spheres of communication, e.g. artistic interpretation, and that in these cases the aim of interpretation is not to uncover the actual artist’s intentions. What kind of meaning is interpretation aimed at then? It cannot be the meaning the object has for the interpreter. “Interpretation purports to be a statement about the object interpreted, not about the subject who offers the interpretation…it is crucial to remember that not everything we say about a work of art, or any other text, amounts to an interpretation of it. Only those aspects of a text which can shed light on its meaning form part of the text’s interpretation. What the text means for someone rarely entails anything about what the text means.” [This is puzzling to some extent for it remains somewhat ambiguous what it means to talk of subject-independent meaning.] Interpretive meaning attribution is, rather, counterfactual. “In general, I will suggest that the answer to this question consists in the fact that meaning is assigned by a counterfactual statement. Given that x is the meaning attributed to, for instance a text T, and x is not the literal meaning of T, nor is it the meaning of T intended by its author, then the attribution of meaning x to T can only be understood as the contention that on the basis of certain assumptions a certain fictitious or stipulated speaker would have meant x by expressing T.” Thus, on this account, interpretation, when it does not concern an actual speaker, turns out to be a kind of counterfactual intention attribution. Twofold point: “First, that interpretation is essentially a matter of attributing intentions, that is, in the pragmatics sense of ‘meaning’, namely, meaning that such-and-such by an act or expression. At the same time, interpretations need not be based on the intentions of actual authors; the meaning of an act or expression is understandable in terms of counterfactual intentions.” [Are we really restricted to understanding the coherence and integrity of meaning in such a way? Presumably the author is a kind of device for organizing meaning, much like Dworkin’s integrity, but need it take that format?] The logic of interpretation is typically reducible to intention attribution. [What role does the counterfactual author play in structuring meaning?] The criteria of interpretive success will depend upon the object, whether it is the real author or the counterfactual author. If the former, success will depend upon the retrieval of the author’s actual intentions. “Likewise, if the author is characterized in terms of some ideal representative of a certain genre, for instance, the presumptions which are taken to determine this c aracterization would provide the criteria of success for the particular interpretation offered.” [The criteria of success would seem, then, to be the principles, ideals, etc. that we attribute to the counterfactual author. These attributed qualities would be doing all the work – is the attribution of intention to the hypothetical author, then, really necessary at all?] [Does this account presuppose a weird dichotomy between what an object is and what it means? This dichotomy is different, if present at all, in Dworkin.] Chapter 3: Dworkin’s Theory of Interpretation and the Nature of Jurisprudence Three main insights of Dworkin’s theory of interpretation: “First, that interpretation strives to present its object in its best possible light. Second, that interpretation is essentially genre-dependent. And third, that there are certain constraints that determine the limits of possible interpretations of a given object.” Why the best light? Dworkin doesn’t really address this question in depth but claims that otherwise we are left with no way of justifying and choosing an interpretation or we are left with the author’s intention model, which we should reject. [Marmor doesn’t seem clear on what precisely it means to present something in its best light – seems to conflate it with most appealing light which, I take it, is different than what Dworkin has in mind.] “Dworkin is quite right to maintain that without having some views about the values inherent in the genre to which the text is taken to belong, no interpretation can take off the ground. The values we associate with the genre partly, but crucially, determine what would make sense to say about the text, what are the kinds of meaning we could ascribe to it.” There is no necessity for an interpretation to present an object in its best light with regards to the genre it is taken to be part of. Interpretations “could simply strive to present it in a certain light, perhaps better than some, worse than others, but in a way which highlights an aspect of the meaning of the text which may be worth paying attention to for some reason or another.” [What kind of reasons would count in choosing to present it in one light rather than another?] There is simply zero grounds for Dworkin’s assertion that we have no reason to pay attention to an interpretation that does not present it in its best light. Take a psychoanalytic interpretation of Hamlet, for example – not the best light, but a legitimate one. [This seems related to the next criticism – clearly Dworkin would have to loosen his insistence on the best, though not to detriment.] Moreover, especially with regards to art, it doesn’t appear possible to make an all things considered judgment about the best interpretation given the incommensurability of different values that are taken to inhere in a given genre. [Dworkin can respond here that we may have different available interpretations that could be justified with respect to the relevant value. Moreover, a lack of common denominator does not prevent any comparison whatsoever.] Constructive interpretation concerns social practices constituted by norms – it imposes a purpose or value rendering intelligible the normative character of the practice. There is a separate aspect of constructive interpretation that maintains that elements of the practice are sensitive to the point of the practice. It is important to note that different social practices will institutionalize themselves in different ways – thus, different practices will establish varying conditions on how the practice can be altered. The position of the positivists is that evaluative judgments concerning what the law should be are insufficient for determining what the law is given the nature of law’s institutionalization.&nb p; [This would seem to reside on a certain conception of law, i.e. an interpretation about where the value of law lies.] “[T]his being one of the main points of dispute between Dworkin and his positivist opponents, Dworkin cannot at this initial state presume law to be sensitive to its value in the manner that other, non-institutional practices might be, without incurring the charge of having assumed the very point at issue.” The upshot for Dworkin is that any explanation of a social practice such as law requires the same kind of reasoning as participation in that practice. This will be called the hermeneutic thesis. We can try to reconstruct a justification for this view based on the necessity of shared background assumptions – but this will not do since Dworkin’s claim is stronger: it contends that participants’ and theorists’ must “adopt one and the same normative point of view.” [The sense of normative here is unclear. It is true, though, that shared background assumptions do not imply viewing the law as valuable in any particular way, or at least it does not imply this in any strong sense.] Dworkin makes two distinct points with the hermeneutic thesis: “First, that the explanation of a social practice, like law or the arts, is essentially interpretative, and as such, necessarily value laden. Second, that the interpretation of such social practices, which Dworkin calls ‘argumentative’, is unique in the sense that the practice itself is an evaluative enterprise, and that therefore the interpreter of such a practice must form an evaluative judgment of her own about those values which are inherent in the practice that she purports to interpret.” [As stated, the first thesis is terribly ambiguous – for Dworkin, it clear implies a commitment to constructive interpretation. For Marmor, who accepts it, it is totally unclear what commitment he intends to make. He seems to mean simply that we have criteria for success concerning what counts as a successful explanation.] Mamor denies the second thesis. “What Dworkin seems to ignore here is that there is a crucial difference between forming a view about the values which are manifest in a social practice, like law, and actually having evaluative judgments about them.” [The problem, however, it that it is a contentious matter what values are part of the law – a theorist’s account of what values are constitutive of a particular legal system must rely on the kind of arguments which participants rely on. Of course, a theorist might simply note a debate about values and attempt to remain agnostic, but this will fail to be a full theoretical account of what law is!] Dworkin’s thesis seems to depend exclusively on his account of constructive interpretation. [This seems exactly right.] Chapter 4: Coherence, Holism, and Interpretation: The Epistemic Foundation of Dworkin’s Legal Theory Begins with discussion of Rawls’ reflective equilibrium. Sums up dual criticism as follows: “[T]he assumption that intuitions are independently true and the converse one, that their truth depends on fitting a coherent scheme, both seem to yield paradoxical results.” Dworkin, in his article “The Original Position”, claims that Rawls cannot commit himself to ethical realism. “[T]he natural model presupposes some form of ethical realism, while the constructive model does not. One important difficulty arising from an attempt to apply the natural model to Rawls is, that under the natural model, any theory which dopes not account for an intuition, at least for one which is held firmly, cannot be wholly satisfactory, just as scientific theory which does not account for certain observational data it is supposed to cover, would not be satisfactory in a familiar way.” Rawls, rather, is committed to a constructivist view of morality. Moreover, the reason we value coherence epistemically in moral theory is that it itself is a value of political morality – fairness requires consistency and publicity in the application of moral standards. Marmor notes the following problem with such a view: “[I]f coherence is justified, as it is here, with reference to certain moral values, that is, a specific conception of fairness, then we face the following problem: the presupposed values of fairness must themselves be based upon intuitive convictions, in which case the question of their truth cannot be ignored. If they are taken to be true…we are driven back to the perplexities of the natural model.” Discusses, helpfully, the Fish/Dworkin debate. The upshot is that Dworkin’s interpretive model is best off if it commits itself to a Quineian holism. However, this undermines his distinction between internal and external skepticism since holism must deny that moral judgments constitute a closed system. [This analysis seems exactly right.] Endorses Simmonds view that Dworkin’s theory does not meet the requirements of complexity he identifies as necessary to avoid vicious circularity in interpretive judgments of fit and identity. Coherence is doing the work through and through and therefore the interpretive theory of law is circular. [Will require further investigation, though it is unclear how coherence is doing any work in the pre-interpretive stage. At this stage, the judgments, if interpretive, seem to be derived from different sources. In any case, using coherence as a value seems to be highly suspect.] Why doesn’t Dworkin just reject Fish’s assumptions: because of his jurisprudence. “If legal texts can have a meaning that is not entirely dependent on a process of interpretation, then it is at least sometimes the case that the law can simply be understood, and applied, without the mediation of interpretation. And if that is the case, then the argument from interpretation against legal positivism collapses. It is no longer the case that every conclusion about what the law is, depends on evaluative considerations about what it ought to be.” Chapter 5: Semantics, Realism, and Natural Law Assessment of Michael Moore’s legal realism and its implications. [The final criticisms of Moore are not decisive.] Chapter 6: Constructive Identification and Razian Authority A consideration of Dworkin’s denial that the communication model of interpretation is appropriate for legal interpretation. Marmor argues that intentions do play a crucial role in the identification of legal norms in a way that is incompatible with Dworkin’s “coherence thesis”. Marmor takes Dworkin to be committed to the constructive identification thesis: that the identification of something as part of the legal, artistic, etc. genre can be done sufficiently by evaluative considerations. “Here, one must maintain that evaluative considerations are sufficient to determine whether something is a legal norm or a work of art”. [Fit, however, constrains possible evaluative considerations – thus evaluative considerations are not sufficient in themselves.] “Now the crucial point here is this: if you maintain the possibility of constructive identification in art, you must assume that works of art can be identified as such on the basis of certain features they happen to possess, features which contain no reference to any particular intention to create a work of art…unless we take intentions into account, how can we discriminate between the concept of an aesthetic artifact and the con ept of a work of art?” [It is unclear, and I think false, that constructive interpretation of anything requires identifying something irrespective of an artificers intentions. Those intentions may be relevant, dependent upon the genre under which we are trying to classify the object. Nothing, seemingly, about constructive interpretation in general excludes this possibility.] Marmor’s point is that it turns out to be impossible to identify art as art without reference to an artist’s intentions – especially given the state of contemporary art. [It is notable that Marmor’s response to counterexample implicitly depends upon a fully developed theory of aesthetics. His cursory comments on the matter of identifying art seem insufficient to say the least.] The rest of the chapter considers the incompatibility of Raz’s account of authority with constructive interpretation. The incompatibilities mentioned do not move beyond what Raz identifies in his article “Authority, Law and Morality”, but a defense of this notion of authority is defended in several [inconclusive] respects. [Raz and Marmor want to separate identification from content. This is not clearly a defensible separation.] Chapter 7: No Easy Cases? Chapter defends notion that there is a distinction between easy and hard cases in the positivist sense. Takes a Hartian approach and ultimately defends the distinction by associating it Wittgenstein’s conception of rule following. The point is that one need to look the purpose of rule in order to understand what the rule requires. Chapter 8: Legislative Intent and the Authority of Law Examines the following doctrine concerning the role of legislative intent in adjudication: “[F]irst, it would hold that laws, at least in certain cases, are enacted with relatively specific intentions, and that this is a matter of fact which is discernible through an ordinary fact-finding procedure. Second, that in certain cases the presence of such a fact, namely, that the law was enacted with a certain intention, provides judges with a reason to decide the legal dispute in accordance with the relevant legislative intent.” [It is important that for Marmor, interpretive strategies are only appropriate in hard cases. However, we should wonder what grounds positivism can offer for deciding a hard case in any manner which is not the morally best manner according to the judgment of the judge. There are no legal grounds, by definition, in hard cases and so what justificatory strategy would endorse any judicial decision except for the morally best one?] We can ascribe intentions to a legislative body, when this is possible at all, by taking the shared intentions of the majority, rather than some group intention, to be the significant intentions. Moreover, we should expect a good deal of consensus about intentions for otherwise it is hard to explain how legislative bodies are able to produce so much legislation. Discussion of kinds of intentions concludes as follows: “I have distinguished between three main types of intention that are potentially relevant from the legal point of view. Apart from the intentions that are manifest in the language of the law itself, legislators typically have further intentions in enacting a given law, and sometimes they would have certain intentions bearing on its proper application. I have also suggested that some of these further intentions may be essentially non-avowable, in which case they are rendered initially irrelevant. Finally, I have pointed out that considerations of consistency require that the legislator’s application intentions be taken into account only if, and to the extent that, they are in accord with his further intentions.” The manner in which intentionalism is to be justif ed relies on the distinction, Marmor maintains, between expert and mere collective action authority. “The point I wanted to make is strictly conditional: if, and only if, a certain law is justified on the basis of the expertise branch of the normal justification thesis, would it make sense to defer to the legislature’s intentions in the interpretation of the law, that is, to the extent that there is, in fact,; such an intention and it can clarify something that needs clarification.” Insofar as a legislature can be considered an expert on the matter requiring adjudication and interpretation should the body’s intention be taken into account. Chapter 9: Constitutional Interpretation Begins by laying out general necessary features of a constitution. Then Marmor moves on to consider general questions of constitutional legitimacy. First, he considers what grounds might be offered for the legitimacy of a constitution at all. He notes that the central question is what permits a single generation to bind future generations. He then examines four arguments to avoid this problem. The first is based on the moral legitimacy of the constitution; Marmor rejects this solution for the [truly dubious] reason that the constitution would make no practical difference because it would not supply reasons in addition to those provided by morality [but, presumably, the point is that these legally valid rules would be institutionally enshrined]. The second is based on the moral authority of the framers and Marmor rightly rejects this on the basis of the idealization of the framers it requires and less rightly on the basis that there cannot be moral authorities. Third is the “argument from interpretation” which claims that “as long as the particular content of the constitution is determined by its interpretation, and the authoritative interpretation at any time correctly instantiates the values which ought to be upheld in the community, the constitution would be morally legitimate”. The fourth is Raz’s which argues that a constitution is valid so long as its constraints are morally permissible because conventions of this type might aid the continuity of the legal system, i.e. it is important to have a convention of this type and the constitution is a kind of this type. Marmor appears to endorse these two approaches and concludes: “The conditions for the legitimacy of a constitution must comprise the following conditions. First, the values and principles enshrined in it must be morally permissible…Second, when certain choices are made in particular cases, they would be legitimate if they are either morally underdetermined, or else, morally correct…It follows from this that both arguments must assume that at least in those areas in which the constitution would make a moral difference, it can be interpreted to make the difference that it should, that is, according to the true moral principles that should apply to the particular case...the moral legitimacy of constitutions very much dependent on the practices of their interpretation. In other words, a great deal of the burden of moral legitimacy is shifted by these arguments to the application of the constitution, thus assuming that the constitution is legitimate only if the courts are likely to apply the constitution in a morally desirable way.” [This implies that the only significant value constitutions have is in providing a conventional practice where some such practice is required.] Moves on to argue that courts typically rely, and rightly so, on moral considerations when deciding constitutional issues because typically, in cases of the kind that reach the supreme or constitutional court, there is no law on the case. Much of this relies on his earlier discussion about the nature of interpretation in the law – that legal interpretation is always a matter of cha ging the law. (shrink)

This article addresses the value of information that affects the ambiguity faced by a decision maker. Our analysis is applied to the case of a farmer whose production can be damaged by a pest attack with unknown probability, this damage being reduced if the farmer decides to use a pesticide. Early warning systems have precisely been implemented in many countries to help farmers avoid inappropriate decisions in terms of pesticide use. We investigate, both theoretically and experimentally, how farmers value these (...) systems. We propose a two-state self-insurance model in which an α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha$$\end{document}-MaxMin Expected Utility farmer may use pesticides that reduce the loss in the accident state while incurring a cost in both states. Her decision to self-insure or not depends on risk and ambiguity attitudes. We compile and compare the value of two types of information leading to a reduction of ambiguity and analyze their properties with respect to ambiguity attitude. Both types of information are valued positively if the farmer is ambiguity averse. We conduct a framed field experiment in which farmers and agricultural students have to decide whether or not to apply pesticides depending on risk, ambiguity and the associated monetary gains resulting from pesticide cost. The experimental findings support the theory. The average value of information among all participants is between €0.9/ha and €3.3/ha depending on the information gain. (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)

One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning.Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particular, we bring together the microtheories developed from a mental models perspective in a single theory, for which we provide a (...) formal foundation. We validate the theory through a computational model (UNICORE) which allows fine‐grained predictions of subjects' performance in different reasoning domains.The performance of the model is tested against the performance of experimental subjects—as reported in the relevant literature—in the three areas of syllogistic, relational and propositional reasoning. The computational model proves to be a satisfactory artificial subject, reproducing both correct and erroneous performance of the human subjects. Moreover, we introduce a developmental trend in the program, in order to simulate the performance of subjects of different ages, ranging from children (3–6) to adolescents (8–12) to adults (>21). The simulation model performs similarly to the subjects of different ages.Our conclusion is that the validity of the mental model approach is confirmed for the deductive reasoning domain, and that it is possible to devise a unique mechanism able to deal with the specific subareas. The proposed computational model (UNICORE) represents such a unifying structure. (shrink)

A Steiner triple system (STS) is a set S together with a collection B of subsets of S of size 3 such that any two elements of S belong to exactly one element of B. It is well known that the class of finite STS has a Fraïssé limit M_F. Here, we show that the theory T of M_F is the model completion of the theory of STSs. We also prove that T is not small and it (...) has quantifier elimination, TP2, NSOP1, elimination of hyperimaginaries and weak elimination of imaginaries. (shrink)