Results for 'Multi-sorted Behavioral Logic'

986 found
Order:
  1.  26
    Categorical Abstract Algebraic Logic: Behavioral π-Institutions.George Voutsadakis - 2014 - Studia Logica 102 (3):617-646.
    Recently, Caleiro, Gon¸calves and Martins introduced the notion of behaviorally algebraizable logic. The main idea behind their work is to replace, in the traditional theory of algebraizability of Blok and Pigozzi, unsorted equational logic with multi-sorted behavioral logic. The new notion accommodates logics over many-sorted languages and with non-truth-functional connectives. Moreover, it treats logics that are not algebraizable in the traditional sense while, at the same time, shedding new light to the equivalent algebraic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  84
    (2 other versions)Categorical abstract algebraic logic: Equivalent institutions.George Voutsadakis - 2003 - Studia Logica 74 (1-2):275 - 311.
    A category theoretic generalization of the theory of algebraizable deductive systems of Blok and Pigozzi is developed. The theory of institutions of Goguen and Burstall is used to provide the underlying framework which replaces and generalizes the universal algebraic framework based on the notion of a deductive system. The notion of a term -institution is introduced first. Then the notions of quasi-equivalence, strong quasi-equivalence and deductive equivalence are defined for -institutions. Necessary and sufficient conditions are given for the quasi-equivalence and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  23
    Multi-sorted version of second order arithmetic.Farida Kachapova - 2016 - Australasian Journal of Logic 13 (5).
    This paper describes axiomatic theories SA and SAR, which are versions of second order arithmetic with countably many sorts for sets of natural numbers. The theories are intended to be applied in reverse mathematics because their multi-sorted language allows to express some mathematical statements in more natural form than in the standard second order arithmetic. We study metamathematical properties of the theories SA, SAR and their fragments. We show that SA is mutually interpretable with the theory of arithmetical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  31
    Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions.George Voutsadakis - 2016 - Bulletin of the Section of Logic 45 (2).
    Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions. We show that the π-institutions corresponding to the hidden multi-sorted deductive systems studied by Babenyshev and Martins satisfy the multi-term condition of Gil-F´erez. This provides a proof of the result of Babenyshev and Martins by appealing to the general result of Gil-F´erez pertaining to arbitrary (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Behavioral Algebraization of Logics.Carlos Caleiro, Ricardo Gonçalves & Manuel Martins - 2009 - Studia Logica 91 (1):63-111.
    We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6. Aristotle's Many-sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.
    As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  59
    If chimpanzees are mindreaders, could behavioral science tell? Toward a solution of the logical problem.Robert Lurz - 2009 - Philosophical Psychology 22 (3):305-328.
    There is a persistent methodological problem in primate mindreading research, dubbed the 'logical problem,' over how to determine experimentally whether chimpanzees are mindreaders or just clever behavior-readers of a certain sort. The problem has persisted long enough that some researchers have concluded that it is intractable. The logical problem, I argue, is tractable but only with experimental protocols that are fundamentally different from those that have been currently used or suggested. In the first section, I describe what the logical problem (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  8.  8
    (1 other version)The Logical Necessity of Multi-Disciplinarity: A Consistent View of the World.Stephen Jay Kline - 1986 - Bulletin of Science, Technology and Society 6 (2):164-187.
    For three hundred years two conflicting views of the world (1) have provided the overall frameworks for thought in western culture. The present paper shows neither view is sufficient for human understanding of many important systems and behaviors. A third view which appears sufficient is presented. Illustrations of the third view show increased understanding is obtained in many problems. The sufficiency of the historic views and the route to the third view are provided through discussion of the issue of (...)-disciplinarity, the question of whether it is possible to base everything we know on one discipline, or, on the contrary, if there is a logical necessity for using principles and concepts from many disciplines to achieve human understanding of the world. The present article provides three distinct proofs of the logical necessity of multi-disciplinarity. The proofs proceed via study of: (1) the hierarchical structure of proto-typical systems in various areas of human concern; (2) the use of “integrated-control-information” by life forms and human artifacts; and (3) an extension of the theory of dimensions. The three proofs interlock, confirm, and extend each other. (shrink)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  77
    Multi-Path vs. Single-Path Replies to Skepticism.Wen-Fang Wang - 2021 - Journal of Philosophical Logic 51 (2):383-412.
    In order to reply to the contemporary skeptic’s argument for the conclusion that we don’t have any empirical knowledge about the external world, several authors have proposed different fallibilist theories of knowledge that reject the epistemic closure principle. Holliday, 1–62 2015a), however, shows that almost all of them suffer from either the problem of containment or the problem of vacuous knowledge or both. Furthermore, Holliday suggests that the fallibilist should allow a proposition to have multiple sets of relevant alternatives, each (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  87
    Simulation logic.Gerard Allwein, William L. Harrison & David Andrews - 2014 - Logic and Logical Philosophy 23 (3):277-299.
    Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter’s modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  11.  64
    On the maximality of logics with approximations.José Iovino - 2001 - Journal of Symbolic Logic 66 (4):1909-1918.
    In this paper we analyze some aspects of the question of using methods from model theory to study structures of functional analysis.By a well known result of P. Lindström, one cannot extend the expressive power of first order logic and yet preserve its most outstanding model theoretic characteristics (e.g., compactness and the Löwenheim-Skolem theorem). However, one may consider extending the scope of first order in a different sense, specifically, by expanding the class of structures that are regarded as models (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Logics for epistemic programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.
    We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   151 citations  
  13.  3
    Simulating theory and society: How multi-agent artificial intelligence modeling contributes to renewal and critique in social theory.F. LeRon Shults - forthcoming - Theory and Society:1-23.
    This article argues that a relatively novel methodology called multi-agent artificial intelligence modeling can play an important role in helping scholars fulfill eight desiderata for a “good” social scientific theory (conceptual clarity, logical consistency, empirical groundedness, parsimony, generativity, testability, insightfulness, and usefulness). The unique contributions of this methodology include its use of psychologically realistic agents in sociologically realistic networks that interact with each other and their simulated environment within an “artificial society.” These simulation tools utilize artificial intelligence in a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  36
    Metamathematical Properties of a Constructive Multi-typed Theory.Farida Kachapova - 2017 - Studia Logica 105 (3):587-610.
    This paper describes an axiomatic theory BT, which is a suitable formal theory for developing constructive mathematics, due to its expressive language with countable number of set types and its constructive properties such as the existence and disjunction properties, and consistency with the formal Church thesis. BT has a predicative comprehension axiom and usual combinatorial operations. BT has intuitionistic logic and is consistent with classical logic. BT is mutually interpretable with a so called theory of arithmetical truth PATr (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  41
    Many Concepts and Two Logics of Algorithmic Reduction.Giorgi Japaridze - 2009 - Studia Logica 91 (1):1-24.
    Within the program of finding axiomatizations for various parts of computability logic, it was proven earlier that the logic of interactive Turing reduction is exactly the implicative fragment of Heyting’s intuitionistic calculus. That sort of reduction permits unlimited reusage of the computational resource represented by the antecedent. An at least equally basic and natural sort of algorithmic reduction, however, is the one that does not allow such reusage. The present article shows that turning the logic of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16. On graph-theoretic fibring of logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
    A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  63
    Reliability and novelty: Information gain in multi-level selection systems. [REVIEW]William Harms - 1997 - Erkenntnis 46 (3):335-363.
    Information about the environment is captured in human biological systems on a variety of interacting levels – in distributions of genes, linguistic particulars, concepts, methods, theories, preferences, and overt behaviors. I investigate some of the basic principles which govern such a hierarchy by constructing a comparatively simple three-level selection model of bee foraging preferences and behaviors. The information-theoretic notion of ''''mutual information'''' is employed as a measure of efficiency in tracking a changing environment, and its appropriateness in epistemological applications is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  47
    On Cultural Environment and Cultural Environment in Vietnam.Quy Ho Si - 2008 - Proceedings of the Xxii World Congress of Philosophy 20:101-120.
    The problem of cultural environment is not new, but the use of the theory on cultural environment is clearly a new approach to the consideration of familiar questions. That is the problem, is it true that the context has become such that man, as an individual, is becoming increasingly smaller, weaker, more tightly defined and restrained, in a society which is steadily developing in the direction of becoming multi-dimensional and ambiguous with its “logic of imposition”? As for the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  11
    Making Collective Practices into Psychological Facts: The Russian Psychology Model.Stephen Turner - 2023 - In Raffaela Giovagnoli & Robert Lowe, The Logic of Social Practices II. Springer Nature Switzerland. pp. 2-20.
    Universal Logic is the study of the formal properties of logical systems in terms of the ways in which these formal features are found across systems of various kinds. A crucial example of this problematic is found at the heart of cognitive science. Brains are computers or computer-like things. But the digital logic of computers and the logic of computer programs do not correspond in any direct way with the processes of brains, either at the neural level, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  7
    Nomic inference: an introduction to the logic of scientific inquiry.Salvator Cannavo - 1974 - The Hague: Martinus Nijhoff.
    Those who speak of the philosophy of science do not all have the same sort of study in mind. For some it is speculation about the overall nature of the world. Others take it to be basic theory of knowledge and perception. And for still others, it is a branch of philosophical analysis focused speci is meant to be a study falling under fically on science. The present book this last category. Generally, such a study has two aspects: one, methodological, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  36
    Modal translation of substructural logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.
    In an article dating back in 1992, Kosta Došen initiated a project of modal translations in substructural logics, aiming at generalising the well-known Gödel–McKinsey–Tarski translation of intuitionistic logic into S4. Došen's translation worked well for (variants of) BCI and stronger systems (BCW, BCK), but not for systems below BCI. Dropping structural rules results in logic systems without distribution. In this article, we show, via translation, that every substructural (indeed, every non-distributive) logic is a fragment of a corresponding (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Collective Agency: From Philosophical and Logical Perspectives.Yiyan Wang - 2023 - Dissertation, University of Amsterdam
    People inhabit a vast and intricate social network nowadays. In addition to our own decisions and actions, we confront those of various groups every day. Collective decisions and actions are more complex and bewildering compared to those made by individuals. As members of a collective, we contribute to its decisions, but our contributions may not always align with the outcome. We may also find ourselves excluded from certain groups and passively subjected to their influences without being aware of the source. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. The Founding of Logic: Modern Interpretations of Aristotle’s Logic.John Corcoran - 1994 - Ancient Philosophy 14 (S1):9-24.
    Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  24.  29
    Morley Degree in Unidimensional Compact Complex Spaces.Dale Radin - 2006 - Journal of Symbolic Logic 71 (2):569 - 585.
    Let A be the category of all reduced compact complex spaces, viewed as a multi-sorted first order structure, in the standard way. Let U be a sub-category of A, which is closed under the taking of products and analytic subsets, and whose morphisms include the projections. Under the assumption that Th(U) is unidimensional, we show that Morley rank is equal to Noetherian dimension, in any elementary extension of U. As a result, we are able to show that Morley (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. A behavioral analysis of degree of reinforcement and ease of shifting to new responses in a Weigl-type card-sorting problem.David A. Grant & Esta Berg - 1948 - Journal of Experimental Psychology 38 (4):404.
  26.  22
    Relationship Between Philosophical Speculation and Religious Belief in Early Middle Ages.Tianpeng Zhang - 2023 - European Journal for Philosophy of Religion 15 (2):392-408.
    Religion and philosophy as two mutually exclusive domains experienced a paradigm shift during the Middle Ages. Philosophy became a vehicle of religion through which both Islamic and Christian thinkers developed a rational understanding of faith to develop new philosophical ideas. Using the systematic literature review methodology, with rigorous inclusion and exclusion criteria, this study analyzed several research articles with the use of keywords in reliable databases like ERIC and Google Scholar. The investigation of the relationships between philosophical speculation and religious (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  10
    Many-sorted modal logics.Steven Thomas Kuhn - 1977 - Uppsala: [Filosofiska föreningen].
  28.  31
    Religious Development Psychology in the Context of Ecological Theory.Fatih Kandemi̇r - 2018 - Cumhuriyet İlahiyat Dergisi 22 (3):1433-1456.
    The effects of heredity and the environment on the development of human being, which is a multidimensional being, have been discussed for many years. Studies on the religious development of man were also influenced by these discussions. In this context, in order to better understand the nature of religious development, some theories such as behavioral, cognitive or stage theories have emerged. In a sense, these theories have also identified the direction of religious development. However, many of these theories did (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Causal and Constitutive Explanation Compared.Petri Ylikoski - 2013 - Erkenntnis 78 (2):277-297.
    This article compares causal and constitutive explanation. While scientific inquiry usually addresses both causal and constitutive questions, making the distinction is crucial for a detailed understanding of scientific questions and their interrelations. These explanations have different kinds of explananda and they track different sorts of dependencies. Constitutive explanations do not address events or behaviors, but causal capacities. While there are some interesting relations between building and causal manipulation, causation and constitution are not to be confused. Constitution is a synchronous and (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  30.  10
    An expressive two-sorted spatial logic for plane projective geometry.Philippe Balbiani - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 49-68.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Hypocrisy: What Counts?Mark Alicke, Ellen Gordon & David Rose - 2012 - Philosophical Psychology (5):1-29.
    Hypocrisy is a multi-faceted concept that has been studied empirically by psychologists and discussed logically by philosophers. In this study, we pose various behavioral scenarios to research participants and ask them to indicate whether the actor in the scenario behaved hypocritically. We assess many of the components that have been considered to be necessary for hypocrisy (e.g., the intent to deceive, self-deception), factors that may or may not be distinguished from hypocrisy (e.g., weakness of will), and factors that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  32.  26
    How Multi-Source Gossip Affects Targets’ Emotions and Strategic Behavioral Responses.Boqiang Zong, Elena Martinescu, Bianca Beersma, Shiyong Xu & Lihua Zhang - 2024 - Journal of Business Ethics 189 (2):385-402.
    Exploring a prevalent yet under-researched phenomenon in organizations, we examine the effect of multi-source negative gossip (i.e., gossip from coworkers and supervisors) on targets’ strategic behavioral responses. Drawing on appraisal theory of emotion, we propose that negative gossip from coworkers and supervisors interactively affect targets’ anger and shame. These discrete emotions, in turn, lead to distinct strategic behavioral responses of gossip targets: social undermining and exemplification, respectively. In Study 1, we tested our hypotheses with a three-wave, time-lagged (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  16
    An expressive two-sorted spatial logic for plane projective geometry.Philippe Balbiani - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 49-68.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  34
    A behavioral analysis of degree of reinforcement and ease of shifting to new responses in a Weigl-type card-sorting problem.Grant da & Berg Ea - 1948 - Journal of Experimental Psychology 38 (4):404-411.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Causal Inferences in Repetitive Transcranial Magnetic Stimulation Research: Challenges and Perspectives.Justyna Hobot, Michał Klincewicz, Kristian Sandberg & Michał Wierzchoń - 2021 - Frontiers in Human Neuroscience 14:574.
    Transcranial magnetic stimulation is used to make inferences about relationships between brain areas and their functions because, in contrast to neuroimaging tools, it modulates neuronal activity. The central aim of this article is to critically evaluate to what extent it is possible to draw causal inferences from repetitive TMS data. To that end, we describe the logical limitations of inferences based on rTMS experiments. The presented analysis suggests that rTMS alone does not provide the sort of premises that are sufficient (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  74
    Animal models of depression in neuropsychopharmacology qua Feyerabendian philosophy of science.Cory Wright - 2002 - In Adv Psych. pp. 129-148.
    The neuropsychopharmacological methods and theories used to investigate the nature of depression have been viewed as suspect for a variety of philosophical and scientific reasons. Much of this criticism aims to demonstrate that biochemical- and neurological-based theories of this mental illness are defective, due in part because the methods used in their service are consistently invalidated, failing to induce depression in pre-clinical animal models. Neuropsychopharmacologists have been able to stave off such criticism by showing that their methods are context and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Rabbinic text process theology.Peter Ochs - 1992 - Journal of Jewish Thought and Philosophy 1 (1):141-177.
    What would a Jewish process theology look like if it also adopted the a priori principles of rabbinic Judaism - among them, the authority of Torah given on Sinai, an historically particular revelation of divine instruction for a particular people, and the authority of the Oral Torah, an historically evolving hermeneutic, according to which that revelation becomes normative practice for communities of observant Jews? I trust this would not be a naturalism, since it would be a theology that found its (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  40
    Identity Theory and Falsifiability.Anders Søgaard - 2024 - Acta Analytica 39 (4):737-748.
    I identify a class of arguments against multiple realization (MR): BookofSand arguments. The arguments are in their general form successful under reasonably uncontroversial assumptions, but this, on the other hand, turns the table on identity theory: If arguments from MR can always be refuted by BookofSand arguments, is identity theory falsifiable? In the absence of operational demarcation criteria, it is not. I suggest a parameterized formal demarcation principle for brain state/process types and show how it can be used to identify (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. An objective approach to measurement of behavior.R. Rodriguez Delgado & J. M. R. Delgado - 1962 - Philosophy of Science 29 (3):253-268.
    Theoretical problems concerning concepts of systems and measurement of behavior were encountered during experimental studies of the effects of electrical stimulation of the brain on the social behavior of a monkey colony. General problems involved in the description and measurement of behavior of natural systems, and especially of organisms are discussed. In animals with differentiated brain the general process of stimulation may be divided into four subprocesses: input, throughput, transput and output. Categories of behavior, temporal and spatial units, and logical (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  40. Money as Media: Gilson Schwartz on the Semiotics of Digital Currency.Renata Lemos-Morais - 2011 - Continent 1 (1):22-25.
    continent. 1.1 (2011): 22-25. The Author gratefully acknowledges the financial support of CAPES (Coordenação de Aperfeiçoamento do Ensino Superior), Brazil. From the multifarious subdivisions of semiotics, be they naturalistic or culturalistic, the realm of semiotics of value is a ?eld that is getting more and more attention these days. Our entire political and economic systems are based upon structures of symbolic representation that many times seem not only to embody monetary value but also to determine it. The connection between monetary (...)
     
    Export citation  
     
    Bookmark  
  41. A multi-agent based framework for the simulation of human and social behaviors during emergency evacuations.Xiaoshan Pan, Charles S. Han, Ken Dauber & Kincho H. Law - 2007 - AI and Society 22 (2):113-132.
    Many computational tools for the simulation and design of emergency evacuation and egress are now available. However, due to the scarcity of human and social behavioral data, these computational tools rely on assumptions that have been found inconsistent or unrealistic. This paper presents a multi-agent based framework for simulating human and social behavior during emergency evacuation. A prototype system has been developed, which is able to demonstrate some emergent behaviors, such as competitive, queuing, and herding behaviors. For illustration, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Defeasible rules and interpersonal accountability.Bruce Chapman - 2012 - In Jordi Ferrer Beltrán & Giovanni Battista Ratti, The Logic of Legal Requirements: Essays on Defeasibility. Oxford, U.K.: Oxford University Press.
    Defeasible rules are said to allow for the following two-staged sequence, viz., that p → q and yet p & r → not-q. This is puzzling because in the logic of conditionals the sufficiency of p for q cannot normally be undermined if one adds to the antecedent a further proposition r. Critics argue that the better approach to comprehending defeasibility is explicitly to represent the limiting factor r in a single-stage articulation of the rule, viz., as p & (...)
     
    Export citation  
     
    Bookmark  
  43.  65
    Neither global nor national: novel assemblages of territory, authority and rights.Saskia Sassen - 2008 - Ethics and Global Politics 1 (1-2).
    The central argument developed in this essay is that today we are seeing a proliferation of normative orders where once state normativity ruled and the dominant logic was toward producing a unitary normative framing. One synthesizing image we might use to capture these dynamics is that of a movement from centripetal nation-state articulation to a centrifugal multiplication of specialized assemblages. This multiplication in turn can lead to a sort of simplification of normative structures insofar as: these assemblages are partial (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  44.  1
    Extending the Geographic Scope of Corporate Social Responsibility: Remote Work and Housing Affordability.Michael W. Obal & Kimberly K. Merriman - forthcoming - Journal of Business Ethics:1-16.
    The affordable housing crisis is a quintessential wicked social problem. Lower wage workers in particular are increasingly priced out of desired locations and essential workers such as teachers, police and healthcare providers often struggle to live within the very communities they serve. We investigate the role of remote work in this multi-faceted problem, leveraging multi-year data derived for the United States to examine a path in which remote work opportunities skew to higher wage workers who commonly use their (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Acquisition of Autonomy in Biotechnology and Artificial Intelligence.Philippe Gagnon, Mathieu Guillermin, Olivier Georgeon, Juan R. Vidal & Béatrice de Montera - 2020 - In S. Hashimoto N. Callaos, Proceedings of the 11th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2020, Volume II. Winter Garden: International Institute for Informatics and Systemics. pp. 168-172.
    This presentation discusses a notion encountered across disciplines, and in different facets of human activity: autonomous activity. We engage it in an interdisciplinary way. We start by considering the reactions and behaviors of biological entities to biotechnological intervention. An attempt is made to characterize the degree of freedom of embryos & clones, which show openness to different outcomes when the epigenetic developmental landscape is factored in. We then consider the claim made in programming and artificial intelligence that automata could show (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  30
    The Matter of Life: Philosophical Problems of Biology. [REVIEW]M. E. - 1972 - Review of Metaphysics 26 (1):173-175.
    Given the tremendous burst of activity in the philosophy of science during the last quarter century, the number of books by trained philosophers dealing with the logic of biology is surprisingly small. Simon’s book resembles Morton Beckner’s The Biological Way of Thought in its comprehensive ambitions: "trying to discover what, if anything, is distinctive about biological science, its concepts, and its mode of explaining." The most obvious difference of the two books is Simon’s long central chapter on "Theories, Models, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  15
    Ultra-Light Clay Intervention Improves Responsiveness and Initiates the Communication of Children With ASD.Jing Zhang, Qingzhou Sun, Xue Liu & Fuyi Yang - 2022 - Frontiers in Psychology 13.
    The barriers to responsiveness and the initiation of communication are the two key problems encountered by children with autism spectrum disorders. Prior interventions based on behavioral reinforcement have had an obvious effect on responsive communication but a weak effect on the initiation of communication. Based on psychological development theory, we designed ultra-light clay interventions involving hands-on production or multi-interaction around key concepts and themes, teaching children about basic concepts, relationships, and logic, making abstract knowledge concrete and experience. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Cosmic Pessimism.Eugene Thacker - 2012 - Continent 2 (2):66-75.
    continent. 2.2 (2012): 66–75 ~*~ We’re Doomed. Pessimism is the night-side of thought, a melodrama of the futility of the brain, a poetry written in the graveyard of philosophy. Pessimism is a lyrical failure of philosophical thinking, each attempt at clear and coherent thought, sullen and submerged in the hidden joy of its own futility. The closest pessimism comes to philosophical argument is the droll and laconic “We’ll never make it,” or simply: “We’re doomed.” Every effort doomed to failure, every (...)
     
    Export citation  
     
    Bookmark   4 citations  
  49.  55
    Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
    Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  50.  29
    Hegel’s anti-reductionist account of organic nature.Anton Kabeshkin - 2021 - Intellectual History Review 31 (3):479-494.
    Recent scholarship has analyzed Hegel’s account of life in the Logic in some detail and has suggested that Hegel provides ways of thinking about organic phenomena that might still be fruitful for us today. However, it failed to clearly distinguish this account from Hegel’s discussion of natural organisms in his Philosophy of Nature and to assess the latter philosophically. In particular, it has not yet been properly discussed that some things that Hegel says about organic phenomena there suggest that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 986