Results for 'operational sequence'

985 found
Order:
  1. Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
    The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Model for DNA and Protein Interactions and the Function of the Operator.Alfred Gierer - 1966 - Nature 212:1480-1481.
    The short paper introduces the concept of possible branches of double-stranded DNA (later sometimes called palindromes): Certain sequences of nucleotides may be followed, after a short unpaired stretch, by a complementary sequence in reversed order, such that each DNA strand can fold back on itself, and the DNA assumes a cruciform or tree-like structure. This is postulated to interact with regulatory proteins. -/- .
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. 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  
  4. Can Noncommutativity Be Emergent?Mir H. S. Quadri - 2024 - The Lumeni Notebook Research.
    This essay explores the concept of emergence within the framework of noncommutative systems, challenging traditional views that tie emergent behaviour to commutative rule sets. Emergence typically refers to the phenomena where higher-level complexity arises from the interactions of simpler components, often under deterministic and commutative systems. However, noncommutative systems, where the order of operations affects the outcome, introduce a unique layer of complexity that complicates this understanding. By examining the properties of noncommutative systems through formal mathematical analysis and exploring case (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. The Sum of Well-Being.Jacob M. Nebel - 2023 - Mind 132 (528):1074–1104.
    Is well-being the kind of thing that can be summed across individuals? This paper takes a measurement-theoretic approach to answering this question. To make sense of adding well-being, we would need to identify some natural "concatenation" operation on the bearers of well-being that satisfies the axioms of extensive measurement and can therefore be represented by the arithmetic operation of addition. I explore various proposals along these lines, involving the concatenation of segments within lives over time, of entire lives led alongside (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic.David DeVidi & Corey Mulvihill - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2):287-312.
    We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Reporting, telling, and showing dreams.Emar Maier - manuscript
    Dreams are not real, so when we recount them we prefix an intensional operator like “I dreamed that…”. Linguists will analyze this construction in terms of clausal complementation syntax and possible worlds semantics. But talking about a dream is often more like telling a story, with a potentially complex discourse structure (involving propositional discourse units connected by coherence relations like NARRATION, BACKGROUND, and EXPLANATION) that is hard to fit inside a single syntactically embedded that-clause (or a sequence of independently (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Reference, Predication, Judgment and their Relations.Indrek Reiland - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Over the course of the past ten-plus years, Peter Hanks and Scott Soames have developed detailed versions of Act-Based views of propositions which operate with the notions of reference to objects, indicating properties, predication, and judgment (or entertaining). In this paper I discuss certain foundational aspects of the Act-Based approach having to do with the relations between these notions. In particular, I argue for the following three points. First, that the approach needs both an atomistically understood thin notion of reference, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  9. Epigenetic Information-Body Interaction and Information-Assisted Evolution from the Perspective of the Informational Model of Consciousness.Florin Gaiseanu - 2019 - Archives in Biomedical Engineering and Biotechnology 2 (2):1-6.
    Introduction: the objective of this investigation is to analyses the advances of understanding in the epigenetic processes and to extract conclusions concerning the information-based evolution from the perspective of the Informational Model of Consciousness (IMC). Analysis of epigenetic mechanisms: it is shown that the study of the epigenetic mechanisms are of increasing interest not only to discover the responsible mechanisms of some diseases, but also to observe the acquisition and transmission mechanisms of some traits to the next generation/ transgenerations, without (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  10. The GOOGLE and XPRIZE award for how to use quantum computers practically: The problem of the “P” versus “NP” outputs of any quantum computer and the pathway for its resolving.Vasil Penchev - 2025 - Quantum Information Ejournal (Elsevier: Ssrn) 4 (26):1-80.
    The GOOGLE and XPRIZE $5,000,000 for the practical and socially useful utilization of the quantum computer is the starting point for ontomathematical reflections for what it can really serve. Its “output by measurement” is opposed to the conjecture for a coherent ray able alternatively to deliver the ultimate result of any quantum calculation immediately as a Dirac -function therefore accomplishing the transition of the sequence of increasingly narrow probability density distributions to their limit. The GOOGLE and XPRIZE problem’s solution (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Jeffrey conditionalization: proceed with caution.Borut Trpin - 2020 - Philosophical Studies 177 (10):2985-3012.
    It has been argued that if the rigidity condition is satisfied, a rational agent operating with uncertain evidence should update her subjective probabilities by Jeffrey conditionalization or else a series of bets resulting in a sure loss could be made against her. We show, however, that even if the rigidity condition is satisfied, it is not always safe to update probability distributions by JC because there exist such sequences of non-misleading uncertain observations where it may be foreseen that an agent (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. note on Sorites series.Friedrich Wilhelm Grafe - 2020 - Archive.Org.
    Vagueness does not necessarily come in with vague predicates, nor need it be expressed by them , but undoubtedly 'vague predicates' are traditionally in the focus of main stream discussions of vagueness. In her current modal logic presentation and discussion of the Sorites paradox Susanne Bobzien[1] lists among the properties of a Sorites series a rather weak modal tolerance principle governing the 'grey zone' containing the borderline cases of the Sorites series, which later proves crucial for her solution of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Towards a Multimodal Model of Cognitive Workload Through Synchronous Optical Brain Imaging and Eye Tracking Measures.Erdinç İşbilir, Murat Perit Çakır, Cengiz Acartürk & Ali Şimşek Tekerek - 2019 - Frontiers in Human Neuroscience 13.
    Recent advances in neuroimaging technologies have rendered multimodal analysis of operators’ cognitive processes in complex task settings and environments increasingly more practical. In this exploratory study, we utilized optical brain imaging and mobile eye tracking technologies to investigate the behavioral and neurophysiological differences among expert and novice operators while they operated a human-machine interface in normal and adverse conditions. In congruence with related work, we observed that experts tended to have lower prefrontal oxygenation and exhibit gaze patterns that are better (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. How to Frame Serial Art.Christy Mag Uidhir - 2013 - Journal of Aesthetics and Art Criticism 71 (3):261-265.
    Most artworks—or at least most among those standardly subject to philosophical scrutiny—appear to be singular, stand-alone works. However, some artworks (indeed, perhaps a good many) are by contrast best viewed in terms of some larger grouping or ordering of artworks. i.e., as a series. The operative art-theoretic notion of series in which I am interested here is that of an individual and distinct artwork that is itself non-trivially composed of a non-trivial sequence of artworks (e.g., Walter de Maria’s Statement (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Visualization as a stimulus domain for vision science.Ronald A. Rensink - 2021 - Journal of Vision 21 (3):1–18.
    Traditionally, vision science and information/data visualization have interacted by using knowledge of human vision to help design effective displays. It is argued here, however, that this interaction can also go in the opposite direction: the investigation of successful visualizations can lead to the discovery of interesting new issues and phenomena in visual perception. Various studies are reviewed showing how this has been done for two areas of visualization, namely, graphical representations and interaction, which lend themselves to work on visual processing (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Genome Informatics: The Role of DNA in Cellular Computations.James A. Shapiro - 2006 - Biological Theory 1 (3):288-301.
    Cells are cognitive entities possessing great computational power. DNA serves as a multivalent information storage medium for these computations at various time scales. Information is stored in sequences, epigenetic modifications, and rapidly changing nucleoprotein complexes. Because DNA must operate through complexes formed with other molecules in the cell, genome functions are inherently interactive and involve two-way communication with various cellular compartments. Both coding sequences and repetitive sequences contribute to the hierarchical systemic organization of the genome. By virtue of nucleoprotein complexes, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Separating syntax and combinatorics in categorial grammar.Reinhard Muskens - 2007 - Research on Language and Computation 5 (3):267-285.
    The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. This Year's Nobel Prize (2022) in Physics for Entanglement and Quantum Information: the New Revolution in Quantum Mechanics and Science.Vasil Penchev - 2023 - Philosophy of Science eJournal (Elsevier: SSRN) 18 (33):1-68.
    The paper discusses this year’s Nobel Prize in physics for experiments of entanglement “establishing the violation of Bell inequalities and pioneering quantum information science” in a much wider, including philosophical context legitimizing by the authority of the Nobel Prize a new scientific area out of “classical” quantum mechanics relevant to Pauli’s “particle” paradigm of energy conservation and thus to the Standard model obeying it. One justifies the eventual future theory of quantum gravitation as belonging to the newly established quantum information (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Consciousness as a Problem of Charles D. Laughlin’s Biogenetic Structuralist Neurophenomenology.Anna Shutaleva - 2020 - Vestnik Tomskogo Gosudarstvennogo Universiteta. Filosofiya. Sotsiologiya. Politologiya – Tomsk State University Journal of Philosophy, Sociology and Political Science 53:141-147.
    The article deals with the problem of cognition in the framework of the biogenetic structuralist neurophenomenology of Charles Laughlin. The aim of the article is to study the possibilities of applying the biogenetic structuralist theory as a theoretical and methodological basis for the study of consciousness in Laughlin’s theory. A feature of biogenetic structuralism is the interdisciplinary fusion of anthropology, psychology, and neuroscience. The methodology of biogenetic structuralism allows exploring universal structures of consciousness, which are caused by the genetically predisposed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Mad Speculation and Absolute Inhumanism: Lovecraft, Ligotti, and the Weirding of Philosophy.Ben Woodard - 2011 - Continent 1 (1):3-13.
    continent. 1.1 : 3-13. / 0/ – Introduction I want to propose, as a trajectory into the philosophically weird, an absurd theoretical claim and pursue it, or perhaps more accurately, construct it as I point to it, collecting the ground work behind me like the Perpetual Train from China Mieville's Iron Council which puts down track as it moves reclaiming it along the way. The strange trajectory is the following: Kant's critical philosophy and much of continental philosophy which has followed, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  21. Towards a Multimodal Model of Cognitive Workload through Synchronous Optical Brain Imaging and Eye Tracking Measures.Erdinc Isbilir, Murat Cakir, Cengiz Acarturk & Simsek Tekerek - 2018 - Frontiers in Human Neuroscience 12.
    Recent advances in neuroimaging technologies have rendered multimodal analysis of operators’ cognitive processes in complex task settings and environments increasingly more practical. In this exploratory study, we utilized optical brain imaging and mobile eye tracking technologies to investigate the behavioral and neurophysiological differences among expert and novice operators while they operated a human-machine interface in normal and adverse conditions. In congruence with related work, we observed that experts tended to have lower prefrontal oxygenation and exhibit gaze patterns that are better (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Lezama Lima: the links, the images, the snail and the staircase.Salvador Gallardo Cabrera - 2012 - In Curso Délfico. Lecturas de Lezama Lima. México: Instituto Nacional de Bellas Artes / Ediciones Sin Nombre. pp. 43-50.
    Lezama, and later Deleuze, discovered that the baroque does not refer to an essence, but to an operative function. That operative function is the fold, which "curls and multiplies", as Lezama writes, and proliferates to infinity. We all know the examples with which Lezama placed his concept of the American baroque: the poems of Domínguez Camargo, those of Sor Juana, the architectures of the Kondori Indian, the baptismal fonts of Aleijadinho, "ornamented like accordions, with spiraloid leaves that ascend"; the chapel (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Framework for Harm Elimination in Light of the Islamic Legal Maxims.Sayyed Mohamed Muhsin, Muhammad Amanullah & Luqman Zakariyah - 2019 - The Islamic Quarterly 63 (2):233-272.
    Islamic legal maxims (qawāʿʿid fiqhiyyah) provide necessary basis for extracting legal injunctions on the unprecedented cases (fiqh al-nawāzil) and make it possible for the jurists to forego the need of memorizing copious fiqh treatises. In light of this fact, this article attempts to design a framework for harm elimination, utilizing the related legal maxims, which will be arguably of great use in developing an outlook that enables a person to tackle the many challenges he or she finds in the course (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory.Moritz Cordes & Friedrich Reinmuth - manuscript
    Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper "Ein Redehandlungskalkül. Ein (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. W poszukiwaniu ontologicznych podstaw prawa. Arthura Kaufmanna teoria sprawiedliwości [In Search for Ontological Foundations of Law: Arthur Kaufmann’s Theory of Justice].Marek Piechowiak - 1992 - Instytut Nauk Prawnych PAN.
    Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. The world, the brain, and the speed of sight.Ronald A. Rensink - 1996 - In David C. Knill & Whitman Richards, Perception as Bayesian Inference. Cambridge University Press. pp. 495-498.
    Adelson & Pentland (Chapter 11) use an engaging metaphor to illustrate their position on scene analysis: interpretations are produced by a workshop that employs a set of specialists, each concerned with a single aspect of the scene. The authors argue that it is too expensive to have a supervisor co-ordinate the specialists and that it is too expensive to let them operate independently. They then show that a careful sequencing of the specialists leads to solutions of minimum cost, at least (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. The ontological revolution: On the phenomenology of the internet.Alexandros Schismenos - 2016 - SOCRATES 4 (2):56-67.
    Cogitation described as calculation, the living being described as a machine, cognitive functions considered as algorithmic sequences and the ‘mechanization’ of the subjective were the theoretical elements that late heideggerian anti–humanism, especially in France was able to utilize[1], even more so, after the second cybernetics or post-cybernetics movement of the late ‘60s introduced the concepts of the autopoietic and the allopoietic automata[2]. Recently, neurologists pose claims on the traditional epistemological field of philosophy, proceeding from this ontological decision, the equation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Pro-Generative Adversarial Network and V-stack Perceptron, Diamond Holographic Principle, and Pro-Temporal Emergence.Shanna Dobson - manuscript
    We recently presented our Efimov K-theory of Diamonds, proposing a pro-diamond, a large stable (∞,1)-category of diamonds (D^{diamond}), and a localization sequence for diamond spectra. Commensurate with the localization sequence, we now detail four potential applications of the Efimov K-theory of D^{diamond}: emergent time as a pro-emergence (v-stack time) in a diamond holographic principle using Scholze’s six operations in the ’etale cohomology of diamonds; a pro-Generative Adversarial Network and v-stack perceptron; D^{diamond}cryptography; and diamond nonlocality in perfectoid quantum physics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. A Technique for Determining Closure in Semantic Tableaux.Steven James Bartlett - 1983 - Methodology and Science: Interdisciplinary Journal for the Empirical Study of the Foundations of Science and Their Methodology 16 (1):1-16.
    The author considers the model-theoretic character of proofs and disproofs by means of attempted counterexample constructions, distinguishes this proof format from formal derivations, then contrasts two approaches to semantic tableaux proposed by Beth and Lambert-van Fraassen. It is noted that Beth's original approach has not as yet been provided with a precisely formulated rule of closure for detecting tableau sequences terminating in contradiction. To remedy this deficiency, a technique is proposed to clarify tableau operations.
    Download  
     
    Export citation  
     
    Bookmark  
  30. (1 other version)A Model for Creation: Part I.Paul Bernard White - manuscript
    Four initial postulates are presented (with two more added later), which state that construction of the physical universe proceeds from a sequence of discrete steps or "projections" --- a process that yields a sequence of discrete levels (labeled 0, 1, 2, 3, 4). At or above level 2 the model yields a (3+1)-dimensional structure, which is interpreted as ordinary space and time. As a result, time does not exist below level 2 of the system, and thus the quantum (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Some comments on the emotional and motor dynamics of language embodiment.Ariane Bazan & David Van Bunder - 2005 - In Helena de Preester & Veroniek Knockaert, Body image and body schema. John Benjamins. pp. 65.
    In this paper a tentative neurophysiologically framed approach of the Freudian unconscious that would function on the basis of linguistic (phonological) organizing principles, is proposed. A series of arguments, coming from different fields, are taken together. First, clinical reports indicate that in a state of high emotional arousal linguistic fragments are treated in a decontextualized way, and can lead to the isolation of phoneme sequences which, independently of their actual meaning, are able to resort emotional effects. Second, phonological and neurophysiological (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. The evolution and development of consciousness: the subject-object emergence hypothesis.John E. Stewart - 2022 - Biosystems 217.
    A strategy for investigating consciousness that has proven very productive has focused on comparing brain processes that are accompanied by consciousness with processes that are not. But comparatively little attention has been given to a related strategy that promises to be even more fertile. This strategy exploits the fact that as individuals develop, new classes of brain processes can transition from operating ‘in the dark’ to becoming conscious. It has been suggested that these transitions occur when a new class of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33.  42
    Yablo’s Paradox and Circulus Vitiosus: Why Lie about Yourself When You Can Lie about Everyone Else?Andrei Nekhaev - 2019 - Tomsk State University Journal of Philosophy, Sociology and Political Science 13 (50):255-261.
    The article is a critical essay of Evgeny Borisov’s research, which examines the logical structure and meaning of infinite semantic paradoxes (in particular, Yablo’s paradox). According to his view, the strict formalization of the infinite sequence of sentences in Yablo’s paradox requires selfreferential circularity descriptions. This view is based on Priest’s argument that a uniform representation of the content for Yablo’s paradoxical sentences can only be given by means of the two-place predicate of satisfaction. But it guarantees the existence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. À travers temps et terrains : d’un paysage à l’autre. Étude comparative entre Occident et Extrême-Orient.Caroline Pires Ting - 2020 - In Jean-Yves Beziau & Daniel Schulthess, L’Imagination. Actes du 37e Congrès de l’ASPLF.
    L’une des activités de l’imagination, opération qui prend sa source dans l’imaginaire, consiste à faire des parcours dans l’espace et dans le temps du monde. Le flâneur parcoure des variations de paysages et d’horizons, comme une séquence imaginative. Il existe une liaison logique entre la marche, le récit, la peinture et le mythe : dans chacun de ces cas, l’imagination est fortement stimulée. Chacun d’entre eux est un moyen de cheminer selon des voies vers une Vérité supérieur. La marche est, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Crucial steps to life: From chemical reactions to code using agents.Witzany Guenther - 2016 - Biosystems 140:49-57.
    The concepts of the origin of the genetic code and the definitions of life changed dramatically after the RNA world hypothesis. Main narratives in molecular biology and genetics such as the “central dogma,” “one gene one protein” and “non-coding DNA is junk” were falsified meanwhile. RNA moved from the transition intermediate molecule into centre stage. Additionally the abundance of empirical data concerning nonrandom genetic change operators such as the variety of mobile genetic elements, persistent viruses and defectives do not fit (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Heim Sequences and Why Most Unqualified ‘Would’-Counterfactuals Are Not True.Yael Loewenstein - 2021 - Australasian Journal of Philosophy 99 (3):597-610.
    ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer rings true. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Dispositionalism and the Modal Operators.David Yates - 2015 - Philosophy and Phenomenological Research 91 (2):411-424.
    Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  38. Operator Counterparts of Types of Reasoning.Urszula Wybraniec-Skardowska - 2023 - Logica Universalis 17 (4):511-528.
    Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Span Operators.Berit Brogaard - 2007 - Analysis 67 (1):72-79.
    I argue that David Lewis is too quick to deny the presentist the right to employ span operators. There is no reason why the presentist could not help herself to both primitive tensed slice operators and primitive span operators. She would then have another device available to eliminate ambiguities and explain why sentences with embedded contradictions may nevertheless be true.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  40. Formal operations and simulated thought.John-Michael Kuczynski - 2006 - Philosophical Explorations 9 (2):221-234.
    A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Operator arguments revisited.Juhani Yli-Vakkuri, John Hawthorne & Peter Fritz - 2019 - Philosophical Studies 176 (11):2933-2959.
    Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  42. 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  
  43. The operator argument and the case of timestamp semantics.Jakub Węgrecki - 2023 - Synthese 202 (6):1-28.
    The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some aspects of the debate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. An Operational Definition of Institutional Beliefs.Cuizhu Wang, Simon Graf & Konrad Werner - forthcoming - In Adam Dyrda, Maciej Juzaszek, Bartosz Biskup & Cuizhu Wang, Ethics of Institutional Beliefs: From Theoretical to Empirical. Edward Elgar.
    Some of our beliefs are institutional; that is, beliefs whose content is to a large extent shaped by institutions, such as beliefs about intellectual property, trade policy, or traffic rules. In this chapter, we propose a novel account of institutional beliefs, as we call them. In particular, we argue that institutional beliefs are primarily attributable to social entities, such as groups or collectives, and only secondarily to individual agents. This is because institutional beliefs respond to specific problems that, in principle, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Recovery operators, paraconsistency and duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - 2020 - Logic Journal of the IGPL 28 (5):624-656.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Novel sequence feature variant type analysis of the HLA genetic association in systemic sclerosis.R. Karp David, Marthandan Nishanth, G. E. Marsh Steven, Ahn Chul, C. Arnett Frank, S. DeLuca David, D. Diehl Alexander, Dunivin Raymond, Eilbeck Karen, Feolo Michael & Barry Smith - 2009 - Human Molecular Genetics 19 (4):707-719.
    Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Operators in the paradox of the knower.Patrick Grim - 1993 - Synthese 94 (3):409 - 428.
    Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way as well: (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  48. Co-operative solutions to the prisoner's dilemma.Duncan Macintosh - 1991 - Philosophical Studies 64 (3):309 - 321.
    For the tradition, an action is rational if maximizing; for Gauthier, if expressive of a disposition it maximized to adopt; for me, if maximizing on rational preferences, ones whose possession maximizes given one's prior preferences. Decision and Game Theory and their recommendations for choice need revamping to reflect this new standard for the rationality of preferences and choices. It would not be rational when facing a Prisoner's Dilemma to adopt or co-operate from Amartya Sen's "Assurance Game" or "Other Regarding" preferences. (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. Co–operation and communication in apes and humans.Ingar Brinck & Peter Gardenfors - 2003 - Mind and Language 18 (5):484–501.
    We trace the difference between the ways in which apes and humans co–operate to differences in communicative abilities, claiming that the pressure for future–directed co–operation was a major force behind the evolution of language. Competitive co–operation concerns goals that are present in the environment and have stable values. It relies on either signalling or joint attention. Future–directed co–operation concerns new goals that lack fixed values. It requires symbolic communication and context–independent representations of means and goals. We analyse these ways of (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  50. Logical operators for ontological modeling.Stefano Borgo, Daniele Porello & Nicolas Troquard - 2014 - In Pawel Garbacz & Oliver Kutz, Formal Ontology in Information Systems: Proceedings of the Eighth International Conference. IOS Press. pp. 23--36.
    We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 985