As consistency is such an important topic in logic, researchers have for a long time investigated how to attain and maintain it. But consistency can also be studied from the point of view of its opposite, inconsistency. The problem with inconsistency in classical logic is that by the principle of explosion a single inconsistency leads to triviality. Paraconsistent logics were introduced to get around this problem by defining logics in such a way that the explosion principle does not apply to (...) them. Another approach stays in the classical framework and evaluates the amount of inconsistency in a set of formulas. The great bulk of this work has been done for propositional logic and presents many interesting issues about inconsistency. A previous paper introduced the concept of generalized propositional logic (GPL) to provide a uniform method for measuring inconsistency in logics that allow the application of unary operator pairs, such as for modality, time, and space, to propositional logic formulas. The universality of GPL manifests itself in the fact that such an operator pair is evaluated in a uniform manner across all such logics. The difference lies solely in the choice of a frame for each logic. But some logics also contain nonunary operators. For example, temporal logics typically contain a binary Until operator. The purpose of this paper is to show how to extend generalized propositional logic to extended generalized propositional logic (EGPL) by adding nonunary operator pairs and measure inconsistency in such logics. The universality of EGPL manifests itself in the fact that once the evaluation of the nonunary operators is given, it carries over to all such logics. For example, the temporal Until operator becomes applicable to modal logic. Furthermore, while relative inconsistency measures were previously considered for GPL, they are now extended to EGPL and a new approach removes an undesirable feature from the previous version. Also, this paper provides results about various properties of the new inconsistency measures. Many examples and explanations are given to illustrate the issues involving this extension. (shrink)

This paper discusses the problem of inconsistencies in the metaphorical conceptualizations of time that involve motion within the framework of conceptual metaphor theory (CMT). It demonstrates that the TIME AS A PURSUER metaphor contrasts with the reverse variant TIME AS AN OBJECT OF PURSUIT, just as the MOVING TIME metaphor contrasts with the MOVING OBSERVER variant. Such metaphorical conceptualizations of time functioning as pairs of minimally differing variants based on Figure-Ground reversal are, strictly speaking, inconsistent with one another. Looking (...) at these inconsistencies from a wider perspective suggests that time may belong to a separate category of conceptual phenomena. This paper puts forward a proposal to approach time from the perspective of “phenomena of the third kind”, which according to Keller’s thesis include conceptual establishments resulting from human cognition, but not of human design. (shrink)

Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsistency is in many ways the more natural choice (...) in developing an expressivist account of moral discourse. We close by showing how to adapt ordinary formality-based accounts of logicality to define a B-type account of logical inconsistency and distinguish it from both semantic and pragmatic inconsistency. In sum, we provide a roadmap of how to develop a successful B-type expressivism. (shrink)

For more than a century, it has been a standard ploy to argue against relativism on the grounds of self‐referential incoherence (e.g., “if the relativists say that beliefs have no objective validity then that belief itself has none,” etc.). This paper determines the particular form this sort of charge takes when applied to a problematic passage in which Kuhn defends his relativistic theory of science by applying that theory to the debate between his critics and himself. If Kuhn were to (...) give up relativism with respect to facts and truth but retain it with respect to the strength of reasons, a pair of dilemmas charging circularity and inconsistency could be circumvented. (shrink)

For more than a century, it has been a standard ploy to argue against relativism on the grounds of self-referential incoherence . This paper determines the particular form this sort of charge takes when applied to a problematic passage in which Kuhn defends his relativistic theory of science by applying that theory to the debate between his critics and hirnself. If Kuhn were to give up relativism with respect to facts and truth but retain it with respect to the strength (...) of reasons, a pair of dilemmas charging circularity andinconsistency could be circumvented. (shrink)

Over the past 25 years, Graham Priest has ably presented and defended dialetheism, the view that certain sentences are properly characterized as true with true negations. Our goal here is neither to quibble with the tenability of true, assertable contradictions nor, really, with the arguments for dialetheism. Rather, we wish to address the dialetheist's treatment of cases of semantic pathology and to pose a worry for dialetheism that has not been adequately considered. The problem that we present seems to have (...) broader bite, afflicting both consistent and inconsistent proposals for resolving semantic pathology. Thus, while our primary goal is to uncover some important connections between dialetheism, semantic pathology, and other, more general issues, the problem that we pose might be a worry for anyone who aims to resolve semantic pathology - consistently or not. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

