In the paper, the authors discuss two kinds of consequence operations characterized axiomatically. The first one are consequence operations of the type Cn + that, in the intuitive sense, are infallible operations, always leading from accepted (true) sentences of a deductive system to accepted (true) sentences of the deductive system (see Tarski in Monatshefte für Mathematik und Physik 37:361–404, 1930, Comptes Rendus des Séances De la Société des Sciences et des Lettres de Varsovie 23:22–29, 1930; Pogorzelski and Słupecki (...) in Stud Logic 9:163–176, 1960, Stud Logic 10:77–95, 1960). The second kind are dual consequence operations of the type Cn − that can be regarded as anti-infallible operations leading from non-accepted (rejected, false) sentences of a deductive system to non-accepted (rejected, false) sentences of the system (see Słupecki in Funkcja Łukasiewicza, 33–40, 1959; Wybraniec-Skardowska in Teoria zdań odrzuconych, 5–131, Zeszyty Naukowe Wyższej Szkoły Inżynierskiej w Opolu, Seria Matematyka 4(81):35–61, 1983, Ann Pure Appl Logic 127:243–266, 2004, in On the notion and function of rejected propositions, 179–202, 2005). The operations of the types Cn + and Cn − can be ordinary finitistic consequence operations or unit consequence operations. A deductive system can be characterized in two ways by the following triple: $$\begin{array}{ll}{\rm by\,the\,triple}:\hspace{1.4cm} (+ , -)\hspace{0,6cm} \\ {\rm or\,by\,the\,triple}:\hspace{1.0cm} (-, +)\hspace{0,6cm} .\end{array}$$ We compare axiom systems for operations of the types Cn + and Cn −, give some methodological properties of deductive systems defined by means of these operations (e.g. consistency, completeness, decidability in Łukasiewicz’s sense), as well as formulate different metatheorems concerning them. (shrink)

We explore the developmental paradox of false belief understanding. This paradox follows from the claim that young infants already have an understanding of false belief, despite the fact that they consistently fail the elicited-response false belief task. First, we argue that recent proposals to solve this paradox are unsatisfactory because they (i) try to give a full explanation of false belief understanding in terms of a single system, (ii) fail to provide psychological concepts that are sufficiently fine-grained to capture the (...) cognitive requirements for the various manifestations of false belief understanding, and (iii) ignore questions about system interaction. Second, we present a dual-system solution to the developmental paradox of false belief understanding that combines a layered model of perspective taking with an inhibition-selection-representation mechanism that operates on different levels. We discuss recent experimental findings that shed light on the interaction between these two systems, and suggest a number of directions for future research. (shrink)

. In this paper, the significance of using general logic-systems and finite consequence operators defined on non-organized languages is discussed. Results are established that show how properties of finite consequence operators are independent from language organization and that, in some cases, they depend only upon one simple language characteristic. For example, it is shown that there are infinitely many finite consequence operators defined on any non-organized infinite language L that cannot be generated from any finite logic-system. On (...) the other hand, it is shown that for any nonempty language L, a set map is a finite consequence operator if and only if it is defined by a general logic-system. Simple logic-system examples that determine specific consequence operator properties are given. (shrink)

An Ockham lattice is defined to be a distributive lattice with 0 and 1 which is equipped with a dual homomorphic operation. In this paper we prove: (1) The lattice of all equational classes of Ockham lattices is isomorphic to a lattice of easily described first-order theories and is uncountable, (2) every such equational class is generated by its finite members. In the proof of (2) a characterization of orderings of with respect to which the successor function is (...) decreasing is given. (shrink)

The lattices of the title generalize the concept of a De Morgan lattice. A representation in terms of ordered topological spaces is described. This topological duality is applied to describe homomorphisms, congruences, and subdirectly irreducible and free lattices in the category. In addition, certain equational subclasses are described in detail.

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space.

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space. • DOI:10.5007/1808-1711.2010v14n1p47.

Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza um espaço quase topológico. Este artigo mostra uma visão algébrica dos espaços de Tarski e introduz uma lógica proposicional modal que interpreta o seu operador modal nos conjuntos fechados de algum espaço de Tarski. DOI:10.5007/1808-1711.2010v14n1p47.

Dual-process theories of conditional reasoning predict that relationships among four basic logical forms, and to intellectual ability and thinking predictions, are most evident when conflict arises between experiential and analytic processing (e.g., Stanovich & West, 2000). To test these predictions, 210 undergraduates were presented with conditionals for which the consequents were either weakly or strongly associated with alternative antecedents (i.e., WA and SA problems, respectively). Consistent with predictions, modus ponens inferences were not related to inferences on the uncertain forms (...) (affirmation of the consequent, denial of the antecedent). On WA problems, modus tollens, affirmation of the consequent, and denial of the antecedent were related to each other and to verbal ability. Modus ponens was linked to verbal ability only when disabling conditions were activated. In accord with the predictions of Stanovich and West (2000), on most problems, thinking dispositions predicted variance in inferences independently from verbal ability. We argue that a largely automatic experiential processing system governs performance on modus ponens, unless disablers are activated. Consciously controlled analytic processing predominates on the uncertain forms and, under some conditions, on modus tollens. (shrink)

In this commentary on Stanovich & West (S&W) we call attention to two points: (1) Freud's original dual process theory, which antedates others by some seventy-five years, deserves inclusion in any consideration of dual process theories. His concepts of primary and secondary processes (Systems 1 and 2, respectively) anticipate significant aspects of current dual process theories and provide an explanation for many of their characteristics. (2) System 1 is neither rational nor irrational, but instead a-rational. Nevertheless, both (...) the a-rational System 1 and the rational System 2 can each have different roles in enhancing evolutionary fitness. Lastly, System 1 operations are incorrectly deemed “rational” whenever they increase evolutionary fitness. (shrink)

