Results for 'proving a negative'

987 found
Order:
  1. Negativity Bounds for Weyl–Heisenberg Quasiprobability Representations.John B. DeBrota & Christopher A. Fuchs - 2017 - Foundations of Physics 47 (8):1009-1030.
    The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu :120404, 2016) proved that the upper and lower bounds with respect to one type of negativity measure are saturated by quasiprobability representations which are in one-to-one correspondence with (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Experimental Philosophy, Clinical Intentions, and Evaluative Judgment.Lynn A. Jansen, Jessica S. Fogel & Mark Brubaker - 2013 - Cambridge Quarterly of Healthcare Ethics 22 (2):126-135.
    Recent empirical work on the concept of intentionality suggests that people’s assessments of whether an action is intentional are subject to uncertainty. Some researchers have gone so far as to claim that different people employ different concepts of intentional action. These possibilities have motivated a good deal of work in the relatively new field of experimental philosophy. The findings from this empirical research may prove to be relevant to medical ethics. In this article, we address this issue head on. We (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Normalisation for Negative Free Logics Without and with Definite Descriptions.Nils Kürbis - forthcoming - Review of Symbolic Logic.
    This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Who invokes silent negation? The view from a hybrid negative concord language.Anna Szabolcsi - manuscript
    In seminal work, Zeijlstra has proposed that the sentential negative marker in strict negative concord languages is a meaningless particle (uNeg) that invokes a silent negative operator (iNeg) at the periphery. Negative concord items (NCI) are also supposed to have uNeg. This paper puts forth new arguments to the effect that the Hungarian negative marker NEM has uNeg, but NCIs do not. Their relation to negation is indirect; they need to be exhaustified, which in turn (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. A small reflection principle for bounded arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.
    We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  6. A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2021 - Studia Logica 110 (1):219-239.
    This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Letters to No One in Particular- a Discussion and Illustration of Spinoza's 'Fragment' or "on the Improvement of the Understanding".Charles Saunders - 2014 - Pulayana Publishing.
    In the current age there exists a widespread and extremely negative opinion of humankind held almost everywhere. The prevailing theory and application in all of science and religion holds that 'human perception is deeply flawed'. In all of the established religions of the world human kind is somehow seen as fallen and in need of a powerful intervention and 'saving' from our frail natures. In the scientific community our limitations require external proofs to substantiate our assertions about nature. There (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. A Consistent Egalitarian: an Analysis of the Relationship between Kant's Race Theory and Moral Philosphy.Lu Zhao - 2021 - Wuda Philosophical Review 28 (2):268-290.
    Kant is regarded as the spokesman of the contemporary declaration of human rights and the forerunner of global citizenship theory. However, this noble image has been questioned by critics for his comment of empirical racial hierarchy stated in the pre-critical period: Kant’s moral law applies only to the white race with the “full personality”. Around the question of whether Kant’s pure moral philosophy was impregnated by his racist view, the defenders of Kant either adopt the negative defense strategy of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Logical vs Practical Reasons.Paul Mayer - manuscript
    For years, the European world saw millions of swans, and all of them without exception were white. If inductive reasoning is valid, one may conclude that all swans are white. However, this would be incorrect: in 1667 Dutch explorer Willem de Vlamingh observed black swans in Australia, falsifying the hypothesis that all swans are white. While often used as a cautionary tale for the use of induction, such as with Popper’s falsification principle, I want to explore a slightly different idea: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Explaining the Paradoxes of Logic – The Nub of the Matter and its Pragmatics.Dieter Wandschneider - 1993 - In PRAGMATIK, Vol. IV. Hamburg:
    [[[ (Here only the chapters 3 – 8, see *** ) First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). ]]] The central question here is that about the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Completeness and Doxastic Plurality for Topological Operators of Knowledge and Belief.Thomas Mormann - 2023 - Erkenntnis: 1 - 34, ONLINE.
    The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Logicism, Possibilism, and the Logic of Kantian Actualism.Andrew Stephenson - 2017 - Critique.
    In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to the question: ‘could (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. On the ‘Freedom Agenda’ and the George W. Bush Legacy: A Philosophical Inquiry.Shane J. Ralston - 2009 - In Michael Orlov Grosmman & Ronald Eric Matthews (eds.), Perspectives on the Legacy of George W. Bush. Cambridge Scholars Publishing. pp. 137-151.
    The legacy of George W. Bush will probably be associated with the President’s infallibly certain style of visionary leadership and his specific vision of a ‘Freedom Agenda’. According to this vision, the United States must spread democracy to all people who desire liberty and vanquish those tyrants and terrorists who despise it. Freedom is universally valued, and the United States is everywhere perceived as freedom’s protector and purveyor. So, the mission of the Freedom Agenda is to guard existing freedoms as (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Hilbert's 10th Problem for solutions in a subring of Q.Agnieszka Peszek & Apoloniusz Tyszka - 2019 - Scientific Annals of Computer Science 29 (1):101-111.
    Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Personal and Doxastic Variants of Epistemic Justification and Their Roles in the Theory of Knowledge.Mylan Engel Jr - 1988 - Dissertation, The University of Arizona
    Most epistemologists agree that epistemic justification is required for knowledge. This requirement is usually formulated in one of two ways: S knows that p only if S is justified in believing that p. S knows that p only if S's belief that p is justified. Surprisingly and are generally regarded as synonymous formulations of the justification condition. In Chapter 1, I argue that such a synonymy thesis is mistaken and that, in fact, and specify substantively different requirements. requires that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. What photographs are (and what they are not).Jiri Benovsky - 2011 - Disputatio 4 (31):239 - 254.
    For the metaphysician, photographs are very puzzling entities indeed. And even from the non-philosopher's intuitive point of view, it is not that clear what sort of thing a photograph is. Typically, if a client wants to purchase a photograph, she can mean very different things by 'buying a photograph' : she can mean to buy a print or a number of prints, or she can mean to buy a negative (when traditional film photographs are concerned) or a file (when (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Die Antinomien der Logik – Der Kern des Problems und seine Pragmatik.Dieter Wandschneider - 1993 - In PRAGMATIK, Vol. IV. Hamburg: pp. 320–352.
    First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). The central question here is that about the actual reason for antinomic structures. It turns out to be a form (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Students' awareness, willingness and utilisation of facebook for research data collection: Multigroup analysis with age and gender as control variables.Valentine Joseph Owan, Moses Eteng Obla, Michael Ekpenyong Asuquo, Mercy Valentine Owan, Godian Patrick Okenjom, Stephen Bepeh Undie, Joseph Ojishe Ogar & Kelechi Victoria Udeh - 2023 - Journal of Pedagogical Research 7 (4):369-399.
    Previous research has extensively analysed teachers' and students' Facebook use for instructional engagement, writing, research dissemination and e-learning. However, Facebook as a data collection mechanism for research has scarcely been the subject of previous studies. The current study addressed these gaps by analysing students' awareness, willingness, and utilisation of Facebook for research data collection [RDC]. This study aimed to predict students’ Facebook use for research data collection based on their awareness and willingness and to determine age and gender differences in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Cień Boga w ogrodzie filozofa. Parc de La Villette w Paryżu w kontekście filozofii chôry.Wąs Cezary - 2021 - Wrocław: Wydawnictwo Uniwersytetu Wrocławskiego.
    The Shadow of God in the Philosopher’s Garden. The Parc de La Villette in Paris in the context of the philosophy of chôra I Bernard Tschumi’s project of the Parc de La Villette could have won the competition and was implemented thanks to the political atmosphere that accompanied the victory of the left-wing candidate in the French presidential elections in 1981. François Mitterand’s revision of the political programme and the replacement of radical reforms with the construction of prestigious architectural objects (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Natural Topology.Frank Waaldijk - 2012 - Brouwer Society.
    We develop a simple framework called ‘natural topology’, which can serve as a theoretical and applicable basis for dealing with real-world phenomena.Natural topology is tailored to make pointwise and pointfree notions go together naturally. As a constructive theory in BISH, it gives a classical mathematician a faithful idea of important concepts and results in intuitionism. -/- Natural topology is well-suited for practical and computational purposes. We give several examples relevant for applied mathematics, such as the decision-support system Hawk-Eye, and various (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. The worst-motive fallacy: A negativity bias in motive attribution.Joel Walmsley & O'Madagain Cathal - 2020 - Psychological Science 31 (11):1430--1438.
    In this article, we describe a hitherto undocumented fallacy-in the sense of a mistake in reasoning-constituted by a negativity bias in the way that people attribute motives to others. We call this the "worst-motive fallacy," and we conducted two experiments to investigate it. In Experiment 1, participants expected protagonists in a variety of fictional vignettes to pursue courses of action that satisfy the protagonists' worst motive, and furthermore, participants significantly expected the protagonist to pursue a worse course of action than (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Jean-Luc Nancy: A Negative Politics?Andreas Wagner - 2006 - Philosophy and Social Criticism 32 (1):89-109.
    Taking his critique of totalitarianizing conceptions of community as a starting point, this text examines Jean-Luc Nancy's work of an ‘ontology of plural singular being’ for its political implications. It argues that while at first this ontology seems to advocate a negative or an anti-politics only, it can also be read as a ‘theory of communicative praxis’ that suggests a certain ethos – in the form of a certain use of symbols (which is expressed only inaptly by the word (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  23. (1 other version)Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. The confucian golden rule: A negative formulation.Robert E. Allinson - 1985 - Journal of Chinese Philosophy 12 (3):305-315.
    Much has been said about Confucius’ negative formulation of the Golden Rule. Most discussions center on explaining why this formulation, while negative, does not differ at all in intention from the positive formulation. It is my view that such attempts may have the effect of blurring the essential point behind the specifically negative formulation, a point which I hope to elucidate in this essay. It is my first contention that such a negative formulation is consonant with (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  25. Aristotle on Essence, Essential, Accident and Accidental.Mohammad Bagher Ghomi - manuscript
    A. Accident 1. We call an accident (συμβεβηκὸς) that which attaches to something and can be truly asserted, but neither of necessity nor usually.’ (Met. , Δ, 1025a14-16) 2. Whenever an accident attaches to a subject, it attaches to it not because it is that subject (μὴ διότι τοδὶ ἧν). (Met., Δ, 1025a21-24) 3. ‘There is no definite cause for an accident, but a chance cause, i.e. an indefinite one.’ (Met., Δ, 1025a24-25) 4. ‘The accident has happened or exists, -not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. A graph-theoretic account of logics.A. Sernadas, C. Sernadas, J. Rasga & Marcelo E. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1281-1320.
    A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Truth and Existence.Jan Heylen & Leon Horsten - 2017 - Thought: A Journal of Philosophy 6 (1):106-114.
    Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an improvement on Halbach's argument. By adding the Tarski biconditionals to inclusive negative free logic and the universal closure of minimal arithmetic, which is by itself an ontologically neutral combination, one can prove that at least one thing exists. The result (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Art works for isolates.Paul O'Halloran - 2020 - Dissertation, University of Melbourne
    In a Covid-19 world, everyone’s circumstances changed. Most of us are living and or working in quarantine or lockdown. There is evidence that lockdown itself can have serious negative psychological impact (Brooks et al., 2020). Nonetheless, strategies are being proposed which, arguably, mitigate these harms. Artmaking is one such strategy. As ‘art therapy’, it has been usefully deployed to address a wide range of mental health challenges including anxiety, depression, fatigue and post-traumatic stress (Regev & Cohen-Yatziv, 2018). Given that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Coherence & Confirmation: The Epistemic Limitations of the Impossibility Theorems.Ted Poston - 2022 - Kriterion - Journal of Philosophy 36 (1):83-111.
    It is a widespread intuition that the coherence of independent reports provides a powerful reason to believe that the reports are true. Formal results by Huemer, M. 1997. “Probability and Coherence Justification.” Southern Journal of Philosophy 35: 463–72, Olsson, E. 2002. “What is the Problem of Coherence and Truth?” Journal of Philosophy XCIX : 246–72, Olsson, E. 2005. Against Coherence: Truth, Probability, and Justification. Oxford University Press., Bovens, L., and S. Hartmann. 2003. Bayesian Epistemology. Oxford University Press, prove that, under (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. The (Im)possibility of Prudence: Population Ethics for Person-Stages.Marina Moreno - manuscript
    This paper develops a largely neglected parallel between prudence and population ethics. Prudence is generally understood to be concerned with the balancing of well-being over time. How, precisely, well-being ought to be balanced over time, however, is a fervently debated question. I argue that developing a standard guiding such evaluations is exceedingly challenging. This is due to an often overlooked fact about prudence, namely that it shares a structural similarity with population ethics: In both contexts, we assess the comparative value (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Strict conditionals: A negative result.Jan Heylen & Leon Horsten - 2006 - Philosophical Quarterly 56 (225):536–549.
    Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  32. Dialectical and heuristic arguments: presumptions and burden of proof.Fabrizio Macagno - 2010 - In C. Tindale & C. Reed (eds.), Dialectics, Dialogue and Argumentation: An Examination of Douglas Walton's Theories of Reasoning and Argument. College Publications. pp. 45-57.
    Presumption is a complex concept in law, affecting the dialogue setting. However, it is not clear how presumptions work in everyday argumentation, in which the concept of “plausible argumentation” seems to encompass all kinds of inferences. By analyzing the legal notion of presumption, it appears that this type of reasoning combines argument schemes with reasoning from ignorance. Presumptive reasoning can be considered a particular form of reasoning, which needs positive or negative evidence to carry a probative weight on the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Eugenics: positive vs negative.Robert A. Wilson - 2014 - Eugenics Archives.
    The distinction between positive and negative eugenics is perhaps the best-known distinction that has been made between forms that eugenics takes. Roughly, positive eugenics refers to efforts aimed at increasing desirable traits, while negative eugenics refers to efforts aimed at decreasing undesirable traits. Still, it is easy to fall into confusion in drawing and deploying the distinction in particular contexts. Clarity here is important not only historically, but also for appeals to the distinction in contemporary discussions of “new (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Negative Natural Theology and the Sinlessness, Incarnation, and Resurrection of Jesus.Robert Greg Cavin & Carlos A. Colombetti - 2014 - Philosophia Christi 16 (2):409-418.
    We respond to Swinburne’s reply to our critique of his argument for the Resurrection by defending the relevance of our counterexamples to his claim that God does not permit grand deception. We reaffirm and clarify our charge that Swinburne ignores two crucial items of Negative Natural Theology (NNT)—that God has an exceptionally weak tendency to raise the dead and that even people with exemplary public records sometimes sin. We show, accordingly, that our total evidence makes it highly probable that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. A semantic approach to the structure of population genetics.Elisabeth A. Lloyd - 1984 - Philosophy of Science 51 (2):242-264.
    A precise formulation of the structure of modern evolutionary theory has proved elusive. In this paper, I introduce and develop a formal approach to the structure of population genetics, evolutionary theory's most developed sub-theory. Under the semantic approach, used as a framework in this paper, presenting a theory consists in presenting a related family of models. I offer general guidelines and examples for the classification of population genetics models; the defining features of the models are taken to be their state (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  36. What (if anything) is ideological about ideal theory?Titus Stahl - 2024 - European Journal of Political Theory 23 (2):135-158.
    It is sometimes argued that ideal theories in political philosophy are a form of ideology. This article examines arguments building on the work of Charles Mills and Raymond Geuss for the claim that ideal theories are cognitively distorting belief systems that have the effect of stabilizing unjust social arrangements. I argue that Mills and Geuss neither succeed in establishing that the content of ideal theories is necessarily cognitively defective in the way characteristic for ideologies, nor can they make plausible which (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  37. A Community Based Study on the Role of Maternal Education on Antenatal Care Services and Child Care at Various Tribal Villages, Adilabad, Telangana State.A. Ravinder & G. Sreekanth - 2020 - Journal of Contemporary Medicine and Dentistry 8 (2):05-09.
    Background: Educated women tend to have a greater awareness of the existence of ANC services, more aware of health problems, know more about the availability of health care services, and utilize the information more effectively than non-educated women. Moreover, higher levels of education tend to positively affect healthseeking behaviors, and education may increase a woman’s control over her pregnancy and expose women to more health education messages and campaigns, enabling them to recognize danger signs and complications and take appropriate action. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Beyond sacrificial harm: A two-dimensional model of utilitarian psychology.Guy Kahane, Jim A. C. Everett, Brian D. Earp, Lucius Caviola, Nadira S. Faber, Molly J. Crockett & Julian Savulescu - 2018 - Psychological Review 125 (2):131-164.
    Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  39. Meta-inferences and Supervaluationism.Luca Incurvati & Julian J. Schlöder - 2021 - Journal of Philosophical Logic 51 (6):1549-1582.
    Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. ONE AND THE MULTIPLE ON THE PHILOSOPHY OF MATHEMATICS - ALEXIS KARPOUZOS.Alexis Karpouzos - 2025 - Comsic Spirit 1:6.
    The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things return. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Not much higher-order vagueness in Williamson’s ’logic of clarity’.Nasim Mahoozi & Thomas Mormann - manuscript
    This paper deals with higher-order vagueness in Williamson's 'logic of clarity'. Its aim is to prove that for 'fixed margin models' (W,d,α ,[ ]) the notion of higher-order vagueness collapses to second-order vagueness. First, it is shown that fixed margin models can be reformulated in terms of similarity structures (W,~). The relation ~ is assumed to be reflexive and symmetric, but not necessarily transitive. Then, it is shown that the structures (W,~) come along with naturally defined maps h and s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Interests without History: Some Difficulties for a Negative Aristotelianism.Brian O'Connor - 2017 - European Journal of Philosophy 25 (3):854-860.
    This paper focuses on 3 features of Freyenhagen's Aristotelian version of Adorno. (a) It challenges the strict negativism Freyenhagen finds in Adorno. If we have morally relevant interests in ourselves, it is implicit that we have a standard by which to understand what is both good and bad for us (our interests). Because strict negativism operates without reference to what is good, it seems to be detached from real interests too. Torture, it is argued, is, among other things, a violation (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Normative framework of informed consent in clinical research in Germany, Poland, and Russia.Marcin Orzechowski, Katarzyna Woniak, Cristian Timmermann & Florian Steger - 2021 - BMC Medical Ethics 22 (1):1-10.
    Background: Biomedical research nowadays is increasingly carried out in multinational and multicenter settings. Due to disparate national regulations on various ethical aspects, such as informed consent, there is the risk of ethical compromises when involving human subjects in research. Although the Declaration of Helsinki is the point of reference for ethical conduct of research on humans, national normative requirements may diverge from its provisions. The aim of this research is to examine requirements on informed consent in biomedical research in Germany, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. A general tableau method for propositional interval temporal logics: Theory and implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
    In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It combines (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  45. An Expert System for Depression Diagnosis.Izzeddin A. Alshawwa, Mohammed Elkahlout, Hosni Qasim El-Mashharawi & Samy S. Abu-Naser - 2019 - International Journal of Academic Health and Medical Research (IJAHMR) 3 (4):20-27.
    Background: Depression (major depressive disorder) is a common and serious medical illness that negatively affects how you feel, the way you think and how you act. Fortunately, it is also treatable. Depression causes feelings of sadness and/or a loss of interest in activities once enjoyed. It can lead to a variety of emotional and physical problems and can decrease a person’s ability to function at work and at home. Depression affects an estimated one in 15 adults (6.7%) in any given (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  46. Priority monism, partiality, and minimal truthmakers.A. R. J. Fisher - 2015 - Philosophical Studies 172 (2):477-491.
    Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology and that truthmaker (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  47. Correlation Coefficient Measures of Interval Bipolar Neutrosophic Sets for Solving Multi-Attribute Decision Making Problems.Surapati Pramanik, Dey Partha Pratim & Florentin Smarandache - 2018 - Neutrosophic Sets and Systems 19:70-79.
    Interval bipolar neutrosophic set is a significant extension of interval neutrosophic set where every element of the set comprises of three independent positive membership functions and three independent negative membership functions. In this study, we first define correlation coefficient, and weighted correlation coefficient measures of interval bipolar neutrosophic sets and prove their basic properties. Then, we develop a new multi-attribute decision making strategy based on the proposed weighted correlation coefficient measure. Finally, we solve an investment problem with interval bipolar (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Does Aristotle have a dialectical attitude in EE I 6: a negative answer.Fernando Martins Mendonça - 2017 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 20:161-190.
    In this paper, I analyse EE I 6, where Aristotle presented a famous methodological digression. Many interpreters have taken this chapter as advocating a dialectical procedure of enquiry. My claim is that Aristotle does not keep a dialectical attitude towards endoxa or phainomena in this chapter. In order to accomplish my goal, I shall show that EE I 6 does not provide enough evidence for the dialectical construal of it, and that this construal, in turn, hangs on some assumptions brought (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Validations of proofs considered as texts: Can undergraduates tell whether an argument proves a theorem?Annie Selden - 2003 - Journal for Mathematics Education Research 34 (1):4-36.
    We report on an exploratory study of the way eight mid-level undergraduate mathematics majors read and reflected on four student-generated arguments purported to be proofs of a single theorem. The results suggest that mid-level undergraduates tend to focus on surface features of such arguments and that their ability to determine whether arguments are proofs is very limited -- perhaps more so than either they or their instructors recognize. We begin by discussing arguments (purported proofs) regarded as texts and validations of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  50. Should editors with multiple retractions or a record of academic misconduct serve on journal editorial boards?Jaime A. Teixeira da Silva - 2022 - European Science Editing 48:e95926.
    In the academic world, despite their corrective nature, there is still a negative stigma attached to retractions, even more so if they are based on ethical infractions. Editors-in-chief and editors are role models in academic and scholarly communities. Thus, if they have multiple retractions or a record of academic misconduct, this viewpoint argues that they should not serve on journals’ editorial boards. The exception is where such individuals have displayed a clear path of scholarly reform. Policy and guidance is (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 987