Learning in natural environments is often characterized by a degree of inconsistency from an input. These inconsistencies occur, for example, when learning from more than one source, or when the presence of environmental noise distorts incoming information; as a result, the task faced by the learner becomes ambiguous. In this study, we investigate how learners handle such situations. We focus on the setting where a learner receives and processes a sequence of utterances to master associations between objects and their labels, (...) where the source is inconsistent by design: It uses both “correct” and “incorrect” object‐label pairings. We hypothesize that depending on the order of presentation, the result of the learning may be different. To this end, we consider two types of symbolic learning procedures: the Object‐Label (OL) and the Label‐Object (LO) process. In the OL process, the learner is first exposed to the object, and then the label. In the LO process, this order is reversed. We perform experiments with human subjects, and also construct a computational model that is based on a nonlinear stochastic reinforcement learning algorithm. It is observed experimentally that OL learners are generally better at processing inconsistent input compared to LO learners. We show that the patterns observed in the learning experiments can be reproduced in the simulations if the model includes (a) an ability to regularize the input (and also to do the opposite, i.e., undermatch) and (b) an ability to take account of implicit negative evidence (i.e., interactions among different objects/labels). The model suggests that while both types of learners utilize implicit negative evidence in a similar way, there is a difference in regularization patterns: OL learners regularize the input, whereas LO learners undermatch. As a result, OL learners are able to form a more consistent system of image‐utterance associations, despite the ambiguous learning task. (shrink)

Research into expertise is relatively common in cognitive science concerning expertise existing across many domains. However, much less research has examined how experts within the same domain assess the performance of their peer experts. We report the results of a modified think-aloud study conducted with 18 pilots . Pairs of same-ranked pilots were asked to rate the performance of a captain flying in a critical pre-recorded simulator scenario. Findings reveal considerable variance within performance categories, differences in the process used as (...) evidence in support of a performance rating, different numbers and types of facts identified, and differences in how specific performance events affect choice of performance category and gravity of performance assessment. Such variance is consistent with low inter-rater reliability. Because raters exhibited good, albeit imprecise, reasons and facts, a fuzzy mathematical model of performance rating was developed. The model provides good agreement with observed variations. (shrink)

TOT states may be viewed as a temporary and reversible microamnesia. We investigated the effects of lorazepam on TOT states in response to general knowledge questions. The lorazepam participants produced more commission errors and more TOTs following commission errors than the placebo participants . The resolution of the TOTs was unimpaired by the drug. Neither feeling-of-knowing accuracy nor recognition were affected by lorazepam. The higher level of incorrect recalls produced by lorazepam participants may be due to the fact that they (...) were more frequently temporarily unable to access a known item. For some of these items, the awareness of the retrieval failure resulted in a commission TOT . The resolution of the TOT conflict is discussed in the light of the anxiolytic and anticonflict effects of lorazepam. The data are discussed in terms of contemporary theories of TOTs and the effects that benzodiazepines have on semantic memory. (shrink)

Background: Walking while performing a secondary task walking) increases cognitive workload in young adults. To date, few studies have used neurophysiological measures in combination to subjective measures to assess cognitive workload during a walking task. This combined approach can provide more insights into the amount of cognitive resources in relation with the perceived mental effort involving in a walking task.Research Question: The objective was to examine cognitive workload in young adults during walking conditions varying in complexity.Methods: Twenty-five young adults performed (...) four conditions: usual walking, simple DT walking, complex DT walking and standing while subtracting. During the walking task, mean speed, cadence, stride time, stride length, and their respective coefficient of variation were recorded. Cognitive workload will be measured through changes in oxy- and deoxy-hemoglobin during walking in the dorsolateral prefrontal cortex and perceived mental demand score from NASA-TLX questionnaire.Results: In young adults, ΔHbO2 in the DLPFC increased from usual walking to both DT walking conditions and standing while subtracting condition. ΔHbO2 did not differ between the simple and complex DT and between the complex DT and standing while subtracting condition. Perceived mental demand gradually increased with walking task complexity. As expected, all mean values of gait parameters were altered according to task complexity. CV of speed, cadence and stride time were significantly higher during DT walking conditions than during usual walking whereas CV of stride length was only higher during complex DT walking than during usual walking.Significance: Young adults had greater cognitive workload in the two DT walking conditions compared to usual walking. However, only the mental demand score from NASA-TLX questionnaire discriminated simple from complex DT walking. Subjective measure provides complementary information to objective one on changes in cognitive workload during challenging walking tasks in young adults. These results may be useful to improve our understanding of cognitive workload during walking. (shrink)

