Results for 'Theory, Acm Special Interest Group for Automata and Computability'

1000+ found
Order:
  1.  14
    Logic, Foundations of Mathematics and Computability Theory / Foundational Problems in the Special Sciences / Basic Problems in Methodology and Linguistics / Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. Parts One, Two, Three and Four of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science.R. E. Butts & J. Hintikka - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (1):194-195.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  1
    Special Symposium: Religion, the Law, and Medical Ethics-Commentary on Skene and Parker: The Role of a Church (or Other Ideologically Based Interest Group) in Developing the Law--A Plea For.J. Harris & S. Holm - 2002 - Journal of Medical Ethics 28 (4):219-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Reintroducing Group Selection to the Human Behavioral Sciences.David Sloan Wilson & Elliott Sober - 1994 - Behavioral and Brain Sciences 17 (4):585-608.
    In both biology and the human sciences, social groups are sometimes treated as adaptive units whose organization cannot be reduced to individual interactions. This group-level view is opposed by a more individualistic one that treats social organization as a byproduct of self-interest. According to biologists, group-level adaptations can evolve only by a process of natural selection at the group level. Most biologists rejected group selection as an important evolutionary force during the 1960s and 1970s but (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   113 citations  
  4.  27
    Special Issue of Minds and Machines on Causality, Uncertainty and Ignorance.Stephan Hartmann & Rolf Haenni (eds.) - 2006 - Springer.
    In everyday life, as well as in science, we have to deal with and act on the basis of partial (i.e. incomplete, uncertain, or even inconsistent) information. This observation is the source of a broad research activity from which a number of competing approaches have arisen. There is some disagreement concerning the way in which partial or full ignorance is and should be handled. The most successful approaches include both quantitative aspects (by means of probability theory) and qualitative aspect (by (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  13
    Uniformity, Universality, and Computability Theory.Andrew S. Marks - 2017 - Journal of Mathematical Logic 17 (1):1750003.
    We prove a number of results motivated by global questions of uniformity in computabi- lity theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of countable groups. We begin by investigating the notion of uniform universality, first proposed by Montalbán, Reimann and Slaman. This notion is a strengthened form of a countable Borel equivalence relation being universal, which we conjecture is equivalent to the usual notion. With this additional (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  41
    The Lorentz Transformation Group of the Special Theory of Relativity Without Einstein's Isotropy Convention.Abraham Ungar - 1986 - Philosophy of Science 53 (3):395-402.
    Inertial frames and Lorentz transformations have a preferred status in the special theory of relativity (STR). Lorentz transformations, in turn, embody Einstein's convention that the velocity of light is isotropic, a convention that is necessary for the establishment of a standard signal synchrony. If the preferred status of Lorentz transformations in STR is not due to some particular bias introduced by a convention on signal synchronism, but to the fact that the Lorentz transformation group is the symmetry (...) of the theory, then the signal synchronism is not a matter of convention but rather a matter of fact. In order to explore the conventionalist thesis, that within the frame of STR isotropy in the velocity of light and, hence, signal synchronism is a matter of convention, we need a generalized Lorentz transformation group that does not embody Einstein's isotropy convention, and upon which STR can be based. We present here a new approach to the resulting search for a generalized STR, which is well suited for establishing some well-known results of Winnie as well as some new results. (shrink)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  7.  52
    The US Securities and Exchange Commission and Shareholder Director Nominations: Paving the Way for Special Interest Directors?Thomas A. Hemphill - 2007 - International Journal of Business Governance and Ethics 3 (1):19-32.
    The US Securities and Exchange Commission recently proposed rules relating to shareholder (independent) director nominations to publicly-traded companies. While shareholder groups, such as institutional investors, consumer groups, and shareholder activists, generally support the proxy reform, the business community, including The Business Roundtable and the US Chamber of Commerce, are critical of the proposal, arguing that it will 'open the door' to special interest directors, e.g., labour unions or other groups having a social or political agenda contrary to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  34
    Dying for the Group: Towards a General Theory of Extreme Self-Sacrifice.Harvey Whitehouse - 2018 - Behavioral and Brain Sciences 41:1-64.
    Whether upheld as heroic or reviled as terrorism, people have been willing to lay down their lives for the sake of their groups throughout history. Why? Previous theories of extreme self-sacrifice have highlighted a range of seemingly disparate factors, such as collective identity, outgroup hostility, and kin psychology. In this paper, I attempt to integrate many of these factors into a single overarching theory based on several decades of collaborative research with a range of special populations, from tribes in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9. Class Vs. Special Interest: Labor, Power, and Politics in the United States and Canada in the Twentieth Century.Barry Eidlin - 2015 - Politics and Society 43 (2):181-211.
    Why are US labor unions so weak? Union decline has had important consequences for politics, inequality, and social policy. Common explanations cite employment shifts, public opinion, labor laws, and differences in working class culture and organization. But comparing the United States with Canada challenges those explanations. After following US unionization rates for decades, Canadian rates diverged in the 1960s, and are now nearly three times higher. This divergence was due to different processes of working class political incorporation. In the United (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  10
    Special Section: Computability Theory and the Foundation of Mathematics.Chi Tat Chong & Stephen G. Simpson - 2017 - Annals of the Japan Association for Philosophy of Science 25:23-24.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  16
    Fiction and Social Theory: E-Special Introduction.David Beer - 2016 - Theory, Culture and Society 33 (7-8):409-419.
    This E-Special issue brings together a range of articles from the Theory, Culture, & Society archive that directly explore the relations between fiction and social theory. Each article develops a different perspective on these relations, yet they all share a common interest in probing at the different ways in which fiction might enrich and provoke our conceptual imaginations. These articles ask how theory might be used to understand or illuminate fiction, whilst also considering how theory might be extended, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  24
    Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory.Robert I. Soare - 2009 - Annals of Pure and Applied Logic 160 (3):368-399.
    We begin with the history of the discovery of computability in the 1930’s, the roles of Gödel, Church, and Turing, and the formalisms of recursive functions and Turing automatic machines . To whom did Gödel credit the definition of a computable function? We present Turing’s notion [1939, §4] of an oracle machine and Post’s development of it in [1944, §11], [1948], and finally Kleene-Post [1954] into its present form. A number of topics arose from Turing functionals including continuous functionals (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  13.  25
    Computability, Complexity, Logic.E. Börger - 1989 - New York: U.S.A.Elsevier Science Pub. Co..
    The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in (...) theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory. It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  15
    Robert McNaughton. Automata, Formal Languages, Abstract Switching, and Computability in a Ph. D. Computer Science Program. Communications of the ACM, Vol. 11 , Pp. 738–740, 746. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (4):656.
  15. Bounded Mirroring. Joint Action and Group Membership in Political Theory and Cognitive Neuroscience.Machiel Keestra - 2012 - In Frank Vandervalk (ed.), Thinking About the Body Politic: Essays on Neuroscience and Political Theory. Routledge. pp. 222--249.
    A crucial socio-political challenge for our age is how to rede!ne or extend group membership in such a way that it adequately responds to phenomena related to globalization like the prevalence of migration, the transformation of family and social networks, and changes in the position of the nation state. Two centuries ago Immanuel Kant assumed that international connectedness between humans would inevitably lead to the realization of world citizen rights. Nonetheless, globalization does not just foster cosmopolitanism but simultaneously yields (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  50
    Non-Turing Computers and Non-Turing Computability.Mark Hogarth - 1994 - Psa 1994:126--138.
    A true Turing machine (TM) requires an infinitely long paper tape. Thus a TM can be housed in the infinite world of Newtonian spacetime (the spacetime of common sense), but not necessarily in our world, because our world-at least according to our best spacetime theory, general relativity-may be finite. All the same, one can argue for the "existence" of a TM on the basis that there is no such housing problem in some other relativistic worlds that are similar ("close") to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  17.  7
    Nonexistence of Minimal Pairs for Generic Computability.Gregory Igusa - 2013 - Journal of Symbolic Logic 78 (2):511-522.
    A generic computation of a subset $A$ of $\mathbb{N}$ consists of a computation that correctly computes most of the bits of $A$, and never incorrectly computes any bits of $A$, but which does not necessarily give an answer for every input. The motivation for this concept comes from group theory and complexity theory, but the purely recursion theoretic analysis proves to be interesting, and often counterintuitive. The primary result of this paper is that there are no minimal pairs for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  23
    Free Quantum Field Theory From Quantum Cellular Automata: Derivation of Weyl, Dirac and Maxwell Quantum Cellular Automata.Alessandro Bisio, Giacomo Mauro D’Ariano, Paolo Perinotti & Alessandro Tosini - 2015 - Foundations of Physics 45 (10):1137-1152.
    After leading to a new axiomatic derivation of quantum theory, the new informational paradigm is entering the domain of quantum field theory, suggesting a quantum automata framework that can be regarded as an extension of quantum field theory to including an hypothetical Planck scale, and with the usual quantum field theory recovered in the relativistic limit of small wave-vectors. Being derived from simple principles, the automata theory is quantum ab-initio, and does not assume Lorentz covariance and mechanical notions. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  8
    Lattice Representations for Computability Theory.Peter A. Fejer - 1998 - Annals of Pure and Applied Logic 94 (1-3):53-74.
    Lattice representations are an important tool for computability theorists when they embed nondistributive lattices into degree-theoretic structures. In this expository paper, we present the basic definitions and results about lattice representations needed by computability theorists. We define lattice representations both from the lattice-theoretic and computability-theoretic points of view, give examples and show the connection between the two types of representations, discuss some of the known theorems on the existence of lattice representations that are of interest to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  16
    Developing Democratic Dispositions and Enabling Crap Detection: Claims for Classroom Philosophy with Special Reference to Western Australia and New Zealand.Leon Benade - 2014 - Educational Philosophy and Theory 46 (11):1-15.
    The prominence given in national or state-wide curriculum policy to thinking, the development of democratic dispositions and preparation for the ‘good life’, usually articulated in terms of lifelong learning and fulfilment of personal life goals, gives rise to the current spate of interest in the role that could be played by philosophy in schools. Theorists and practitioners working in the area of philosophy for schools advocate the inclusion of philosophy in school curricula to meet these policy objectives. This article (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Arnold Beckmann, Ulrich Berger, Benedikt Löwe & John V. Tucker (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Berlin: Springer. pp. 575--583.
    Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  39
    One for All: The Logic of Group Conflict.Margaret Gilbert - 1998 - Philosophical Review 107 (1):135.
    Russell Hardin writes from a particular perspective, that of rational choice theory. His broad—and ambitious—overall project is to “understand the sway of groups in our time” or, in an alternative formulation, “to understand the motivations of those who act on behalf of groups and to understand how they come to identify with the groups for which they act”.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  23. The Emergence of Group Cognition.Georg Theiner & Tim O'Connor - 2010 - In A. Corradini & T. O'Connor (eds.), Emergence in Science and Philosophy. Routledge. pp. 6--78.
    What drives much of the current philosophical interest in the idea of group cognition is its appeal to the manifestation of psychological properties—understood broadly to include states, processes, and dispositions—that are in some important yet elusive sense emergent with respect to the minds of individual group members. Our goal in this paper is to address a set of related, conditional questions: If human mentality is real yet emergent in a modest metaphysical sense only, then: (i) What would (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  24.  63
    Group Theory and Computational Linguistics.Dymetman Marc - 1998 - Journal of Logic, Language and Information 7 (4):461-497.
    There is currently much interest in bringing together the tradition of categorial grammar, and especially the Lambek calculus, with the recent paradigm of linear logic to which it has strong ties. One active research area is designing non-commutative versions of linear logic (Abrusci, 1995; Retoré, 1993) which can be sensitive to word order while retaining the hypothetical reasoning capabilities of standard (commutative) linear logic (Dalrymple et al., 1995). Some connections between the Lambek calculus and computations in groups have long (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  15
    Quantum Walks, Weyl Equation and the Lorentz Group.Paolo Perinotti, Giacomo Mauro D’Ariano & Alessandro Bisio - 2017 - Foundations of Physics 47 (8):1065-1076.
    Quantum cellular automata and quantum walks provide a framework for the foundations of quantum field theory, since the equations of motion of free relativistic quantum fields can be derived as the small wave-vector limit of quantum automata and walks starting from very general principles. The intrinsic discreteness of this framework is reconciled with the continuous Lorentz symmetry by reformulating the notion of inertial reference frame in terms of the constants of motion of the quantum walk dynamics. In particular, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Conceptual Analysis and Special-Interest Science: Toxicology and the Case of Edward Calabrese.Kristin Shrader-Frechette - 2010 - Synthese 177 (3):449 - 469.
    One way to do socially relevant investigations of science is through conceptual analysis of scientific terms used in special-interest science (SIS). SIS is science having welfare-related consequences and funded by special interests, e.g., tobacco companies, in order to establish predetermined conclusions. For instance, because the chemical industry seeks deregulation of toxic emissions and avoiding costly cleanups, it funds SIS that supports the concept of "hormesis" (according to which low doses of toxins/carcinogens have beneficial effects). Analyzing the hormesis (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  33
    Monadology, Information, and Physics, Part 1: Metaphysics and Dynamics.Soshichi Uchii - unknown
    Leibniz coined the word “dynamics,” but his own dynamics has never been completed. However, there are many illuminating ideas scattered in his writings on dynamics and metaphysics. In this paper, I will present my own interpretation of Leibniz’s dynamics and metaphysics. To my own surprise, Leibniz’s dynamics and metaphysics are incredibly flexible and modern. In particular, the metaphysical part, namely Monadology, can be interpreted as a theory of information in terms of monads, which generate both physical phenomena and mental phenomena. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  10
    The Relevance of Bentley for Group Theory: Founding Father or Mistaken Identity?Grant Jordan - 1999 - History of the Human Sciences 12 (1):27-54.
    A. F. Bentley’s The Process of Government (1908) is widely accepted as an important source of contemporary interest group study. This paper argues to the contrary that Bentley’s arguments in this area are obscure and have contributed little to the programme of modern interest group research. His importance is as a contributor to the debate on the nature of social science and social science method and not as the starting-point for interest group analysis. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  4
    The Group as a Source of Development: Rethinking Professional Development in a Collaborative Perspective.Fabiana Marques Barbosa Nasciutti, Nikolai Veresov & Ana Maria Falcão de Aragão - 2016 - Outlines. Critical Practice Studies 17 (1):86-108.
    Since the later decades of the 20 th century, Brazilian psychologists have been questioning a theoretical and interventional model in educational contexts, which consider psychological phenomena apart from their cultural contexts, in order to develop an approach based on a contextualized viewpoint. Despite progress having been made in educational psychology, as a result of this critical paradigm, this area still has problems to overcome: Psychologists are becoming increasingly separate from schools, and it is now common to find psychologists who are (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  30
    Group Selection and Group Adaptation During a Major Evolutionary Transition: Insights From the Evolution of Multicellularity in the Volvocine Algae.Deborah E. Shelton & Richard E. Michod - 2014 - Biological Theory 9 (4):452-469.
    Adaptations can occur at different hierarchical levels, but it can be difficult to identify the level of adaptation in specific cases. A major problem is that selection at a lower level can filter up, creating the illusion of selection at a higher level. We use optimality modeling of the volvocine algae to explore the emergence of genuine group adaptations. We find that it is helpful to develop an explicit model for what group fitness would be in the absence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31. Stepping Beyond the Newtonian Paradigm in Biology. Towards an Integrable Model of Life: Accelerating Discovery in the Biological Foundations of Science.Plamen L. Simeonov, Edwin Brezina, Ron Cottam, Andreé C. Ehresmann, Arran Gare, Ted Goranson, Jaime Gomez‐Ramirez, Brian D. Josephson, Bruno Marchal, Koichiro Matsuno, Robert S. Root-­Bernstein, Otto E. Rössler, Stanley N. Salthe, Marcin Schroeder, Bill Seaman & Pridi Siregar - 2012 - In Plamen L. Simeonov, Leslie S. Smith & Andreé C. Ehresmann (eds.), Integral Biomathics: Tracing the Road to Reality. Springer. pp. 328-427.
    The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  7
    Permanent Group Membership.Frans L. Roes - 2014 - Biological Theory 9 (3):318-324.
    This article is divided into two main sections. The first discusses “Female Inheritance and the Male Retention Hypothesis.” Permanent groups exist in several species because over generations members share important interests. Considering the association between cooperation and degree of relatedness, it seems to follow that a collective interest is more likely to be achieved when members show a higher degree of relatedness. I argue that if membership is inherited by only one sex, and this is the female sex, this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  15
    Revised Robertson's Test Theory of Special Relativity: Space-Time Structure and Dynamics. [REVIEW]José G. Vargas & Douglas G. Torr - 1986 - Foundations of Physics 16 (11):1089-1126.
    The experimental testing of the Lorentz transformations is based on a family of sets of coordinate transformations that do not comply in general with the principle of equivalence of the inertial frames. The Lorentz and Galilean sets of transformations are the only member sets of the family that satisfy this principle. In the neighborhood of regular points of space-time, all members in the family are assumed to comply with local homogeneity of space-time and isotropy of space in at least one (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  87
    Laboratory Models, Causal Explanation and Group Selection.James R. Griesemer & Michael J. Wade - 1988 - Biology and Philosophy 3 (1):67-96.
    We develop an account of laboratory models, which have been central to the group selection controversy. We compare arguments for group selection in nature with Darwin's arguments for natural selection to argue that laboratory models provide important grounds for causal claims about selection. Biologists get information about causes and cause-effect relationships in the laboratory because of the special role their own causal agency plays there. They can also get information about patterns of effects and antecedent conditions in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  35.  18
    Computability in Structures Representing a Scott Set.Alex M. McAllister - 2001 - Archive for Mathematical Logic 40 (3):147-165.
    Continuing work begun in [10], we utilize a notion of forcing for which the generic objects are structures and which allows us to determine whether these “generic” structures compute certain sets and enumerations. The forcing conditions are bounded complexity types which are consistent with a given theory and are elements of a given Scott set. These generic structures will “represent” this given Scott set, in the sense that the structure has a certain weak saturation property with respect to bounded complexity (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  18
    Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers.Piergiorgio Odifreddi - 1989 - Sole Distributors for the Usa and Canada, Elsevier Science Pub. Co..
    Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from small (...)
    Direct download  
     
    Export citation  
     
    Bookmark   56 citations  
  37.  25
    Theory-Ladenness Special Issue: Introduction.Ioannis Votsis, Michela Tacca & Gerhard Schurz - 2015 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 46 (1):83-86.
    Are sensory experiences, perceptual beliefs and observation reports faithful encoders of truthful information about the world? The theory-ladenness thesis poses an important challenge to answering this question in the affirmative. Roughly the thesis holds that theoretical factors affect the content of those experiences, beliefs and reports. In other words, it holds that their content is laden with theory. Theoretical factors here are construed broadly so as to include scientific theories, beliefs and cognitive processes. Two crucial questions arise in relation to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  28
    The Special Theory of Relativity. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):147-147.
    This is not a textbook in mathematical physics—excepting for one chapter one need not possess much more than geometry and elementary algebra—rather it is a philosophically reflective examination of the cardinal features of special relativity theory. Throughout the book Bohm is not merely doing physics, but thinking about doing physics as well. This metatheoretical reflexion appears in chapters concerning pre-Einsteinian notions of relativity, attempts to save the aether theories, the "ambiguity" of space-time measurements in the new cosmology, "common sense" (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  14
    Shattered Symmetry: Group Theory From the Eightfold Way to the Periodic Table.Pieter Thyssen & Arnout Ceulemans - 2017 - New York, NY, USA: Oxford University Press.
    The standard model of subatomic particles and the periodic table of the atoms have the common goal to bring order in the bewildering chaos of the constituents of matter. Their success relies on the presence of fundamental symmetries in their core. The purpose of the book is to share the admiration for the power and the beauty of these symmetries. The reader is taken on a journey from the basic geometric symmetry group of a circle to the sublime dynamic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  20
    Language in Action.Johan Benthem - 1991 - Journal of Philosophical Logic 20 (3):225 - 263.
    A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  41.  47
    Philosophical Aspects of the Group Selection Controversy.John Cassidy - 1978 - Philosophy of Science 45 (4):575-594.
    This article is primarily a study of the group selection controversy, with special emphasis on the period from 1962 to the present, and the rise of inclusive fitness theory. Interest is focused on the relations between individual fitness theory and other fitness theories and on the methodological imperatives used in the controversy over the status of these theories. An appendix formalizes the notion of "assertive part" which is used in the informal discussion of the methodological imperatives elicited (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  42. Collective Identity, Oppression, and the Right to Self-Ascription.Andrew J. Pierce - 2012 - Lexington Books.
    Collective Identity, Oppression, and the Right to Self-Ascription argues that groups have an irreducibly collective right to determine the meaning of their shared group identity, and that such a right is especially important for historically oppressed groups. It provides a novel approach to issues of identity politics, group rights, and racial identity, one which combines and develops the insights of contemporary critical theory and race theory, and will thus be of special interest to scholars in these (...)
     
    Export citation  
     
    Bookmark   2 citations  
  43. “We Copy to Join in, to Not Be Lonely”: Adolescents in Special Education Reflect on Using Dramatic Imitation in Group Dramatherapy to Enhance Relational Connection and Belonging.Amanda Musicka-Williams - 2020 - Frontiers in Psychology 11.
    This paper focuses on doctoral research which explored relationships and interpersonal learning through group dramatherapy and creative interviewing with adolescents in special education. A constructivist grounded theory study, positioning adolescents with intellectual/developmental disabilities as experts of their own relational experiences, revealed a tendency to “copy others.” The final grounded theory presented “copying” as a tool which participants consciously employed “to play with,” “learn from,” and “join in with” others. Commonly experiencing social ostracism, participants reflected awareness of their tendency (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  18
    Enumerability, Decidability, Computability[REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):588-588.
    This well-written introduction to the theory of recursive functions and effective computability is an English translation of the 1960 German edition. The seven chapters deal with all the usual material, beginning with a treatment of Turing machines and their relation to the intuitive idea of computability, through general recursive functions, to a chapter on such diverse topics as the hierarchy of arithmetical predicates and Fitch's basic logic system. Rather than try to cover the whole subject sketchily, the author (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  16
    Borel Complexity and Computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.
    The classical Hahn–Banach Theorem states that any linear bounded functional defined on a linear subspace of a normed space admits a norm-preserving linear bounded extension to the whole space. The constructive and computational content of this theorem has been studied by Bishop, Bridges, Metakides, Nerode, Shore, Kalantari Downey, Ishihara and others and it is known that the theorem does not admit a general computable version. We prove a new computable version of this theorem without unrolling the classical proof of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46. Non-Turing Computers and Non-Turing Computability.Mark Hogarth - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:126-138.
    A true Turing machine requires an infinitely long paper tape. Thus a TM can be housed in the infinite world of Newtonian spacetime, but not necessarily in our world, because our world-at least according to our best spacetime theory, general relativity-may be finite. All the same, one can argue for the "existence" of a TM on the basis that there is no such housing problem in some other relativistic worlds that are similar to our world. But curiously enough-and this is (...)
    No categories
     
    Export citation  
     
    Bookmark   29 citations  
  47. P Versus Np and Computability Theoretic Constructions in Complexity Theory Over Algebraic Structures.Gunther Mainhardt - 2004 - Journal of Symbolic Logic 69 (1):39-64.
    We show that there is a structure of countably infinite signature with $P = N_{2}P$ and a structure of finite signature with $P = N_{1}P$ and $N_{1}P \neq N_{2}P$ . We give a further example of a structure of finite signature with $P \neq N_{1}P$ and $N_{1}P \neq N_{2}P$ . Together with a result from [10] this implies that for each possibility of P versus NP over structures there is an example of countably infinite signature. Then we show that for (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  48.  74
    Identity, Variability, and Multiple Realization in the Special Sciences.Lawrence A. Shapiro & Thomas W. Polger - 2012 - In Hill Christopher & Gozzano Simone (eds.), New Perspectives on Type Identity: The Mental and the Physical. Cambridge University Press. pp. 264.
    Issues of identity and reduction have monopolized much of the philosopher of mind’s time over the past several decades. Interestingly, while investigations of these topics have proceeded at a steady rate, the motivations for doing so have shifted. When the early identity theorists, e.g. U. T. Place ( 1956 ), Herbert Feigl ( 1958 ), and J. J. C. Smart ( 1959 , 1961 ), fi rst gave voice to the idea that mental events might be identical to brain processes, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49.  84
    Synchronization Gauges and the Principles of Special Relativity.Guido Rizzi, Matteo Luca Ruggiero & Alessio Serafini - 2004 - Foundations of Physics 34 (12):1835-1887.
    The axiomatic bases of Special Relativity Theory (SRT) are thoroughly re-examined from an operational point of view, with particular emphasis on the status of Einstein synchronization in the light of the possibility of arbitrary synchronization procedures in inertial reference frames. Once correctly and explicitly phrased, the principles of SRT allow for a wide range of “theories” that differ from the standard SRT only for the difference in the chosen synchronization procedures, but are wholly equivalent to SRT in predicting empirical (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  6
    Self-Determination Theory, Morality, and Education: Introduction to Special Issue.Tobias Krettenauer & Randall Curren - 2020 - Journal of Moral Education 49 (3):275-281.
    ABSTRACT Self-Determination Theory is an empirically based organismic theory of human motivation, development, and well-being that shares many points of interest with the fields of moral development and moral education. Yet, SDT has been largely disconnected from these fields so far. How can we define and empirically assess autonomous moral motivation? How is moral autonomy achieved in the course of development? And what are the relationships between leading a moral life and happiness? These questions have been occupying moral psychologists (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000