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)

. 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)

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)

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)

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.

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.

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)

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)

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)

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)

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.

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)

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 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)

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)

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)

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)

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)

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)

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)

Background: Patients in a vegetative state pose problems in diagnosis, prognosis and treatment. Currently, no prognostic markers predict the chance of recovery, which has serious consequences, especially in end-of-life decision-making. Objective: We aimed to assess an objective measurement of prognosis using advanced electroencephalography (EEG). Methods: EEG data (19 channels) were collected in 14 patients who were diagnosed to be persistently vegetative based on repeated clinical evaluations at 3 months following brain damage. EEG structure parameters (amplitude, duration and variability within quasi-stationary (...) segments, as well as the spatial synchrony between such segments and the strength of this synchrony) were used to predict recovery of consciousness 3 months later. Results: The number and strength of cortical functional connections between EEG segments were higher in patients who recovered consciousness (P < .05 – P < .001) compared with those who did not recover. Linear regression analysis confirms that EEG structure parameters are capable of predicting (P = .0025) recovery of consciousness 6 months post-injury, whereas the same analysis failed to significantly predict patient outcome based on aspects of their clinical history alone (P = .629) or conventional EEG spectrum power (P = .473). Conclusions: The result of this preliminary study demonstrates that structural strategy of EEG analysis is better suited for providing prognosis of consciousness recovery than existing methods of clinical assessment and of conventional EEG. Our results may be a starting point for developing reliable prognosticators in patients who are in vegetative state, with the potential to improve their day-to-day management, quality of life, and access to early interventions. (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 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.

This paper discusses the economic impact and political consequences of ethical investing, with particular attention to the case of South Africa. The origins of ethical investing are examined, along with the institutions and strategies by which ethical investing operates today. Of immediate relevance to managers is a recent judicial decision upholding Baltimore's divestment ordinance. The discussion concludes with an assessment of the likely consequences of ethical investing for U.S. multinationals in Southern Africa.

Rare is the scholarship that does not somewhere refer to Hobbes's philosophy as a system, but nowhere does Hobbes refer to his philosophy by this term. Since Hobbes in most recognized for his moral and political philosophy, and since the interpretation of his moral and political concepts varies with the variety of views about the systematic relationship between his political and natural philosophy, the issue of system is the most crucial in Hobbes interpretation. ;The standard interpretation is that Hobbes's anthropology (...) is the direct logical result of his mechanistic materialism, that his thoroughly modern moral and political philosophy is the logical consequence of that anthropology. Taylor and Strauss for different reasons denied a systematic relationship between Hobbes's political and natural philosophy, thus ushering in almost fifty years of Hobbes research following their insights, as well as a new generation of scholars who sought to render Hobbes's philosophy systematic by finding in his works new principles of systematization. But as late as 1982, even Willms noted that a comprehensive book on system had not yet emerged. ;This dissertation attempts to show that Hobbes's political philosophy is demonstrative, as he intended it to be, only if it is based upon his natural philosophy. Chapter one traces the history of the system concept to the Seventeenth Century to find an historically accurate operational description of system against which to view Hobbes's philosophy. Chapter Two spells out the systematicity in Hobbes's philosophy and shows how the formal concept of system developed in Chapter One applies accurately to Hobbes's philosophy. Chapter Three confirms the view of Hobbes's system established in Chapter Two by showing that Hobbes's view of Aristotle depends upon his own view of philosophic system. Chapter Four argues that Hobbes did intend a system in which the political philosophy depends upon the natural and that, as a result, Hobbes's moral and political concepts, particularly natural right and natural law, are not "moral" in any traditionally recognized sense. (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)

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)

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)

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)