Methods for unifying inconsistent pairs of theories, which we call collectively MERGE, are defined and their properties outlined.

In a recent paper, Chris Haufe paints a provocative portrait of the late paleontologist Stephen Jay Gould. His principal aim is to resolve a “paradox” arising from a prima facie inconsistent pair of commitments: Gould believed that the biological facts could have been otherwise, and Gould believed that there are evolutionary laws. In order to resolve this paradox, Haufe makes two substantive claims: Gould was aware of the challenges that the Replay Thesis posed for a law-centered science of evolution, (...) even early in his career, and Gould endeavored to meet these challenges by deploying the “species-as-particles approach.” In this paper, I put pressure on both of these claims. By examining the goals and methods of Gould’s first “nomothetic research program,” the science of form, I show that it does not fit the picture of nomothetic science that Haufe illustrates. Additionally, I show that no straightforward connection exists between Gould’s understanding of contingency and his adoption of the species-as-particles approach. I propose that Gould’s career can be usefully split into three periods, each of which employed a distinct strategy for establishing distinctively paleontological contributions to evolutionary theory. (shrink)

My dissertation consists of three essays in the Metaphysics of Modality: In "A Puzzle about Truth and Singular Propositions," I consider two theses that seem to be true and then an argument for the conclusion that they form an inconsistent pair. One thesis is that a proposition that is singular with respect to a given object implies that the object exists. This is so because the proposition predicates something of the object. The other thesis is that some propositions are (...) true with respect to possible worlds in which they do not exist. An example is the negation of the proposition that Socrates is wise. This proposition is true with respect to possible worlds in which Socrates does not exist, but it does not exist in those worlds. ;In "Actualism, Ontological Dependence, and Possible Worlds," I consider Actualism, the doctrine that every possible object is an actual object. Plantinga has argued that the actualist is committed to the existence of unexemplified essences if he analyzes statements of modality by quantifying over possible worlds and over members of their domains. I argue that the actualist is committed to the existence of unexemplified essences even if he paraphrases statements of modality by quantifying only over possible worlds and actual objects. ;In "Possibilism and the Nature of Actuality," I consider Possibilism, the doctrine that there are possible objects that are not actual objects. Possibilism seems to be a coherent ontological doctrine. It is not Meinong's doctrine that there are objects of which it is true to say that there are no such objects. If one fails to distinguish between these two doctrines, then one's attempt to refute Possibilism might amount to an attack on a blatant contradiction. I illustrate this claim by arguing that the distinction between Possibilism and Meinong's doctrine has eluded Plantinga. I then consider the view that Possibilism is a consequence of Lewis's doctrine that 'actual' is an indexical term. I also argue that the sense in which Lewis said that 'actual' is indexical is an esoteric sense of the word, not a sense it ordinarily has. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

Hybrid expressivists claim to solve the Frege-Geach problem by offloading the explanation of the logico-semantic properties of moral sentences onto beliefs that are components of hybrid states they express. We argue that this strategy is undermined by one of hybrid expressivism’s own commitments: that the truth of the belief-component is neither necessary nor sufficient for the truth of the hybrid state it composes. We articulate a new approach. Instead of explaining head-on what it is for, say, a pair of moral (...) sentences to be inconsistent, expressivists should “sidestep” and explain what it is _to think that_ a pair of moral sentences is inconsistent. To think so is to think they cannot both be true – a modal notion. Since expressivists have given accounts of such modals, we illustrate how sentences like ‘“lying is wrong” and “lying is not wrong” are inconsistent’ express sensible – and rationally compelling – states of mind. (shrink)