This article will examine McCormick's moral epistemology both at the level of how human persons know values and disvalues, which hereinafter will be referred to as synderesis, and at the level of how human persons know the rightness and wrongness of an action, which hereinafter will be referred to as normative moral judgment. On the one hand, from this investigation it appears that McCormick operates with a dual moral epistemology, at least at the level of synderesis. This means that (...) at one point in time it appears that a significant shift may have occurred in his moral epistemology at the level of synderesis. This may also be true at the level of normative moral judgment. On the other hand, McCormick's moral epistemology may in fact be a synthesis, which is the product of development and maturity in his thought process. This article will articulate, examine, and analyse both moral epistemologies. The first moral epistemology is operative in McCormick's writing up until 1983. The second moral epistemology corresponds to McCormick's decision in 1983 to write primarily in the area of bioethics from a theological perspective. Since the year 1983 seems to be the pivotal time when these two moral epistemologies converge, I will refer to the first moral epistemology as “prior to 1983” and I will refer to the second moral epistemology as “after 1983.” Because of the numerous criticisms that surround McCormick's moral epistemology, and the ambiguity that it entails, McCormick needed to articulate his theoretical foundations clearly and develop them systematically and coherently. Numerous moral theologians called for him to do this, yet he never responded. A systematic understanding of McCormick's moral epistemology is not only necessary but crucial in examining various issues in bioethics. It is necessary because it is the basis of moral decision making. It is crucial because the life and death of individuals may hang in the balance. (shrink)

The intuitionistic consequence operation restricted to the language with (equivalence) and (negation) as the only connectives is axiomatized by means of a finite set of sequential rules of inference.

The book questions two key dichotomies: that of the apparent and real, and that of the internal and external. This leads to revised notions of the structure of experience and the object of knowledge. Our world is experienced as possibilities of action, and to know is to know what to do. A further consequence is that the mind is best considered as a property of organisms' interactions with their environment. The unit of analysis is the loop of action and (...) perception, and the central concept is the notion of habit of action, which provides the embodied basis of cognition as the anticipation of action. This holds for non-linguistic tacit meanings as well as for linguistic meanings. Habit of action is a teleological notion and thus opens a possibility for defining intentionality and normativity in terms of the soft naturalism adopted in the book. The mind is embodied, and this embodiment determines our physical perspective on the world. Our sensory organs and other instruments give us instrumental access to the world, and this access is epistemic in character. The distinction between the physical and conceptual viewpoint allows us to define truth as the correspondence with operational fit. This embodied epistemic truth is however not a sign of antirealism, as the instrumentally accessed theoretical objects are precisely those objects that experimental science deals with.. (shrink)

This paper introduces the logic _Q__L__E__T_ _F_, a quantified extension of the logic of evidence and truth _L__E__T_ _F_, together with a corresponding sound and complete first-order non-deterministic valuation semantics. _L__E__T_ _F_ is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (_FDE_) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘_A_ entails that _A_ behaves classically, ∙_A_ follows from _A_’s violating some classically valid inferences. The semantics of (...) _Q__L__E__T_ _F_ combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin’s method. By providing sound and complete semantics for first-order extensions of _FDE_, _K3_, and _LP_, we show how these tools, which we call here the method of _anti-extensions + valuations_, can be naturally applied to a number of non-classical logics. (shrink)

The extent to which the scientific method has yielded to analysis in recent years serves only to emphasize by contrast the presence within that method of an irrational element. For it is becoming increasingly evident that whatever one may say of the logical and psychological character of the pre-inductive operations, of the formal processes involved in deducing the consequences of a given theory, of the technique of experimental corroboration, and of certain other aspects of the scientific method, there is one (...) phase of the movement which remains a surd. This is the act of the creative imagination through which hypotheses and theories are called into being. Its mysterious character is exhibited in the terminology which is employed in describing it, in the variety and inconstancy of the conditions which give rise to it, in the apparent impossibility of controlling it, and in the impossibility of recognizing completely the adequacy of its results when it does occur. It is variously described as an act of intuition, mystic revelation, divine insight, a flash of understanding; it arises out of the greatest variety of conditions: acute and prolonged attention to the data in the confinement of the laboratory, or the complete relaxation of a walk in the country, or the intense mental effort upon a problem in a wholly unrelated field; it forbids direction, in fact it seems to arise most readily when the element of effort and control is conspicuously absent; it cannot even be certainly identified, for many supposed acts of discovery prove later to have produced only groundless fancies and absurd creations of the unguided imagination. (shrink)

Background: The high disease burden of Africa, the emergence of new diseases and efforts to address the 10/90 gap have led to an unprecedented increase in health research activities in Africa. Consequently, there is an increase in the volume and complexity of protocols that ethics review committees in Africa have to review. Methods: With a grant from the Bill and Melinda Gates Foundation, the African Malaria Network Trust (AMANET) undertook a survey of 31 ethics review committees (ERCs) across sub-Saharan Africa (...) as an initial step to a comprehensive capacity-strengthening programme. The number of members per committee ranged from 3 to 21, with an average of 11. Members of 10 institutional committees were all from the institution where the committees were based, raising prima facie questions as to whether independence and objectivity could be guaranteed in the review work of such committees. Results: The majority of the committees (92%) cited scientific design of clinical trials as the area needing the most attention in terms of training, followed by determination of risks and benefits and monitoring of research. The survey showed that 38% of the ERC members did not receive any form of training. In the light of the increasing complexity and numbers of health research studies being conducted in Africa, this deficit requires immediate attention. Outcome: The survey identified areas of weakness in the operations of ERCs in Africa. Consequently, AMANET is addressing the identified needs and weaknesses through a 4-year capacity-building project. (shrink)

