Results for 'Hierarchy of languages'

999 found
Order:
  1. Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  2. The hierarchy of heaven and earth.Douglas Edison Harding - 1952 - New York,: Harper.
    This book begins with the question 'Who am I?' and immediately sets off in an astonishingly original direction. Why didn't anyone before Harding think of responding to this question like this? It's so obvious, once you see it. Harding presents a new vision of our place in the universe that uses the scientific method of looking to see what is true. It turns out that the truth about ourselves is not only true but also very good, and breathtakingly beautiful. We (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  62
    What are the Units of Language Evolution?Nathalie Gontier - 2018 - Topoi 37 (2):235-253.
    Universal Darwinism provides a methodology to study the evolution of anatomical form and sociocultural behavior that centers on defining the units and levels of selection, and it identifies the conditions whereby natural selection operates. In previous work, I have examined how this selection-focused evolutionary epistemology may be universalized to include theories that associate with an extended synthesis. Applied evolutionary epistemology is a metatheoretical framework that understands any and all kinds of evolution as phenomena where units evolve by mechanisms at levels (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Space as a Semantic Unit of a Language Consciousness.Vitalii Shymko & Anzhela Babadzhanova - 2020 - Psycholinguistics 27 (1):335-350.
    Objective. Conceptualization of the definition of space as a semantic unit of language consciousness. -/- Materials & Methods. A structural-ontological approach is used in the work, the methodology of which has been tested and applied in order to analyze the subject matter area of psychology, psycholinguistics and other social sciences, as well as in interdisciplinary studies of complex systems. Mathematical representations of space as a set of parallel series of events (Alexandrov) were used as the initial theoretical basis of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Calibrating Generative Models: The Probabilistic Chomsky-Schützenberger Hierarchy.Thomas Icard - 2020 - Journal of Mathematical Psychology 95.
    A probabilistic Chomsky–Schützenberger hierarchy of grammars is introduced and studied, with the aim of understanding the expressive power of generative models. We offer characterizations of the distributions definable at each level of the hierarchy, including probabilistic regular, context-free, (linear) indexed, context-sensitive, and unrestricted grammars, each corresponding to familiar probabilistic machine classes. Special attention is given to distributions on (unary notations for) positive integers. Unlike in the classical case where the "semi-linear" languages all collapse into the regular (...), using analytic tools adapted from the classical setting we show there is no collapse in the probabilistic hierarchy: more distributions become definable at each level. We also address related issues such as closure under probabilistic conditioning. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Level theory, part 2: Axiomatizing the bare idea of a potential hierarchy.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):461-484.
    Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. In Pursuit of the Functional Definition of a Mind: The Pivotal Role of a Discourse.Vitalii Shymko - 2018 - Psycholinguistics 24 (1):403-424.
    This article is devoted to describing results of conceptualization of the idea of mind at the stage of maturity. Delineated the acquisition by the energy system (mind) of stable morphological characteristics, which associated with such a pivotal formation as the discourse. A qualitative structural and ontological sign of the system transition to this stage is the transformation of the verbal morphology of the mind into a discursive one. The analysis of the poststructuralist understanding of discourse in the context of the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  8. Subordinating Speech and the Construction of Social Hierarchies.Michael Randall Barnes - 2019 - Dissertation, Georgetown University
    This dissertation fits within the literature on subordinating speech and aims to demonstrate that how language subordinates is more complex than has been described by most philosophers. I argue that the harms that subordinating speech inflicts on its targets (chapter one), the type of authority that is exercised by subordinating speakers (chapters two and three), and the expansive variety of subordinating speech acts themselves (chapter three) are all under-developed subjects in need of further refinement—and, in some cases, large paradigm shifts. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Paradoxes of Demonstrability.Sten Lindström - 2009 - In Lars-Göran Johansson, Jan Österberg & Ryszard Sliwinski (eds.), Logic, Ethics and all that Jazz: Essays in Honour of Jordan Howard Sobel. Uppsala, Sverige: pp. 177-185.
    In this paper I consider two paradoxes that arise in connection with the concept of demonstrability, or absolute provability. I assume—for the sake of the argument—that there is an intuitive notion of demonstrability, which should not be conflated with the concept of formal deducibility in a (formal) system or the relativized concept of provability from certain axioms. Demonstrability is an epistemic concept: the rough idea is that a sentence is demonstrable if it is provable from knowable basic (“self-evident”) premises by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Languages, machines, and classical computation.Luis M. Augusto - 2021 - London, UK: College Publications.
    3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  99
    Chains of Reference in Computer Simulations.Franck Varenne - 2013 - FMSH Working Papers 51:1-32.
    This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. A Parsimonious Solution to the Hard Problem of Consciousness: Complexity and Narrative.Maxson J. McDowell - manuscript
    Three decades after Chalmers named it, the ‘hard problem’ remains. I suggest a parsimonious solution. Biological dynamic systems interact according to simple rules (while the environment provides simple constraints) and thus self-organize to become a new, more complex dynamic system at the next level. This spiral repeats several times generating a hierarchy of levels. A leap to the next level is frequently creative and surprising. From ants, themselves self-organized according to physical/chemical laws, may emerge an ant colony self-organized according (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  75
    “Translation, Power Hierarchy, and the Globalization of the Concept `Human Rights’: Potential Contributions from Confucianism Missed by the UDHR.”.Sinkwan Cheng - 2015 - Age of Human Rights Journal 4:1-33.
    This essay strikes new paths for investigating the politics of translation and the (non-) universality of the concept of “human rights” by engaging them in a critical dialogue. Part I of my essay argues that a truly universal concept would have available linguistic equivalents in all languages. On this basis, I develop translation into a tool for disproving the claim that the concept human rights is universal. An inaccurate claim to universality could be made to look valid, however, if (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. How we got stuck: The origins of hierarchy and inequality. [REVIEW]Jonathan Birch & Andrew Buskell - 2022 - Mind and Language 37 (4):751-759.
    Kim Sterelny's book The Pleistocene social contract provides an exceptionally well-informed and credible narrative explanation of the origins of inequality and hierarchy. In this essay review, we reflect on the role of rational choice theory in Sterelny's project, before turning to Sterelny's reasons for doubting the importance of cultural group selection. In the final section, we compare Sterelny's big picture with an alternative from David Wengrow and David Graeber.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Sensations, Natural Properties, and the Private Language Argument.William Child - 2017 - In Kevin M. Cahill & Thomas Raleigh (eds.), Wittgenstein and Naturalism. New York: Routledge. pp. 79-95.
    Wittgenstein’s philosophy involves a general anti-platonism about properties or standards of similarity. On his view, what it is for one thing to have the same property as another is not dictated by reality itself; it depends on our classificatory practices and the standards of similarity they embody. Wittgenstein’s anti-platonism plays an important role in the private language sections and in his discussion of the conceptual problem of other minds. In sharp contrast to Wittgenstein’s views stands the contemporary doctrine of natural (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Hierarchical Inconsistencies: A Critical Assessment of Justification.Juozas Kasputis - 2019 - Economic Thought 8 (2):1-12.
    The existential insecurity of human beings has induced them to create protective spheres of symbols: myths, religions, values, belief systems, theories, etc. Rationality is one of the key factors contributing to the construction of civilisation in technical and symbolic terms. As Hankiss (2001) has emphasised, protective spheres of symbols may collapse – thus causing a profound social crisis. Social and political transformations had a tremendous impact at the end of the 20th century. As a result, management theories have been revised (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. 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   1 citation  
  18. The enduring scandal of deduction: is propositional logic really uninformative?Marcello D'Agostino & Luciano Floridi - 2009 - Synthese 167 (2):271-315.
    Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  19. Ethics of Care in Laudato Si’: A Postcolonial Ecofeminist Critique.Agnes M. Brazal - 2021 - Feminist Theology 29 (3):220-233.
    This article engages with the care ethics of Laudato Si’ through the lens of postcolonial ecofeminism. Laudato Si’ speaks of the family of creation where nature is both a nurturing mother and a vulnerable sister, reflecting patriarchal associations of women with nature, fragility, and the virtue of care. This indirectly undermines the need for men to engage in care/social reproduction work as well as the strengthening of women’s agency. While this kin-centric ecology acknowledges the interdependence of creatures, it maintains the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  49
    Semantical Hierarchies and Semantical Primitives.Charles Sayward - 1975 - In Hassan Sharifi (ed.), From Meaning to Sound: Proceedings of the 1974 Mid-American Linguistics Conference, 5: 38-40. college of arts and sciences, university of nebraska.
    Quine’s way of dealing with the semantical paradoxes (Ways of Paradox, pp. 9-10) is criticized. The criticism is based on three premises: (1) no learnable language has infinitely many semantical primitives; (2) any language of which Quine’s theory is true has infinitely many semantical primitives; (3) English is a learnable language. The conclusion drawn is that Quine’s theory is not true of English.
    Download  
     
    Export citation  
     
    Bookmark  
  21. Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.
    It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Vision of sustainability and justice in the town of Totonacapan: The philosophy of lightning children.Carlos Medel-Ramírez & Hilario Medel-López - manuscript
    The present proposal is an approach to the vision, cosmogony and philosophy of the Totonacapan people, and particularly with the inhabitants of the Totonacapan region in Veracruz Mexico, a town whose wisdom is manifested to this day, in the conservation of customs and traditions , as well as the hierarchy of collective desire that seeks health, well-being and peace in the region, are guides in the evolution of their cultural processes, where a closeness, respectful and deep with Mother Nature (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  64
    The Methodological Problems of Theory Unification (in the context of Maxwell's fusion of optics and electrodynamics).Rinat M. Nugayev - 2016 - Philosophy of Science and Technology (Moscow) 21 (2).
    It is discerned what light can bring the recent historical reconstructions of maxwellian optics and electromagnetism unification on the following philosophical/methodological questions. I. Why should one believe that Nature is ultimately simple and that unified theories are more likely to be true? II. What does it mean to say that a theory is unified? III. Why theory unification should be an epistemic virtue? To answer the questions posed genesis and development of Maxwellian electrodynamics are elucidated. It is enunciated that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Maxwellian Scientific Revolution: Reconciliation of Research Programmes of Young-Fresnel,Ampere-Weber and Faraday.Rinat M. Nugayev (ed.) - 2013 - Kazan University Press.
    Maxwellian electrodynamics genesis is considered in the light of the author’s theory change model previously tried on the Copernican and the Einstein revolutions. It is shown that in the case considered a genuine new theory is constructed as a result of the old pre-maxwellian programmes reconciliation: the electrodynamics of Ampere-Weber, the wave theory of Fresnel and Young and Faraday’s programme. The “neutral language” constructed for the comparison of the consequences of the theories from these programmes consisted in the language of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Manipulating emotions. Value-based reasoning and emotive language.Fabrizio Macagno - 2015 - Argumentation and Advocacy 51:103-122.
    There are emotively powerful words that can modify our judgment, arouse our emotions, and influence our decisions. The purpose of this paper is to provide instruments for analyzing the structure of the reasoning underlying the inferences that they trigger, in order to investigate their reasonableness conditions and their persuasive effect. The analysis of the mechanism of persuasion triggered by such words involves the complex systematic relationship between values, decisions, and emotions, and the reasoning mechanisms that have been investigated under the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  72
    What we hide in words: Value-based reasoning and emotive language.Fabrizio Macagno & Douglas Walton - 2010 - Journal of Pragmatics 42:1997-2013.
    There are emotively powerful words that can modify our judgment, arouse our emotions and influence our decisions. This paper shows how the use of emotive meaning in argumentation can be explained by showing how their logical dimension, which can be analysed using argumentation schemes, combines with heuristic processes triggered by emotions. Arguing with emotive words is shown to use value-based practical reasoning grounded on hierarchies of values and maxims of experience for evaluative classification.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. A Categorical Characterization of Accessible Domains.Patrick Walsh - 2019 - Dissertation, Carnegie Mellon University
    Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Sibling interaction and symbolic capital: Toward a theory of political micro-economy.Chad Nilep - 2009 - Journal of Pragmatics 41 (9):1683-1692.
    Older siblings play a role in their younger siblings’ language socialization by ratifying or rejecting linguistic behavior. In addition, older siblings may engage in a struggle to maintain their dominant position in the family hierarchy. This struggle is seen through the lens of language and political economy as a struggle for symbolic capital. Bilingual adolescent sibling interactions are analyzed as expressions both of identity and of symbolic power. This paper proposes a theory of political micro-economy, by which analysts may (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. The iterative solution to paradoxes for propositions.Bruno Whittle - 2022 - Philosophical Studies 180 (5-6):1623-1650.
    This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. An Observation about Truth.David Kashtan - 2017 - Dissertation, University of Jerusalem
    Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Truth & Transcendence: Turning the Tables on the Liar Paradox.Gila Sher - 2017 - In Bradley Armour-Garb (ed.), Reflections on the Liar. Oxford: Oxford University Press. pp. 281-306.
    Confronting the Liar Paradox is commonly viewed as a prerequisite for developing a theory of truth. In this paper I turn the tables on this traditional conception of the relation between the two. The theorist of truth need not constrain his search for a “material” theory of truth, i.e., a theory of the philosophical nature of truth, by committing himself to one solution or another to the Liar Paradox. If he focuses on the nature of truth (leaving issues of formal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  88
    From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. Logic of paradoxes in classical set theories.Boris Čulina - 2013 - Synthese 190 (3):525-547.
    According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Mixed computation: grammar up and down the Chomsky Hierarchy.Diego Gabriel Krivochen - 2021 - Evolutionary Linguistic Theory 2 (3):215-244.
    Proof-theoretic models of grammar are based on the view that an explicit characterization of a language comes in the form of the recursive enumeration of strings in that language. That recur-sive enumeration is carried out by a procedure which strongly generates a set of structural de-scriptions Σ and weakly generates a set of strings S; a grammar is thus a function that pairs an element of Σ with elements of S. Structural descriptions are obtained by means of Context-Free phrase structure (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Bourdieu’s Language and Symbolic Power.Irfan Ajvazi - manuscript
    The concept of symbolic power was first introduced by French sociologist Pierre Bourdieu to account for the tacit, almost unconscious modes of cultural/social domination occurring within the everyday social habits maintained over conscious subjects. Symbolic power accounts for discipline used against another to confirm that individual's placement in a social hierarchy, at times in individual relations but most basically through system institutions, in particular education.
    Download  
     
    Export citation  
     
    Bookmark  
  36. Bourdieu’s Language and Symbolic Power.Irfan Ajvazi - manuscript
    The concept of symbolic power was first introduced by French sociologist Pierre Bourdieu to account for the tacit, almost unconscious modes of cultural/social domination occurring within the everyday social habits maintained over conscious subjects. Symbolic power accounts for discipline used against another to confirm that individual's placement in a social hierarchy, at times in individual relations but most basically through system institutions, in particular education.
    Download  
     
    Export citation  
     
    Bookmark  
  37. An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
    The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  38. Supermachines and superminds.Eric Steinhart - 2003 - Minds and Machines 13 (1):155-186.
    If the computational theory of mind is right, then minds are realized by machines. There is an ordered complexity hierarchy of machines. Some finite machines realize finitely complex minds; some Turing machines realize potentially infinitely complex minds. There are many logically possible machines whose powers exceed the Church–Turing limit (e.g. accelerating Turing machines). Some of these supermachines realize superminds. Superminds perform cognitive supertasks. Their thoughts are formed in infinitary languages. They perceive and manipulate the infinite detail of fractal (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  92
    Combinatoriality and Compositionality in Everyday Primate Skills.Nathalie Gontier - forthcoming - International Journal of Primatology.
    Human language, hominin tool production modes, and multimodal communications systems of primates and other animals are currently well-studied for how they display compositionality or combinatoriality. In all cases, the former is defined as a kind of hierarchical nesting and the latter as a lack thereof. In this article, I extend research on combinatoriality and compositionality further to investigations of everyday primate skills. Daily locomotion modes as well as behaviors associated with subsistence practices, hygiene, or body modification rely on the hierarchical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Identity and code choice: Code-switching and social identity among Japanese/English bilingual siblings.Chad Nilep - 2004 - Actas Do II Simposio Internacional Sobre o Bilingüismo.
    Within the family, siblings work to create separate, stable social identities. One of the jobs of language socialization is the acquisition and appreciation of appropriate forms with which to perform the acts and stances which create social role. Children learn which roles are expected of them, and which forms are appropriate for the enactment of these roles in part through "trying on" various roles which may then be ratified or rejected by other members of the family. In addition to ratifying (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. College Publications. pp. 234-253.
    We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Phrase structure grammars as indicative of uniquely human thoughts.Eran Asoulin - 2019 - Language Sciences 74:98-109.
    I argue that the ability to compute phrase structure grammars is indicative of a particular kind of thought. This type of thought that is only available to cognitive systems that have access to the computations that allow the generation and interpretation of the structural descriptions of phrase structure grammars. The study of phrase structure grammars, and formal language theory in general, is thus indispensable to studies of human cognition, for it makes explicit both the unique type of human thought and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.
    In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  44. A type-theoretical approach for ontologies: The case of roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied ontology 7 (3):311-356.
    In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  81
    Ways Modality Could Be.Jason Zarri - manuscript
    In this paper I introduce the idea of a higher-order modal logic—not a modal logic for higher-order predicate logic, but rather a logic of higher-order modalities. “What is a higher-order modality?”, you might be wondering. Well, if a first-order modality is a way that some entity could have been—whether it is a mereological atom, or a mereological complex, or the universe as a whole—a higher-order modality is a way that a first-order modality could have been. First-order modality is modeled in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46.  99
    Gordimer, Race, and the Impossibility of Communicative Action in Apartheid South Africa.Sinkwan Cheng - 2019 - Humanities Bulletin [London Academic Publishing] 2 (2):123-144.
    Drawing from Bakhtin and Habermas, I will show how the different voices in Gordimer's novel seem to be enacting a democratic public sphere in which no voice is granted authority over others – a public sphere which carries the promise of countering the social and political hierarchies established by the racist South African regime. The promise, however, turns out to be an illusion. As I will demonstrate, the possibility of an Enlightenment bourgeois public sphere which the novel seems to be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. On Frege's Supposed Hierarchy of Senses.Nicholas Georgalis - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    This paper argues against the claim that Frege is committed to an infinite hierarchy of senses. Carnap and Kripke, along with many others, argue the contrary; I expose where all such arguments go astray. Invariably these arguments assume (without citation) that Frege holds that sense and reference are always distinct. This is the fulcrum upon which the hierarchy is hoisted. The counter to this assumption is based on two important but neglected passages. The locution ‘indirect sense’ has no (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  73
    A Hierarchy of Armchairs: Gerald Gaus on Political Thought Experiments.Nenad Miscevic - 2013 - European Journal of Analytic Philosophy 9 (1):52-63.
    The paper places the work of G. Gaus into the tradition of political thought experimenting. In particular, his strategy of modeling moral decision by the heuristic device of idealized Members of the Public is presented as an iterated thought experiment, which stands in marked contrast with more traditional devices like the veil of ignorance. The consequences are drawn, and issues of utopianism and realism briefly discussed.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. John L. Austin's Speech Acts and Its Application to a Nigerian Context.John Owen E. Adimike - 2023 - The Nuntius: A Philosophical Periodical 1 (1):11-13.
    In this paper, I transcend the abstract engagement of J. L. Austin's Speech Acts theory and explore their sociopolitical advantages, using the Nigerian social space as my primary experimental field. Nigerian social space is quite hierarchical and progresses along apparently asymmetrical lines of social relationship (in most cases). This in turn, accentuates some sort of power dynamics. In every communication, there is an implicit reinforcement of the social fabric as well as the power dynamic, either through one person's percep6of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Philosophy of Language.Walter Ott - 2014 - In Daniel Kaufman (ed.), The Routledge Companion to Seventeenth Century Philosophy. New York: Routledge. pp. 354-382.
    How language works — its functions, mechanisms, and limitations — matters to the early moderns as much as it does to contemporary philosophers. Many of the moderns make reflection on language central to their philosophical projects, both as a tool for explaining human cognition and as a weapon to be used against competing views. Even in philosophers for whom language is less central, we can find important connections between their views on language and their other philosophical commitments.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999