A pair of interpreters of a speaker's sentences can disagree by assigning different truth-values to sentences in the speaker's language that the speaker neither accepts nor rejects. Alternately, they can assign different truth-values to some sentence that the speaker accepts as true. Neither source of disagreement is open to the speaker: on pain of inconsistency in the latter case, and ex hypothesis, the speaker neither accepts nor rejects the contested sentence in the former case. Arguably, interpreters possibilities of disagreement do (...) not undercut first-person semantic authority. (shrink)

In this paper I shall argue that there is good reason to doubt a traditional supposition about this pair of distinctions between types of knowledge used to address worries about Aristotle's account of akrasia, and I shall develop an interpretation on which the supposition is not made. It will be seen that the interpretation to be advanced - on which the entire chapter expresses Aristotle's own position on akrasia - resolves the apparent internal and external inconsistencies; and I hope to (...) show as well that, on this interpretation, Aristotle has something interesting and plausible to say about akrasia and that his analysis is happily applied to a large class of akratic actions. (shrink)

N. Kamide introduced a pair of classical and constructive logics, each with a peculiar type of negation: its double negation behaves as classical and intuitionistic negation, respectively. A consequence of this is that the systems prove contradictions but are non-trivial. The present paper aims at giving insights into this phenomenon by investigating subsystems of Kamide’s logics, with a focus on a system in which the double negation behaves as the negation of minimal logic. We establish the negation inconsistency of the (...) system and embeddability of contradictions from other systems. In addition, we attempt at an informational interpretation of the negation using the dimathematical framework of H. Wansing. (shrink)

Kevin Scharp proposes an original theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. He argues that truth is best understood as an inconsistent concept, and proposes a detailed theory of inconsistent concepts that can be applied to the case of truth. Truth also happens to be a useful concept, but its inconsistency inhibits its utility; as such, it should be replaced with consistent (...) concepts that can do truth's job without giving rise to paradoxes. To this end, Scharp offers a pair of replacements, which he dubs ascending truth and descending truth, along with an axiomatic theory of them and a new kind of possible-worlds semantics for this theory. He goes to develop Davidson's idea that truth is best understood as the core of a measurement system for rational phenomena, and offers a semantic theory that treats truth predicates as assessment-sensitive and solves the problems posed by the liar and other paradoxes. (shrink)

Which is better: a guarantee of a modest amount of moral value, or a tiny probability of arbitrarily large value? To prefer the latter seems fanatical. But, as I argue, avoiding such fanaticism brings severe problems. To do so, we must decline intuitively attractive trade-offs; rank structurally identical pairs of lotteries inconsistently, or else admit absurd sensitivity to tiny probability differences; have rankings depend on remote, unaffected events ; and often neglect to rank lotteries as we already know we would (...) if we learned more. Compared to these implications, fanaticism is highly plausible. (shrink)

Speech act theorists tend to hold that the illocutionary force of an utterance is determined by one interlocutor alone: either the speaker or the hearer. Yet experience tells us that the force of our utterances is not determined unilaterally. Rather, communication often feels collaborative. In this paper, I develop and defend a collaborative theory of illocutionary force, according to which the illocutionary force of an utterance is determined by an agreement reached by the speaker and the hearer. This theory, which (...) builds upon linguistic and sociological work on adjacency pairs and conversational interaction, can accommodate the complexity of speaker intentions (which may be disjunctive, indeterminate, and/or inconsistent over time), and renders speech act theory more compatible with theories of common ground. (shrink)

Speech act theorists tend to hold that the illocutionary force of an utterance is determined by one interlocutor alone: either the speaker or the hearer. Yet experience tells us that the force of our utterances is not determined unilaterally. Rather, communication often feels collaborative. In this paper, I develop and defend a collaborative theory of illocutionary force, according to which the illocutionary force of an utterance is determined by an agreement reached by the speaker and the hearer. This theory, which (...) builds upon linguistic and sociological work on adjacency pairs and conversational interaction, can accommodate the complexity of speaker intentions (which may be disjunctive, indeterminate, and/or inconsistent over time), and renders speech act theory more compatible with theories of common ground. (shrink)