In this thesis, Semantics, Meta-Semantics, and Ontology, I provide a critique of the method of truth in metaphysics. Davidson has suggested that we can determine the metaphysical nature and structure of reality through semantic investigations. By contrast, I argue that it is not semantics, but meta-semantics, which reveals the metaphysically necessary and sufficient truth conditions of our claims. As a consequence I reject the Quinean criterion of ontological commitment. In Part I, chapter 1, I argue that the metaphysically primary (...) truth bearers are not propositions, but rather concrete representations, either beliefs or sentences. I show, in chapter 2, that we can give sense to a truth predicate applying to sentences, given a truth operator and quantification into sentence position. I argue that this strategy does not commit us to the existence of propositions serving as truth bearers. In Part II I argue that although we must assign semantic values to sentences and/or predicates, the meaningfulness of these expressions is not thereby explained. In chapter 3 I articulate Davidson’s problem of predication and his solution, but argue that he was wrong to attribute this solution to Tarski. In chapter 4 I examine the semantics of modal languages; I conclude that although they require semantic values for predicates and/or sentences we should be instrumentalists about these theories. In Part III I consider the relationship between truth and existence. In chapter 5, I defend Pluralism about truth: in some domains of discourse, I claim, semantic reference plays a merely instrumental role in explaining truth. In chapter 6, I show that Hume’s Principle, which is committed by the Quinean criterion to the existence of numbers, can be true even though numbers do not exist. In doing so, I appeal to meta-semantic and diachronic considerations. In the conclusion I compare my views on ontology and commitment to Jody Azzouni’s; and in the appendix I suggest how one might pursue diachronic linguistics. (shrink)

The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables may (...) be substituted and\nthat correspond to maximally linearly ordered subsets of instants.\nThis second type is for tense logics in which time is not linear\nand where at any moment there may exist alternative future courses\nof events. Quantifiers are included in both types but only for clock-\nand history-propositional variables. However, these quantifiers are\ngiven an essentially substitutional interpretation. In addition,\nbesides each clock-propositional variable being true at exactly one\ninstant, the semantics requires that for each instant there be at\nleast one clock-propositional variable true at that instant, which\nin effect amounts to having each instant of the model "denoted" in\nthe formalism by some clock-propositional variable. Thus it is not\nsurprising that quantification over clock-propositional variables\nturns out to have a "well behaved first-order semantics" (p. 284).\n{One axiom relating history- with clock-propositions seems to need\nrevision: CKTauTbuAUabUba. Since the clock-propositional variables\nmight be true at the same instant the consequent should include an\nalternative, namely, LCab.} Besides the standard truth-functional\nand tense operators G,H,F,P, the author includes L for "it is\nalways the case that". The model-theoretic earlier-than relation\nordering instants and the semantic truth-at (an instant) relation\nare formalized by Uab and Taα (for a wff α) which\nare defined respectively as LCbPa (whenever the clock-proposition\nb is the case the clock-proposition a was the case) and LCaα\n(α is the case whenever the clock-proposition a is the case).\nBecause the future tense operators are definable in terms of U\nand T and the latter are definable in terms of L and P, the\ndual of H, the author notes that his completeness proofs can be\nrestricted to L and H as primitive and with the future tense\noperators used for other interpretations, especially Prior, A.'s\nindeterminist "it will be the case that", where time is not linear.\nThe author concludes with some rather technical observations showing\nthat "in ordinary tense logics the instants are nonstandard elements\nof the models. This provides", according to the author, "a semantic\npressure to build the instants into tense logic, so that they will\nappear as standard elements in the models" (p. 283). (shrink)

The main formal notion involved in qualitative truth approximation by the HD-method, viz. ‘more truthlike’, is shown to not only have, by its definition, an intuitively appealing ‘model foundation’, but also, at least partially, a conceptually plausible ‘consequence foundation’. Moreover, combining the relevant parts of both leads to a very appealing ‘dual foundation’, the more so since the relevant methodological notions, viz. ‘more successful’ and its ingredients provided by the HD-method, can be given a similar dual foundation. (...) According to the resulting dual foundation of ‘naive truth approximation’, the HD-method provides successes (established true consequences) and counterexamples (established wrongly missing models) of theories. Such HD-results may support the tentative conclusion that one theory seems to remain more successful than another in the naive sense of having more successes and fewer counterexamples. If so, this provides good reasons for believing that the more successful theory is also more truthlike in the naive sense of having more correct models and more true consequences. (shrink)

The partitions of a given set stand in a well known one-to-onecorrespondence with the equivalence relations on that set. We askwhether anything analogous to partitions can be found which correspondin a like manner to the similarity relations (reflexive, symmetricrelations) on a set, and show that (what we call) decompositions – of acertain kind – play this role. A key ingredient in the discussion is akind of closure relation (analogous to the consequence relationsconsidered in formal logic) having nothing especially to (...) do with thesimilarity issue, and we devote a final section to highlighting some ofits properties. (shrink)

The sequent system LDJ is formulated using the same connectives as Gentzen's intuitionistic sequent system LJ, but is dual in the following sense: (i) whereas LJ is singular in the consequent, LDJ is singular in the antecedent; (ii) whereas LJ has the same sentential counter-theorems as classical LK but not the same theorems, LDJ has the same sentential theorems as LK but not the same counter-theorems. In particular, LDJ does not reject all contradictions and is accordingly paraconsistent. To obtain (...) a more precise mapping, both LJ and LDJ are extended by adding a "pseudo-difference" operator which is the dual of intuitionistic implication. Cut-elimination and decidability are proved for the extended systems and , and a simply consistent but -inconsistent Set Theory with Unrestricted Comprehension Schema based on LDJ is sketched. (shrink)