Buddhism teaches that the diversity of living beings in the world is caused and upheld by intentional acts performed in this and previous lives by karmic trajectories, beings whose continuity through rebirths is not dependent on a transcendent substratum such as a self (ātman), and that the order of beings in the world exactly correlates with the consequences of acts (karrnan) operative for their present life. The central Buddhist doctrine of dependent co‐arising (pratītya‐samutpāda) shows how these karmic trajectories are sustained (...) by twelve conditions, the primary of which is ignorance. The goal of Buddhists is ultimately to transcend rebirth and attain nirvāṇa. This is possible because the world is both a rebirth realm and a realm in which awakening from ignorance can be attained. The natural world of living beings is a moral order and this moral order functions in a physical setting. The physical setting of the rebirth system is the cosmos as the abode of beings, and the beings participating in the rebirth system constitute the world of living beings. These together constitute the world of rebirth (saṃsāra). By nature in this article is understood that part of the cosmos that constitutes the physical setting of humans and the world of non‐human beings also living there – that is, animals and plants. This is, one should note, only a very small part of the Buddhist cosmos, which consists of a huge number of world systems, and which is immense in time and space and eternally manifests and dissolves. (shrink)

The vivid, dramatic images of distant stars and galaxies taken by the Hubble Space Telescope have come to define how we visualize the cosmos. In their immediacy and vibrancy, photographs from the Hubble show what future generations of space travelers might see should they venture beyond our solar system. But their brilliant hues and precise details are not simply products of the telescope's unprecedented orbital location and technologically advanced optical system. Rather, they result from a series of deliberate decisions made (...) by the astronomers who convert raw data from the Hubble into spectacular pictures by assigning colors, adjusting contrast, and actively composing the images, balancing the desire for an aesthetically pleasing representation with the need for a scientifically valid one. In Picturing the Cosmos, Elizabeth A. Kessler examines the Hubble's deep space images, highlighting the remarkable resemblance they bear to nineteenth-century paintings and photographs of the American West and their invocation of the visual language of the sublime. Drawing on art history and the history of science, as well as interviews with astronomers who work on the Hubble Heritage Project, Kessler traces the ways that the sublime, with its inherent tension between reason and imagination, not only forms the appearance of the images, but also operates on other levels. The sublime informs the dual expression—numeric and pictorial—of digital data and underpins the relevance of the frontier for a new era of exploration performed by our instruments rather than our bodies. Through their engagement with the sublime the Hubble images are a complex act of translation that encourages an experience of the universe as simultaneously beyond humanity's grasp and within the reach of our knowledge. Strikingly illustrated with full-color images, this book reveals the scientific, aesthetic, and cultural significance of the Hubble pictures, offering a nuanced understanding of how they shape our ideas—and dreams—about the cosmos and our places within it. (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)

The sublime is an aspect of experience that has attracted a great deal of scholarship, not only for scholarly reasons but because it connotes aspects of experience not exhausted by what Descartes once called clear distinct perception. That is, the sublime is an experience of the world which involves us in orientating ourselves within it, and this orientation, our human orientation, elevates us in comparison to the non-human world according to traditional accounts of the sublime. The sublime tells us something (...) about our relation to the world rather than anything about the world per se. Nonetheless there is an objective sense of the sublime in that the narratives involved are culturally endorsed rather than invented by an individual. This means that objects can be judged worthy or not of evoking experiences of the sublime. In other words, it is not an idiosyncratic matter. Immanuel Kant’s formulation of this involved explaining how such an experience is possible in terms of his system of the mind. Jane Forsey notes that Kant takes the features of the sublime as given and extrapolates from them certain features of the mind as if any concept of the sublime must implicate the mental architecture of his account (2007). Further to this she argues that in fact the concept of the sublime does implicate a particular system of the mind but neither Kant nor anyone else can successfully formulate it because the concept itself frames certain contradictions. According to Forsey, two consequences follow. First she argues that Kant’s system of the mind does not support the features of the sublime; and secondly that no system could as the very concept is incoherent. If Forsey can show that Kant was mistaken in presenting his account as coherent given his commitments, this would be of interest in its own right. However, her stronger claim is that we cannot separate any concept of the sublime out from Kant’s theoretical underpinnings. That the way the features of the mind are meant to operate in experiences of the sublime are contradictory simply points to the fatal flaws in the whole concept. Her conclusion is that there is no coherent account of the sublime available to us. I will argue that Forsey bases her reasoning on the assumption that a foundational empiricist or direct perception holds; and she interprets Kant’s notions of imagination, understanding and reason as though they are grounded in just such an account of perception. This is revealed in her interpretation of Kant’s phrase “beyond cognition”. Once this foundationalism is replaced with an account of perception more aligned with current research on perception, both philosophical and empirical, then an account of the sublime is available. Further to this however, I argue that what constitutes the narrative of the sublime is historically contingent. Before setting out my arguments, I consider Forsey’s argument in more detail. (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)

