Results for 'negation, negative constraint, equivalent transformation, declarative description, resolution'

976 found
Order:
  1.  19
    負制約の等価変換による問題解決の基礎理論.赤間 清 小池 英勝 - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:354-362.
    Representation and computation of negation is very important in problem solving in various application domains. The purpose of this paper is to propose a new approach to negation. While most theories for negation are based on the logic paradigm, this theory is constructed based on the equivalent transformation computation model, since the ET model provides us with “decomposability of programs,” i.e., a program in the ET model is a set of ET rules and can be synthesized by generating each (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  92
    Breve storia dell'etica.Sergio Cremaschi - 2012 - Roma RM, Italia: Carocci.
    The book reconstructs the history of Western ethics. The approach chosen focuses the endless dialectic of moral codes, or different kinds of ethos, moral doctrines that are preached in order to bring about a reform of existing ethos, and ethical theories that have taken shape in the context of controversies about the ethos and moral doctrines as means of justifying or reforming moral doctrines. Such dialectic is what is meant here by the phrase ‘moral traditions’, taken as a name for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  49
    Understanding Negation Implicationally in the Relevant Logic R.Takuro Onishi - 2016 - Studia Logica 104 (6):1267-1285.
    A star-free relational semantics for relevant logic is presented together with a sound and complete sequent proof theory. It is an extension of the dualist approach to negation regarded as modality, according to which de Morgan negation in relevant logic is better understood as the confusion of two negative modalities. The present work shows a way to define them in terms of implication and a new connective, co-implication, which is modeled by respective ternary relations. The defined negations are confused (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  29
    Hegel's Dialectic and its Criticism. [REVIEW]Jay Lampert - 1984 - Review of Metaphysics 37 (3):648-650.
    The argument of this book moves through four issues: the logic of determinate negation, the possibility of philosophical criticism, the description of philosophical experience, and the priority of a philosophical intuition. If a system of thought claims, as Hegel's does, to be internally complete and self-justifying, it can reach conclusions only by analysing what is already present in it. So if such a system is to avoid terminating with an empty starting-point, it must consist of an explication of an undetermined (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Negation, ambiguity, and presupposition.Jay David Atlas - 1977 - Linguistics and Philosophy 1 (3):321 - 336.
    In this paper I argue for the Atlas-Kempson Thesis that sentences of the form The A is not B are not ambiguous but rather semantically general (Quine), non-specific (Zwicky and Sadock), or vague (G. Lakoff). This observation refutes the 1970 Davidson-Harman hypothesis that underlying structures, as full semantic representations, are logical forms. It undermines the conception of semantical presupposition, removes a support for the existence of truth-value gaps for presuppositional sentences (the remaining arguments for which are viciously circular), and lifts (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  6.  23
    First-Class Constraints, Gauge Transformations, de-Ockhamization, and Triviality: Replies to Critics, Or, How (Not) to Get a Gauge Transformation from a Second-Class Primary Constraint.J. Brian Pitts - unknown
    Recently two pairs of authors have aimed to vindicate the longstanding "orthodox" or conventional claim that a first-class constraint generates a gauge transformation in typical gauge theories such as electromagnetism, Yang-Mills and General Relativity, in response to the Lagrangian-equivalent reforming tradition, in particular Pitts, _Annals of Physics_ 2014. Both pairs emphasize the coherence of the extended Hamiltonian formalism against what they take to be core ideas in Pitts 2014, but both overlook Pitts 2014's sensitivity to ways that one might (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Changing Race, Changing Sex: The Ethics of Self-Transformation.Cressida J. Heyes - 2006 - Journal of Social Philosophy 37 (2):266-282.
    "Why are there 'transsexuals' but not 'transracials'?" "Why is there an accepted way to change sex, but not to change race?" I have repeatedly heard these questions from theorists puzzled by the phenomenon of transsexuality. Feminist thinkers, in particular, often seem taken aback that in the case of category switching the possibilities appear to be so different. Behind the question is sometimes an implicit concern: Does not the (hypothetical or real) example of individual “transracialism” seem politically troubling? And, if it (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  8. A Decision Procedure for Herbrand Formulas without Skolemization.Timm Lampert - manuscript
    This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  94
    Knowledge-based disambiguation for machine translation.Joachim Quantz & Birte Schmitz - 1994 - Minds and Machines 4 (1):39-57.
    The resolution of ambiguities is one of the central problems for Machine Translation. In this paper we propose a knowledge-based approach to disambiguation which uses Description Logics (dl) as representation formalism. We present the process of anaphora resolution implemented in the Machine Translation systemfast and show how thedl systemback is used to support disambiguation.The disambiguation strategy uses factors representing syntactic, semantic, and conceptual constraints with different weights to choose the most adequate antecedent candidate. We show how these factors (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  53
    Negative Equivalence of Extensions of Minimal Logic.Sergei P. Odintsov - 2004 - Studia Logica 78 (3):417-442.
    Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  42
    First-class constraints generate gauge transformations in electromagnetism (reply to Pitts).Oliver Pooley & David Wallace - manuscript
    Brian Pitts has recently claimed to show via straightforward calculation that, at least in the case of Hamiltonian electromagnetism, an arbitrary first-class constraint ``generates not a gauge transformation, but a bad physical change'' (Annals of Physics 351 (2014) pp.382-406; arXiv:1310.2756). We show, via a straightforward calculation, that a transformation generated by an arbitrary first-class constraint relates gauge-equivalent phase space points, vindicating orthodoxy. Pitts, however, is primarily concerned with transformations of entire histories, rather than of instantaneous states. We show that, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  68
    A First Class Constraint Generates Not a Gauge Transformation, But a Bad Physical Change: The Case of Electromagnetism.J. Brian Pitts - unknown
    In Dirac-Bergmann constrained dynamics, a first-class constraint typically does not _alone_ generate a gauge transformation. By direct calculation it is found that each first-class constraint in Maxwell's theory generates a change in the electric field E by an arbitrary gradient, spoiling Gauss's law. The secondary first-class constraint p^i,_i=0 still holds, but being a function of derivatives of momenta, it is not directly about E. Only a special combination of the two first-class constraints, the Anderson-Bergmann -Castellani gauge generator G, leaves E (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  14.  45
    Consilient literary interpretation.Marcus Nordlund - 2002 - Philosophy and Literature 26 (2):312-333.
    In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 26.2 (2002) 312-333 [Access article in PDF] Consilient Literary Interpretation Marcus Nordlund I THIS IS AN EXCITING TIME in the history of human self-knowledge. Like the two souls in Plato's Symposium, the life sciences and the human sciences are slowly coming to terms with their painful divorce and are increasingly on speaking terms. Thanks to important developments across a broad range of academic disciplines from biology (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  15.  26
    The changing faces of African Independent Churches as development actors across borders.Babatunde A. Adedibu - 2018 - HTS Theological Studies 74 (1):9.
    The religious transnationalism evident in the 21st century has heralded a new paradigm of religion ‘made to travel’ as adherents of religions navigate various cultural frontiers within Africa, Europe and North America. The role of Africa in shaping the global religious landscape, particularly the Christian tradition, designates the continent as one of the major actors of the Christian faith in the 21st century. The inability of European Christianity to address most of the existential realities of Africans and the stigmatisation of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Late-scholastic and Cartesian conatus.Rodolfo Garau - 2014 - Intellectual History Review 24 (4):479-494.
    Introduction Conatus is a specific concept within Descartes’s physics. In particular, it assumes a crucial importance in the purely mechanistic description of the nature of light – an issue that Des- cartes considered one of the most crucial challenges, and major achievements, of his natural phil- osophy. According to Descartes’s cosmology, the universe – understood as a material continuum in which there is no vacuum – is composed of a number of separate yet interconnected vortices. Each of these vortices consists (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  20
    区間変数に関する包含制約の等価変換.赤間 清 馬淵 浩司 - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:23-31.
    It is important to increase computation efficiency of a system at a low cost while holding the system correct. For this realization, addition of new and efficient equivalent transformation rules, whose correctness is assured, is useful. As long as correct ET rules are added to a correct system, the computation result of the system is always correct. Improvement of rules is promoted further by improvement of data structure.In this paper, we improve data structure by introducing interval variables into the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  68
    Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.
    Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation ( ${\neg}$ ) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19. The optimization of discourse anaphora.David I. Beaver - 2004 - Linguistics and Philosophy 27 (1):3-56.
    In this paper the Centering model of anaphoraresolution and discourse coherence(Grosz et al. 1983, 1995)is reformulated in terms of Optimality Theory (OT)(Prince and Smolensky 1993). One version of the reformulated modelis proven to be descriptively equivalent to an earlier algorithmicstatement of Centering due to Brennan, Friedman and Pollard(1987). However, the new model is stated declaratively, and makesclearer the status of the various constraints used in the theory. Inthe second part of the paper, the model is extended, demonstratingthe advantages of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  20.  32
    An Epistemological Analysis of the Social and Humanitarian Significance of Artificial Intelligence Innovations in Context of Artificial General Intelligence.Борис Борисович Славин - 2022 - Russian Journal of Philosophical Sciences 65 (1):10-26.
    Nowadays, new directions for the development of artificial intelligence (AI) have emerged, the task has been set to develop artificial general intelligence (AGI), which is able to go beyond the narrow AI, gain a high degree of autonomy, independently solve problems in different environmental conditions and thus have the ability to perform the functions of natural intelligence. In this regard, important philosophical, theoretical, and methodological questions arise concerning the definition and evaluation of the social significance of new AI achievements, especially (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  36
    Prophecy and Authority in Trachiniai.Laurel Bowman - 1999 - American Journal of Philology 120 (3):335-350.
    In lieu of an abstract, here is a brief excerpt of the content:Prophecy and Authority in the TrachiniaiLaurel Bowman(Tr. 1278)When deianeira goes silently offstage to her death at line 812 of Trachiniai, she removes herself from her husband's story. Her mistake was in thinking it was hers. Despite her emotionally riveting presence at center stage for well over half the play, her focus (and thus that of her audience) is always on Herakles, absent or present. Her only concern, throughout the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  41
    The Possibility of Transmission of Speech in the Qurʾān.Muhammed İsa Yüksek - 2019 - Cumhuriyet İlahiyat Dergisi 23 (1):273-290.
    In terms of classical tafsir literature, it is possible that the speeches made to a person or group in the Qurʾān carry messages for other individuals or groups. According to some approaches that emerged in the modern period, when the speech was made and to whom it was directed not only determine the meaning, but also limits it. This dilemma has to be based on the theoretical dimension. The most obvious example of the transition of the speech from direct counterpart (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  11
    Possibility Frames and Forcing for Modal Logic.Wesley Holliday - 2025 - Australasian Journal of Logic 22 (2):44-288.
    This paper develops the model theory of normal modal logics based on partial “possibilities” instead of total “worlds,” following Humberstone [1981] instead of Kripke [1963]. Possibility semantics can be seen as extending to modal logic the semantics for classical logic used in weak forcing in set theory, or as semanticizing a negative translation of classical modal logic into intuitionistic modal logic. Thus, possibility frames are based on posets with accessibility relations, like intuitionistic modal frames, but with the constraint that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  11
    Rhetoric and Truth in France. Descartes to Diderot (review). [REVIEW]Nicholas Capaldi - 1974 - Journal of the History of Philosophy 12 (4):535-537.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 535 the consequent thinness and incompleteness which invest the author's discussion in this area. In fact, the omission leads Trinkaus to some misinterpretation regarding the nature and development of poetic theology and the relationships between the studia humanitatis and studia divinitatis. Thus he claims that Petrarch made the classic statement of the theologia poetica ("Poetic is not at all opposed to theology"), thereby inferring that he revived (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. The Prescience of the Untimely: A Review of Arab Spring, Libyan Winter by Vijay Prashad. [REVIEW]Sasha Ross - 2012 - Continent 2 (3):218-223.
    continent. 2.3 (2012): 218–223 Vijay Prashad. Arab Spring, Libyan Winter . Oakland: AK Press. 2012. 271pp, pbk. $14.95 ISBN-13: 978-1849351126. Nearly a decade ago, I sat in a class entitled, quite simply, “Corporations,” taught by Vijay Prashad at Trinity College. Over the course of the semester, I was amazed at the extent of Prashad’s knowledge, and the complexity and erudition of his style. He has since authored a number of classic books that have gained recognition throughout the world. The Darker (...)
    No categories
     
    Export citation  
     
    Bookmark  
  26. Architecture and Deconstruction. The Case of Peter Eisenman and Bernard Tschumi.Cezary Wąs - 2015 - Dissertation, University of Wrocław
    Architecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi -/- Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, in which (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  40
    Conflict resolution and reconciliation within congregations.Derek L. Oppenshaw, Malan Nel & Liebie Louw - 2018 - HTS Theological Studies 74 (2):108-118.
    The foundational hypothesis to this study is that congregations which have a healthy perception and a greater understanding of conflict will develop more effective responses to conflict that will translate into more effective conflict resolution and reconciliation. The process and sustainability of the development of a missional church, the context of the study, is pregnant with potential conflict. Untamed conflict has the propensity to retard, jeopardise or even destroy the development of a missional church. When conflict arises, it must (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  47
    Negation in context.Michael De - 2011 - Dissertation, University of St Andrews
    The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights a central problem negation poses to a certain area of philosophy. Chapter 2 discusses the problem of logical revisionism and whether there is any room for genuine disagreement, and hence shared meaning, between the classicist and deviant's respective uses of 'not'. If (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  58
    Sātmaka, Nairātmya, and A-Nairātmya: Dharmakīrti’s Counter-Argument Against the Proof of Ātman. [REVIEW]Kyo Kano - 2011 - Journal of Indian Philosophy 39 (4-5):391-410.
    Ātman (soul) and Nairātmya (no soul) are, for the Brahmanical schools and the Buddhists respectively, equally fundamental tenets which neither side can concede to the other. Among the 16 formulations presented by Uddyotakara, the fifteenth, which is a proof of Ātman and is originally an indirect proof ( avīta/āvīta ), is presented in a prasaṅga -style, and contains double negation ( na nairātmyam ) in the thesis. However, it is perhaps Dharmakīrti who first transformed it into a normal style ( (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. Transformative experience and the principle of informed consent in medicine.Karl Egerton & Helen Capitelli-McMahon - 2023 - Synthese 202 (3):1-21.
    This paper explores how transformative experience generates decision-making problems of particular seriousness in medical settings. Potentially transformative experiences are especially likely to be encountered in medicine, and the associated decisions are confronted jointly by patients and clinicians in the context of an imbalance of power and expertise. However in such scenarios the principle of informed consent, which plays a central role in guiding clinicians, is unequal to the task. We detail how the principle’s assumptions about autonomy, rationality and information handle (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  94
    Counterfactual success and negative freedom.Keith Dowding & Martin van Hees - 2007 - Economics and Philosophy 23 (2):141-162.
    Recent theories of negative freedom see it as a value-neutral concept; the definition of freedom should not be in terms of specific moral values. Specifically, preferences or desires do not enter into the definition of freedom. If preferences should so enter then Berlin's problem that a person may enhance their freedom by changing their preferences emerges. This paper demonstrates that such a preference-free conception brings its own counter-intuitive problems. It concludes that these problems might be avoided if the description (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  32.  31
    Borel equivalence relations induced by actions of the symmetric group.Greg Hjorth, Alexander S. Kechris & Alain Louveau - 1998 - Annals of Pure and Applied Logic 92 (1):63-112.
    We consider Borel equivalence relations E induced by actions of the infinite symmetric group, or equivalently the isomorphism relation on classes of countable models of bounded Scott rank. We relate the descriptive complexity of the equivalence relation to the nature of its complete invariants. A typical theorem is that E is potentially Π03 iff the invariants are countable sets of reals, it is potentially Π04 iff the invariants are countable sets of countable sets of reals, and so on. The proofs (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  33.  89
    Negativity, Iconoclasm, Mimesis.Elaine P. Miller - 2008 - Idealistic Studies 38 (1-2):55-74.
    I argue that in Julia Kristeva’s concept of negativity, conceived of as the recuperation, through transformation, of a traumatic remnant of the past, we can find a parallel to what Theodor Adorno, following Walter Benjamin, calls a mimesis that in its emphasis on non-identity is able to remain faithful to the ban on graven images interpreted materialistically rather than theologically. A connection between negativity and the theological ban on images is suggested in Adorno’s claim that a ban on positive representations (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  32
    Classical Analogs of Unitarily Equivalent Hamilton Operators.Berthold-Georg Englert - 1998 - Foundations of Physics 28 (3):375-384.
    A unitary transformation replaces the given description of a quantum system by an equivalent one. It is observed, however, that not all members of a set of unitarily equivalent Hamilton operators are equally well suited for identifying the corresponding classical systems. A criterion is proposed for recognizing the privileged representatives of the set. A few explicit examples are reported that show the criterion at work.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  13
    Gödelian Equivalence.Stephen Neale - 2001 - In Facing Facts. Oxford, England: Clarendon Press.
    Chs. 9 convert the two basic forms of slingshot argument—one used by Alonzo Church, W. V. Quine, and Donald Davidson, the other by Kurt Gödel—into knock‐down deductive proofs that Donald Davidson's and Richard Rorty's cases against facts and the representation of facts are unfounded, and their slingshot arguments for discrediting the existence of facts unsatisfactory. The proofs are agnostic on key semantic issues; in particular, they assume no particular account of reference and do not even assume that sentences have references. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  62
    N-prolog and equivalence of logic programs.Nicola Olivetti & Lea Terracini - 1992 - Journal of Logic, Language and Information 1 (4):253-340.
    The aim of this work is to develop a declarative semantics for N-Prolog with negation as failure. N-Prolog is an extension of Prolog proposed by Gabbay and Reyle, which allows for occurrences of nested implications in both goals and clauses. Our starting point is an operational semantics of the language defined by means of top-down derivation trees. Negation as finite failure can be naturally introduced in this context. A goal-G may be inferred from a database if every top-down derivation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  36
    Negations and Meets in Topos Quantum Theory.Yuichiro Kitajima - 2021 - Foundations of Physics 52 (1):1-27.
    The daseinisation is a mapping from an orthomodular lattice in ordinary quantum theory into a Heyting algebra in topos quantum theory. While distributivity does not always hold in orthomodular lattices, it does in Heyting algebras. We investigate the conditions under which negations and meets are preserved by daseinisation, and the condition that any element in the Heyting algebra transformed through daseinisation corresponds to an element in the original orthomodular lattice. We show that these conditions are equivalent, and that, not (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  68
    Internal Negation and the Principles of Non-Contradiction and of Excluded Middle in Aristotle.Christopher Izgin - 2020 - History and Philosophy of Logic 41 (1):1-15.
    It has long been recognized that negation in Aristotle’s term logic differs syntactically from negation in classical logic: modern external negation attaches to propositions fully formed, whereas Aristotelian internal negation forms propositions from sentential constituents. Still, modern external negation is used to render Aristotelian internal negation, as may be seen in formalizations of Aristotle’s semantic principles of non-contradiction and of excluded middle. These principles govern the distribution of truth values among pairs of contradictory propositions, and Aristotelian contradictories always consist of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Negative findings in electronic health records and biomedical ontologies: a realist approach.Werner Ceusters, Peter Elkin & Barry Smith - 2007 - International Journal of Medical Informatics 76 (3):S326-S333.
    PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  40.  60
    Descriptions of game actions.Hans P. van Ditmarsch - 2002 - Journal of Logic, Language and Information 11 (3):349-365.
    To describe simultaneous knowledge updates for different subgroups we propose anepistemic language with dynamic operators for actions. The language is interpreted onequivalence states (S5 states). The actions are interpreted as state transformers. Two crucial action constructors are learning and local choice. Learning isthe dynamic equivalent of common knowledge. Local choice aids in constraining theinterpretation of an action to a functional interpretation (state transformer).Bisimilarity is preserved under execution of actions. The language is applied todescribe various actions in card games.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  41. Non-declarative Sentences and Communication in Husserl’s Logical Investigations. Contributions to a Theory on Communicative Acts in the Light of Husserl and Austin.Pedro Alves - unknown - Phainomena 74.
    In this paper I discuss the consistency and accuracy of Husserl’s sketch of a theory about non-declarative sentences in the last chapter of Logical Investigations. Whereas the consistency is acknowledged, the accuracy is denied, because Husserl’s treatment of non-declarative phrases such as questions or orders implies that those phrases contain, in some way, a declarative sentence and an objectifying act. To construct a question like »is A B?« as being equivalent to a declarative sentence such (...)
     
    Export citation  
     
    Bookmark  
  42.  24
    A temporal negative normal form which preserves implicants and implicates.Pablo Cordero, Manuel Enciso & Inma P. de Guzmán - 2000 - Journal of Applied Non-Classical Logics 10 (3):243-272.
    ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the future (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  13
    Creating Learning Environments Free of Violence in Special Education Through the Dialogic Model of Prevention and Resolution of Conflicts.Elena Duque, Sara Carbonell, Lena de Botton & Esther Roca-Campos - 2021 - Frontiers in Psychology 12.
    Violence suffered by children is a violation of human rights and a global health problem. Children with disabilities are especially vulnerable to violence in the school environment, which has a negative impact on their well-being and health. Students with disabilities educated in special schools have, in addition, more reduced experiences of interaction that may reduce both their opportunities for learning and for building protective social networks of support. This study analyses the transference of evidence-based actions to prevent violence in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. The Role of Natural Constraints in Computational Theories of Vision.Peter Alan Morton - 1991 - Dissertation, The University of Western Ontario (Canada)
    The thesis examines the philosophical implications of the computational theory of early vision developed by Marr. According to Marr, early visual processes consist of sequences of "modular" computational mechanisms. These processes rely on functional relations between rates of change in stimulus magnitudes which result from certain contingent, global properties--natural constraints--of the physical world. ;Marr argues that explanations of early vision must have three distinct levels of description: computational, algorithmic and physical. In Chapter 1 I defend the explanatory significance of this (...)
     
    Export citation  
     
    Bookmark  
  45. Active biological mechanisms: transforming energy into motion in molecular motors.William Bechtel & Andrew Bollhagen - 2021 - Synthese 199 (5-6):12705-12729.
    Unless one embraces activities as foundational, understanding activities in mechanisms requires an account of the means by which entities in biological mechanisms engage in their activities—an account that does not merely explain activities in terms of more basic entities and activities. Recent biological research on molecular motors exemplifies such an account, one that explains activities in terms of free energy and constraints. After describing the characteristic “stepping” activities of these molecules and mapping the stages of those steps onto the stages (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  20
    Alternative Dispute Resolution Rules in the Rural Land Laws of Ethiopia from Access to Justice and Women’s Land Rights’ Lens.Abebaw Abebe Belay - forthcoming - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique:1-13.
    Land is a constitutional issue in Ethiopia. Article 40 of the FDRE constitution enshrines governing provisions about rural and urban land. Legislation power is given to the federal government (Article 51(5) of the constitution) although this power can be delegated to regions (Article 50(9) of the same constitution). In contrast, administration power is allocated to regions (Article 52 (2(d)) of the constitution). The federal government has enacted the Rural Land Administration and Use Proclamation 456/2005. Both federal and regional land laws (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  13
    The negative words and religious turn of Laozi’s Dao theory.Youdong Yang - 2024 - HTS Theological Studies 80 (3):6.
    Besides concepts such as ‘being’ (有 [you]) and ‘non-being’ (无 [wu]), nature and the One to reveal the relationship between Dao and the phenomenal world from a positive perspective, Laozi used negative words, forming a speech system comprising ‘opposite words’ (反言 [fanyan]), ‘forcible words’ (强言 [qiangyan]) and ‘non-words’ (不言 [buyan]). Opposite words contradict common sense to indicate that Dao should be understood in an intuitive way. Forcible words, by analogy with natural experience, describe the perceptive factors upon seeing Dao, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. On Trying to be Resolute: A Response to Kremer on the Tractatus.Peter M. Sullivan - 2002 - European Journal of Philosophy 10 (1):43-78.
    A way of reading the Tractatus has been proposed which, according to its advocates, is importantly novel and essentially distinct from anything to be found in the work of such previously influential students of the book as Anscombe, Stenius, Hacker or Pears. The point of difference is differently described, but the currently most used description seems to be Goldfarb’s term ‘resolution’ – hence one speaks of ‘the resolute reading’. I’ll shortly ask what resolution is. For now, it is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  49. On the Equivalence of Trolleys and Transplants: The Lack of Intrinsic Difference between ‘Collateral Damage’ and Intended Harm.Howard Nye - 2014 - Utilitas 26 (4):432-479.
    In this article I attempt to show conclusively that the apparent intrinsic difference between causing collateral damage and directly attacking innocents is an illusion. I show how eleven morally irrelevant alterations can transform an apparently permissible case of harming as a side-effect into an apparently impermissible case of harming as a means. The alterations are as obviously irrelevant as the victims’ skin colour, and consistently treating them as relevant would have unacceptable implications for choices between more and less harmful ways (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  86
    The resolution of the clock paradox.Geoffrey Builder - 1959 - Philosophy of Science 26 (2):135-144.
    Two ideal standard clocks, effectively isolated from interaction with other physical systems, and in a region of the universe free of gravitational fields, are assumed to move in any arbitrary manner so that they coincide on at least two occasions. In general, the reading of one of them will become retarded relative to the other in the interval between successive coincidences. This relative retardation is predicted by the restricted theory of relativity, taken together with the assumption that the 'rate' of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 976