Using a three-dimensional ethical role-specific model, this article considers the dual loyalty conflict between following military orders and professional codes of practice in an operational military environment when a patient soldier refuses life-saving medical treatment and where their legal capacity is questionable. The article suggests that although every competent patient has the right to refuse medical treatment even though they may die as a consequence. Ordinarily, it is unethical to exert any undue influence on a patient to accept (...) medical treatment, in a military operational environment where attack from the enemy is likely, it may be reasonable and understandable to exert undue influence over a patient when they lack legal capacity. (shrink)

The term fuzzy logic is used in this paper to describe an imprecise logical system, FL, in which the truth-values are fuzzy subsets of the unit interval with linguistic labels such as true, false, not true, very true, quite true, not very true and not very false, etc. The truth-value set, , of FL is assumed to be generated by a context-free grammar, with a semantic rule providing a means of computing the meaning of each linguistic truth-value in as a (...) fuzzy subset of [0, 1].Since is not closed under the operations of negation, conjunction, disjunction and implication, the result of an operation on truth-values in requires, in general, a linguistic approximation by a truth-value in . As a consequence, the truth tables and the rules of inference in fuzzy logic are (i) inexact and (ii) dependent on the meaning associated with the primary truth-value true as well as the modifiers very, quite, more or less, etc. (shrink)

Problem: Is Niklas Luhmann’s theory of social systems based on a constructivist or on a realist epistemology? Luhmann’s own elaborations seem to oscillate between both standpoints. Method: The argumentation provided in this article starts with a detailed reconstruction of Luhmann’s epistemology and of Luhmann’s criticism towards radical constructivism and then examines the consequences for a comparison of systems theory and (radical) constructivism. Results: Although Luhmann’s operative constructivism can be distinguished from radical constructivism, the differences are not considered fundamental. Luhmann’s epistemology (...) is clearly nearer to constructivism than to realism and it shares most of constructivism’s key concepts, such as self-referential logic, a strict relation between observer and observed, and the relativism of reality construction. Implications: Luhmann’s criticism of radical constructivism must be understood in the context of his sociological background. Most of his arguments against radical constructivism can be considered apprehensions of misleading interpretations of radical constructivism rather than of substantial criticism. They may help to clarify a radical constructivist epistemology. Constructivist content: The paper attempts to check whether Luhmann’s theory of social theory is based on (radical) constructivist epistemology. (shrink)

Minimizing the costs that others impose upon oneself and upon those in whom one has a fitness stake, such as kin and allies, is a key adaptive problem for many organisms. Our ancestors regularly faced such adaptive problems (including homicide, bodily harm, theft, mate poaching, cuckoldry, reputational damage, sexual aggression, and the infliction of these costs on one's offspring, mates, coalition partners, or friends). One solution to this problem is to impose retaliatory costs on an aggressor so that the aggressor (...) and other observers will lower their estimates of the net benefits to be gained from exploiting the retaliator in the future. We posit that humans have an evolved cognitive system that implements this strategy – deterrence – which we conceptualize as a revenge system. The revenge system produces a second adaptive problem: losing downstream gains from the individual on whom retaliatory costs have been imposed. We posit, consequently, a subsidiary computational system designed to restore particular relationships after cost-imposing interactions by inhibiting revenge and motivating behaviors that signal benevolence for the harmdoer. The operation of these systems depends on estimating the risk of future exploitation by the harmdoer and the expected future value of the relationship with the harmdoer. We review empirical evidence regarding the operation of these systems, discuss the causes of cultural and individual differences in their outputs, and sketch their computational architecture. (shrink)

In this paper we exploit the notions of conjoined and iterated conditionals, which are defined in the setting of coherence by means of suitable conditional random quantities with values in the interval [0,1]. We examine the iterated conditional (B|K)|(A|H), by showing that A|H p-entails B|K if and only if (B|K)|(A|H) = 1. Then, we show that a p-consistent family F={E1|H1, E2|H2} p-entails a conditional event E3|H3 if and only if E3|H3= 1, or (E3|H3)|QC(S) = 1 for some nonempty subset S (...) of F, where QC(S) is the quasi conjunction of the conditional events in S. Then, we examine the inference rules And, Cut, Cautious Monotonicity, and Or of System P and other well known inference rules (Modus Ponens, Modus Tollens, Bayes). We also show that QC(F)|C(F) = 1, where C(F) is the conjunction of the conditional events in F. We characterize p-entailment by showing that F p-entails E3|H3 if and only if (E3|H3)|C(F) = 1. Finally, we examine Denial of the antecedent and Affirmation of the consequent, where the p-entailment of (E3|H3) from F does not hold, by showing that (E3|H3)|C(F) is not equal to 1. (shrink)

1. The sequence of the organisation levels is regarded as originating from a sequence of symmetry breakings. Each breaking generates a more improbable structure. In addition to the Euclidian symmetries, homogeneity, isotropy, translation, rotation, helix displacement, neutrality and even indiscernibility can be broken. Here are considered the initial and the subatomic breaking molecular morphogenesis and other higher breakings.2.1 HOMOGENEITY BREAKING OF THE VACUUM SPACE. We studied this as a new model of wave-corpuscle relation. Every noticeable point breaks the space homogeneity. (...) Directed by a momentum this breaking operates as a fissure.2. Postulate of the corpuscle. The quantum mechanical corpuscle is the end of a fissure, the momentum of which characterises direction and velocity.2.2. Postulate of the wave. The associate wave comes from the end of the fissure and works to split the medium.2.3. Corollary to the trajectory. The fissure prefers continuity and a straight line. Nevertheless the fissure can stop at a point and then start from an other point. This discontinuity and any momentum possible discontinuity are limited only by uncertainty relationships; frequency of discontinuity is limited by the first one. Vacuum has no memory of the fissures. 2.4.Corollary to the localisation. The fissure diminishes the medium constraints and allows the medium to vibrate in a domain surrounding the end of the fissure.2.5. Physical analogies. – - Photo-elastic studies of the fissuration of solids show a little sphere and a wavelike perturbation at the end of the fissure. – - A fragile and resonating object can be broken by a sound wave. This crack emits a sound wave. Here we consider one associated wave, emitted and absorbed. – - Broken panes picture an emission of rays. li]2.6. Consequences of the fissure model. (shrink)

