Results for 'consistency'

992 found
Order:
  1.  22
    Huw price.Is Arithmetic Consistent & Graham Priest - 1994 - Mind 103 (411).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  93
    The dialectical necessity of morality: an analysis and defense of Alan Gewirth's argument to the principle of generic consistency.Deryck Beyleveld - 1991 - Chicago: University of Chicago Press.
    Alan Gewirth's Reason and Morality , in which he set forth the Principle of Generic Consistency, is a major work of modern ethical theory that, though much debated and highly respected, has yet to gain full acceptance. Deryck Beyleveld contends that this resistance stems from misunderstanding of the method and logical operations of Gewirth's central argument. In this book Beyleveld seeks to remedy this deficiency. His rigorous reconstruction of Gewirth's argument gives its various parts their most compelling formulation and (...)
  3. The epistemic virtues of consistency.Sharon Ryan - 1996 - Synthese 109 (2):121-141.
    The lottery paradox has been discussed widely. The standard solution to the lottery paradox is that a ticket holder is justified in believing each ticket will lose but the ticket holder is also justified in believing not all of the tickets will lose. If the standard solution is true, then we get the paradoxical result that it is possible for a person to have a justified set of beliefs that she knows is inconsistent. In this paper, I argue that the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   75 citations  
  4.  17
    Some formal relative consistency proofs.Robert McNaughton - 1953 - Journal of Symbolic Logic 18 (2):136-144.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  9
    Why Does Thrasymachus Blush? Ethical Consistency in Socrates’ Refutation of Thrasymachus.Holly Moore - 2015 - Polis 32 (2):321-343.
    Most scholars agree that Socrates’ arguments in the course of his refutation of Thrasymachus in Plato’s Republic are at best weak and at worse fallacious. Some interpreters have used this logical inadequacy to argue that Socrates’ aim is psychotherapeutic rather than cognitive, but this does not address why Thrasymachus feels shamed. I argue in this article that Thrasymachus blushes not simply because his explicit propositions are contradictory but because two principles of his sophistic ēthos – that his skill requires knowledge (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  25
    Convention, correlation and consistency.Justin P. Bruner - 2020 - Philosophical Studies 178 (5):1707-1718.
    Peter Vanderschraaf’s Strategic Justice provides a defense of the egalitarian bargaining solution. Vanderschraaf’s discussion of the egalitarian solution invokes three arguments typically given to support the Nash bargaining solution. Overall, we reinforce Vanderschraaf’s criticism of arguments in favor of the Nash solution and point to potential weaknesses in Vanderschraaf’s positive case for the egalitarian solution.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  9
    Leveraging decision consistency to decompose suboptimality in terms of its ultimate predictability.Valentin Wyart - 2018 - Behavioral and Brain Sciences 41.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  26
    On the inevitability of the consistency operator.Antonio Montalbán & James Walsh - 2019 - Journal of Symbolic Logic 84 (1):205-225.
    We examine recursive monotonic functions on the Lindenbaum algebra of EA. We prove that no such function sends every consistent φ to a sentence with deductive strength strictly between φ and (φ∧Con(φ)). We generalize this result to iterates of consistency into the effective transfinite. We then prove that for any recursive monotonic function f, if there is an iterate of Con that bounds f everywhere, then f must be somewhere equal to an iterate of Con.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Contradictions, from Consistency to Inconsistency.Jacek Malinowski & Walter Carnielli - 2018 - In Walter Carnielli & Jacek Malinowski (eds.), Contradictions, from Consistency to Inconsistency. Cham, Switzerland: Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  10. Non-deterministic Semantics for Logics with a Consistency Operator.Arnon Avron - unknown
    In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. Da Costa’s approach has led to the family of logics (...)
     
    Export citation  
     
    Bookmark   18 citations  
  11. The role of planning for intention-behavior consistency.Robert Gillholm, Dick Ettema, Marcus Selart & Tommy Gärling - 1999 - Scandinavian Journal of Psychology 40 (4):241-250.
    Two studies investigated how planning affects intention-behavior consistency. In Study 1 an experimental group and control group which each consisted of 14 undergraduates were requested in computerized interviews to indicate which activities they intended to perform on the following day. Subjects in the experimental group were also requested in a second phase of the interviews to specify when and where they intended to perform the activities. The results showed that activities for which time and place had been specified were (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  47
    Redistribution and moral consistency: arguments for granting automatic citizenship to refugees.Arianne Shahvisi - 2020 - Journal of Global Ethics 16 (2):182-202.
    1. Birth within a particular state is a major determinant of a person’s life course: their life expectancy, health possibilities, income, level of education, employment opportunities, and the safet...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. The Myth of Practical Consistency.Niko Kolodny - 2008 - European Journal of Philosophy 16 (3):366-402.
    Niko Kolodny It is often said that there is a special class of norms, ‘rational requirements’, that demand that our attitudes be related one another in certain ways, whatever else may be the case.1 In recent work, a special class of these rational requirements has attracted particular attention: what I will call ‘requirements of formal coherence as such’, which require just that our attitudes be formally coherent.2 For example, we are rationally required, if we believe something, to believe what it (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   86 citations  
  14.  55
    The simple consistency of a set theory based on the logic ${\rm CSQ}$.Ross T. Brady - 1983 - Notre Dame Journal of Formal Logic 24 (4):431-449.
  15.  23
    An Institution-Independent Proof of the Robinson Consistency Theorem.Daniel Gâinâ & Andrei Popescu - 2007 - Studia Logica 85 (1):41-73.
    We prove an institutional version of A. Robinson ’s Consistency Theorem. This result is then appliedto the institution of many-sorted first-order predicate logic and to two of its variations, infinitary and partial, obtaining very general syntactic criteria sufficient for a signature square in order to satisfy the Robinson consistency and Craig interpolation properties.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16. Many-valued non-deterministic semantics for first-order Logics of Formal (In)consistency.Arnon Avron - unknown
    A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. da Costa’s approach has led to the family of Logics of Formal (In)consistency (LFIs). In this paper we provide non-deterministic semantics for a very large (...)
     
    Export citation  
     
    Bookmark   2 citations  
  17.  4
    Determining the consistency of partial tree descriptions.Manuel Bodirsky & Martin Kutz - 2007 - Artificial Intelligence 171 (2-3):185-196.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  31
    Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.
  19.  93
    Truth and the Unprovability of Consistency.H. Field - 2006 - Mind 115 (459):567-606.
    It might be thought that we could argue for the consistency of a mathematical theory T within T, by giving an inductive argument that all theorems of T are true and inferring consistency. By Gödel's second incompleteness theorem any such argument must break down, but just how it breaks down depends on the kind of theory of truth that is built into T. The paper surveys the possibilities, and suggests that some theories of truth give far more intuitive (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  20. A Social Pragmatic View on the Concept of Normative Consistency.Berislav Žarnić - 2015 - European Journal of Analytic Philosophy 11 (2):56--78.
    The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  88
    On the consistency of a slight (?) Modification of quine'smew foundations.Ronald Björn Jensen - 1968 - Synthese 19 (1-2):250 - 264.
  22.  84
    Can the maximum entropy principle be explained as a consistency requirement?Jos Uffink - 1995 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 26 (3):223-261.
    The principle of maximum entropy is a general method to assign values to probability distributions on the basis of partial information. This principle, introduced by Jaynes in 1957, forms an extension of the classical principle of insufficient reason. It has been further generalized, both in mathematical formulation and in intended scope, into the principle of maximum relative entropy or of minimum information. It has been claimed that these principles are singled out as unique methods of statistical inference that agree with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  23.  11
    The importance of consistency in establishing cognitive-based trust: a laboratory experiment.Paul Dunn - 2000 - Teaching Business Ethics 4 (3):285-306.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  23
    Tragic choices in intensive care during the COVID-19 pandemic: on fairness, consistency and community.Chris Newdick, Mark Sheehan & Michael Dunn - 2020 - Journal of Medical Ethics 46 (10):646-651.
    Tragic choices arise during the COVID-19 pandemic when the limited resources made available in acute medical settings cannot be accessed by all patients who need them. In these circumstances, healthcare rationing is unavoidable. It is important in any healthcare rationing process that the interests of the community are recognised, and that decision-making upholds these interests through a fair and consistent process of decision-making. Responding to recent calls to safeguard individuals’ legal rights in decision-making in intensive care, and for new authoritative (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  7
    What Do Teachers Think About Their Students’ Inclusion? Consistency of Students’ Self-Reports and Teacher Ratings.Martin Venetz, Carmen L. A. Zurbriggen & Susanne Schwab - 2019 - Frontiers in Psychology 10:458198.
    The aim of this study was to investigate the consistency between the self-reports and teacher ratings of students’ emotional and social inclusion at school as well as for their academic self-concept. The German version of the Perceptions of Inclusion Questionnaire (PIQ) was administered to 329 grade 8 students (50.8% female, Mage = 14.5 years, SDage = 0.5 years) and their teachers. First, the three-dimensional structure of both PIQ versions was confirmed by confirmatory item factor analysis. The  and  (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Moral Dilemmas and Consistency in Ethics.Terrance C. McConnell - 1978 - Canadian Journal of Philosophy 8 (2):269 - 287.
    A moral dilemma is a situation in which an agent ought to do each of two actions, Both of which he cannot do. If there are genuine moral dilemmas, The ethical theorist is presented with a problem: he must reject several very plausible principles of standard deontic logic. The main reasons usually given to show that there are moral dilemmas are examined, And it is argued that they are not sufficient. Several positive arguments are then presented, Arguments which try to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  27.  57
    The impact of orthographic consistency on dyslexia: A German-English comparison.Karin Landerl, Heinz Wimmer & Uta Frith - 1997 - Cognition 63 (3):315-334.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  28.  37
    Fragment of nonstandard analysis with a finitary consistency proof.Michal Rössler & Emil Jeřábek - 2007 - Bulletin of Symbolic Logic 13 (1):54-70.
    We introduce a nonstandard arithmetic $NQA^-$ based on the theory developed by R. Chuaqui and P. Suppes in [2] (we will denote it by $NQA^+$ ), with a weakened external open minimization schema. A finitary consistency proof for $NQA^-$ formalizable in PRA is presented. We also show interesting facts about the strength of the theories $NQA^-$ and $NQA^+$ ; $NQA^-$ is mutually interpretable with $I\Delta_0 + EXP$ , and on the other hand, $NQA^+$ interprets the theories IΣ1 and $WKL_0$.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  45
    On the consistency of Quine's new foundations for mathematical logic.Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (1):15-24.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  39
    Propositional proof systems, the consistency of first order theories and the complexity of computations.Jan Krajíček & Pavel Pudlák - 1989 - Journal of Symbolic Logic 54 (3):1063-1079.
    We consider the problem about the length of proofs of the sentences $\operatorname{Con}_S(\underline{n})$ saying that there is no proof of contradiction in S whose length is ≤ n. We show the relation of this problem to some problems about propositional proof systems.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  31.  39
    A Result on Consistency and Its Application to the Theory of Definition.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):174-174.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  32.  17
    The Genre Consistency Between the Reading and Listening/Viewing Texts and Writing Tasks in Turkish Course Books.Ari Gökhan - 2011 - Journal of Turkish Studies 6:489-511.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  79
    On the Consistency Strength of the Inner Model Hypothesis.Sy-David Friedman, Philip Welch & W. Hugh Woodin - 2008 - Journal of Symbolic Logic 73 (2):391 - 400.
  34. The notion of consistency for partial belief.Susan Vineberg - 2001 - Philosophical Studies 102 (3):281 - 296.
  35.  51
    Legal Theory and Dialectically Contingent Justifications for the Principle of Generic Consistency.Deryck Beyleveld - 1996 - Ratio Juris 9 (1):15-41.
    It is argued that accepting that there are human rights, or that there are categorically binding requirements of any kind on action, logically requires accepting the PGC (Principle of Generic Consistency) as the supreme criterion of practical reasonableness.Consequently, all legal systems that recognise human rights (hence, the English legal system), all who view law as a matter of obligation, and all who consider that there are categorically binding requirements on action, must take the PGC to be a necessary criterion (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  83
    Counterfactuals and consistency.Hans G. Herzberger - 1979 - Journal of Philosophy 76 (2):83-88.
  37.  34
    A Note on the Computation of the Mean Random Consistency Index of the Analytic Hierarchy Process (Ahp).Vm Rao Tummala & Hong Ling - 1998 - Theory and Decision 44 (3):221-230.
    In this paper, we use Saaty's Eigenvector Method and the Power Method as well as Ω=1, 2, ⋯, 9, 1/2, 1/3, ⋯, 1/9} and Ω-={1,2, ⋯,9,1, 1/2, ⋯,1/9} as the sets from which the pairwise comparison judgments are assigned at random to examine the variation in the values determined for the mean random consistency index. By extensive simulation analysis, we found that both methods produce the same values for the mean random consistency random index. Also, we found that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  61
    Mill and the consistency of hedonism.Michael J. Zimmerman - 1983 - Philosophia 13 (3-4):317-335.
  39.  12
    Mathematical Significance of Consistency Proofs.G. Kreisel - 1966 - Journal of Symbolic Logic 31 (1):129-129.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  40.  18
    Reading Gentzen's Three Consistency Proofs Uniformly.Ryota Akiyoshi & Yuta Takahashi - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):1-22.
  41. Peter Singer, R.M. Hare, and the Trouble With Logical Consistency.Southan Rhys - 2017 - Essays in Philosophy 18 (1):146-171.
    According to the metaethics of R. M. Hare, we determine morality objectively by making a moral judgment, committing to the moral principle underlying that judgment, and then logically extending that moral principle to all relevantly similar cases. This metaethical system called universal prescriptivism had a major impact on Peter Singer, whose arguments for radically improving animal welfare and alleviating global suffering frequently rely on Hare-ian appeals to logical consistency. Hare’s work in metaethics is largely rejected now, but Singer’s popularity (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Simple Truth, Contradiction, and Consistency.Stewart Shapiro - 2004 - In Graham Priest, Jc Beall & Bradley P. Armour-Garb (eds.), The law of non-contradiction : new philosophical essays. New York: Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  43.  18
    On the consistency of defeasible databases.Moisés Goldszmidt & Judea Pearl - 1991 - Artificial Intelligence 52 (2):121-149.
  44.  31
    On the consistency proofs.Toshiyasu Arai - 2007 - Journal of the Japan Association for Philosophy of Science 34 (2):91-99.
  45.  34
    On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
    In positive theories, we have an axiom scheme of comprehension for positive formulas. We study here the “generalized positive” theory GPK∞+. Natural models of this theory are hyperuniverses. The author has shown in [2] that GPK∞+ interprets the Kelley Morse class theory. Here we prove that GPK∞+ + ACWF and the Kelley-Morse class theory with the axiom of global choice and the axiom “On is ramifiable” are mutually interpretable. This shows that GPK∞+ + ACWF is a “strong” theory since “On (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  46. Table Des matieres editorial preface 3.Jair Minoro Abe, Curry Algebras Pt, Paraconsistent Logic, Newton Ca da Costa, Otavio Bueno, Jacek Pasniczek, Beyond Consistent, Complete Possible Worlds, Vm Popov & Inverse Negation - 1998 - Logique Et Analyse 41:1.
    No categories
     
    Export citation  
     
    Bookmark  
  47. Phantom of consistency: Alain Badiou and Kantian transcendental idealism.Adrian Johnston - 2008 - Continental Philosophy Review 41 (3):345-366.
    Immanuel Kant is one of Alain Badiou’s principle philosophical enemies. Kant’s critical philosophy is anathema to Badiou not only because of the latter’s openly aired hatred of the motif of finitude so omnipresent in post-Kantian European intellectual traditions—Badiou blames Kant for inventing this motif—but also because of its idealism. For Badiou-the-materialist, as for any serious philosophical materialist writing in Kant’s wake, transcendental idealism must be dismantled and overcome. In his most recent works, Badiou attempts to invent a non-Kantian notion of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  48.  10
    The complexity of some polynomial network consistency algorithms for constraint satisfaction problems.Alan K. Mackworth & Eugene C. Freuder - 1985 - Artificial Intelligence 25 (1):65-74.
  49.  61
    On the consistency problem for set theory: An essay on the Cantorian foundations of classical mathematics (I).John Mayberry - 1977 - British Journal for the Philosophy of Science 28 (1):1-34.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  50.  45
    On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories.Leszek Aleksander Kołodziejczyk - 2006 - Journal of Symbolic Logic 71 (2):624 - 638.
    Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic [3] we show that there exists a number n such that ⋃m Sm (the union of the bounded arithmetic theories Sm) does not prove the Herbrand consistency of the finitely axiomatizable theory $S_{3}^{n}$.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 992