This paper raises a problem for the pair of views that universals are immanent in their instantiations and that these instantiations, or states of affairs, are somehow constructed from the instantiated universals. It is argued that the pair is inconsistent. The first view implies that universals are prior to states of affairs, whereas the second view implies that states of affairs are prior to universals. This paper does not attempt to solve this problem, but rather to formulate it precisely. (...) That promises to illuminate how to solve the problem if it can be solved, or why it cannot be solved if it is unsolvable. (shrink)

Across cultures people construct spatial representations of time. However, the particular spatial layouts created to represent time may differ across cultures. This paper examines whether people automatically access and use culturally specific spatial representations when reasoning about time. In Experiment 1, we asked Hebrew and English speakers to arrange pictures depicting temporal sequences of natural events, and to point to the hypothesized location of events relative to a reference point. In both tasks, English speakers (who read left to right) arranged (...) temporal sequences to progress from left to right, whereas Hebrew speakers (who read right to left) arranged them from right to left, replicating previous work. In Experiments 2 and 3, we asked the participants to make rapid temporal order judgments about pairs of pictures presented one after the other (i.e., to decide whether the second picture showed a conceptually earlier or later time-point of an event than the first picture). Participants made responses using two adjacent keyboard keys. English speakers were faster to make “earlier” judgments when the “earlier” response needed to be made with the left response key than with the right response key. Hebrew speakers showed exactly the reverse pattern. Asking participants to use a space-time mapping inconsistent with the one suggested by writing direction in their language created interference, suggesting that participants were automatically creating writing-direction consistent spatial representations in the course of their normal temporal reasoning. It appears that people automatically access culturally specific spatial representations when making temporal judgments even in nonlinguistic tasks. (shrink)

It has often been noted that there is some tension between engaging in decision-making and believing that one’s choices might be predetermined. The possibility that our choices are predetermined forces us to consider, in our decisions, act-state pairs which are inconsistent, and hence to which we cannot assign sensible utilities. But the reasoning which justifies two-boxing in Newcomb’s problem also justifies associating a non-zero causal probability with these inconsistent act-state pairs. Put together these undefined utilities and non-zero probabilities (...) entail that expected utilities are undefined whenever it is a possibility that our choices are predetermined. There are three ways to solve the problem, but all of them suffer serious costs: always assume that, contrary to our evidence, the outcome of our present decision-making is not predetermined; give up the reasoning that justifies unconditional two-boxing in Newcomb’s problem; or allow epistemically impossible outcomes to contribute to expected utility, leading to the wrong results in a series of cases introduced by Ahmed :665–685, 2014a, Evidence, decision and causality, Cambridge University Press, Cambridge, 2014b). However they choose to respond, causal decision theorists cannot remain silent: the intuitive tension between decision-making and the possibility of predetermination can be made precise, and resolving it will require giving up something. Causal decision theorists have a predetermination problem. (shrink)

This essay proposes a theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. The paradoxes associated with truth (for example, the liar) and the pattern of failures in our attempts to deal with them suggest that truth is an inconsistent concept. The first part of the essay describes a pair of replacement concepts, which the essay dubs ascending truth and descending truth, along with an (...) axiomatic theory of them and an empirical interpretation of the theory. The essay shows how to use these replacements in a familiar truth-conditional semantics as well. The second part of the essay offers a descriptive theory of our natural language truth predicate that takes it to be assessment sensitive, which means that it has the same content in every context of utterance, but its extension (that is, the set of things that are true) depends on a context of assessment. Contexts of assessment model situations in which a person interprets someone's utterance. From different contexts of assessment, the truth predicate has different extensions. The descriptive theory employs the concepts of ascending truth and descending truth, and they determine how the extension of the truth predicate varies across contexts of assessment. This assessment-sensitive theory of truth solves the liar and other paradoxes, it is compatible with classical logic and all the expressive resources we have in natural language, and it does not give rise to any new paradoxes. (shrink)

