Results for 'Refined Labels'

847 found
Order:
  1. Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon - 2021 - Dissertation, Technischen Universität Wien
    This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  91
    DSm Super Vector Space of Refined Labels.W. B. Vasantha Kandasamy & Florentin Smarandache - 2011 - Columbus, OH, USA: Zip Publishing.
    In this book authors for the first time introduce the notion of supermatrices of refined labels. Authors prove super row matrix of refined labels form a group under addition. However super row matrix of refined labels do not form a group under product; it only forms a semigroup under multiplication. In this book super column matrix of refined labels and m × n matrix of refined labels are introduced and studied.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
    We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 202-218.
    This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177-194.
    This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Between Reason and Coercion: Ethically Permissible Influence in Health Care and Health Policy Contexts.J. S. Blumenthal-Barby - 2012 - Kennedy Institute of Ethics Journal 22 (4):345-366.
    In bioethics, the predominant categorization of various types of influence has been a tripartite classification of rational persuasion (meaning influence by reason and argument), coercion (meaning influence by irresistible threats—or on a few accounts, offers), and manipulation (meaning everything in between). The standard ethical analysis in bioethics has been that rational persuasion is always permissible, and coercion is almost always impermissible save a few cases such as imminent threat to self or others. However, many forms of influence fall into the (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  8. Saying and Doing: Speech Actions, Speech Acts and Related Events.Gruenberg Angela - 2011 - European Journal of Philosophy 22 (2):173-199.
    The question which this paper examines is that of the correct scope of the claim that extra-linguistic factors (such as gender and social status) can block the proper workings of natural language. The claim that this is possible has been put forward under the apt label of silencing in the context of Austinian speech act theory. The ‘silencing’ label is apt insofar as when one’s ability to exploit the inherent dynamic of language is ‘blocked’ by one’s gender or social status (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Setting Sail: The Development and Reception of Quine’s Naturalism.Sander Verhaegh - 2018 - Philosophers' Imprint 18:1-24.
    Contemporary analytic philosophy is dominated by metaphilosophical naturalism, the view that philosophy ought to be continuous with science. This naturalistic turn is for a significant part due to the work of W. V. Quine. Yet, the development and the reception of Quine’s naturalism have never been systematically studied. In this paper, I examine Quine’s evolving naturalism as well as the reception of his views. Scrutinizing a large set of unpublished notes, correspondence, drafts, papers, and lectures as well as published responses (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu - 2021 - ACM Transactions on Computational Logic 22 (3):1-31.
    We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Refining the Bayesian Approach to Unifying Generalisation.Nina Poth - 2022 - Review of Philosophy and Psychology (3):1-31.
    Tenenbaum and Griffiths (2001) have proposed that their Bayesian model of generalisation unifies Shepard’s (1987) and Tversky’s (1977) similarity-based explanations of two distinct patterns of generalisation behaviours by reconciling them under a single coherent task analysis. I argue that this proposal needs refinement: instead of unifying the heterogeneous notion of psychological similarity, the Bayesian approach unifies generalisation by rendering the distinct patterns of behaviours informationally relevant. I suggest that generalisation as a Bayesian inference should be seen as a complement to, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Medical Diagnosis via Refined Neutrosophic Fuzzy Logic: Detection of Illness using Neutrosophic Sets.Florentin Smarandache, K. Hemabala & B. Srinivasa Kumar - 2023 - Journal of Advanced Zoology 44.
    The objective of the paper is to implement and validate diagnosis in the medical field via refined neutrosophic fuzzy logic (RNFL). As such, we have proposed a Max-Min composition (MMC) method in RNFL. This method deals with the diagnosis under certain constraints like uncertainty and indeterminacy. Further, we have considered the diagnosis problems to validate the sensitivity analysis of the novel multi attribute decision-making technique. Finally, we gave the graphical representations and compared the obtained results with other existing measures (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  62
    On Refined Neutrosophic Finite p-Group.Sunday Adesina Adebisi & Florentin Smarandache - 2023 - Journal of Fuzzy Extension and Applications 4.
    The neutrosophic automorphisms of a neutrosophic groups G (I) , denoted by Aut(G (I)) is a neu-trosophic group under the usual mapping composition. It is a permutation of G (I) which is also a neutrosophic homomorphism. Moreover, suppose that X1 = X(G (I)) is the neutrosophic group of inner neutrosophic auto-morphisms of a neutrosophic group G (I) and Xn the neutrosophic group of inner neutrosophic automorphisms of Xn-1. In this paper, we show that if any neutrosophic group of the sequence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Refining the Skill Hypothesis: Replies to Andrews/Westra, Tomasello, Sterelny, and Railton.Jonathan Birch - 2021 - Analyse & Kritik 43 (1):253-260.
    I reflect on the commentaries on my ‘skill hypothesis’ from Andrews/westra, Tomasello, Sterelny, and Railton. I discuss the difference between normative cognition and the broader category of action-guiding representation, and I reflect on the relationship between joint intentionality and normative cognition. I then consider Sterelny and Railton’s variants on the skill hypothesis, which highlight some important areas where future evidence could help us refine the account: the relative importance of on-the-fly skill execution vs. longer-term strategizing, the relative importance of toolmaking (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  49
    Modular labelled calculi for relevant logics.Fabio De Martin Polo - 2023 - Australasian Journal of Logic 20 (1):47-87.
    In this article, we perform a detailed proof theoretic investigation of a wide number of relevant logics by employing the well-established methodology of labelled sequent calculi to build our intended systems. At the semantic level, we will characterise relevant logics by employing reduced Routley-Meyer models, namely, relational structures with a ternary relation between worlds along with a unique distinct element considered as the real (or actual) world. This paper realizes the idea of building a variety of modular labelled calculi by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Refining OntoClean. Identity Criteria and Grounding.Ciro De Florio & Massimiliano Carrara - 2020 - Proceedings of the Joint Ontology Workshops (JOWO 2020).
    In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms of dependence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Neutrosophic Refined Similarity Measure Based on Cosine Function.Said Broumi & Florentin Smarandache - 2014 - Neutrosophic Sets and Systems 6:42-48.
    In this paper, the cosine similarity measure of neutrosophic refined (multi-) sets is proposed and its properties are studied. The concept of this cosine similarity measure of neutrosophic refined sets is the extension of improved cosine similarity measure of single valued neutrosophic. Finally, using this cosine similarity measure of neutrosophic refined set, the application of medical diagnosis is presented.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Refined Literal Indeterminacy and the Multiplication Law of Sub-Indeterminacies.Florentin Smarandache - 2015 - Neutrosophic Sets and Systems 9:58-63.
    In this paper, we make a short history about: the neutrosophic set, neutrosophic numerical components and neutrosophic literal components, neutrosophic numbers, neutrosophic intervals, neutrosophic hypercomplex numbers of dimension n, and elementary neutrosophic algebraic structures. Afterwards, their generalizations to refined neutrosophic set, respectively refined neutrosophic numerical and literal components, then refined neutrosophic numbers and refined neutrosophic algebraic structures.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  19. Off-Label Prescription of COVID-19 Vaccines in Children: Clinical, Ethical, and Legal Issues.Govind Persad, Holly Fernandez Lynch & Patricia J. Zettler - 2021 - Pediatrics 2021:e2021054578.
    We argue that the universal recommendations against “off-label” pediatric use of approved COVID-19 issued by the FDA, CDC, and AAP are overbroad. Especially for higher-risk children, vaccination can be ethically justified even before FDA authorization or approval – and similar reasoning is relevant for even younger patients. Legal risks can also be managed, although the FDA, CDC, and Department of Health and Human Services (HHS) should move quickly to provide clarity.
    Download  
     
    Export citation  
     
    Bookmark  
  20. Autonomy and Manipulation: Refining the Argument Against Persuasive Advertising.Timothy Aylsworth - 2020 - Journal of Business Ethics 175 (4):689-699.
    Critics of persuasive advertising argue that it undermines the autonomy of consumers by manipulating their desires in morally problematic ways. My aim is this paper is to refine that argument by employing a conception of autonomy that is not at odds with certain forms of manipulation. I argue that the charge of manipulation is not sufficient for condemning persuasive advertising. On my view, manipulation of an agent’s desires through advertising is justifiable in cases where the agent accepts the process through (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  21. Similarity Measure of Refined Single-Valued Neutrosophic Sets and Its Multicriteria Decision Making Method.Jun Ye & Florentin Smarandache - 2016 - Neutrosophic Sets and Systems 12:41-44.
    This paper introduces a refined single-valued neutrosophic set (RSVNS) and presents a similarity measure of RSVNSs. Then a multicriteria decision-making method with RSVNS information is developed based on the similarity measure of RSVNSs. By the similarity measure between each alternative and the ideal solution (ideal alternative), all the alternatives can be ranked and the best one can be selected as well. Finally, an actual example on the selecting problems of construction projects demonstrates the application and effectiveness of the proposed (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Refined Invariantism.Jacques-Henri Vollet - 2020 - Theoria 86 (1):100-127.
    A certain number of cases suggest that our willingness to ascribe “knowledge” can be influenced by practical factors. For revisionary proposals, they indicate that the truth‐values of “knowledge” ascriptions vary with practical factors. For conservative proposals, on the contrary, nothing surprising is happening. Standard pragmatic approaches appeal to pragmatic implicatures and psychological approaches to the idea that belief formation is influenced by practical factors. Conservative proposals have not yet offered a fully satisfactory explanation, though. In this article, I introduce and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. A Refined Propensity Account for GRW Theory.Lorenzo Lorenzetti - 2021 - Foundations of Physics 51 (2):1-20.
    Spontaneous collapse theories of quantum mechanics turn the usual Schrödinger equation into a stochastic dynamical law. In particular, in this paper, I will focus on the GRW theory. Two philosophical issues that can be raised about GRW concern (i) the ontology of the theory, in particular the nature of the wave function and its role within the theory, and (ii) the interpretation of the objective probabilities involved in the dynamics of the theory. During the last years, it has been claimed (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Engineering Social Concepts: Labels and the Science of Categorization.Eleonore Neufeld - forthcoming - In Sally Haslanger, Karen Jones, Greg Restall, Francois Schroeter & Laura Schroeter (eds.), Mind, Language, and Social Hierarchy: Constructing a Shared Social World. Oxford University Press.
    One of the core insights from Eleanor Rosch’s work on categorization is that human categorization isn’t arbitrary. Instead, two psychological principles constrain possible systems of classification for all human cultures. According to these principles, the task of a category system is to provide maximum information with the least cognitive effort, and the perceived world provides us with structured rather than arbitrary features. In this paper, I show that Rosch's insights give us important resources for making progress on the 'feasibility question' (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.
    We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  81
    Neutrosophic Actions, Prevalence Order, Refinement of Neutrosophic Entities, and Neutrosophic Literal Logical Operators.Florentin Smarandache - 2015 - Neutrosophic Sets and Systems 10:102-107.
    In this paper, we define for the first time three neutrosophic actions and their properties. We then introduce the prevalence order on {T, I, F} with respect to a given neutrosophic operator “o”, which may be subjective - as defined by the neutrosophic experts; and the refinement of neutrosophic entities <A>, <neutA>, and <antiA> . Then we extend the classical logical operators to neutrosophic literal logical operators and to refined literal logical operators, and we define the refinement neutrosophic literal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  24
    Beyond semantic pollution: Towards a practice-based philosophical analysis of labelled calculi.Fabio De Martin Polo - forthcoming - Erkenntnis.
    This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. On the theory of labels-tokens.Urszula Wybraniec-Skardowska - 1981 - Bulletin of the Section of Logic 10 (1):30-33.
    This note is based on a lecture delivered at the Conference on the Scien- tic Research of the Mathematical Center of Opole, Turawa, May 10-11th, 1980. A somewhat extended version will be published in the Proceedings of the Conference. At the same time it is an abstract of a part of a planned larger paper, which will involve the theory of label-tokens. The theory is included into the author's monograph in Polish "Teorie Językow Syntaktycznie Kategorialnych", PWN, Warszawa-Wrocław 1985 and into (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  92
    Introduction to the Complex Refined Neutrosophic Set.Florentin Smarandache - 2017 - Critical Review: A Journal of Politics and Society 14 (1):5-9.
    In this paper, one extends the single-valued complex neutrosophic set to the subsetvalued complex neutrosophic set, and afterwards to the subset-valued complex refined neutrosophic set.
    Download  
     
    Export citation  
     
    Bookmark  
  30.  80
    Neutosophic Quadruple Numbers, Refined Neutrosophic Quadruple Number, Absorbance Law, and the Multiplication of Neutrosophic Quadruple Numbers.Florentin Smarandache - 2015 - Neutrosophic Sets and Systems 10:96-98.
    In this paper, we introduce for the first time the neutrosophic quadruple numbers (of the form a + bT + cI + dF) and the refined neutrosophic quadruple numbers. Then we define an absorbance law, based on a prevalence order, both of them in order to multiply the neutrosophic components T, I, F, or their sub-components tJ, Ik, Fl and thus to construct the multiplication of neutrosophic quadruple numbers.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Refining the Material Substance: Aristotle's Program in Metaphysics H1-5.Fabian Mié - 2018 - Síntesis: Revista de Filosofía 1 (2):54-100.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  60
    Ambiguous Set is a subclass of the Double Refined Indeterminacy Neutrosophic Set, and of the Refined Neutrosophic Set in general.Florentin Smarandache - 2023 - Neutrosophic Sets and Systems 58.
    In this short note we show that the so-called Ambiguous Set (2019) is a subclass of the Double Refined Indeterminacy Neutrosophic Set (2017) and is a particular case of the Refined Neutrosophic Set (2013). Also, the Ambiguous Set is similar to the Quadripartitioned Neutrosophic Set (2016), and Belnap’s Four-Valued Logic (1975).
    Download  
     
    Export citation  
     
    Bookmark  
  33. Aristotle on “dunatos” as a label for imperfect syllogisms.Lucas Angioni - forthcoming - In Graziana Ciola & Milo Crimi (eds.), Validity Throughout History. Munich, Germany:
    This paper discusses the following question: why was the term “dunatos” (“possible”) employed by Aristotle as an alternative label for imperfect syllogisms in his discussion of assertoric syllogistic? My answer ascribes to Aristotle a bottom up perspective, in which he stresses what is necessary in the premise-pairs to attain target conclusions of a given form within a given figure. I argue that “dunatos” is employed by Aristotle to stress that an imperfect syllogism is always one of the possible options to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Wittgensteinian-Foucauldian Analysis of Labelling Theory.Coraline Empson - manuscript
    In this essay, I analyse Howard S. Becker's labelling theory, using Wittgenstein and Foucault to argue that it has significant explanatory power in describing what I term "the hegemonic power of the label". Much of this essay hints at my general thought with regards hegemony at the level of interaction and language. Final grade was first class honours, 2,000 word limit. -/- The ideas expressed herein have matured significantly since. I am working on a quantitative study with my University to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Otto Neurath's Scientific Utopianism Revisited - A Refined Model for Utopias in Thought Experiments.Alexander Linsbichler & Ivan Ferreira da Cunha - 2023 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie (2):1-26.
    Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. The FDA Ought to Change Plan B’s Label.Christopher ChoGlueck - 2022 - Contraception 106.
    This commentary defends 3 arguments for changing the label of levonorgestrel-based emergency contraception (LNG EC) so that it no longer supports the possibility of a mechanism of action after fertilization. First, there is no direct scientific evidence confirming any postfertilization mechanisms. Second, despite the weight of evidence, there is still widespread public misunderstanding over the mechanism of LNG EC. Third, this FDA label is not a value-free claim, but instead it has functioned like a political tool for reducing contraceptive access. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Elimination of Bias in Introspection: Methodological Advances, Refinements, and Recommendations.Radek Trnka & Vit Smelik - 2020 - New Ideas in Psychology 56.
    Building on past constructive criticism, the present study provides further methodological development focused on the elimination of bias that may occur during first-person observation. First, various sources of errors that may accompany introspection are distinguished based on previous critical literature. Four main errors are classified, namely attentional, attributional, conceptual, and expressional error. Furthermore, methodological recommendations for the possible elimination of these errors have been determined based on the analysis and focused excerpting of introspective scientific literature. The following groups of methodological (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Dirac’s Refined Unification of Quantum Mechanics and Special Relativity: An Intertheoretic Context.Rinat M. Nugayev - 2022 - Teorie Vědy / Theory of Science 44 (1):37-57.
    One of the key episodes of history of modern physics – Paul Dirac’s startling contrivance of the relativistic theory of the electron – is elicited in the context of lucid epistemological model of mature theory change. The peculiar character of Dirac’s synthesis of special relativity and quantum mechanics is revealed by comparison with Einstein’s sophisticated methodology of the General Relativity contrivance. The subtle structure of Dirac’s scientific research program and first and foremost the odd principles that put up its powerful (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. More than consent for ethical open-label placebo research.Laura Specker Sullivan - 2021 - Journal of Medical Ethics 47 (12):e7-e7.
    Recent studies have explored the effectiveness of open-label placebos for a variety of conditions, including chronic pain, cancer-related fatigue and irritable bowel syndrome. OLPs are thought to sidestep traditional ethical worries about placebos because they do not involve deception: with an OLP, patients or subjects are told outright that they are not given an active substance. As deception is framed as the primary hurdle to ethical placebo use, the door is ostensibly opened to ethical studies of OLPs. In this article, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Problem representation for refinement.H. Altay Guvenir & Varol Akman - 1992 - Minds and Machines 2 (3):267-282.
    In this paper we attempt to develop a problem representation technique which enables the decomposition of a problem into subproblems such that their solution in sequence constitutes a strategy for solving the problem. An important issue here is that the subproblems generated should be easier than the main problem. We propose to represent a set of problem states by a statement which is true for all the members of the set. A statement itself is just a set of atomic statements (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. The Dappled World Perspective Refined.Karlis Podnieks - 2014 - The Reasoner 8 (1):3--4.
    The concept of the Dappled World Perspective was first proposed by Nancy Cartwright. I propose a new argument in favour of the Dappled World Perspective, and show how this Perspective can be refined in the model-based model of cognition. Limitations to modeling are not caused by limitations of human cognition, but are limitations built into the very structure of the Universe. At the level of models, we will always have only a patchwork of models, each very restricted in its (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Smell identification and the role of labels.Giulia Martina - forthcoming - Philosophical Psychology.
    1. Historically, our sense of smell has been deemed informationally impoverished, not very discerning, subjective, ineffable, and generally of little value (for an overview, see e.g., Barwich, 2020...
    Download  
     
    Export citation  
     
    Bookmark  
  43. “Extreme" porn? The implications of a label.Steve Jones - 2016 - Porn Studies:1-13.
    Despite its prevalence, the term ‘extreme’ has received little critical attention. ‘Extremity’ is routinely employed in ways that imply its meanings are self-evident. However, the adjective itself offers no such clarity. This article focuses on one particular use of the term – ‘extreme porn’ – in order to illustrate a broader set of concerns about the pitfalls of labelling. The label ‘extreme’ is typically employed as a substitute for engaging with the term’s supposed referents (here, pornographic content). In its contemporary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Design of Label Sorting Algorithm Program as Batik Pattern Drawer with Euclidean Distance Method.Budi Setiyono, Sumardi & Solichul Huda - 2018 - International Journal of Engineering and Information Systems (IJEAIS) 3 (2):36-46.
    Abstract: The development of technology pushes human to increase productivity by changing manual system to automatic system. Modernization affect almost all aspect especially in art. Batik is a ancestor legacy of indonesian people that recogized by UNESCO as culture legacy of Indonesia yet batik industries are not develop as much. Modernization in batik art is expected to optimize its productivity. This research design algorithm and the program in MATLAB that used for controlling movement protype of batik maker 2 dof cartesian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. A proposal to refine concept mapping for effective science learning.Meena Kharatmal & Nagarjuna G. - 2006 - In A. J. Canas & J. D. Novak (eds.), Concept Maps: Theory, Methodology, Technology Proc. of the Second Int. Conference on Concept Mapping.
    Concept maps are found to be useful in eliciting knowledge, meaningful learning, evaluation of understanding and in studying the nature of changes taking place during cognitive development, particularly in the classroom. Several experts have claimed the effectiveness of this tool for learning science. We agree with the claim, but the effectiveness will improve only if we gradually introduce a certain amount of discipline in constructing the maps. The discipline is warranted, we argue, because science thrives to be an unambiguous and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Dignāga's Argument for the Awareness Principle: An Analytic Refinement.Uriah Kriegel - 2019 - Philosophy East and West 69:144-156.
    Contemporary theories of consciousness can be divided along several major fault lines, but one of the most prominent concerns the question of whether they accept the principle that a mental state's being conscious involves essentially its subject being aware of it. Call this the awareness principle: For any mental state M of a subject S, M is conscious only if S is aware of M. Although analytic philosophers divide sharply on whether to accept the principle, the philosophy-of-mind literature appears to (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  47. Arte, sociedade e luxo: sobre o gosto e o refinamento nas cartas filosóficas de Voltaire / Art, Society and Luxury. Taste and Refinement On Voltaire´s Philosophical Letters.Luis F. Roselino - 2011 - Argumentos 3 (5):51-62.
    Voltaire has presented in his Letters on the English different themes, from religious ethics, literacy, politics, to dramas and science. The letters present us a comparison between England and France. In this parallel we shall present how Voltaire was concerned in evaluate a high standard of taste and refinements. This paper will review some of the last letters of those, which testify about this criterion of taste as a modern point of view. We shall present in Voltaire the eminence of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Observability of Turing Machines: a refinement of the theory of computation.Yaroslav Sergeyev & Alfredo Garro - 2010 - Informatica 21 (3):425–454.
    The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the relativity of mathematical languages used to describe the Turing machines. A deep investigation is performed on the interrelations between mechanical computations and their mathematical descriptions emerging when a human (the researcher) starts to describe a Turing machine (the object of the study) by (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Evaluation of Department Head Person Based on Gender, Gender Role Orientation, and Attachment of Labels in Dire Dawa University.Mustefa Jibril - 2021 - New York Science Journal 14 (11):6-9.
    The study, designed to find out the gender outcome, gender roles, and labeling of labels in the department's head examination, was conducted using 194 study participants recruited from lecturers at Dire Dawa University in Ethiopia 116 women and 78 were males aged 29.23. The following five labels are used: Department head in general, efficient male Department head, efficient female Department head, inefficient male Department head, and inefficient female Department head) were responded to by the research participants. Seven different (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  55
    Fusion, fission, and Ackermann’s truth constant in relevant logics: A proof-theoretic investigation.Fabio De Martin Polo - forthcoming - In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer.
    The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 847