There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation — in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in (...) the analysis and representation of law.The essential point for which we argue is that deontic logic — in some form or other —needs to be taken seriously whenever it is necessary to make explicit, and then reason about, the distinction between what ought to be the case and what is the case, or as we also say, between the ideal and the actual. We take the library regulations at Imperial College as the main illustration, and small examples from genuinely legal domains to introduce specific points. In conclusion, we touch on the role of deontic logic in the development of the theory of normative positions. (shrink)
This paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of normative-informational positions, pertaining to rules that are meant to regulate the supply of information. First, we present the proposed framework. Next, we identify the kinds of nuances and distinctions that can be articulated in such a logical framework. Finally, we show how such nuances can arise in specific regulations. Reference is made to Data Protection Law and Contract Law, among others. (...) The proposed approach is articulated around two essential steps. The first involves identifying the set of possible interpretations that can be given to a particular norm. This is done by using formal methods. The second involves picking out one of these interpretations as the most likely one. This second step can be resolved only by using further information (e.g., the context or other parts of the regulation). (shrink)
We show that if κ is a weakly compact cardinal, then $\left( \matrix \kappa ^{+} \\ \kappa\endmatrix \right)\rightarrow \left(\left( \matrix \alpha \\ \kappa \endmatrix \right)_{m}\left( \matrix \kappa ^{n} \\ \kappa \endmatrix \right)_{\mu}\right)^{1,1}$ for any ordinals α < κ⁺ and µ < κ, and any finite ordinals m and n. This polarized partition relation represents the statement that for any partition $\kappa \times \kappa ^{+}=\underset i<m\to{\bigcup }K_{i}\cup \underset j<\mu \to{\bigcup }L_{j}$ of κ × κ⁺ into m + µ pieces either there (...) are A ∈ [κ]κ, B ∈ [κ⁺]α, and i < m with A × B ⊆ Ki or there are C ∈ [κ]κ, D ∈ [κ⁺]α, and j < μ with C × D ⊆ Lj. Related results for measurable and almost measurable κ are also investigated. Our proofs of these relations involve the use of elementary substructures of set models of large fragments of ZFC. (shrink)
The paper discusses the potential value of a deontic approach to database specification. More specifically, some different types of integrity constraints are considered and a distinction is drawn between necessary (hard) and deontic (soft) constraints.Databases are compared with other normative systems. A deontic logic for database specification is proposed and the problems of how to react to, and of how to correct, or repair, a situation which arises through norm violation are discussed in the context of this logic. The limitations (...) of the proposed logic and possible modifications and extensions of it are analysed. (shrink)
In this essay I show that Structuralism, in order to combat the impression that it is “untenable and outmoded,” needs to be attached to a phenomenology of transcendental intersubjectivity. My argument for this conclusion is: 1) that Peter Caws is right in arguing that Structuralism needs a notion of the transcendental subject because its objects, qua intentional, presuppose such a subject; 2) the objects withwhich Structuralism is concemed are objects in the sense that Husserl speaks of objects ofthe spiritual world; (...) and, 3) the spiritual world, indeed the world in general, is constituted intersubjectively. Therefore, Structuralism needs a notion of transcendental intersubjectivity.Dans cet essai, je démontre que le structuralisme doit être rattaché à une phénoménologie de l’intersubjectivité transcendantale afin d’éviter l’impression qu’il donne d’être «intenable et démodé». J’appuie cette conclusion à l’aide des arguments suivants: 1) Peter Caws a raison d’arguer que le structuralisme a besoin d’une notion de sujet transcendantal parce que ses objets, en tant qu’intentionnels, présupposent un tel sujet; 2) les objets dont s’occupe le structuralisme sont des objets au sens oú Husserl parle d’objets du monde spirituel; et 3) le monde spirituel, enfait le monde en général, est constitué de façon intersubjective. Ainsi, le structuralisme requiert une notion d’intersubjectivité transcendantale. (shrink)
James L. Anderson analyzed the conceptual novelty of Einstein's theory of gravity as its lack of ``absolute objects.'' Michael Friedman's related concept of absolute objects has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using Nathan Rosen's action principle, I complete Anna Maidens's argument that the Jones-Geroch problem is not solved by requiring that absolute objects not be varied. Recalling Anderson's proscription (...) of (globally) ``irrelevant'' variables that do no work (anywhere in any model), I generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free, and there is no good reason to have a timelike dust 4-velocity vector there. Eliminating the irrelevant timelike vctors keeps the dust 4-velocity from counting as absolute by spoiling its neighborhood-by-neighborhood diffeomorphic equivalence to (1,0,0,0). A more fundamental Gerochian timelike vector field presents itself in gravity with spinors in the standard orthonormal tetrad formalism, though eliminating irrelevant fields might solve this problem as well. (shrink)
In his book Wittgenstein on Rules and Private Language (Kripke 1982), Saul Kripke develops a famous argument that purports to show that there are no facts about what we mean by the expressions of our language: ascriptions of meaning, such as “Jones means addition by ‘+’” or “Smith means green by ‘green’”, are according to Kripke’s Wittgenstein neither true nor false. Kripke’s Wittgenstein thus argues for a form of non- factualism about ascriptions of meaning: ascriptions of meaning do (...) not purport to state facts.1 Define semantic realism to be the view that ascriptions of meaning are apt to be assessed in terms of truth and falsity, and are, at least in some instances, true. Semantic realism, thus defined, is a form of cognitivism about semantic judgement, according to which judgements ascribing meaning express beliefs, states apt for assessment in terms of truth and falsity. Kripke’s Wittgenstein thus argues against semantic realism, and in favour of a form of semantic non-cognitivism. However, another form of opposition to semantic realism accepts that semantic judgements express beliefs but asserts that those beliefs are systematically and uniformly false.2 This cognitivist form of opposition to semantic realism is similar to the error-theoretic form of opposition to moral realism mooted by J.L. Mackie in the first chapter of his Ethics: Inventing Right and Wrong (Mackie 1977). In this paper I will investigate whether there is a plausible analogue of Mackie’s “argument from queerness” that can be used to make a case for an error-theory of semantic judgement. In §2 I set out what I take to be Mackie’s argument from queerness against moral realism. In §3 I argue that there is no straightforward and plausible analogue of that argument that would justify an error theory about ascriptions of meaning. In §4 and §5 I defend the argument of §3 against an objection developed in a recent paper by Daniel Whiting. (shrink)
Machine generated contents note: -- Preface -- Acknowledgements -- Notes on Contributors -- PART I: COMPLEXITY IN ANIMAL MINDS -- Introduction: M.McGonigle-Chalmers -- Relational and Absolute Discrimination Learning by Squirrel Monkeys: Establishing a Common Ground with Human Cognition; B.T.Jones -- Serial List Retention by Non-Human Primates: Complexity and Cognitive Continuity; F.R.Treichler -- The Use of Spatial Structure in Working Memory: A Comparative Standpoint; C.De Lillo -- The Emergence of Linear Sequencing in Children: A Continuity Account and a Formal Model; (...) M.McGonigle-Chalmers&I.Kusel -- Sensitivity to Quantity: What Counts Across Species?; S.T.Boysen&A.M.Yocom -- PART II: COMPLEXITY IN ROBOTS -- Editorial Introduction; D.McFarland -- Towards Cognitive Robotics: Robotics, Biology and Developmental Psychology; M.Lee, U.Nehmzow&M.Rodriguez -- Structuring Intelligence: The Role of Hierarchy, Modularity and Learning in Generating Intelligent Behaviour; J.J.Bryson -- Epistemology, Access, and Computational Models; G.Luger -- Reasoning About Representations in Autonomous Systems: What P´Olya and Lakatos Have To Say; A.Bundy -- PART III: LANGUAGE, EVOLUTION AND THE COMPLEX MIND -- Editorial Introduction; K.Stenning -- How to Qualify for a Cognitive Upgrade: Executive Control, Glass Ceilings, and the Limits of Simian Success; A.Clark -- Private Codes and Public Structures; C.Allen -- The Emergence of Complex Language; W.Hinzen -- Language Evolution: Enlarging the Picture; K.Stenning&M.Van Lambalgen -- Epilogue: Reminiscences of Brendan McGonigle -- Index. (shrink)
Despite the existence of a large number of models to explain the ethical decision-making process, rarely have the models been tested. This research validated the use of such models by showing that both issue-contingent variables and individual characteristics affect two commonly-proposed model components: i.e., moral judgment and moral intent. As proposed by Jones' (1991) ethical decision-making model and elaborated on by the author, the main effect of an issue-contingent variable, social consensus, and a closely-related variable, seriousness of consequences, influenced (...) both moral judgment and moral intent.Many ethical decision-making models also argue for the inclusion of individual characteristics in the decision-making process. This study proposed and found that the individual characteristics of rule orientation and denial of responsibility influenced moral judgment and moral intent, respectively. However, contrary to some models, interactions between issue-contingent variables and individual characteristics were insignificant relative to the main effects variables. The relationships found have implications for future model testing, as well as for practising managers. (shrink)
James L. Anderson analyzed the novelty of Einstein's theory of gravity as its lack of "absolute objects." Michael Friedman's related work has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using the Rosen-Sorkin Lagrange multiplier trick, I complete Anna Maidens's argument that the problem is not solved by prohibiting variation of absolute objects in an action principle. Recalling Anderson's proscription of "irrelevant" variables, (...) I generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free and so naturally lack a timelike 4-velocity, so diffeomorphic equivalence to (1,0,0,0) is spoiled. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis, viz., the conformal spatial metric density. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields. However, given Anderson's definition, GTR itself has an absolute object (as Robert Geroch has observed recently): a change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)
I examine recent arguments based on functionalism that claim to show that Bohm's theory fails to solve the measurement problem, or if it does so, it is only because it reduces to a form of the many-worlds theory. While these arguments reveal some interesting features of Bohm's theory, I contend that they do not undermine the distinctive Bohmian solution to the measurement problem. ‡I would like to thank Harvey Brown, Martin Thomson-Jones, and David Wallace for helpful discussions. †To contact (...) the author, please write to: Department of Philosophy, University of Miami, P.O. Box 248054, Coral Gables, FL 33124–4670; e-mail: plewis@miami.edu. (shrink)
The moving frame of a tracking or crane shot, or of a camera tilt or pan, can affect the way we engage with a film narrative. In this paper, I argue that certain uses of the moving frame in narrative fiction film prescribe us to imagine ourselves moving through the world of the film. The existence of such an imaginative prescription ultimately threatens the necessity of the cinematic narrator. In light of the standard indeterminacy of our means of access to (...) fictions, the prescription to imagine moving is not accompanied by a prescription to imagine a narrator providing us with a moving view. (shrink)