Thought experiments invite us to evaluate philosophical theses by making judgements about hypothetical cases. When the judgements and the theses conflict, it is often the latter that are rejected. But what is the nature of the judgements such that they are able to play this role? I answer this question by arguing that typical judgements about thought experiments are in fact judgements of normal counterfactual sufficiency. I begin by focusing on Anna-Sara Malmgren’s defence of the claim that typical judgements about (...) thought experiments are mere possibility judgements. This view is shown to fail for two closely related reasons: it cannot account for the incorrectness of certain misjudgements, and it cannot account for the inconsistency of certain pairs of conflicting judgements. This prompts a reconsideration of Timothy Williamson’s alternative proposal, according to which typical judgements about thought experiments are counterfactual in nature. I show that taking such judgements to concern what would normally hold in instances of the relevant hypothetical scenarios avoids the objections that have been pressed against this kind of view. I then consider some other potential objections, but argue that they provide no grounds for doubt. (shrink)

I consider the fundamental philosophical problem for Christology: how can one and the same person, the Second Person of the Trinity, be both God and man. For being God implies having certain attributes, perhaps immutability, or impassibility, whereas being human implies having apparently inconsistent attributes. This problem is especially vexing for the proponent of Conciliar Christology – the Christology taught in the Ecumenical Councils – since those councils affirm that Christ is both mutable and immutable, both passible and impassible, (...) etc. Many extant solutions to this problem approach it by claiming that the predicates are incompatible when said of the same thing without qualification, but that once the appropriate qualification is added, compatibility is achieved. I provide a different approach. Here I argued that the predicates can be understood so that they are compatible. I then work out the logical relations between the predicates, so understood, showing that no contradiction follows from understanding them in the way I suggest. After that, I consider some of the motivations we have for believing the purportedly incompatible pairs to be, in fact, incompatible, and argue that, on the view offered here, we can salvage most of our intuitions that motivate taking the predicates as incompatible. Finally, I consider three objections. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

Drawing on conservation of resources theory, this study examines the curvilinear relationship between harmonious and obsessive work passion and organizational citizenship behavior as well as the moderating effect of collectivistic values. Using 233 paired supervisor-employee responses from Russia, I found that harmonious work passion and OCB are positively related up to a point, after which higher levels of harmonious work passion are associated with declining OCB. The main curvilinear effect of obsessive work passion on OCB was not significant. Collectivistic values (...) were found to significantly interact with obsessive work passion but not harmonious work passion in the way they affect OCB. Employees who score high on collectivistic values tend to engage more in OCB than those who score low on collectivistic values. Interestingly, at low levels of collectivism, the inverted U-shaped curve illustrates the relations between obsessive passion and OCB changes into a U-shaped curve, suggesting that the highest engagement in OCB will no longer be observed at intermediate levels of obsessive work passion but rather at its lowest and highest levels. The findings contribute to work passion research and suggest that curvilinear rather than linear relationships may exist between work passion and work outcomes, which may account for the existing inconsistencies in the previous studies in regards to whether work passion-outcomes relationships are either positive or negative. (shrink)

According to the Principle of Conditional Non-Contradiction (CNC), conditionals of the form “If p, q” and “If p, not q” cannot both be true, unless p is inconsistent. This principle is widely regarded as an adequacy constraint on any semantics that attributes truth conditions to conditionals. Gibbard has presented an example of a pair of conditionals that, in the context he describes, appear to violate CNC. He concluded from this that conditionals lack truth conditions. We argue that this conclusion (...) is rash by proposing a new diagnosis of what is going on in Gibbard’s argument. We also provide empirical evidence in support of our proposal. (shrink)

One of the main controversies of the Logic Schools of the 12th century centered on the question: What follows from the impossible? In this paper arguments for two diametrically opposed positions are examined. The author of the ‘Avranches Text’ who probably belonged to the school of the Parvipontani defended the view that from an impossible proposition everything follows (‘Ex impossibili quodlibet’). In particular he developed a proof to show that by means of so-called ‘disjunctive syllogism’ any arbitrary proposition B can (...) be logically derived from a pair of contradictory propositions A and Not-A. The author of the Ars Meliduna instead argued that nothing follows from an impossible proposition (‘ex falso nihil sequitur’). This view is supported by various counterexamples which aimed to show that the admission of impossible premises would give rise to inconsistent conclusions. Upon closer analysis these inconsistencies do not, however, have the formal structure of a real contradiction like A and Not-A, but rather the structure of two rivalling conditionals like ‘If B then A’ and ‘If B then Not-A’. Hence these counterexamples rather have to be considered as refutations of the basic principles of ‘connexive logic’. (shrink)

