Results for 'operator'

999 found
Order:
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  2. 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  
  3. 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  
  4. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. 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  
  6. 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   8 citations  
  7. A recovery operator for nontransitive approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.
    In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  8. 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   25 citations  
  9. Imagining stories: attitudes and operators.Neil Van Leeuwen - 2021 - Philosophical Studies 178 (2):639-664.
    This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental state (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  10. 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  
  11. On Operator N and Wittgenstein’s Logical Philosophy.James R. Connelly - 2017 - Journal for the History of Analytical Philosophy 5 (4).
    In this paper, I provide a new reading of Wittgenstein’s N operator, and of its significance within his early logical philosophy. I thereby aim to resolve a longstanding scholarly controversy concerning the expressive completeness of N. Within the debate between Fogelin and Geach in particular, an apparent dilemma emerged to the effect that we must either concede Fogelin’s claim that N is expressively incomplete, or reject certain fundamental tenets within Wittgenstein’s logical philosophy. Despite their various points of disagreement, however, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. The operational framework for quantum theories is both epistemologically and ontologically neutral.Laurie Letertre - 2021 - Studies in History and Philosophy of Science Part A 89 (C):129-137.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Co-operation and human values: a study of moral reasoning.R. E. Ewin - 1981 - New York: St. Martin's Press.
    I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on us by (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  14. Strategic and Operational Planning As Approach for Crises Management Field Study on UNRWA.Mazen J. Al Shobaki, Youssef M. Abu Amuna & Samy S. Abu Naser - 2017 - International Journal of Information Technology and Electrical Engineering 5 (6):43-47.
    The research aims to study the role of strategic and operational planning as approach for crises management in UNRWA - Gaza Strip field- Palestine. Several descriptive analytical methods were used for this purpose and a survey as a tool for data collection. Community size was (881), and the study sample was stratified random (268). The overall findings of the current study show that strategic and operational planning is performed in UNRWA. The results of static analysis show that there are a (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  15. Normality Operators and Classical Collapse.Roberto Ciuni & Massimiliano Carrara - 2018 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2017. College Publications. pp. 2-20.
    In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. 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  
  17. Is defining life pointless? Operational definitions at the frontiers of Biology.Leonardo Bich & Sara Green - 2017 - Synthese:1-28.
    Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This paper examines the possible (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  18. Normality operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
    In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. An operational Definition of Electric Charge.Muntafa Mubarrat Mahi - manuscript
    The paper focuses on the part of the Coulomb’s Law that is just a definition and provides one possible mechanism for operationally defining electric charge based on the concept of force. Then a derivation of Coulomb’s law from the definition is presented and the sign of the charges are defined. Finally, the paper concludes with a discussion on the conservation of charge.
    Download  
     
    Export citation  
     
    Bookmark  
  20. Unveiling the Organization and Operations Management on Crime Prevention Reduction and Control of the Pasay City.Romulo Navarra, Frederick Tugade, Roberto Tampil & Cynic Tenedero - 2024 - International Journal of Multidisciplinary Educational Research and Innovation 2 (1):96- 107.
    Operational activity such crime prevention is extremely significant in promoting peace and order of the community. This study assessed the Pasay City Police Station in the Southern District regarding particular organization and crime operations management capabilities. This paper used quantitative research anchored by descriptive method. The study’s respondents were 130 police officers/members and 150 permanent employees of the Pasay City Police Station who are residents of Pasay City and whose offices are near the police station. It was revealed that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Inverse Operations with Transfinite Numbers and the Kalam Cosmological Argument.Graham Oppy - 1995 - International Philosophical Quarterly 35 (2):219-221.
    William Lane Craig has argued that there cannot be actual infinities because inverse operations are not well-defined for infinities. I point out that, in fact, there are mathematical systems in which inverse operations for infinities are well-defined. In particular, the theory introduced in John Conway's *On Numbers and Games* yields a well-defined field that includes all of Cantor's transfinite numbers.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Logical operators for ontological modeling.Stefano Borgo, Daniele Porello & Nicolas Troquard - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}. 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  
  23. Intermediate Role of Operations Standard in the Relationship between the Focus on Benefiting Students and Students Satisfaction in Palestinian Universities.Suliman A. El Talla, Mazen J. Al Shobaki, Samy S. Abu-Naser & Ahmed M. A. FarajAllah - 2019 - International Journal of Academic Multidisciplinary Research (IJAMR) 3 (5):86-100.
    The study aimed to identify the intermediate role of the standard of operations in the relationship between the focus on students and beneficiaries in achieving satisfaction of students in Palestinian universities. The study used the analytical descriptive method. The study was conducted on university leadership in Al-Azhar, Islamic and Al-Aqsa Universities. The study sample consisted of (200) individuals, 182 of whom responded, and the questionnaire was used in collecting the data. The results of the study were as follows: - There (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  95
    Operant Logic.Brian Wachter - manuscript
    I relate the story of how I created the basic rule of operant logic.
    Download  
     
    Export citation  
     
    Bookmark  
  25. Are Reduplicative Qua-Operators Superfluous?Eric Yang - 2021 - European Journal for Philosophy of Religion 13 (2):145-162.
    Reduplicative approaches to the incarnation attempt to avoid the charge of incoherence by employing a qua-operator that operates on an entire assertion. The main objection to this approach is that it still yields a contradiction. Recently, two new reduplicative approaches have been offered that purport to avoid contradiction, one that offers a novel analysis of negative predications and the other which prevents conjoining divine and human predicates into a meaningful sentence. In this paper, I argue that these newer approaches (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
    Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  27. Designing the Smart Operator 4.0 for Human Values: A Value Sensitive Design Approach.Steven Umbrello, Antonio Padovano & Lucia Gazzaneo - 2020 - Procedia Manufacturing 42:219-226.
    Emerging technologies such as cloud computing, augmented and virtual reality, artificial intelligence and robotics, among others, are transforming the field of manufacturing and industry as a whole in unprecedent ways. This fourth industrial revolution is consequentially changing how operators that have been crucial to industry success go about their practices in industrial environments. This short paper briefly introduces the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Track-Down Operations on Bilattices.Damian Szmuc - 2018 - In Robert Wille & Martin Lukac (eds.), Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic. pp. 74-79.
    This paper discusses a dualization of Fitting's notion of a "cut-down" operation on a bilattice, rendering a "track-down" operation, later used to represent the idea that a consistent opinion cannot arise from a set including an inconsistent opinion. The logic of track-down operations on bilattices is proved equivalent to the logic d_Sfde, dual to Deutsch's system S_fde. Furthermore, track-down operations are employed to provide an epistemic interpretation for paraconsistent weak Kleene logic. Finally, two logics of sequential combinations of cut-and track-down (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Eternalism and Propositional Multitasking: in defence of the Operator Argument.Clas Weber - 2012 - Synthese 189 (1):199-219.
    It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  30. A Taxonomy of Composition Operations.Jan Westerhoff - 2004 - Logique and Analyse 2004 (47):375-393.
    A set of parameters for classifying composition operations is introduced. These parameters determine whether a composition operation is 1) universal, 2) determinate, 3) whether there is a difference between possible and actual compositions, 4) whether there can be singleton compositions, 5) whether they give rise to a hierarchy, and 6) whether components of compositions can be repeated. Philosophical implications of these parameters (in particular in relation to set theory) and mereology are discussed.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Operational axioms for diagonalizing states.Giulio Chiribella & Carlo Maria Scandolo - 2015 - EPTCS 195:96-115.
    In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. A Semantics-Based Common Operational Command System for Multiagency Disaster Response.Linda Elmhadhbi, Mohamed-Hedi Karray, Bernard Archimède, J. Neil Otte & Barry Smith - 2022 - IEEE Transactions on Engineering Management 69 (6):3887 - 3901.
    Disaster response is a highly collaborative and critical process that requires the involvement of multiple emergency responders (ERs), ideally working together under a unified command, to enable a rapid and effective operational response. Following the 9/11 and 11/13 terrorist attacks and the devastation of hurricanes Katrina and Rita, it is apparent that inadequate communication and a lack of interoperability among the ERs engaged on-site can adversely affect disaster response efforts. Within this context, we present a scenario-based terrorism case study to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Temporalism and Composite Tense Operators.Dan Zeman - 2013 - Disputatio 5 (37):323-328.
    This is my contribution to a symposium on Berit Brogaard's book "Transient Truths" in which I criticize her treatment of various linguistic phenomena related to tense.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Revisiting Constructive Mingle: Algebraic and Operational Semantics.Yale Weiss - 2022 - In Katalin Bimbo (ed.), Essays in Honor of J. Michael Dunn. College Publications. pp. 435-455.
    Among Dunn’s many important contributions to relevance logic was his work on the system RM (R-mingle). Although RM is an interesting system in its own right, it is widely considered to be too strong. In this chapter, I revisit a closely related system, RM0 (sometimes known as ‘constructive mingle’), which includes the mingle axiom while not degenerating in the way that RM itself does. My main interest will be in examining this logic from two related semantical perspectives. First, I give (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Immigrant-operated Informal Financial Associations in South Africa: Problems and Solutions.Linus Nkem & Robertson K. Tengeh - 2018 - Acta Universitatis Danubius 14 (1):84-98.
    While immigrants are at liberty to start self-help financial associations (referred to as stokvels in South Africa) to cater for their unfufilled need for capital, the benefits of this laudable effort are seldom maximised due to a number of shortcomings. Aim: This paper seeks to ascertain the operational obstacles that immigrant-run stokvels face and to suggest solutions accordingly. Method: Aiming to complement each other, quantitative and qualitative research approaches were utilised to conduct this study. Quantitative and qualitative data were collected (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Info-Relational Cognitive Operability of the Posterior Cingulate Cortex According to the Informational Model of Consciousness.Florin Gaiseanu - 2020 - International Journal of Psychological and Brain Sciences 5 (4):61-68.
    Based on the analysis of the accumulated experimental data and on the informational concepts of the Informational Model of Consciousness (IMC), in this article is presented an informational modeling of the operability of the posterior cingulate cortex (PCC). Examination of the experimental results obtained with the modern non-destructive, high spatial resolution investigation tools to study the functional characteristics of the PCC and associate metabolic processes, shows mainly that this is involved in the large scale default mode network (DMN), composed primarily (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. The overlooked contributors to climate and biodiversity crises: Military operations and wars.Quan-Hoang Vuong, Minh-Hoang Nguyen & Viet-Phuong La - 2024 - Environmental Management 73:1-5.
    The military-industrial complex, military operations, and wars are major contributors to exacerbating both climate change and biodiversity crises. However, their environmental impacts are often shadowed due to national security reasons. The current paper aims to go through the devastating impacts of military operations and wars on climate change and biodiversity loss and challenges that hinder the inclusion of military-related activities into environmental crisis mitigation efforts. The information blind spot induced by concerns about national security reasons jeopardizes the efforts to involve (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Experiencer Phrases, Predicates of Personal Taste and Relativism: On Cappelen and Hawthorne’s Critique of the Operator Argument.Dan Zeman - 2013 - Croatian Journal of Philosophy 13 (3):375-398.
    In the debate between relativism and contextualism about various expressions, the Operator Argument, initially proposed by Kaplan , has been taken to support relativism. However, one widespread reaction against the argument has taken the form of arguing against one assumption made by Kaplan: namely, that certain natural language expressions are best treated as sentential operators. Focusing on the only extant version of the Operator Argument proposed in connection to predicates of personal taste such as “tasty” and experiencer phrases (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  78
    Specifications of export-import operations in the field of services.Ірина Приварникова - 2024 - Management and Entrepreneurship: Trends of Development 1 (27):89-103.
    The purpose of this study is to describe the models and specifics of export-import transactions in the service sector in Ukraine. For this, the essence of the service as an object of export-import operations is characterized, the process of conducting export operations is described, an algorithm for the implementation of export-import operations of services is developed and provided to indicate their features and simplify the implementation procedures for the business of Ukraine. Within the framework of the article, an attempt was (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
    Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  80
    Foundation of Appurtenance and Inclusion Equations for Constructing the Operations of Neutrosophic Numbers Needed in Neutrosophic Statistics Foundation of Appurtenance and Inclusion Equations for Constructing the Operations of Neutrosophic Numbers Needed in Neutrosophic Statistics.Florentin Smarandache - 2024 - Neutrosophic Systems with Applications 15.
    We introduce for the first time the appurtenance equation and inclusion equation, which help in understanding the operations with neutrosophic numbers within the frame of neutrosophic statistics. The way of solving them resembles the equations whose coefficients are sets (not single numbers).
    Download  
     
    Export citation  
     
    Bookmark  
  42. Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. New York: Birkhäuser. pp. 39-51.
    We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
    The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  44.  9
    Repression and Operative Unconsciousness in Phenomenology of Perception.Timothy Mooney - 2017 - In Dylan Trigg & Dorothée Legrand (eds.), Unconsciousness Between Phenomenology and Psychoanalysis. Cham: Springer Verlag.
    The notion of repression as active forgetfulness already found in Nietzsche and systematised by Freud and his successors is employed in a distinctive manner by Merleau-Ponty in Phenomenology of Perception. By showing how we appropriate our environment towards outcomes and respond to other people, he contends, we can unearth hidden modes of operative intentionality. Two such modes are the motor intentional projection of action and the anonymous intercorporeality that includes touching and being touched. Each of these is an aspect of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. The Ethics of Military Influence Operations.Michael Skerker - 2023 - Conatus 8 (2):589-612.
    This article articulates a framework for normatively assessing influence operations, undertaken by national security institutions. Section I categorizes the vast field of possible types of influence operations according to the communication’s content, its attribution, the rights of the target audience, the communication’s purpose, and its secondary effects. Section II populates these categories with historical examples and section III evaluates these cases with a moral framework. I argue that deceptive or manipulative communications directed at non-liable audiences are presumptively immoral and illegitimate (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Notes on a semantic analysis of variable binding term operators.J. Corcoran & John Herring - 1971 - Logique Et Analyse 55:644-657.
    -/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. On momentum operators given by Killing vectors whose integral curves are geodesics.Thomas Schürmann - 2022 - Physics 4 (4): 1440-1452.
    We consider momentum operators on intrinsically curved manifolds. Given that the momentum operators are Killing vector fields whose integral curves are geodesics, it is shown that the corresponding manifold is either flat, or otherwise of compact type with positive constant sectional curvature and dimension equal to 1, 3 or 7. Explicit representations of momentum operators and the associated Casimir element will be discussed for the 3-sphere. It will be verified that the structure constants of the underlying Lie algebra are proportional (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Big Tech corporations and AI: A Social License to Operate and Multi-Stakeholder Partnerships in the Digital Age.Marianna Capasso & Steven Umbrello - 2023 - In Francesca Mazzi & Luciano Floridi (eds.), The Ethics of Artificial Intelligence for the Sustainable Development Goals. Springer Verlag. pp. 231–249.
    The pervasiveness of AI-empowered technologies across multiple sectors has led to drastic changes concerning traditional social practices and how we relate to one another. Moreover, market-driven Big Tech corporations are now entering public domains, and concerns have been raised that they may even influence public agenda and research. Therefore, this chapter focuses on assessing and evaluating what kind of business model is desirable to incentivise the AI for Social Good (AI4SG) factors. In particular, the chapter explores the implications of this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Do the Laws of Physics Forbid the Operation of Time Machines?John Earman, Chris Smeenk & Christian Wüthrich - 2009 - Synthese 169 (1):91 - 124.
    We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  50. A Graph-theoretic Method to Define any Boolean Operation on Partitions.David Ellerman - 2019 - The Art of Discrete and Applied Mathematics 2 (2):1-9.
    The lattice operations of join and meet were defined for set partitions in the nineteenth century, but no new logical operations on partitions were defined and studied during the twentieth century. Yet there is a simple and natural graph-theoretic method presented here to define any n-ary Boolean operation on partitions. An equivalent closure-theoretic method is also defined. In closing, the question is addressed of why it took so long for all Boolean operations to be defined for partitions.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999