Some commentaries suggest that the attention-deficit/hyperactivity disorder (ADHD) theory of this condition does not explain enough. Because the theory includes parameters of the delay gradient that vary across individuals and developmental modulation of behavioral outcomes by different environments, it accommodates a wide range of manifestations of ADHD symptoms. Thus, the argument could instead be made that the theory allows too many degrees of freedom. For many purposes, behavior is better defined in terms of function (e.g., consequences) than in terms of (...) structure (e.g., muscle movements), so cognition is treated here as a variety of behavior rather than as a different category of phenomena. The commentaries are discussed in the context of these and other distinctions, including those between association and selection, between operant and respondent behavior, and between fundamental processes and those that are derivative. Other issues include: prosthetic environments, rapidity of developmental change, the concept of inhibition, the form of the delay gradient, and possible directions for experimental research. (shrink)

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK . Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK , which turns out to be deductively equivalent to the non-normal modal logic EMT4 . DOI:10.5007/1808-1711.2011v15n2p287.

In lieu of an abstract, here is a brief excerpt of the content:372 THE ROLE OF REASON IN HUME'S THEORY OF BELIEF Much has been written on Hume's theory of belief, yet problems of interpretation remain as serious as ever. The most pervasive and persistent problem relates to the role reason plays in Hume's conception of belief. When Hume says that belief is a matter of feeling, does he mean to say that reason has nothing to do with it, or (...) that belief is not a matter of choice? Does he imply that one cannot be blamed for believing as one does? The view that belief is unavoidable and not a matter of choice, and its implication, seem counter-intuitive, if not drastic. Are there grounds for attributing such a view to Hume? There is indeed a tendency to interpret Hume as saying that reason plays no role, not just in the moral sphere, but in the understanding as well. Thus, Barry Stroud claims that "in Hume's hands the denigration of the role of reason and the corresponding elevation of feeling and sentiment is generalized into a total theory of man." Elsewhere I have argued against this view insofar as it relates 2 to Hume's moral theory. But the dismay at Hume's (alleged) denigration of reason is even greater in the case of belief. For instance, Antony Flew considers Hume's view that belief is "a species of natural instincts, which no reason or process of the thought and understanding is able either to produce or to prevent" as a "drastic and disastrous conclusion." According to Flew, one drastic and disastrous consequence of such a view is that "insofar as belief really is necessary and unavoidable we can neither criticize others for the irrationality of their convictions nor retain any 4 confidence about the rationality of our own." 373 In a more sympathetic reading of Hume, J. A. Passmore has cited evidence to show that Hume acknowledges that belief can be a matter of choice, 5 and thus there can be an ethics of belief. However, in doing so Passmore presents an inconsistency in Hume's view of belief, and does nothing to account for this inconsistency. Barbara Winters also sees inconsistencies, or paradoxes, in Hume's treatment, not only within Book I of the Treatise, but also between it and the other two Books (and between the Enquiries). Her resolution of the paradox is the suggestion that there are two conceptions of reason in Hume, the "traditional" and the "naturalistic," the former "plays no role in our acquisition of fundamental beliefs," and the latter is such that we do indeed "arrive at our beliefs through reasoning." In this paper I wish to argue that there are no inconsistencies, or paradoxes, in Hume's treatment of belief, and that his view is neither drastic nor disastrous. I wish to show that there is no 'denigration' of reason, " and that while belief is a matter of feeling, it is also, to an important degree, a matter of choice. In promoting the "undoubted truth, that belief is nothing but a peculiar feeling," Hume does write in such a way as to encourage the interpretation that he subordinates the role of reason to feelings (or sentiments, or passions), or worse, that he denigrates the role of reason. He tells us that belief is not "some new idea, such as that of reality or existence, which we join to the simple conception of an object" (T 623). If it were, "it wou'd be in a man's power to believe what he 374 pleas 'd" (T 624), as the mind can mix or join any two ideas. Hume tells us that we can easily "discover by experiments" that belief "arises immediately, without any new operation of the reason or imagination" (T 102). The widely quoted sentence is the following: "When the mind... passes from the idea or impression of one object to the idea or belief of another, it is not determin'd by reason..." (T 92). These and other statements clearly encourage the interpretation that belief does not arise from reason, or indeed that reason has nothing to do with belief. Depending on how far one sees the... (shrink)

Recently, Bohr’s complementarity principle was assessed in setups involving delayed choices. These works argued in favor of a reformulation of the aforementioned principle so as to account for situations in which a quantum system would simultaneously behave as wave and particle. Here we defend a framework that, supported by well-known experimental results and consistent with the decoherence paradigm, allows us to interpret complementarity in terms of correlations between the system and an informer. Our proposal offers formal definition and operational interpretation (...) for the dual behavior in terms of both nonlocal resources and the couple work-information. Most importantly, our results provide a generalized information-based trade-off for the wave–particle duality and a causal interpretation for delayed-choice experiments. (shrink)