One recent topic of debate in Bayesian epistemology has been the question of whether imprecise credences can be rational. I argue that one account of imprecise credences, the orthodox treatment as defended by James M. Joyce, is untenable. Despite Joyce’s claims to the contrary, a puzzle introduced by Roger White shows that the orthodox account, when paired with Bas C. van Fraassen’s Reflection Principle, can lead to inconsistent beliefs. Proponents of imprecise credences, then, must either provide a compelling reason (...) to reject Reflection or admit that the rational credences in White’s case are precise. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

Although there has been a recent swell of interest in theories of truth that attempt solutions to the liar paradox and the other paradoxes affecting our concept of truth, many of these theories have been criticized for generating new paradoxes, called revenge paradoxes. The criticism is that the theories of truth in question are inadequate because they only work for languages lacking in the resources to generate revenge paradoxes. Theorists facing these objections offer a range of replies, and the matter (...) seems now to be at a standoff. I aim, first, to bolster the revenge objections by considering a relation, internalizability, between languages and theories of truth. A theory of truth is internalizable for a language iff there is an extension of that language in which the theory is expressible and for which the theory provides an accurate and complete assignment of semantic values. There are good reasons to think that acceptable theories of truth are internalizable for any language. With this internalizability requirement in hand, I argue that properly formulated revenge objections are decisive and that the replies to them are inadequate. Second, I show that the internalizability requirement can be met by a certain theory of truth. The central claim of this theory is that truth is an inconsistent concept and should be replaced with a pair of consistent concepts that can then be used to provide a semantics for our truth predicates. This theory is compatible with classical logic, does not give rise to revenge paradoxes of any kind, and satisfies the internalizability requirement. (shrink)

The tradeoff hypothesis in the speech–gesture relationship claims that (a) when gesturing gets harder, speakers will rely relatively more on speech, and (b) when speaking gets harder, speakers will rely relatively more on gestures. We tested the second part of this hypothesis in an experimental collaborative referring paradigm where pairs of participants (directors and matchers) identified targets to each other from an array visible to both of them. We manipulated two factors known to affect the difficulty of speaking to assess (...) their effects on the gesture rate per 100 words. The first factor, codability, is the ease with which targets can be described. The second factor, repetition, is whether the targets are old or new (having been already described once or twice). We also manipulated a third factor, mutual visibility, because it is known to affect the rate and type of gesture produced. None of the manipulations systematically affected the gesture rate. Our data are thus mostly inconsistent with the tradeoff hypothesis. However, the gesture rate was sensitive to concurrent features of referring expressions, suggesting that gesture parallels aspects of speech. We argue that the redundancy between speech and gesture is communicatively motivated. (shrink)

Time preference reversals refers to systematic inconsistencies between preferences and valuations in intertemporal choice. When faced with a pair of intertemporal options, people preferred the smaller-sooner option but assign a higher price to the larger-later one. Different hypotheses postulate that the differences in evaluation scale or output format between the choice and the bid tasks cause the preference reversal. However, these hypotheses have not been distinguished. In the present study, we conducted a hybrid task, which shares the same evaluation scale (...) with the bid task and shares the same output format with the choice task. By comparing these three tasks, we can figure out the key reason for time preference reversal. The eye-tracking measures reflecting attention allocation, cognitive effort and information search pattern were examined. Results showed that participants' time preference and eye-tracking measures in the hybrid task were similar to those in the choice task, but different from those in the bid task. Our findings suggest that the output format is the core reason for time preference reversal and may deepen our understanding of the mechanisms that underlie time preference reversal. (shrink)

