Results for 'Logic of cellular automata'

973 found
Order:
  1. Formalization of dialectical logic, Separation theory of truth. Logic of cellular automata.Zhou Senhai - manuscript
    By separating the general concept of truth into syntactic truth and semantic truth, this article proposes a new theory of truth to explain several paradoxes like the Liar paradox, Card paradox, Curry’s paradox, etc. By revealing the relationship between syntactic /semantic truth and being-nothing-becoming which are the core concepts of dialectical logic, it is able to formalize dialectical logic. It also provides a logical basis for complexity theory by transferring all reasoning into a directed (cyclic/acyclic) graph which explains (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. On Cellular Automata Representation of Submicroscopic Physics: From Static Space to Zuse’s Calculating Space Hypothesis.Victor Christianto, Volodymyr Krasnoholovets & Florentin Smarandache - manuscript
    In some recent papers (G. ‘t Hooft and others), it has been argued that quantum mechanics can arise from classical cellular automata. Nonetheless, G. Shpenkov has proved that the classical wave equation makes it possible to derive a periodic table of elements, which is very close to Mendeleyev’s one, and describe also other phenomena related to the structure of molecules. Hence the classical wave equation complements Schrödinger’s equation, which implies the appearance of a cellular automaton molecular model (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Fractal images of formal systems.Paul St Denis & Patrick Grim - 1997 - Journal of Philosophical Logic 26 (2):181-222.
    Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. From Zeldovich Approximation to Burgers’ equation: A Plausible Route to Cellular Automata Adhesion Universe.Florentin Smarandache & Victor Christianto - manuscript
    Some years ago, Hidding et al. suggest that the emergence of intricate and pervasive weblike structure of the Universe on Megaparsec scales can be approximated by a well-known equation from fluid mechanics, the Burgers’ equation. The solution to this equation can be obtained from a geometrical formalism. The resulting Adhesion formalism provides deep insight into the dynamics and topology of the Cosmic Web. It uncovers a direct connection between the conditions in the very early Universe and the complex spatial patterns (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5.  69
    Between Armaments and Ornaments. Weak and Strong Emergent Patterns in Virtual and Real Cellular Automata.Erica Onnis - 2024 - In Ana Cuevas-Badallo, Mariano Martín-Villuendas & Juan Gefaell (eds.), Life and Mind: Theoretical and Applied Issues in Contemporary Philosophy of Biology and Cognitive Sciences. Springer. pp. 67-90.
    Despite the various criteria presented in the literature, most authors engaged in the debate about emergence agree on a fundamental distinction between strong/ontologically robust cases of emergence and weak/metaphysically innocent ones. The former typically involve entities that exhibit new causal capacities, while the latter are primarily associated with deductive unpredictability, conceptual novelty, and other qualities that highlight our epistemic limitations in understanding them. In this paper, I initially examine a paradigmatic example of weak emergence, namely the higher-level patterns generated by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. An Outline of Cellular Automaton Universe via Cosmological KdV equation.Victor Christianto, Florentin Smarandache & Yunita Umniyati - manuscript
    It has been known for long time that the cosmic sound wave was there since the early epoch of the Universe. Signatures of its existence are abound. However, such a sound wave model of cosmology is rarely developed fully into a complete framework. This paper can be considered as our second attempt towards such a complete description of the Universe based on soliton wave solution of cosmological KdV equation. Then we advance further this KdV equation by virtue of Cellular (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. The Logic of Biological Classification and the Foundations of Biomedical Ontology.Barry Smith - 2009 - In C. Glymour, D. Westerstahl & W. Wang (eds.), Logic, Methodology and Philosophy of Science. Proceedings of the 13th International Congress. King’s College. pp. 505-520.
    Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  8. Theory of Finite Automata: With an Introduction to Formal Languages.John Carroll & Darrell Long - 1989
    Theory of Computation -- Computation by Abstracts Devices.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. (1 other version)The undecidability of the spatialized prisoner's dilemma.Patrick Grim - 1997 - Theory and Decision 42 (1):53-80.
    In the spatialized Prisoner's Dilemma, players compete against their immediate neighbors and adopt a neighbor's strategy should it prove locally superior. Fields of strategies evolve in the manner of cellular automata (Nowak and May, 1993; Mar and St. Denis, 1993a,b; Grim 1995, 1996). Often a question arises as to what the eventual outcome of an initial spatial configuration of strategies will be: Will a single strategy prove triumphant in the sense of progressively conquering more and more territory without (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Spatialization and Greater Generosity in the Stochastic Prisoner's Dilemma.Patrick Grim - 1996 - Biosystems 37:3-17.
    The iterated Prisoner’s Dilemma has become the standard model for the evolution of cooperative behavior within a community of egoistic agents, frequently cited for implications in both sociology and biology. Due primarily to the work of Axelrod (1980a, 198Ob, 1984, 1985), a strategy of tit for tat (TFT) has established a reputation as being particularly robust. Nowak and Sigmund (1992) have shown, however, that in a world of stochastic error or imperfect communication, it is not TFT that finally triumphs in (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  11. Making Sense of Sensory Input.Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli & Marek Sergot - 2021 - Artificial Intelligence 293 (C):103438.
    This paper attempts to answer a central question in unsupervised learning: what does it mean to “make sense” of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory – objects, properties, and laws – must be integrated into a coherent whole. On our account, making sense of sensory input is a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  75
    General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. London, England: College Publications. pp. 239-260.
    Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the de nition of complex modalities. We provide a common generalisation: a logic that is dynamic in both senses, and one that is not limited to S5 as its modal base. It also incorporates, and signi cantly generalises, all the features of existing extensions of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  13. Learning to Communicate: The Emergence of Signaling in Spatialized Arrays of Neural Nets.Patrick Grim, Trina Kokalis & Paul St Denis - 2003 - Adaptive Behavior 10:45-70.
    We work with a large spatialized array of individuals in an environment of drifting food sources and predators. The behavior of each individual is generated by its simple neural net; individuals are capable of making one of two sounds and are capable of responding to sounds from their immediate neighbors by opening their mouths or hiding. An individual whose mouth is open in the presence of food is “fed” and gains points; an individual who fails to hide when a predator (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  14. Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
    This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Remarks on the Geometry of Complex Systems and Self-Organization.Luciano Boi - 2012 - In Vincenzo Fano, Enrico Giannetto, Giulia Giannini & Pierluigi Graziani (eds.), Complessità e Riduzionismo. ISONOMIA - Epistemologica Series Editor. pp. 28-43.
    Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. (1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  17. Whispers and Shouts. The measurement of the human act.Fernando Flores Morador & Luis de Marcos Ortega (eds.) - 2021 - Alcalá de Henares, Madrid: Departement of Computational Sciences. University of Alcalá; Madrid.
    The 20th Century is the starting point for the most ambitious attempts to extrapolate human life into artificial systems. Norbert Wiener’s Cybernetics, Claude Shannon’s Information Theory, John von Neumann’s Cellular Automata, Universal Constructor to the Turing Test, Artificial Intelligence to Maturana and Varela’s Autopoietic Organization, all shared the goal of understanding in what sense humans resemble a machine. This scientific and technological movement has embraced all disciplines without exceptions, not only mathematics and physics but also biology, sociology, psychology, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Evolution of communication in perfect and imperfect worlds.Patrick Grim - 2000 - World Futures 56 (2):179-197.
    We extend previous work on cooperation to some related questions regarding the evolution of simple forms of communication. The evolution of cooperation within the iterated Prisoner's Dilemma has been shown to follow different patterns, with significantly different outcomes, depending on whether the features of the model are classically perfect or stochastically imperfect (Axelrod 1980a, 1980b, 1984, 1985; Axelrod and Hamilton, 1981; Nowak and Sigmund, 1990, 1992; Sigmund 1993). Our results here show that the same holds for communication. Within a simple (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Does the solar system compute the laws of motion?Douglas Ian Campbell & Yi Yang - 2019 - Synthese 198 (4):3203-3220.
    The counterfactual account of physical computation is simple and, for the most part, very attractive. However, it is usually thought to trivialize the notion of physical computation insofar as it implies ‘limited pancomputationalism’, this being the doctrine that every deterministic physical system computes some function. Should we bite the bullet and accept limited pancomputationalism, or reject the counterfactual account as untenable? Jack Copeland would have us do neither of the above. He attempts to thread a path between the two horns (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Models in the Geosciences.Alisa Bokulich & Naomi Oreskes - 2017 - In Magnani Lorenzo & Bertolotti Tommaso Wayne (eds.), Springer Handbook of Model-Based Science. Springer. pp. 891-911.
    The geosciences include a wide spectrum of disciplines ranging from paleontology to climate science, and involve studies of a vast range of spatial and temporal scales, from the deep-time history of microbial life to the future of a system no less immense and complex than the entire Earth. Modeling is thus a central and indispensable tool across the geosciences. Here, we review both the history and current state of model-based inquiry in the geosciences. Research in these fields makes use of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  21. 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 (ed.), 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Biologically Unavoidable Sequences.Samuel Alexander - 2013 - Electronic Journal of Combinatorics 20 (1):1-13.
    A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes König's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.
    Download  
     
    Export citation  
     
    Bookmark  
  23. The computable universe: from prespace metaphysics to discrete quantum mechanics.Martin Leckey - 1997 - Dissertation, Monash University
    The central motivating idea behind the development of this work is the concept of prespace, a hypothetical structure that is postulated by some physicists to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the rest of reality as we know it, and the implications of the existence of this structure for quantum theory. Understanding how this structure could relate to space and to the rest of reality requires, I (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. There’s Plenty of Boole at the Bottom: A Reversible CA Against Information Entropy.Francesco Berto, Jacopo Tagliabue & Gabriele Rossi - 2016 - Minds and Machines 26 (4):341-357.
    “There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, distinct initial states of a system leading to distinct final (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  20
    Die Leidender vom Moderneungesundlichkeit: Ein Metatext und Dokumente.J. Puentes (ed.) - forthcoming - Las Vegas, Nevada: Self-published.
    A meta-nonfiction, arranged topically, expounding various areas of philosophy and lexical objects. To be used on a theoretical agent as a preimage :: cellular automata of the solvable sort, apriori. Will ruin ab initio qualia runs in some seeds.
    Download  
     
    Export citation  
     
    Bookmark  
  26. Cosmos is a (fatalistic) state machine: Objective theory (cosmos, objective reality, scientific image) vs. Subjective theory (consciousness, subjective reality, manifest image).Xiaoyang Yu - manuscript
    As soon as you believe an imagination to be nonfictional, this imagination becomes your ontological theory of the reality. Your ontological theory (of the reality) can describe a system as the reality. However, actually this system is only a theory/conceptual-space/imagination/visual-imagery of yours, not the actual reality (i.e., the thing-in-itself). An ontological theory (of the reality) actually only describes your (subjective/mental) imagination/visual-imagery/conceptual-space. An ontological theory of the reality, is being described as a situation model (SM). There is no way to prove/disprove (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Simulating Grice: Emergent Pragmatics in Spatialized Game Theory.Patrick Grim - 2011 - In Anton Benz, Christian Ebert & Robert van Rooij (eds.), Language, Games, and Evolution. Springer-Verlag.
    How do conventions of communication emerge? How do sounds or gestures take on a semantic meaning, and how do pragmatic conventions emerge regarding the passing of adequate, reliable, and relevant information? My colleagues and I have attempted in earlier work to extend spatialized game theory to questions of semantics. Agent-based simulations indicate that simple signaling systems emerge fairly naturally on the basis of individual information maximization in environments of wandering food sources and predators. Simple signaling emerges by means of any (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  16
    Feedback and Paradox.Ferenc András - manuscript
    Every truth function corresponds to an isomorphic digital circuit. Consequently, the logical structure of every proposition can be presented within the range of propositional logic as an equivalent digital circuit. Provided that the logical values "true" and "false" correspond to the "high" and "low" voltage levels, the output of a circuit being equivalent with contradiction is always low level for every input state, whereas the output of a circuit corresponding to a tautology is always high level, irrespective of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Microbiopolitics: Security Mechanisms, the Hela Cell, and The Human Strain.Sean Erwin - 2014 - Humanities and Technology Review 33.
    This paper examines the notion of the biopolitical body from the standpoint of Foucault’s logic of the security mechanism and the history he tells of vaccine technology. It then investigates how the increasing importance of the genetic code for determining the meaning and limits of the human in the field of 20th century cell biology has been a cause for ongoing transformation in the practices that currently extend vaccine research and development. I argue that these transformations mark the emergence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Ontologies of cellular networks.Arp Robert & Barry Smith - 2008 - Science Signalling 1 (50):1--3.
    A comparison of six alternative definitions of the term 'cellular pathway' against the background of ontological realism.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. The ethics of cellular reprogramming.Anna Smajdor & Adrian Villalba - forthcoming - Cellular Reprogramming 25.
    Louise Brown's birth in 1978 heralded a new era not just in reproductive technology, but in the relationship between science, cells, and society. For the first time, human embryos could be created, selected, studied, manipulated, frozen, altered, or destroyed, outside the human body. But with this possibility came a plethora of ethical questions. Is it acceptable to destroy a human embryo for the purpose of research? Or to create an embryo with the specific purpose of destroying it for research? In (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Reducing Prejudice: A Spatialized Game-Theoretic Model for the Contact Hypothesis.Patrick Grim - 2004 - In Jordan Pollack, Mark Bedau, Phil Husbands, Takashi Ikegami & Richard A. Watson (eds.), Artificial Life IX: Proceedings of the Ninth International Conference on Artificial Life. MIT Press. pp. 244-250.
    There are many social psychological theories regarding the nature of prejudice, but only one major theory of prejudice reduction: under the right circumstances, prejudice between groups will be reduced with increased contact. On the one hand, the contact hypothesis has a range of empirical support and has been a major force in social change. On the other hand, there are practical and ethical obstacles to any large-scale controlled test of the hypothesis in which relevant variables can be manipulated. Here we (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. ‘Restricted’ and ‘General’ Complexity Perspectives on Social Bilingualisation and Language Shift Processes.Albert Bastardas-Boada - 2019 - In Albert Bastardas-Boada, Àngels Massip-Bonet & Gemma Bel-Enguix (eds.), Complexity Applications in Language and Communication Sciences. Springer Nature Switzerland AG. pp. 119-137.
    Historical processes exert an influence on the current state and evolution of situations of language contact, brought to bear from different domains, the economic and the political, the ideological and group identities, geo-demographics, and the habits of inter-group use. Clearly, this kind of phenomenon requires study from a complexical and holistic perspective in order to accommodate the variety of factors that belong to different levels and that interrelate with one another in the evolving dynamic of human languaging. Therefore, there is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. The Origin of Cellular Life and Biosemiotics.Attila Grandpierre - 2013 - Biosemiotics (3):1-15.
    Recent successes of systems biology clarified that biological functionality is multilevel. We point out that this fact makes it necessary to revise popular views about macromolecular functions and distinguish between local, physico-chemical and global, biological functions. Our analysis shows that physico-chemical functions are merely tools of biological functionality. This result sheds new light on the origin of cellular life, indicating that in evolutionary history, assignment of biological functions to cellular ingredients plays a crucial role. In this wider picture, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. The logic of partitions: Introduction to the dual of the logic of subsets: The logic of partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.
    Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  37. The logic of ground.Adam Lovett - 2020 - Journal of Philosophical Logic 49 (1):13-49.
    I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Ontologies of Cellular Networks. Arp - 2008 - Science Signalling 1 (50):1-3.
    As part of a series of workshops on different aspects of biomedical ontology sponsored by the National Center for Biomedical Ontology (NCBO), a workshop titled "Ontologies of Cellular Networks" took place in Newark, New Jersey, on 27 to 28 March 2008. This workshop included more than 30 participants from various backgrounds in biomedicine and bioinformatics. The goal of the workshop was to provide an introduction to the basic tools and methods of ontology, as well as to enhance coordination between (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. (1 other version)The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - 2022 - Review of Symbolic Logic:1-28.
    This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  40. The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. The logic of design as a conceptual logic of information.Luciano Floridi - 2017 - Minds and Machines 27 (3):495-519.
    In this article, I outline a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. In section two, I introduce the method of levels of abstraction as a modelling tool borrowed from computer science. In section three, I use this method to clarify two main conceptual logics of information inherited from modernity: Kant’s (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  42. The Logic of Exemplarity.Jakub Mácha - forthcoming - Law and Literature (online first):1-15.
    The topic of exemplarity has attracted considerable interest in philosophy, legal theory, literary studies and art recently. There is broad consensus that exemplary cases mediate between singular instances and general concepts or norms. The aim of this article is to provide an additional perspective on the logic of exemplarity. First, inspired by Jacques Derrida’s discussion of exemplarity, I shall argue that there is a kind of différance between (singular) examples and (general) exemplars. What an example exemplifies, the exemplarity of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. The Logicality of Language: A new take on Triviality, “Ungrammaticality”, and Logical Form.Guillermo Del Pinal - 2017 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  44. The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2017 - Philosophy and Phenomenological Research 99 (1):81-114.
    We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  45. The Logic of Conditional Belief.Benjamin Eva - 2020 - Philosophical Quarterly 70 (281):759-779.
    The logic of indicative conditionals remains the topic of deep and intractable philosophical disagreement. I show that two influential epistemic norms—the Lockean theory of belief and the Ramsey test for conditional belief—are jointly sufficient to ground a powerful new argument for a particular conception of the logic of indicative conditionals. Specifically, the argument demonstrates, contrary to the received historical narrative, that there is a real sense in which Stalnaker’s semantics for the indicative did succeed in capturing the (...) of the Ramseyan indicative conditional. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - 2024 - Review of Symbolic Logic 17 (1):244-271.
    Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. The Logic of Logical Necessity.Andrew Bacon & Kit Fine - 2024 - In Yale Weiss & Romina Birman (eds.), Saul Kripke on Modal Logic. Cham: Springer. pp. 43-92.
    Prior to Kripke’s seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano–Tarski notion of logical truth. According to this interpretation, ‘it is necessary that A’ is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. From the "'logic of Molecular Syntax' to Molecular Pragmatism. Explanatory deficits in Manfred Eigen's concept of language and communication.Guenther Witzany - 1995 - Evolution and Cognition 2 (1):148-168.
    Manfred Eigen employs the terms language and communication to explain key recombination processes of DNA as well as to explain the self-organization of human language and communication: Life processes as well as language and communication processes are governed by the logic of a molecular syntax, which is the exact depiction of a principally formalizable reality. The author of the present contribution demonstrates that this view of Manfred Eigen’s cannot be sufficiently substantiated and that it must be supplemented by an (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  49. The Logic of Leibniz’s Borrowed Reality Argument.Stephen Puryear - 2020 - Philosophical Quarterly 70 (279):350-370.
    Leibniz argues that there must be a fundamental level of simple substances because composites borrow their reality from their constituents and not all reality can be borrowed. I contend that the underlying logic of this ‘borrowed reality argument’ has been misunderstood, particularly the rationale for the key premise that not all reality can be borrowed. Contrary to what has been suggested, the rationale turns neither on the alleged viciousness of an unending regress of reality borrowers nor on the Principle (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. The Logic of What Might Have Been.Nathan Salmon - 1989 - Philosophical Review 98 (1):3-34.
    The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.
    Download  
     
    Export citation  
     
    Bookmark   132 citations  
1 — 50 / 973