Results for 'concept identification problems matched for logical complexity of solution procedures, positive vs. negative instances'

978 found
Order:
  1.  17
    Positive versus negative instances in concept identification problems matched for logical complexity of solution procedures.Michael Davidson - 1969 - Journal of Experimental Psychology 80 (2p1):369.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  29
    Interpretation in Legal Theory.Andrei Marmor (ed.) - 1990 - Hart Publishing.
    Chapter 1: An Introduction: The ‘Semantic Sting’ Argument Describes Dworkin’s theory as concerning the conditions of legal validity. “A legal system is a system of norms. Validity is a logical property of norms in a way akin to that in which truth is a logical property of propositions. A statement about the law is true if and only if the norm it purports to describe is a valid legal norm…It follows that there must be certain conditions which render (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  3. Cosmic Pessimism.Eugene Thacker - 2012 - Continent 2 (2):66-75.
    continent. 2.2 (2012): 66–75 ~*~ We’re Doomed. Pessimism is the night-side of thought, a melodrama of the futility of the brain, a poetry written in the graveyard of philosophy. Pessimism is a lyrical failure of philosophical thinking, each attempt at clear and coherent thought, sullen and submerged in the hidden joy of its own futility. The closest pessimism comes to philosophical argument is the droll and laconic “We’ll never make it,” or simply: “We’re doomed.” Every effort doomed to failure, every (...)
     
    Export citation  
     
    Bookmark   4 citations  
  4. Meillassoux’s Virtual Future.Graham Harman - 2011 - Continent 1 (2):78-91.
    continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...)
     
    Export citation  
     
    Bookmark   2 citations  
  5.  58
    Post's problem for supertasks has both positive and negative solutions.Joel David Hamkins & Andrew Lewis - 2002 - Archive for Mathematical Logic 41 (6):507-523.
    The infinite time Turing machine analogue of Post's problem, the question whether there are semi-decidable supertask degrees between 0 and the supertask jump 0∇, has in a sense both positive and negative solutions. Namely, in the context of the reals there are no degrees between 0 and 0∇, but in the context of sets of reals, there are; indeed, there are incomparable semi-decidable supertask degrees. Both arguments employ a kind of transfinite-injury construction which generalizes canonically to oracles.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Beyond prejudice: Are negative evaluations the problem and is getting us to like one another more the solution?John Dixon, Mark Levine, Steve Reicher, Kevin Durrheim, Dominic Abrams, Mark Alicke, Michal Bilewicz, Rupert Brown, Eric P. Charles & John Drury - 2012 - Behavioral and Brain Sciences 35 (6):411-425.
    For most of the history of prejudice research, negativity has been treated as its emotional and cognitive signature, a conception that continues to dominate work on the topic. By this definition, prejudice occurs when we dislike or derogate members of other groups. Recent research, however, has highlighted the need for a more nuanced and “inclusive” (Eagly 2004) perspective on the role of intergroup emotions and beliefs in sustaining discrimination. On the one hand, several independent lines of research have shown that (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  7. The Structural Links Between Ecology, Evolution and Ethics: The Virtuous Epistemic Circle.Donato Bergandi (ed.) - 2013 - Dordrecht, Netherland: Springer.
    Abstract - Evolutionary, ecological and ethical studies are, at the same time, specific scientific disciplines and, from an historical point of view, structurally linked domains of research. In a context of environmental crisis, the need is increasingly emerging for a connecting epistemological framework able to express a common or convergent tendency of thought and practice aimed at building, among other things, an environmental policy management respectful of the planet’s biodiversity and its evolutionary potential. -/- Evolutionary biology, ecology and ethics: at (...)
  8. Teaching & Learning Guide for: Essentialism.Sonia Roca-Royes - 2011 - Philosophy Compass 6 (4):295-299.
    This guide accompanies the following articles: Sonia Roca‐Royes, ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. doi: 10.1111/j.1747‐9991.2010.00363.x. Sonia Roca‐Royes, ‘Essential Properties and Individual Essences.’Philosophy Compass 6/1 (2011): 65–77. doi: 10.1111/j.1747‐9991.2010.00364.x. Author’s Introduction Intuitively, George Clooney could lose a finger and he would still be him. Also intuitively, he could not lose his humanity without ceasing to be altogether. So while he could have one less finger, he could not be other than human. These intuitions suggest that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  38
    Computability, complexity, logic.Egon Börger - 1989 - New York, N.Y., U.S.A.: Elsevier Science Pub. Co..
    The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Positive truthmakers for negative truths: a solution to Molnar’s problem.Jonas Waechter - 2017 - Philosophical Studies 174 (3):579-592.
    The present paper addresses Molnar’s problem :72–86, 2000): that of finding positive truthmakers for negative truths. The proposed solution, called, is to hold truth and falsity to be primitive and positive features of propositions and to take every literal negative truth to be made true by the falsity of the atomic proposition that it embeds. The solution is shown to be compatible with Maximalism, Necessitarianism and with the Entailment Thesis, as well as with most (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  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  
  12.  29
    Розвиток цифрових технологій у сфері медицини в умовах «глобалізації 4.0» : Соціально-філософські виміри.Svetlana Sydorenko - 2019 - Гуманітарний Вісник Запорізької Державної Інженерної Академії 76:44-55.
    The relevance of this topic is determined by the processes of “globalization 4.0”, taking place in a new industrial revolution, which brings about both positive and negative consequences in science, medicine, engineering, financial sphere, geopolitical, and cultural dimensions. Digital technologies based on software and social networks become more effective and integrated, causing transformation in all spheres of the global economy. The purpose of the study is to analyze the development of smart technologies in medicine in conditions of “Globalization (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  46
    Internal Perception: The Role of Bodily Information in Concepts and Word Mastery.Luigi Pastore & Sara Dellantonio - 2017 - Berlin, Heidelberg: Springer Berlin Heidelberg. Edited by Luigi Pastore.
    Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  39
    A Deductive Solution to the Generalisation Problem for Horwich’s Minimalism about Truth.Ralf Busse - 2023 - Philosophical Quarterly 74 (1):84-109.
    Minimalism is the view that our concept of truth is constituted by our disposition to accept instances of the truth schema ‘The proposition that p is true if and only if p’. The generalisation problem is the challenge to account for universal generalisations concerning logical truths such as ‘Every proposition of the form 〈if p, then p〉 is true’. This paper argues that such generalisations can be deduced using a single example of the logical truth in (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  18
    "Reduplikative Identität": der Schlüssel zu Schellings reifer Philosophie.Manfred Frank - 2018 - Stuttgart-Bad Cannstatt: Frommann-Holzboog.
    English summary: It was not until the publication of Schelling''s Munich and Berlin lectures that we learned the decisive source for his theory of an identity of identity or identity doubled in itself. Schelling referred to what he called an older logic that was still acquainted with the figure of reduplication, for instance in Leibniz and Wolff. Philosophers in this tradition employed this term to refer to the specification of an aspect under which the subject-term is being considered. An often (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  69
    Calculating and understanding the value of any type of match evidence when there are potential testing errors.Norman Fenton, Martin Neil & Anne Hsu - 2014 - Artificial Intelligence and Law 22 (1):1-28.
    It is well known that Bayes’ theorem (with likelihood ratios) can be used to calculate the impact of evidence, such as a ‘match’ of some feature of a person. Typically the feature of interest is the DNA profile, but the method applies in principle to any feature of a person or object, including not just DNA, fingerprints, or footprints, but also more basic features such as skin colour, height, hair colour or even name. Notwithstanding concerns about the extensiveness of databases (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  41
    Wise therapy: philosophy for counsellors.Tim LeBon - 2001 - New York: Continuum.
    Independent on Sunday October 2nd One of the country's lead­ing philosophical counsellers, and chairman of the Society for Philosophy in Practice (SPP), Tim LeBon, said it typically took around six 50 ­minute sessions for a client to move from confusion to resolution. Mr LeBon, who has 'published a book on the subject, Wise Therapy, said philoso­phy was perfectly suited to this type of therapy, dealing as it does with timeless human issues such as love, purpose, happiness and emo­tional challenges. `Wise (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  18. Communication vs. Information, an Axiomatic Neutrosophic Solution.Florentin Smarandache & Stefan Vladutescu - 2013 - Neutrosophic Sets and Systems 1:38-45.
    Study represents an application of the neutrosophic method, for solving the contradiction between communication and information. In addition, it recourse to an appropriate method of approaching the contradictions: Extensics, as the method and the science of solving the contradictions. The research core is the reality that the scientific research of communication-information relationship has reached a dead end. The bivalent relationship communicationinformation, information-communication has come to be contradictory, and the two concepts to block each other. After the critical examination of conflicting (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  31
    (1 other version)Responsibility in Universal Healthcare.Eric Cyphers & Arthur Kuflik - 2023 - Voices in Bioethics 9.
    Photo by Tingey Injury Law Firm on Unsplash ABSTRACT The coverage of healthcare costs allegedly brought about by people’s own earlier health-adverse behaviors is certainly a matter of justice. However, this raises the following questions: justice for whom? Is it right to take people’s past behaviors into account in determining their access to healthcare? If so, how do we go about taking those behaviors into account? These bioethical questions become even more complex when we consider them in the context of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  18
    Group Problem Solving.Patrick R. Laughlin - 2011 - Princeton University Press.
    Experimental research by social and cognitive psychologists has established that cooperative groups solve a wide range of problems better than individuals. Cooperative problem solving groups of scientific researchers, auditors, financial analysts, air crash investigators, and forensic art experts are increasingly important in our complex and interdependent society. This comprehensive textbook--the first of its kind in decades--presents important theories and experimental research about group problem solving. The book focuses on tasks that have demonstrably correct solutions within mathematical, logical, scientific, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  77
    If structured propositions are logical procedures then how are procedures individuated?Marie Duží - 2019 - Synthese 196 (4):1249-1283.
    This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode. Moreover, procedures are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  22. Logic and AI in China: An Introduction.Fenrong Liu & Kaile Su - 2013 - Minds and Machines 23 (1):1-4.
    The year 2012 has witnessed worldwide celebrations of Alan Turing’s 100th birthday. A great number of conferences and workshops were organized by logicians, computer scientists and researchers in AI, showing the continued flourishing of computer science, and the fruitful interfaces between logic and computer science. Logic is no longer just the concept that Frege had about one hundred years ago, let alone that of Aristotle twenty centuries before. One of the prominent features of contemporary logic is its interdisciplinary character, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  23.  38
    Duhem’s problem revisited: logical versus epistemic formulations and solutions.Michael Dietrich & Phillip Honenberger - 2020 - Synthese 197 (1):337-354.
    When the results of an experiment appears to disconfirm a hypothesis, how does one know whether it’s the hypothesis, or rather some auxiliary hypothesis or assumption, that is at fault? Philosophers’ answers to this question, now known as “Duhem’s problem,” have differed widely. Despite these differences, we affirm Duhem’s original position that the logical structure of this problem alone does not allow a solution. A survey of philosophical approaches to Duhem’s problem indicates that what allows any philosopher, or (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Understanding Creativity: Affect Decision and Inference.Avijit Lahiri - manuscript
    In this essay we collect and put together a number of ideas relevant to the under- standing of the phenomenon of creativity, confining our considerations mostly to the domain of cognitive psychology while we will, on a few occasions, hint at neuropsy- chological underpinnings as well. In this, we will mostly focus on creativity in science, since creativity in other domains of human endeavor have common links with scientific creativity while differing in numerous other specific respects. We begin by briefly (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  50
    Socratic logic.Peter Kreeft - 2005 - South Bend, Ind.: St. Augustine's Press. Edited by Trent Dougherty.
    What good is logic? -- Seventeen ways this book is different -- The two logics -- All of logic in two pages : an overview -- The three acts of the mind -- I. The first act of the mind : understanding -- Understanding : the thing that distinguishes man from both beast and computer -- Concepts, terms and words -- The problem of universals -- The comprehension and extension of terms -- II. Terms -- Classifying terms -- Categories -- (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Ethical Problems with Ethnic Matching in Gamete Donation.Hane Htut Maung - 2019 - Journal of Medical Ethics 45 (2):112-116.
    Assisted reproduction using donor gametes is a procedure that allows those who are unable to produce their own gametes to achieve gestational parenthood. Where conception is achieved using donor sperm, the child lacks a genetic link to the intended father. Where it is achieved using a donor egg, the child lacks a genetic link to the intended mother. To address this lack of genetic kinship, some fertility clinics engage in the practice of matching the ethnicity of the gamete donor to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Teaching and learning guide for: Recent work on propositions.Peter Hanks - 2009 - Philosophy Compass 4 (5):889-892.
    Some of the most interesting recent work in philosophy of language and metaphysics is focused on questions about propositions, the abstract, truth-bearing contents of sentences and beliefs. The aim of this guide is to give instructors and students a road map for some significant work on propositions since the mid-1990s. This work falls roughly into two areas: challenges to the existence of propositions and theories about the nature and structure of propositions. The former includes both a widely discussed puzzle about (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. Nierozstrzygalność i algorytmiczna niedostępność w naukach społecznych.Witold Marciszewski - 2004 - Filozofia Nauki 3.
    The paper is meant as a survey of issues in computational complexity from the standpoint of its relevance to social research. Moreover, the threads are hinted at that lead to computer science from mathematical logic and from philosophical questions about the limits and the power both of mathematics and the human mind. Especially, the paper addresses Turing's idea of oracle, considering its impact on computational (i.e., relying on simulations) economy, sociology etc. Oracle is meant as a device capable of (...)
    No categories
     
    Export citation  
     
    Bookmark  
  29. Filozofia praw człowieka. Prawa człowieka w świetle ich międzynarodowej ochrony.Marek Piechowiak - 1999 - Lublin: Towarzystwo Naukowe KUL.
    PHILOSOPHY OF HUMAN RIGHTS: HUMAN RIGHTS IN LIGHT OF THEIR INTERNATIONAL PROTECTION Summary The book consists of two main parts: in the first, on the basis of an analysis of international law, elements of the contemporary conception of human rights and its positive legal protection are identified; in the second - in light of the first part -a philosophical theory of law based on the tradition leading from Plato, Aristotle, and St. Thomas Aquinas is constructed. The conclusion contains an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  33
    Conceptual Knowledge, Procedural Knowledge, and Metacognition in Routine and Nonroutine Problem Solving.David W. Braithwaite & Lauren Sprague - 2021 - Cognitive Science 45 (10):e13048.
    When, how, and why students use conceptual knowledge during math problem solving is not well understood. We propose that when solving routine problems, students are more likely to recruit conceptual knowledge if their procedural knowledge is weak than if it is strong, and that in this context, metacognitive processes, specifically feelings of doubt, mediate interactions between procedural and conceptual knowledge. To test these hypotheses, in two studies (Ns = 64 and 138), university students solved fraction and decimal arithmetic (...) while thinking aloud; verbal protocols and written work were coded for overt uses of conceptual knowledge and displays of doubt. Consistent with the hypotheses, use of conceptual knowledge during calculation was not significantly positively associated with accuracy, but was positively associated with displays of doubt, which were negatively associated with accuracy. In Study 1, participants also explained solutions to rational arithmetic problems; using conceptual knowledge in this context was positively correlated with calculation accuracy, but only among participants who did not use conceptual knowledge during calculation, suggesting that the correlation did not reflect “online” effects of using conceptual knowledge. In Study 2, participants also completed a nonroutine problem‐solving task; displays of doubt on this task were positively associated with accuracy, suggesting that metacognitive processes play different roles when solving routine and nonroutine problems. We discuss implications of the results regarding interactions between procedural knowledge, conceptual knowledge, and metacognitive processes in math problem solving. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  26
    Some hypotheses about negative instances in single-attribute concept attainment.Stephen V. Heim & Ellin K. Scholnick - 1972 - Journal of Experimental Psychology 93 (1):130.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  56
    ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.Linh Anh Nguyen & Andrzej Szałas - 2011 - Studia Logica 98 (3):387-428.
    Grammar logics were introduced by Fariñas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse ( REG c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  26
    Learning conceptual rules: II. The role of positive and negative instances.Lyle E. Bourne & Donald E. Guy - 1968 - Journal of Experimental Psychology 77 (3p1):488.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  93
    PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic.Rodolfo Gómez & Howard Bowman - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):105-148.
    Interval Temporal Logic is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents. Due to the logic's non-elementary complexity, efficient ITL-based verification tools have been difficult to develop, even for propositional subsets. MONA is an efficient implementation of an automata-based decision procedure for the logic WS1S. Despite the non-elementary complexity of WS1S, MONA has been successfully applied in problems such as hardware synthesis, protocol verification and theorem proving. Here (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  25
    Logička pitanja i postupci [Logical questions and procedures].Srećko Kovač & Berislav Žarnić - 2008 - Zagreb: KruZak.
    This book is an introduction to elementary logic (classical propositional and first-order logic), comprising brief summaries of the basics of elementary logic, with the emphasis on typical questions and procedure descriptions and with a large number of corresponding exercises and problems. Solutions are given for each problem and exercise, often with commentaries. The first part, Basics of Logic, deals with (a) formal language, models, Venn diagrams for sentences, and translation from natural into formal language and vice versa, (b) deduction (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  36. Matching Bias in Conditional Reasoning: Do We Understand it After 25 Years?Jonathan StB. T. Evans - 1998 - Thinking and Reasoning 4 (1):45-110.
    The phenomenon known as matching bias consists of a tendency to see cases as relevant in logical reasoning tasks when the lexical content of a case matches that of a propositional rule, normally a conditional, which applies to that case. Matching is demonstrated by use of the negations paradigm that is by using conditionals in which the presence and absence of negative components is systematically varied. The phenomenon was first published in 1972 and the present paper reviews the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  37.  15
    Bilateral Rules as Complex Rules.Leonardo Ceragioli - 2023 - Bulletin of the Section of Logic 52 (3):329-375.
    Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially by Coordination Principles (a kind of rule that is not present in unilateral systems) and mismatches between rules for assertion and rules for rejection. In this paper, a solution is proposed for two major issues: the availability of a reduction procedure for tonk and the existence of harmonious rules (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  51
    An o-space decision procedure for the relevance logic b+.Luca Viganò - 2000 - Studia Logica 66 (3):385-407.
    In previous work we gave a new proof-theoretical method for establishing upper-bounds on the space complexity of the provability problem of modal and other propositional non-classical logics. Here we extend and refine these results to give an O -space decision procedure for the basic positive relevance logic B+. We compute this upper-bound by first giving a sound and complete, cut-free, labelled sequent system for B+, and then establishing bounds on the application of the rules of this system.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39. 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 on (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Preference logic, conditionals and solution concepts in games.Johan van Benthem - unknown
    Preference is a basic notion in human behaviour, underlying such varied phenomena as individual rationality in the philosophy of action and game theory, obligations in deontic logic (we should aim for the best of all possible worlds), or collective decisions in social choice theory. Also, in a more abstract sense, preference orderings are used in conditional logic or non-monotonic reasoning as a way of arranging worlds into more or less plausible ones. The field of preference logic (cf. Hansson [10]) studies (...)
     
    Export citation  
     
    Bookmark   28 citations  
  41.  38
    Complex Mimetic Systems.Hans Weigand - 2008 - Contagion: Journal of Violence, Mimesis, and Culture 15:63-87.
    In lieu of an abstract, here is a brief excerpt of the content:Complex Mimetic SystemsHans Weigand (bio)The goal of science is to make the wonderful and complex understandable and simple—but not less wonderful.—Herb Simon, The Sciences of the Artificial11. IntroductionComplex systems theory stands for an approach in the social as well as natural and computational sciences that studies how interactions between parts give rise to collective behaviors of a system, and how the system interacts and forms relationships with its environment. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Thinking on Thinking.Philippe Schweizer - 2020 - International Journal of Neutrosophic Science (IJNS) 2 (2):63-71.
    Beyond the predominant paradigm of an essentially rational human cognition, based on the classical binary logic, we want to propose some reflections that are organized around the intuition that the representations we have of the world are weighted with appreciations, for example affective ones. resulting from our integration into a social environment. We see these connotations as essentially ternary in nature, depending on the concepts underlying neutrosophy: either positive, negative or neutral. This form of representation would then influence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  49
    An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
    The logic of proofs was introduced by Artemov in order to analize the formalization of the concept of proof rather than the concept of provability. In this context, some operations on proofs play a very important role. In this paper, we investigate some very natural operations, paying attention not only to positive information, but also to negative information (i.e. information saying that something cannot be a proof). We give a formalization for a fragment of such a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  3
    Development or self-destruction? Evald Ilyenkov vs. Slavoj Žižek on the problem of radical negativity.Maxim Morozov - 2024 - Studies in East European Thought 76 (3):363-387.
    The article presents a theoretical analysis of the extramural polemic between Slavoj Žižek and Evald Ilyenkov, undertaken in the context of the search for the foundational underpinnings of the two philosophers’ perspectives on the limit-logical definitions of being. It shows how this apparently “abstract” search grows out of the socio-historical circumstances of the thinkers’ lives, which are inscribed in the dramatic conditions of existence of the political events of the twentieth century. The active life-political position of the follower of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  8
    A Positive Versus Negative Interaction Memory Affects Parole Officers’ Implicit Associations Between the Self-Concept and the Group Parolees.Marina K. Saad, Luis M. Rivera & Bonita M. Veysey - 2022 - Frontiers in Psychology 13.
    BackgroundParole officers are one of many actors in the legal system charged with interpreting and enforcing the law. Officers not only assure that parolees under their supervision comply with the terms of their release, but also monitor and control parolees’ criminal behavior. They conduct their jobs through their understanding of their official mandate and make considered and deliberate choices while executing that mandate. However, their experiences as legal actors may impact their implicit cognitions about parolees. This experiment is the first (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  21
    Intertheoretic identification and mind-brain reductionism.Mark Crooks - 2002 - Journal of Mind and Behavior 23 (3):193-222.
    A recurrent candidate for exemplification of intertheoretic reduction, put forward over past decades within philosophy of science, is the proposition "pitch is identical with sound-frequency." Paul Churchland revives this nominal ontological reduction, placing it beside others as "lightning is an electrical discharge," and "heat is high kinetic energy." Yet no matter whether frequency is considered physically or merely semantically, there is no conceivable format in which such an identity is viable. An analysis of objective qualia said to represent the ground (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  23
    Logic and Mathematics.Jan Wolénski - 1995 - Vienna Circle Institute Yearbook 3:197-210.
    There are two possible strategies for investigating questions on logic and mathematics. First, one can adopt the pattern recommended by the phenomenologists, which consists in looking for the actual essences of logic and mathematics in order to relate both fields. The second approach, adopted in this paper, starts with a historical review of the foundational standpoints. I will then try to extract on this base some insights on how logic and mathematics are mutually related. In particular, I am interested in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  29
    Deductive Systems and the Decidability Problem for Hybrid Logics.Michał Zawidzki - 2014 - Cambridge University Press.
    This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  15
    Person in a Digital Society: Triumph and Tragedy.V. Shapoval - 2023 - Philosophical Horizons 46:50-59.
    Human civilization is moving into the digital age. Many believe that total digitalization is bringing humanity closer to the dream age of general wellbeing and happiness. However, although there is a real revolution in the knowledge and mastering of the world, the tension and conflicts within human society do not stop, and people do not feel happier. This determines the aim and the tasks of the research, which are based on the analysis of deep contradictions and conflicts existing in modern (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  25
    The retrieval of positive and negative information from short-term memory storage for use in a concept-identification task.Richard H. Winnick & E. James Archer - 1974 - Bulletin of the Psychonomic Society 3 (4):309-310.
1 — 50 / 978