Results for ' Leviathan's function'

1000+ found
Order:
  1. Computable Rationality, NUTS, and the Nuclear Leviathan.S. M. Amadae - 2018 - In Daniel Bessner & Nicolas Guilhot (eds.), The Decisionist Imagination: Democracy, Sovereignty and Social Science in the 20th Century. New York, NY, USA:
    This paper explores how the Leviathan that projects power through nuclear arms exercises a unique nuclearized sovereignty. In the case of nuclear superpowers, this sovereignty extends to wielding the power to destroy human civilization as we know it across the globe. Nuclearized sovereignty depends on a hybrid form of power encompassing human decision-makers in a hierarchical chain of command, and all of the technical and computerized functions necessary to maintain command and control at every moment of the sovereign's existence: this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  20
    Daoism, Practice, and Politics: From Nourishing Life to Ecological Praxis.Eric S. Nelson - 2023 - Philosophy East and West 73 (3):792-801.
    In lieu of an abstract, here is a brief excerpt of the content:Daoism, Practice, and Politics:From Nourishing Life to Ecological PraxisEric S. Nelson (bio)I. Daoism's Multiple ModelsManhua Li, Yumi Suzuki, and Lisa Indraccola have offered evocative insights, questions, and alternatives in their contributions concerning the arguments of Daoism and Environmental Philosophy: Nourishing Life (Nelson 2021). The present brief response and sketch of the book will not address every point in their essays, but I will strive to reply, directly and indirectly, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  3
    Consciousness and Machines: A Commentary Drawing on Japanese Philosophy.S. D. Noam Cook - 2024 - Philosophy East and West 74 (2):305-314.
    In lieu of an abstract, here is a brief excerpt of the content:Consciousness and Machines:A Commentary Drawing on Japanese PhilosophyS. D. Noam Cook (bio)Viewed from within the great unity of consciousness, thinking is a wave on the surface of a great intuition.Kitarō NishidaIntroductionRecent developments in AI have made the long-standing debate about what computers can and can't do a major public concern. What we understand the properties of such machines to be, and consequently how we design [End Page 305] and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  21
    Leviathan and the Myograph: Hermann Helmholtz's “Second Note” on the Propagation Speed of Nervous Stimulations.Henning Schmidgen - 2015 - Science in Context 28 (3):357-396.
    ArgumentIn the winter of 1849–1850 in Königsberg, German physiologist Hermann von Helmholtz (1821–1894) conducted pioneering measurements concerning the propagation speed of stimulations in the living nerve. While recent historians of science have paid considerable attention to Helmholtz's uses of the graphic method, in particular his construction of an instrument called “myographion,” this paper draws attention to theinscription surfacesthat he used in effective ways for capturing and transmitting his findings. Against the background of recent archival findings, I show that Helmholtz used (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  14
    Green's functions on finite lattices and their connection to the infinite lattice limit.S. Cojocaru - 2008 - Philosophical Magazine 88 (3):441-447.
  6.  8
    Unimonotone functions of finite types (recursive functionals and quantifiers of finite types revisited IV).S. C. Kleene - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion theory. Providence, R.I.: American Mathematical Society. pp. 42--119.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Functional relation between dominance phase and suppression phase in binocular rivalry.S. Yoon & C. Chung - 2004 - In Robert Schwartz (ed.), Perception. Malden Ma: Blackwell. pp. 97-98.
  8. Formation of global regulatory system for human resources development.S. Sardak - 2016 - In International Scientific Practical Conference «Modern Transformation of Economics and Management in the Era of Globalization». pp. 21-22.
    Focused on evolutionary and continuous human development the global, the regulatory system should be formed in the conceptual (the constant research for the detection, identification and evaluation of global imperatives) and application (development and implementation of activities and coordination tools of influence to ensure the existence of human civilization in a secure politically, economically, socially and environmentally balanced world) planes. On the author's calculations of its formation in functionally complete, holistic view is expected by 2030 due to historically conditioned transformations (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Leviathan.Thomas Hobbes - 2006 - In Aloysius Martinich, Fritz Allhoff & Anand Vaidya (eds.), Early Modern Philosophy: Essential Readings with Commentary. Blackwell.
    Thomas Hobbes took a new look at the ways in which society should function, and he ended up formulating the concept of political science. His crowning achievement, Leviathan, remains among the greatest works in the history of ideas. Written during a moment in English history when the political and social structures as well as methods of science were in flux and open to interpretation, Leviathan played an essential role in the development of the modern world. This edition of Hobbes' (...)
     
    Export citation  
     
    Bookmark   689 citations  
  10.  16
    Group Minds in Ancient Greek Historiography and the Ancient Greek Novel: Herodian's History_ and chariton's _Callirhoe.Chrysanthos S. Chrysanthou - 2023 - Classical Quarterly 73 (2):872-887.
    This article explores Herodian's History of the Roman Empire alongside Chariton's novel Callirhoe with an eye to how the minds of collective entities are represented and function in the two narratives. It argues that Chariton, unlike Herodian, elaborates on the diversity of emotions that characterizes a specific collective experience and has groups use direct speech throughout. These choices add vividness to the narrative and intensify the fictional sensationalism and dramatic character of the novel. It also shows that, whereas collectives (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  34
    Computability, enumerability, unsolvability: directions in recursion theory.S. B. Cooper, T. A. Slaman & S. S. Wainer (eds.) - 1996 - New York: Cambridge University Press.
    The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  94
    A parametric analysis of prospect theory’s functionals for the general population.Adam S. Booij, Bernard M. S. van Praag & Gijs van de Kuilen - 2010 - Theory and Decision 68 (1-2):115-148.
    This article presents the results of an experiment that completely measures the utility function and probability weighting function for different positive and negative monetary outcomes, using a representative sample of N = 1,935 from the general public. The results confirm earlier findings in the lab, suggesting that utility is less pronounced than what is found in classical measurements where expected utility is assumed. Utility for losses is found to be convex, consistent with diminishing sensitivity, and the obtained loss-aversion (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  13.  31
    New computational paradigms: changing conceptions of what is computable.S. B. Cooper, Benedikt Löwe & Andrea Sorbi (eds.) - 2008 - New York: Springer.
    Logicians and theoretical physicists will also benefit from this book.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  91
    Ideals as Interests in Hobbes's Leviathan: The Power of Mind Over Matter.S. A. Lloyd - 1992 - New York: Cambridge University Press.
    S. A. Lloyd proposes a radically new interpretation of Hobbes's Leviathan that shows transcendent interests - interests that override the fear of death - to be crucial to both Hobbes's analysis of social disorder and his proposed remedy to it. Most previous commentators in the analytic philosophical tradition have argued that Hobbes thought that credible threats of physical force could be sufficient to deter people from political insurrection. Professor Lloyd convincingly shows that because Hobbes took the transcendence of religious and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  15. S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  16. Publicity, Privacy, and Religious Toleration in Hobbes's Leviathan.Arash Abizadeh - 2013 - Modern Intellectual History 10 (2):261-291.
    What motivated an absolutist Erastian who rejected religious freedom, defended uniform public worship, and deemed the public expression of disagreement a catalyst for war to endorse a movement known to history as the champion of toleration, no coercion in religion, and separation of church and state? At least three factors motivated Hobbes’s 1651 endorsement of Independency: the Erastianism of Cromwellian Independency, the influence of the politique tradition, and, paradoxically, the contribution of early-modern practices of toleration to maintaining the public sphere’s (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17.  17
    The Explanation Game: A Formal Framework for Interpretable Machine Learning.David S. Watson & Luciano Floridi - 2021 - In Josh Cowls & Jessica Morley (eds.), The 2020 Yearbook of the Digital Ethics Lab. Springer Verlag. pp. 109-143.
    We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  18.  36
    Hierarchies of Provably Recursive Functions.Stanley S. Wainer - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 149.
  19.  22
    Hippocampal function and interference.Matthew L. Shapiro & David S. Olton - 1994 - In D. Schacter & E. Tulving (eds.), Memory Systems. MIT Press. pp. 1994--87.
  20.  34
    Action, affect, and two-mode models of functioning.Charles S. Carver & Michael F. Scheier - 2008 - In Ezequiel Morsella, John A. Bargh & Peter M. Gollwitzer (eds.), Oxford handbook of human action. New York: Oxford University Press. pp. 298--327.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. The Nature and Function of Imagination in Hume and Kant.S. C. Daniel - 1988 - Indian Philosophical Quarterly 15 (1): 85-97.
  22. Roles and functions of various agencies in conducting POCSO cases : judiciary, prosecutors, police and the Child Welfare Committee.S. Chemmalar - 2020 - In Sibnath Deb & G. Subhalakshmi (eds.), Delivering justice: issues and concerns. London: Routledge.
     
    Export citation  
     
    Bookmark  
  23. Historical Context and Systematic Functions of the Concept of the Operant.S. R. Coleman - 1981 - Behavior and Philosophy 9 (2):207.
     
    Export citation  
     
    Bookmark   1 citation  
  24. Binocular-rivalry as a function of retinal locus and eye dominance.S. Coren & C. Porac - 1988 - Bulletin of the Psychonomic Society 26 (6):487-487.
     
    Export citation  
     
    Bookmark  
  25.  50
    On the self-regulation of behavior.Charles S. Carver - 1998 - New York, NY, USA: Cambridge University Press. Edited by Michael Scheier.
    This book presents a thorough overview of a model of human functioning based on the idea that behavior is goal-directed and regulated by feedback control processes. It describes feedback processes and their application to behavior, considers goals and the idea that goals are organized hierarchically, examines affect as deriving from a different kind of feedback process, and analyzes how success expectancies influence whether people keep trying to attain goals or disengage. Later sections consider a series of emerging themes, including dynamic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   148 citations  
  26. Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
    Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics". The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.
     
    Export citation  
     
    Bookmark   9 citations  
  27.  58
    Critical Events in the Ethics of U.S. Corporation History.S. Douglas Beets - 2011 - Journal of Business Ethics 102 (2):193-219.
    The history of corporations in the United States (U.S.) is much older than the country, as it must be understood in the context of the history of peoples of Europe who eventually dominated the North American continent in the seventeenth and eighteenth centuries. These European settlers came, in part, to achieve economic prosperity for themselves and, in many cases, for early forerunners of the modern corporation. These business organizations had predecessors in Europe millennia earlier as ancient Romans had developed a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Life without Virtue: Economists Rule; Review Essay of Dani Rodrik's Economics Rules.S. M. Amadae - 2020 - Economic Issues 25 (2):51-70.
    This review essay of Economics Rules situates Dani Rodrik’s contribution with respect to the 2007–2008 global economic crisis. This financial meltdown, which the eurozone did not fully recover from before the Covid-19 pandemic, led to soul- searching among economists as well as a call for heterodox economic approaches. Yet, over the past decade, instead the economics profession has maintained its orthodoxy. Rodrik’s Economics Rules offers a critique of the economics profession that is castigating but mild. It calls for economists to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  25
    De Coubertin's olympism and the laugh of Michel Foucault: Crisis discourse and the olympic games.S. Brown - unknown
    De Coubertin developed the sport philosophy of Olympism and the Olympic Games as a response to social and political crisis to promote peace, fair play, and the development of Christian masculinity. The purpose of this paper is to examine how crisis discourse functions as an important shaper of contemporary understandings of Olympism and how conflicting discourses have mobilized crisis discourse to produce competing 'truths' in which to rationalize and understand the Olympic Games. In drawing from Foucault's work and de Certeau's (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  36
    Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
    This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic because of its accessibility to students without a mathematical background, and because it covers not simply the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, (...)
  31.  28
    Origins and functions of positive and negative affect: A control-process view.Charles S. Carver & Michael F. Scheier - 1990 - Psychological Review 97 (1):19-35.
  32.  16
    The Function of Mimesis and Its Decline.S. L. Bartky - 1969 - Journal of Aesthetics and Art Criticism 28 (1):109-110.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  50
    The Function of Boundary Conditions in the Physical Sciences.Julia R. S. Bursten - 2021 - Philosophy of Science 88 (2):234-257.
    Early philosophical accounts of explanation mistook the function of boundary conditions for that of contingent facts. I diagnose where this misunderstanding arose and establish that it persists. I...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  12
    From Critic to Theorist: Themes in Skinner's Development from 1928 to 1938.S. Coleman - 1991 - Journal of Mind and Behavior 12 (4):509-534.
    Nine themes help in understanding B.F. Skinner's development from graduate student in 1928 to the publication of his Behavior of Organisms in 1938. It is claimed that Skinner's primary personal development was from the role of precocious critic to mature theorist; that Skinner's discoveries of behavioral lawfulness enabled him to shed major portions of his earlier reflexological commitment; that his postulation of operants served several nonempirical functions; and that the postulation required that he depart from the restrictive philosophical framework in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  3
    Metaphysics.P. M. S. Hacker - 2017 - In Hans-Johann Glock & John Hyman (eds.), A Companion to Wittgenstein. Chichester, West Sussex, UK: Wiley-Blackwell. pp. 209–227.
    Throughout its long history metaphysics has been variously conceived. At its most sublime, it has been taken to be the study of the super‐sensible, in particular of the existence of a god, the nature of the soul, and the possibility of an afterlife. When the young Ludwig Wittgenstein entered the lists, it was entirely reasonable to conceive of metaphysics in this manner. Its subject matter was held to be the language‐independent and thought‐independent de re necessities of the world. The Tractatus (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. A philosophical explanation of the explanatory functions of ergodic theory.S. J. Paul M. Quay - 1978 - Philosophy of Science 45 (1):47-59.
    The purported failures of ergodic theory (seen in its often proved ineptitude to ground a mechanical explanation of thermodynamics) are shown to arise from misconception of the functions served by scientific explanation. In fact, the predictive failures of ergodic theory are precisely its points of greatest physical utility, where genuinely new knowledge about actual physical systems can be obtained, once the links between explanation and reconstructive estimation are recognized.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37. Self-concept through the diagnostic looking glass: Narratives and mental disorder.Ş Tekin - 2011 - Philosophical Psychology 24 (3):357-380.
    This paper explores how the diagnosis of mental disorder may affect the diagnosed subject’s self-concept by supplying an account that emphasizes the influence of autobiographical and social narratives on self-understanding. It focuses primarily on the diagnoses made according to the criteria provided by the Diagnostic Statistical Manual of Mental Disorders (DSM), and suggests that the DSM diagnosis may function as a source of narrative that affects the subject’s self-concept. Engaging in this analysis by appealing to autobiographies and memoirs written (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  38. Autonomy and Machine Learning as Risk Factors at the Interface of Nuclear Weapons, Computers and People.S. M. Amadae & Shahar Avin - 2019 - In Vincent Boulanin (ed.), The Impact of Artificial Intelligence on Strategic Stability and Nuclear Risk: Euro-Atlantic Perspectives. Stockholm, Sweden: pp. 105-118.
    This article assesses how autonomy and machine learning impact the existential risk of nuclear war. It situates the problem of cyber security, which proceeds by stealth, within the larger context of nuclear deterrence, which is effective when it functions with transparency and credibility. Cyber vulnerabilities poses new weaknesses to the strategic stability provided by nuclear deterrence. This article offers best practices for the use of computer and information technologies integrated into nuclear weapons systems. Focusing on nuclear command and control, avoiding (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  19
    Exploration of Complex Dynamics for Cournot Oligopoly Game with Differentiated Products.S. S. Askar, Mona F. El-Wakeel & M. A. Alrodaini - 2018 - Complexity 2018:1-13.
    This paper proposes a Cournot game organized by three competing firms adopting bounded rationality. According to the marginal profit in the past time step, each firm tries to update its production using local knowledge. In this game, a firm’s preference is represented by a utility function that is derived from a constant elasticity of substitution production function. The game is modeled by a 3-dimensional discrete dynamical system. The equilibria of the system are numerically studied to detect their complex (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  6
    Biophysical approach to modeling reflection: basis, methods, results.S. I. Bartsev, G. M. Markova & A. I. Matveeva - forthcoming - Philosophical Problems of IT and Cyberspace (PhilIT&C).
    The approach used by physics is based on the identification and study of ideal objects, which is also the basis of biophysics, in combination with von Neumann heuristic modeling and functional fractionation according to R.Rosen is discussed as a tool for studying the properties of consciousness. The object of the study is a kind of line of analog systems: the human brain, the vertebrate brain, the invertebrate brain and artificial neural networks capable of reflection, which is a key property characteristic (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Chapter 7 Cryptocurrency, Distributed Ledger Technology and Blockchain Tokens.S. M. Amadae - 2023 - In Sustainable Consumption: Political Economy of Sustainable Food. Aalto University. pp. 199-241.
    This chapter discusses cryptocurrency, distributed ledger technology and blockchain tokens within the context of technological innovation, the history of money and accounting practices, and their multiple functionalities beyond those of standard currencies. This discussion is motivated by the design of cryptocurrencies for specific community needs, and to reflect anti-rival, positive sum value.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  18
    Density functional theory studies of screw dislocation core structures in bcc metals.Søren Frederiksen & Karsten Jacobsen - 2003 - Philosophical Magazine 83 (3):365-375.
    The core structures of d 111 ¢ screw dislocations in bcc metals are studied using density functional theory in the local-density approximation. For Mo and Fe, direct calculations of the core structures show the cores to be symmetric with respect to 180° rotations around an axis perpendicular to the dislocation line. The magnetic moment in the Fe core is shown to be reduced relative to the bulk value. Calculations of n surfaces and the elastic constants B , C ' and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  43.  26
    Countable functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 27 (3):81--100.
  44. Truth, function and paradox.S. Shapiro - 2011 - Analysis 71 (1):38-44.
    Michael Lynch’s Truth as One and Many is a contribution to the large body of philosophical literature on the nature of truth. Within that genre, advocates of truth-as-correspondence, advocates of truth-as-coherence, and the like, all hold that truth has a single underlying metaphysical nature, but they sharply disagree as to what this nature is. Lynch argues that many of these views make good sense of truth attributions for a limited stretch of discourse, but he adds that each of the contenders (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  45. Myth and philosophy in Plato's Phaedrus.Daniel S. Werner - 2012 - New York: Cambridge University Press.
    Plato's dialogues frequently criticize traditional Greek myth, yet Plato also integrates myth with his writing. Daniel S. Werner confronts this paradox through an in-depth analysis of the Phaedrus, Plato's most mythical dialogue. Werner argues that the myths of the Phaedrus serve several complex functions: they bring nonphilosophers into the philosophical life; they offer a starting point for philosophical inquiry; they unify the dialogue as a literary and dramatic whole; they draw attention to the limits of language and the limits of (...)
  46.  45
    Functional Realism: A Defense of Narrative Medicine.S. Vannatta & J. Vannatta - 2013 - Journal of Medicine and Philosophy 38 (1):32-49.
    In this paper we (1) define and describe the practice of narrative medicine, (2) reveal the need for narrative medicine by exposing the presuppositions that give rise to its discounting, including a reductive empiricism and a strict dichotomy between scientific fact and narrative value, (3) show evidence of the effects of education in narrative competence in the medical clinic, and (4) present Peircean realism as the proper conceptual model for our argument that the medical school curriculum committees should give space (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47. Rationality and the Structure of the Self, Volume I: The Humean Conception.Adrian M. S. Piper - 2013 - APRA Foundation Berlin.
    The Humean conception of the self consists in the belief-desire model of motivation and the utility-maximizing model of rationality. This conception has dominated Western thought in philosophy and the social sciences ever since Hobbes’ initial formulation in Leviathan and Hume’s elaboration in the Treatise of Human Nature. Bentham, Freud, Ramsey, Skinner, Allais, von Neumann and Morgenstern and others have added further refinements that have brought it to a high degree of formal sophistication. Late twentieth century moral philosophers such as Rawls, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
    Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  49. Functional decomposition in large diagnosis problems'.S. Rementería, C. Rodríguez, C. Ruíz, A. Lafuente, J. I. Martín, J. Muguerza & J. Pérez - 1992 - Communication and Cognition-Artificial Intelligence 9 (2-3):237-251.
     
    Export citation  
     
    Bookmark  
  50. The Representation of Hobbesian Sovereignty: Leviathan as Mythology.Arash Abizadeh - 2013 - In S. A. Lloyd (ed.), Hobbes Today. New York: Cambridge University Press.
    Readers of Hobbes have often seen his Leviathan as a deeply paradoxical work. On one hand, recognizing that no sovereign could ever wield enough coercive power to maintain social order, the text recommends that the state enhance its power ideologically, by tightly controlling the apparatuses of public discourse and socialization. The state must cultivate an image of itself as a mortal god of nearly unlimited power, to overpower its subjects and instil enough fear to win obedience. On the other hand, (...)
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000