According to QBism, quantum states, unitary evolutions, and measurement operators are all understood as personal judgments of the agent using the formalism. Meanwhile, quantum measurement outcomes are understood as the personal experiences of the same agent. Wigner’s conundrum of the friend, in which two agents ostensibly have different accounts of whether or not there is a measurement outcome, thus poses no paradox for QBism. Indeed the resolution of Wigner’s original thought experiment was central to the development of QBist thinking. The (...) focus of this paper concerns two very instructive modifications to Wigner’s puzzle: One, a recent no-go theorem by Frauchiger and Renner, and the other a thought experiment by Baumann and Brukner. We show that the paradoxical features emphasized in these works disappear once both friend and Wigner are understood as agents on an equal footing with regard to their individual uses of quantum theory. Wigner’s action on his friend then becomes, from the friend’s perspective, an action the friend takes on Wigner. Our analysis rests on a kind of quantum Copernican principle: When two agents take actions on each other, each agent has a dual role as a physical system for the other agent. No user of quantum theory is more privileged than any other. In contrast to the sentiment of Wigner’s original paper, neither agent should be considered as in “suspended animation.” In this light, QBism brings an entirely new perspective to understanding Wigner’s friend thought experiments. (shrink)

Disease transmission is a fruitful domain in which to examine how scientific and folk theories interrelate, given laypeople’s access to multiple sources of information to explain events of personal significance. The current paper reports an in-depth survey of U.S. adults’ causal reasoning about two viral illnesses: a novel, deadly disease that has massively disrupted everyone’s lives, and a familiar, innocuous disease that has essentially no serious consequences. Participants received a series of closed-ended and open-ended questions probing their reasoning about disease (...) transmission, with a focus on causal mechanisms underlying disease contraction, transmission, treatment, and prevention; non-visible biological processes; and ontological frameworks regarding what kinds of entities viruses are. We also assessed participants’ attitudes, such as their trust in scientific experts and willingness to be vaccinated. Results indicated complexity in people’s reasoning, consistent with the co-existence of multiple explanatory frameworks. An understanding of viral transmission and viral replication existed alongside folk theories, placeholder beliefs, and lack of differentiation between viral and non-viral disease. For example, roughly 40% of participants who explained illness in terms of the transmission of viruses also endorsed a non-viral folk theory, such as exposure to cold weather or special foods as curative. Additionally, participants made use of competing modes of construal when explaining how viruses operate, such as framing the immune system response as cells trying to fight off the virus. Indeed, participants who displayed greater knowledge about viral transmission were significantly more likely to anthropomorphize bodily processes. Although comparisons of COVID-19 and the common cold revealed relatively few differences, the latter, more familiar disease elicited consistently lower levels of accuracy and greater reliance on folk theories. Moreover, for COVID-19 in particular, accuracy positively correlated with attitudes, self-protective behaviors, and willingness to be vaccinated. For both diseases, self-assessed knowledge about the disease negatively predicted accuracy. The results are discussed in relation to challenges for formal models of explanatory reasoning. (shrink)

Anyone who has ever worked with a variety \ of algebras with a reduct in the variety of bounded distributive lattices will know a restricted Priestley duality when they meet one—but until now there has been no abstract definition. Here we provide one. After deriving some basic properties of a restricted Priestley dual category \ of such a variety, we give a characterisation, in terms of \, of finitely generated discriminator subvarieties of \. As an application of our characterisation, (...) we give a new proof of Sankappanavar’s characterisation of finitely generated discriminator varieties of distributive double p-algebras. A substantial portion of the paper is devoted to the application of our results to Cornish algebras. A Cornish algebra is a bounded distributive lattice equipped with a family of unary operations each of which is either an endomorphism or a dual endomorphism of the bounded lattice. They are a natural generalisation of Ockham algebras, which have been extensively studied. We give an external necessary-and-sufficient condition and an easily applied, completely internal, sufficient condition for a finite set of finite Cornish algebras to share a common ternary discriminator term and so generate a discriminator variety. Our results give a characterisation of discriminator varieties of Ockham algebras as a special case, thereby yielding Davey, Nguyen and Pitkethly’s characterisation of quasi-primal Ockham algebras. (shrink)

Anesthesiology training programs are tasked with equipping trainees with the skills to become medically and ethically competent in the practice of anesthesia and to be prepared to obtain board certification, yet there is currently no standardized ethics curriculum within anesthesia training programs in the United States. To bridge this gap, and to provide a validated ethics curriculum to meet the aforementioned needs, in July 2021, a survey was sent to anesthesia scholars in the field of biomedical ethics to identify key (...) areas that should be included in such an ethics curriculum. The responses were rated on a Likert scale and ranked. This paper identifies the top ten topics identified as high priority for inclusion in an anesthesiology training program and consequently deemed most relevant to meet the educational needs of graduates of an anesthesiology residency: (1) capacity to consent; (2) capacity to refuse elective versus lifesaving treatment; (3) application of surrogate decisionmaking; (4) approach to do not resuscitate (DNR) status in the operating room; (5) patient autonomy and advance directives; (6) navigating patient beliefs that may impair care; (7) “futility” in end-of-life care: when to withdraw life support; (8) disclosure of medical errors; (9) clinical criteria for “brain death” and consequences of this definition; and (10) the impaired anesthesiologist. (shrink)