“I would prefer not”HERMAN MELVILLE, BARTLEBY THE SCRIVENER: A STORY OF WALL STREET (1853), reprinted in THE PIAZZA TALES 32, 48 (London, Sampson Low, Son & Co. 1856). Scholars have recently challenged the claim in classical deterrence theory that law influences behavior only through the expected sanction imposed. Some go further and argue that law may also “shape preferences,” changing people’s wants and values. In this Article, we analyze existing claims that criminal and civil law alter preferences and conclude that (...) none suggest that the law shapes preferences. We first clarify this preference-shaping claim by elaborating the structure of rational choice theory generally and “preference” in particular. We then investigate three mechanisms of legal influence suggested by the preference-shaping literature: (1) the “serious harm” mechanism; (2) the “social norm” mechanism; and (3) the “self-improvement” mechanism. We then show that each of these mechanisms operates by changing the agent’s beliefs about the attributes or consequences of her choice options rather than by changing her preferences. (shrink)

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)

Addictive behavior has never seemed rational because it persists in spite of drastic aversive consequences. This is a particular problem for models of addiction such as operant psychology which hold that behavior is controlled by its consequences. Inspite of claims to the contrary, Heymans target article illustrates how operant psychology resolves this contradiction. By using the matching law, Heyman suggests a mechanism that explains why delayed aversive events may not control behavior, and a conceptual framework in which we can understand (...) successful therapies. (shrink)

Reilly approaches his topic by presenting the spirit of science and the phases of scientific inquiry as Peirce saw it, keeping before the reader, at all times, Peirce’s overarching view of man and the universe. The two prevailing themes guiding Peirce’s thought are 1) that there is a special conformity of the human mind to nature and of nature to God, and 2) that there is an architectonic qualifying all the various types and levels of treatment which occupy the philosopher’s (...) interest. The first question examined is the nature of the scientific concern. For Peirce, the scientist’s spirit is marked by the pure love of knowledge. It is important to note the theoretical aspect because it explains the possibility of holding belief in abeyance while examining nature: the purity of motive allows that proper questions will be asked and errors will be readily corrected. The scientist’s purpose is the real truth of things; he begins with questions about the world. There are four stages of scientific method: 1) The scientist observes nature as a thinking, analytic inquirer. Observation presupposes that nature is intelligibly structured. 2) He formulates an explanatory hypothesis which is a process of bringing a manifold of characters to a unified whole. 3) By deduction, the inquirer gathers experiential consequents of the hypothesis. 4) By induction the question is put to nature and observed phenomena are matched to the predicted phenomena, resulting in either truth or a modified hypothesis. Peirce’s principle of the kinship of man’s mind to nature supports his dictum to follow instinct over reasoned likelihood in choosing hypotheses. Also important is the doctrine of moderate fallibilism which holds that there is a convergence upon the truth founded upon the regularity of nature, but that chance is a real factor due to nature’s evolution. Reilly’s book gives an adequate account of the aspects of Peirce’s scientific method sacrificing specific and detailed analysis to a more general approach wherein he shows the unity operative throughout Peirce’s thinking. A good index and copious notes are provided.—W. A. F. (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)