Authorship transgressions, duplicate data reporting and reporting/data errors compromise the integrity of biomedical publications. Using a standardized template, we raised concerns with journals about each of these characteristics in 33 pairs of publications originating from 15 preclinical trials reported by a group of researchers. The outcomes of interest were journal responses, including time to acknowledgement of concerns, time to decision, content of decision letter, and disposition of publications at 1 year. Authorship transgressions affected 27/36 publications. The median proportion of duplicate (...) data within pairs of publications was 45%. Data/reporting discrepancies [median 3 ] were present in 28/33 pairs. Journals acknowledged receipt of concerns for 53% and 94% of publications by 1 month and 9 months, respectively. After 1 year, journals had communicated decisions for 16/36 publications. None of the decision letters specifically addressed each of the concerns raised. Decisions were no action, correction and retraction for 9, 3 and 4 publications, respectively: the amounts of duplicate data reporting and data/reporting discrepancies were similar irrespective of journal decision. Authorship transgressions affected 6/9 publications for which no action was decided. Journal responses to concerns about duplicate publication, authorship transgressions, and data/reporting discrepancies were slow, opaque and inconsistent. (shrink)

Individuals shift their language to converge with interlocutors. Recent work has suggested that convergence can target not only observed but also expected linguistic behavior, cued by social information. However, it remains uncertain how expectations and observed behavior interact, particularly when they contradict each other. We investigated this using a cooperative map task experiment, in which pairs of participants communicated online by typing messages to each other in a miniature “alien” language that exhibited variation between alien species. The overall task comprised (...) three phases, in each of which participants were told that they would be paired with a different partner. One member of the pair was given explicit linguistic expectations in each phase, while the software controlled whether or not observed behavior from their partner would be consistent or inconsistent with these expectations. The other participant was given no such expectations, allowing us to control for the role of expectation. Participants converged to both observed and expected linguistic behavior, and convergence was boosted when observation and expectation were aligned. When expected and observed behavior were misaligned, participants updated their expectations, though convergence levels did not drop. Furthermore, participants generalized what they learned about one partner to apparent novel partners of the same alien species. We also discuss individual variation in convergence patterns and the lack of a relationship between linguistic convergence and success at the map task. Findings are consistent with observations outside the laboratory that language users converge toward expected linguistic behavior. They also have broader implications for understanding linguistic accommodation and the influence of social information on linguistic processing and production. (shrink)

In this essay, I defend a mind-body dualism, according to which human minds are immaterial substances that exercise non-redundant causal powers over bodies, against the notorious problem of psychophysical causation. I explicate and reply to three formulations of the problem: (i) the claim that, on dualism, psychophysical causation is inconsistent with physical causal closure, (ii) the claim that psychophysical causation on the dualist view is intolerably mysterious, and (iii) Jaegwon Kim’s claim that dualism fails to account for causal (...) class='Hi'>pairings. Ultimately, I conclude that these objections fail and that dualist interactionism is no more problematic or mysterious than physical causation. (shrink)

The charge of hypocrisy has been made in connection with several recent events—namely, the pair of "sex scandals" involving, respectively, Rep. Mark Foley and Sen. Larry Craig, the former, a Republican member of the House from Florida and the latter a Republican senator from Idaho. Foley was accused of sending sexually suggestive messages to teenage boys who had been or who were at the time congressional pages, and Craig was arrested for lewd conduct in a men's bathroom and pleaded guilty (...) to a lesser charge of disorderly conduct. Both Foley and Craig faced immediate calls for resignation by their critics on the other side of the aisle. Both were also criticized by members of their own party. For simplicity, the Democratic critics of Foley and Craig are called "progressives" while their Republican critics are called "conservatives." There are, however, significant logical differences between the criticisms of Foley and Craig by progressives and the similar criticisms of them by conservatives. Since conservatives are generally more critical of sexual indiscretion, their criticisms of Foley and Craig are generally consistent with their own values. Since, however, progressives are generally more tolerant of sexual indiscretions, their criticisms of these men are often inconsistent. Specifically, some progressives find Foley and Craig blameworthy for hypocrisy over acts which, had they been committed by progressives, they would not see as blameworthy. This is why progressives shift the criticism to a different level—namely, that these men are hypocritical. Since Foley and Craig had been champions of "family values," progressives cannot consistently criticize them for their sexual indiscretions. The criticism has to be that, since these men had violated their own conservative standards of morality, they are hypocritical. (shrink)