The review of activity of local governments of Leningrad on the solution of social problems is presented in article in the period of the Great Patriotic War and restoration of municipal economy during the post-war period. The considerable attention is paid to questions of ensuring activity of the population and the main directions of social policy. Consequences of the public regress caused by war, which detained for many decades development of the social sphere in the country, are not studied yet. (...) In this regard, the judgment of process of overcoming of these consequences, research of the principles of work, methods and forms of administrative activities for the organization of full-fledged life of citizens during the recovery post-war period and in the next decades is of special interest. Completion of World War II entailed changes in a control system of the country - as it is known, extraordinary bodies of authority and management of a wartime in the capital and on places were abolished. Management of restoration and maintenance of full functioning life support system of the cities and areas transferred to local governments of the Soviet power - to city and regional councils of deputies and their constantly operating executive committees. The role of the social sphere in modern conditions more and more increases in improvement of economy, development of democratic processes. The scientific analysis of activity of the central and local authorities for protection and providing the population in years of war and the post-war period gives more deep understanding of role and importance of social questions in life of society. It reveals historical experience of creation, development and implementation of effective mechanism of such activity, that experience is useful for modern management practice of state and local authorities. The considerable case of sources, among which analytical and research works of applied and theoretical character is analyzed. (shrink)

Recognizing the growing interdependence of the European Union and the importance of codes of conduct in companies’ operations, this research examines the effect of a country’s culture on the implementation of a code of conduct in a European context. We examine whether the perceptions of an activity’s ethicality relates to elements found in company codes of conduct vary by country or according to Hofstede’s (1980, Culture’s Consequences (Sage Publications, Beverly Hills, CA)) cultural constructs of: Uncertainty Avoidance, Masculinity/Femininity, Individualism, and Power (...) Distance. The 294 individuals, who participated in our study, were from 8 Western European countries. Their responses to our 13 scenarios indicate that differences in the perceptions of ethicality associate primarily with the participants’ country as opposed to their employer (i.e., accounting firm), employment level, or gender. The evidence also indicates that these country differences associate with Hofstede constructs of Individualism and Masculinity. (shrink)

In The Structure of Scientific Revolutions, Kuhn claimed that theory choice is a conversion experience and depends upon the personality or psychology of the individual scientist making the choice. Critics charged Kuhn with an irrational and a relativistic position concerning theory choice, arguing he advocated a subjective instead of an objective approach to how scientists choose one theory over another and thereby undercut epistemic accounts for the generation of scientific knowledge. In response to critics Kuhn insisted that his approach, although (...) subjective, was still rational in that the criteria—composed of epistemic values—determining theory choice operate both objectively and subjectively. Recent work in cognitive neuropsychology, particularly in the dual-process theory of cognition, supports Kuhn’s notion of theory choice. In this paper, I initially discuss Kuhn’s approach to theory choice, along with criticism of it and his response to the criticism, followed by an examination of the dual-process theory of cognition. I then explore the application of dual-process theory to Kuhn’s notion of theory choice, especially in terms of a historical case study from the biomedical sciences. I finally discuss briefly the implications of the dual-process theory for contemporary philosophy of science. (shrink)

This paper presents a philosophical analysis of three cognitive states familiar and important to psychoanalysts—phantasy, neurotic-belief, and belief-proper. It explores the differences among these three propositional attitudes and finds that the development of secondary process capacities of reality testing and truth directness out of earlier primary process operations plays a crucial role. Difficulties in the proper typing of cognitive states are discussed, as are the consequences of such confounds. This use of a philosophical method serves to sharpen the familiar psychoanalytic (...) clinical concepts of phantasy and neurotic-belief. In addition, these same clinical concepts, once properly specified, have much to offer the philosophy of mind, where current understanding of representational cognitive states is restricted to those that are largely conscious and rational. When psychoanalytic concepts such as phantasy and neurotic-belief can be better integrated within the discipline of philosophy of mind, both philosophers and psychoanalysts will have a more complete and adequate theory of mind. (shrink)

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.

Hempel's proposal of covering laws which explain historical events has a certain plausibility, but can never be actually realized due to the chaotic nature of history. The natural laws that would govern both individual lives and greater history would be nonlinear; consequently, in the terminology of chaos theory, the final states of both are extremely sensitive to initial conditions. Initial conditions would need to be exactly known in order to account correctly for historic phenomena, especially for causes and effects which (...) span long, historically interesting, lengths of time. Covering-law history therefore fails because the details of initial conditions are generally unknowable. Since this constraint diminishes as the time over which covering laws operate is divided into smaller consecutive intervals of scenes, covering-law explanations resolve into those having a narrative temporal structure. (shrink)

The emergence of post-conviction DNA testing has had profound effects on the American criminal justice system. Although changes in the formal legal landscape are readily noticeable, the DNA exonerations have also produced other consequences that may have potentially more significance. To comprehend and assess the influence of post-conviction DNA testing one must examine more than just the law on the books. After some introductory material, Part I of this essay looks at repercussions DNA exonerations are having on the basic (...) class='Hi'>operation of the criminal justice system, Part II examines new statutes that govern procedures for post-conviction DNA testing requests, and Part III briefly considers how these current developments may affect Supreme Court jurisprudence.Post-conviction DNA testing has evolved in little more than a decade. Before 2000, only two states, New York and Illinois, had statutes that authorized post-conviction DNA testing. In other jurisdictions, no formally authorized procedures existed that allowed inmates to make requests for DNA testing of crime scene evidence. (shrink)

Philosophy & Social Criticism, Ahead of Print. The article deals with the ontological configuration and political appropriation of difference in modern, capitalist societies. Against fragmented accounts of difference, it is examined the evolution from situations of wide socio-spatial diversity to the gradual instrumentalisation and selective hierarchisation of those elements of difference that can be inserted in market-based relations, whilst the majority of differences are ignored and disregarded. The instrumentalisation of difference under capitalism – the reduction of extended socio-spatial difference to (...) the interests and priorities of the stronger segments of society who emphasise their distinctive features in the attempt to exert power and control over those considered inferior and subordinate – has more than just an impact on social or interpersonal relations but constitutes an active worldmaking force that operates, primarily, via the promotion of indifference. The analysis is informed by the Hegelian framework of consciousness and reason that is based on what the German philosopher calls the laws of experience accumulated through social interaction. Hegel’s Phenomenology of Spirit can, therefore, move social theory forward to a critical interrogation of lived and contested differences. The instrumentalised metabolism of difference, following Hegelian metaphysics, is basically the result of self-estrangement and externalisation of the self, not because of self-serving interests but exactly because of its incompleteness and the need to be actualised in the other, who is also incomplete. Likewise, all particulars are moments actualised in the universal, which is also a changeable moment of itself. Thought the negation of otherness, followed by a negation of the negation, difference can be then embraced in its entirety, as it remains a central explanatory concept for social criticism. (shrink)

Philosophy & Social Criticism, Ahead of Print. The article deals with the ontological configuration and political appropriation of difference in modern, capitalist societies. Against fragmented accounts of difference, it is examined the evolution from situations of wide socio-spatial diversity to the gradual instrumentalisation and selective hierarchisation of those elements of difference that can be inserted in market-based relations, whilst the majority of differences are ignored and disregarded. The instrumentalisation of difference under capitalism – the reduction of extended socio-spatial difference to (...) the interests and priorities of the stronger segments of society who emphasise their distinctive features in the attempt to exert power and control over those considered inferior and subordinate – has more than just an impact on social or interpersonal relations but constitutes an active worldmaking force that operates, primarily, via the promotion of indifference. The analysis is informed by the Hegelian framework of consciousness and reason that is based on what the German philosopher calls the laws of experience accumulated through social interaction. Hegel’s Phenomenology of Spirit can, therefore, move social theory forward to a critical interrogation of lived and contested differences. The instrumentalised metabolism of difference, following Hegelian metaphysics, is basically the result of self-estrangement and externalisation of the self, not because of self-serving interests but exactly because of its incompleteness and the need to be actualised in the other, who is also incomplete. Likewise, all particulars are moments actualised in the universal, which is also a changeable moment of itself. Thought the negation of otherness, followed by a negation of the negation, difference can be then embraced in its entirety, as it remains a central explanatory concept for social criticism. (shrink)

The article deals with the ontological configuration and political appropriation of difference in modern, capitalist societies. Against fragmented accounts of difference, it is examined the evolution from situations of wide socio-spatial diversity to the gradual instrumentalisation and selective hierarchisation of those elements of difference that can be inserted in market-based relations, whilst the majority of differences are ignored and disregarded. The instrumentalisation of difference under capitalism – the reduction of extended socio-spatial difference to the interests and priorities of the stronger (...) segments of society who emphasise their distinctive features in the attempt to exert power and control over those considered inferior and subordinate – has more than just an impact on social or interpersonal relations but constitutes an active worldmaking force that operates, primarily, via the promotion of indifference. The analysis is informed by the Hegelian framework of consciousness and reason that is based on what the German philosopher calls the laws of experience accumulated through social interaction. Hegel’s Phenomenology of Spirit can, therefore, move social theory forward to a critical interrogation of lived and contested differences. The instrumentalised metabolism of difference, following Hegelian metaphysics, is basically the result of self-estrangement and externalisation of the self, not because of self-serving interests but exactly because of its incompleteness and the need to be actualised in the other, who is also incomplete. Likewise, all particulars are moments actualised in the universal, which is also a changeable moment of itself. Thought the negation of otherness, followed by a negation of the negation, difference can be then embraced in its entirety, as it remains a central explanatory concept for social criticism. (shrink)

Philosophy & Social Criticism, Ahead of Print. The article deals with the ontological configuration and political appropriation of difference in modern, capitalist societies. Against fragmented accounts of difference, it is examined the evolution from situations of wide socio-spatial diversity to the gradual instrumentalisation and selective hierarchisation of those elements of difference that can be inserted in market-based relations, whilst the majority of differences are ignored and disregarded. The instrumentalisation of difference under capitalism – the reduction of extended socio-spatial difference to (...) the interests and priorities of the stronger segments of society who emphasise their distinctive features in the attempt to exert power and control over those considered inferior and subordinate – has more than just an impact on social or interpersonal relations but constitutes an active worldmaking force that operates, primarily, via the promotion of indifference. The analysis is informed by the Hegelian framework of consciousness and reason that is based on what the German philosopher calls the laws of experience accumulated through social interaction. Hegel’s Phenomenology of Spirit can, therefore, move social theory forward to a critical interrogation of lived and contested differences. The instrumentalised metabolism of difference, following Hegelian metaphysics, is basically the result of self-estrangement and externalisation of the self, not because of self-serving interests but exactly because of its incompleteness and the need to be actualised in the other, who is also incomplete. Likewise, all particulars are moments actualised in the universal, which is also a changeable moment of itself. Thought the negation of otherness, followed by a negation of the negation, difference can be then embraced in its entirety, as it remains a central explanatory concept for social criticism. (shrink)

Accidents involving large trucks result in significant economic and social costs. As technological solutions have improved, behavioral factors contributing to accidents have risen in importance. The purpose of this research is to investigate how norms, consequences, and personal attitudes influence safety-related ethical judgments and behavioral intentions. The Hunt–Vitell’s theory of ethical decision-making is adapted to test how these factors influence truck drivers’ decisions containing ethical content. Professional truck drivers evaluated decisions presented in two scenarios that included the situation, the decision, (...) and the results. The research found that drivers rely heavily on evaluations of safety norms when forming ethical judgments and behavioral intentions. Further, drivers’ attitudes toward compliance and the effectiveness of safety regulations also influenced decision-making to an extent. Overall, evidence of a refutation of the assumption that a tradeoff exists between operational productivity and safety was discovered. Drivers in this study intended to behave in a certain manner irrespective of time or money pressures. The perceived ethical component of the decision outweighed regulatory and economic consequences under a range of parameters. (shrink)