Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally (...) two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

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)

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by consequence operators. These operators correspond to the three sensible types of consequence (strong-strong, strong-weak and weak-weak) in Kleene's logic in analogous way as the implication connective in the classical logic corresponds to the classical consequence relation. The composed formulas (...) of the considered language are built from the atomic ones by means of the classical connectives and quantifiers.A deduction system for the developed language is given, consisting of a set of decomposition rules for sequences of formulas. It is shown that the deduction system is sound and complete. (shrink)

Tarski’s papers, in which he examines the idea of a consequence operation Cn,divide into two groups. One of them is formed by the papers that offer an analysis of the general idea of the consequence operation. Resorting to fundamental ideas of logical semantics, Tarski explains what, in his view, it means to say that a formula a of a language L is a logical consequence Cn of a set of formulas X of that language. Under the definition (...) he proposed Cn is the strongest operation on sets of formulas of L that preserves truth under all possible interpretations of the language. In the papers belonging to the second group , the consequence operation Cn is treated as an object of abstract studies. More specifically, it is treated as an abstract unary operation defined on the power set of a set S such that the following familiar conditions are satisfied: T1.X⊆Cn)⊆Cnand T2.IfX⊂YthenCn⊂CnActually, Tarski imposed on Cn one more requirement which in more recent investigations is often omitted. It is as follows: T3.Ifα∈Cn,thenforafinitesubsetX′⊆X,α∈Cn is known as the finitaryness condition. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking (...) canonical embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V.We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity calledHenkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the first-order correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved (...) under taking canonical embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V. We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity called Henkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the firstorder correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

ABSTRACTIn order to explain the effects found in the heuristics and biases literature, dual-process theories of reasoning claim that human reasoning is of two kinds: Type-1 processing is fast, automatic, and associative, while Type-2 reasoning is slow, controlled, and rule based. If human reasoning is so divided, it would have important consequences for morality, epistemology, and philosophy of mind. Although dual-process theorists have typically argued for their position by way of an inference to the best explanation, they have (...) generally failed to consider alternative hypotheses. Worse still, it is unclear how we might test dual-process theories. In this article, I offer a one-system theory, which I call the Sound-Board Account of Reasoning, according to which there is one reasoning system which is flexible, allowing the properties used to distinguished Type-1 and Type-2 reasoning to cross-cut one another. I empirically distinguish my theory from the two dominant versions of dual-process theory (parallel... (shrink)

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof (...) normalization corresponds to term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

The monograph contains three works on research on the concept of a rejected sentence. This research, conducted under the supervision of Prof. Jerzy Słupecki by U. Wybraniec-Skardowska (1) "Theory of rejected sentences" and G. Bryll (2) "Some supplements of theory of rejected sentences" and (3) "Logical relations between sentences of empirical sciences" led to the construction of a theory rejected sentences and made it possible to formalize certain issues in the methodology of empirical sciences. The concept of a rejected sentence (...) was introduced by J. Łukasiewicz in the course of his inquiry into Aristotelian Syllogistic. It was essentialy generelized by J. Słupecki who, with reference to Tarski's axiomatic theory of deductive systems (1930), gave the formal definition of the rejection function Cn' according to which a sentence y is rejected on the base of a set of sentences X iff at least one sentence which belongs to X can be deduced from the sentence y. Słupecki proved (1959) that the function Cn', which assignes to the set X the set of sentences rejected on the basis of X, is additive and satisfies the axioms of Tarski's general theory of deductive systems. Work (1) uses not only Tarski's general theory of systems but also his the so-called enlarged theory of systems (1930). It constructs a theory T of rejected sentences (propositions), which is created from Tarski's richer theory of systems by adding one axiom and a number of definitions; among them the definition of the rejection function Cn' is fundamental one. Cn' is a function which assignes to every set X of false sentences the set Cn'X whose members are exclusively false senteces. A number of theorems which describes properties of defined concepts have been proved in T. Some of them are necessary for conducting considertions of the concluding section of (1) devoted to the empirical sentences. Section 2 of (1) deals with the theory of the unit consequenses. It is characterized by an axiom from which follow all axioms of Tarski's general theory of deductive systems, additivity and the property that the unit consequence of the set X of sentences is a unit consequence only one sentence of X. An example of unit consequence is the rejection consequence Cn'. In section 3 of (1) the dual theory T' equivalent to T is presented. In T' the primitive concept is the rejection function Cn'. The fundamental axiom of T' states that Cn' is a unit consequence. The concluding section brings a few examples of applications of the definitions and theorems of T in the domain of the scientific methodology. Work (2) corresonds to J. Słupecki paper (1959) and the theory T of rejected propositions given in work (1). In this paper some suplements of the theory T are given. Work (3) is an extension of the theory of rejected propositios given in the paper (1). It is an attempt of formalization some problems of methodology of the empirical sciences which concern to such concepts as: empirical sentence, similar sentence, generalization, inductive conclusion etc. (shrink)

I identify a class of arguments against multiple realization (MR): BookofSand arguments. The arguments are in their general form successful under reasonably uncontroversial assumptions, but this, on the other hand, turns the table on identity theory: If arguments from MR can always be refuted by BookofSand arguments, is identity theory falsifiable? In the absence of operational demarcation criteria, it is not. I suggest a parameterized formal demarcation principle for brain state/process types and show how it can be used to (...) identify previously unconsidered contenders for evidence for MR, e.g., binary classification, division, and sorting. For these to be actual instances of MR, the corresponding psychological kinds must be verifiably, relevantly similar. I also briefly discuss possible linguistic, behavioral, and experimental demarcation criteria for psychological kinds. (shrink)

Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception. As type systems become more precise, however, detailed properties of the operational semantics may become visible because properties captured by the types may be sound under one strategy but not the other. For example, intersection types distinguish between call-by-name and call-by-value functions, because the subtyping law ∩≤A→ is unsound (...) for the latter in the presence of effects.In this paper we develop a proof-theoretic framework for analyzing the interaction of types with evaluation order, based on the notion of polarity. Polarity was discovered through linear logic, but we propose a fresh origin in Dummett’s program of justifying the logical laws through alternative verificationist or pragmatist “meaning-theories”, which include a bias towards either introduction or elimination rules. We revisit Dummett’s analysis using the tools of Martin-Löf’s judgmental method, and then show how to extend it to a unified polarized logic, with Girard’s “shift” connectives acting as intermediaries. This logic safely combines intuitionistic and dual intuitionistic reasoning principles, while simultaneously admitting a focusing interpretation for the classical sequent calculus.Then, by applying the Curry–Howard isomorphism to polarized logic, we obtain a single programming language in which evaluation order is reflected at the level of types. Different logical notions correspond directly to natural programming constructs, such as pattern-matching, explicit substitutions, values and call-by-value continuations. We give examples demonstrating the expressiveness of the language and type system, and prove a basic but modular type safety result. We conclude with a brief discussion of extensions to the language with additional effects and types, and sketch the sort of explanation this can provide for operationally sensitive typing phenomena. (shrink)

Brand criticizes Husserl’s remarks about motivation by saying that Husserl failed to analyse this phenomenon: "The fundamental nature of this phenomenon is claimed rather than demonstrated and not developed at all." It seems to me that this is the best way to criticize Brand’s own book on the mythological meaning of social processes. The basic character of such meaning is merely claimed rather than demonstrated. This singular lack of critical analysis vitiates whatever positive contributions Gesellschaft und persönliche Geschichte might have (...) made. Brand starts out with a critique of the theoretical attitude and of scientific objectivism and the corresponding objective world against which he poses the personal attitude and the personal-mythological lifeworld. His critique consists mainly in a presentation of some points of Husserl’s analysis and critique of objectivistic science. The correctness of Husserl’s assessment and critique of scientific research is taken for granted. It is presented in annoyingly general and vague terms. Brand gives hardly more than theses and titles. What strikes me most is the absence of attempts to explain, to argue, to demonstrate and to give direct evidence for Husserlian positions. In most cases we are offered mere "Andeutungen" of issues, questions, problems, and promised solutions. The philosophical style of parts one and two would likely appear unbearably dogmatic for British and American readers. Brand simply gives definitions, rather than lead the reader along his path of reasoning. Either you see the truth of a point made or you do not; he hardly attempts to help you to understand. In short, I do not think that parts one and two communicate anything worthwhile. It might still make sense to approach the sciences today the way Husserl did some forty years ago, however, it makes little sense to do it the way Brand does. He often presents for rebuttal positions which have long been overcome in Anglo-Saxon philosophy of science, even in German philosophy of science. This "isolationist" approach will cause readers to put the book aside after the first few pages. Part three is even more dogmatic. Most of the time Brand merely presents, in rather vague terms and generalities, the "results" of the research and analyses of others without even indicating factual evidence or reasonable arguments. His "arguments" usually consist in paraphrases and quotations from others, quotations which give conclusions of investigations, analyses, etc., which, without any indication of their supportive evidence, appear as unwarranted affirmations. Sometimes Brand is even content to give summaries of summaries of books of others. Occasionally Brand admits that all he has given so far is merely an indication or bare outline, and that a thorough analysis will have to provide the required evidence. However, only a chain of unwarranted claims and speculations about generalities follows; for example, Brand introduces a quote from Ricoeur by saying that Ricoeur "indicates" in it such and such, and then, in the next paragraph it turns out that the "thorough analysis" promised on the preceding page consists in nothing but that reference to Ricoeur. Brand’s book is one of those examples of "phenomenology" which discredits the phenomenological movement among serious philosophers and scientists by confusing phenomenology with that type of speculative philosophy against which phenomenology, with its maxim: "To the things themselves!," originally was conceived of as a counter-movement. A cardinal tenant of phenomenology is to avoid description without demonstrating the object. And this is, precisely, what Brand’s book does not avoid. He characterizes the mythological meaning of social processes throughout the book without such demonstration. Consequently, I think that Brand’s book harms rather than helps the phenomenological movement.—H. S. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:James S. Mullican DETERMINISM, FATALISM, AND FREE WILL IN HAWTHORNE A recurrent theme in Nathaniel Hawthorne's writing is the relationship between fatalism and free will. His tales, romances, and notebooks contain explicit and implied references to man's freedom of choice and his consequent responsibility for his acts, as well as to "fatalities" that impel men to various courses of action. Much of the ambiguity in Hawthorne's fiction rests on (...) this conflict between the notions of human freedom and responsibility on one hand and fatalism on the other. Although there is no question that this theme was important for Hawthorne, there is much disagreement concerning what Hawthorne himself believed. Critics have taken virtually every position on the spectrum between the poles of complete freedom and complete fatalism. That this disagreement exists should not be surprising. Hawthorne was an artist, not a philosopher or theologian; an important element of his technique, perhaps essential to his vision of life, was his ambiguity. His dual vision of the world, of matter and spirit, of evil and good, and his emphasis now of one, now of the other, engender disagreement concerning his view of life. His alternate fascination with and apparent rejection of Puritanism have led some to believe he was a predestinarían, others to hold that he was a "libertarian," and at least one critic to write that Hawthorne believed in a "modified predestination." Turner argued that Hawthorne's attitude toward reform led him to fatalistic thinking. Since reform movements touched only the surface manifestations of vice, such movements were useless, in Hawthorne's view. The logical conclusion of such a position, reasoned Turner, was fatalism. "Hence reform which would stir only the superficial outcroppings and would leave untouched the real causes underneath would be futile at best. And since the true sources of evil, so Hawthorne thought, lie largely beyond the reach of human efforts, fatalism was the certain end of his thinking." Turner saw evidence for fatalism 91 92Philosophy and Literature in Hawthorne's fiction also: "... there is a clear suggestion that the decisions [by Hester, Dimmesdale, Rappaccini, Ethan Brand, and Hollingsworth] have been inevitable, that the agent responsible is fate rather than Hawthorne's character." This critic concluded that Hawthorne was convinced that "the universe, including man and man's soul, is governed by inexorable law." Some critics have linked Hawthorne's beliefs regarding free will and fatalism to his attitude toward Calvinism. Schneider wrote, "... Hawthorne translated into empirical truths the essential doctrines of Calvinism.... From the popular doctrine of reform, he returned to the Puritan doctrine of divine sovereignty." Schneider suggested that Hawthorne purified the doctrines of the Puritans and returned them to their original purpose, salvation of the soul. "He recovered what Puritans professed but seldom practiced—the spirit of piety, humility, and tragedy in the face of the inscrutable ways of God." Cowley wrote that Hawthorne "believed in predestination, as the Calvinists did." Mills was of the opinion that Hawthorne was the most sympathetic to the Puritans of the writers of his day, but that Calvinist dogma was moderated and softened in Hawthorne: "He did not accept completely the Calvinist doctrine of predestination, nor did he emphasize the supreme sovereignty of God which was the driving force of Calvinism." Other critics have granted some measure of freedom to Hawthorne's characters. Arvin wrote, "... freedom of choice exists, but on so narrow a basis that, once exercised in the wrong direction, it is forever resigned." Fairbanks held that Hawthorne reserved to man the initial moral choice which set up the chain of necessity, and from that notion Fairbanks drew the conclusion that, "Though often called a fatalist, Hawthorne believed in free will." Schwartz, in an unpublished doctoral dissertation, argued from Hawthorne's life and from his writings that he rejected fatalism in favor of free will. Wagenknecht noted that Hawthorne refused "to accept foreordination and total depravity." Still other critics have emphasized a paradoxical element in Hawthorne 's writing, his acceptance of both horns of the dilemma. Waggoner wrote: "He saw man as immersed in a mystery in which responsibility is at odds with fate. His own natural tendency was to emphasize causation at the... (shrink)

The aim of this thesis is to discuss the nature of social phenomena, and to determine the appropriate way to explain them. Many of the contentions advanced rest largely upon the fact that social phenomena can be investigated only by methods which respect their distinctive character and status as social phenomena. In chapter I it is argued that the most important difference between the social and the natural sciences is that the former have to employ intentional criteria to identify their (...) explananda-phenomena. Because human and societal phenomena are intrinsically meaningful, the type of causation which prevails in the social realm is fundamentally different from that which prevails in the physical. In chapter II the claim of Popper and Hayek that the task of the social sciences is to trace the unintended consequences of human actions is critically examined. Two examples of economic explanation are given in order to show the importance of unintended consequences, and to illustrate the general form explanations of social phenomena should adopt. In chapter III the contention that the social sciences deal with inherently complex phenomena is examined and defended, and the main implications of this contention for social analysis are drawn. The extent to which social phenomena are in principle predictable is discussed. In chapter IV the structural properties of formal scientific theories are briefly characterised, and then Friedman's famous argument on the testability of economic theories is analysed and rejected. The role within a scientific theory of statements formulated with reference to idealisations of the phenomena being studied, and the role within a social explanation of the 'principle of rationality', are discussed. In chapter V the central questions behind the methodological individualism/methodological holism controversy are brought to light. Provided that methodological individualism is not construed as a reductionist or mechanistic principle, it can successfully avoid the main objections of its detractors. It is argued that the method of functional analysis in sociology is consistent with methodological individualism. Finally, it is claimed that the principle of methodological individualism does indeed recommend the appropriate way to explain societal phenomena. In chapter VI, the various strands of thought running through the five preceding chapters are drawn together in a brief summary of the most important points raised by this thesis. (shrink)

Einstein, in his “Zur Elektrodynamik bewegter Körper”, gave a physical (operational) meaning to “time” of a remote event in describing “motion” by introducing the concept of “synchronous stationary clocks located at different places”. But with regard to “place” in describing motion, he assumed without analysis the concept of a system of co-ordinates.In the present paper, we propose a way of giving physical (operational) meaning to the concepts of “place” and “co-ordinate system”, and show how the observer can define both the (...) place and time of a remote event. Following Einstein, we consider another system “in uniform motion of translation relatively to the former”. Without assuming “the properties of homogeneity which we attribute to space and time”, we show that the definitions of space and time in the two systems are linearly related. We deduce some novel consequences of our approach regarding faster-than-light observers and particles, “one-way” and “two-way” velocities of light, symmetry, the “group property” of inertial reference frames, length contraction and time dilatation, and the “twin paradox”. Finally, we point out a flaw in Einstein’s argument in the “Electrodynamical Part” of his paper and show that the Lorentz force formula and Einstein’s formula for transformation of field quantities are mutually consistent. We show that for faster-than-light bodies, a simple modification of Planck’s formula for mass suffices. (Except for the reference to Planck’s formula, we restrict ourselves to Physics of 1905.). (shrink)

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary (...) of papers which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

In this note we shall assume acquaintance with [T4] and the parts of [T1] which deal with intuitionistic arithmetic in all finite types. The bibliography just continues the bibliography of [T4].The principal purpose of this note is the discussion of two models for intuitionistic finite type arithmetic with fan functional. The first model is needed to correct an oversight in the proof of Theorem 6 [T4, §5]: the model ECF+as defined there cannot be shown to have the required (...) class='Hi'>properties inEL+ QF-AC, the reason being that a change in the definition ofW12alone does not suffice—if one wishes to establish closure under the operations of HAωthe definitions ofW1σfor other σ have to be adopted as well. It is difficult to see how to do this directly in a uniform way — but we succeed via a detour, which is described in §2.For a proper understanding, we should perhaps note already here thaton the assumption of the fan theorem, ECF+as defined in [T4] and the new model of this note coincide ; but inELit is impossible to prove this. (shrink)

A central and fundamental problem in moral philosophy is that of understanding how moral principles and theories can be justified. It involves finding rational solutions to both theoretical problems and to substantial moral questions . According to Moral Intuitionism, some normative judgments, usually called moral intuitions, justify moral principles and theories. Typically, moral intuitionists promise a method that is supposed to yield progress toward finding the answers to ethical disputes and controversies. ;I argue, first, that all versions of moral intuitionism (...) must assume that there are moral facts and that moral judgments are descriptions of these facts. Next, I consider whether these assumptions are defensible. I focus on an argument based on a claim that we have no reason to believe that any moral facts exist, because no such facts need to be postulated in our best explanations of anything. I analyze several recent replies to this line of attack, and I argue that none meets the challenge. ;Finally, I propose a reply which seems to meet a number of relevant theoretical requirements: it allows us to say that some moral judgments are true because they correspond to facts, and those judgments are sometimes justified. I argue, however, that even this version of moral realism has serious flaws. It implies that the content of moral language is community relative. That is, such sentences as 'Jews ought to be exterminated' have to be treated as ambiguous, expressing several different propositions, some true and some false. In consequence, when a Nazi issues such a judgment, he may be making a claim that is neither false nor unjustified. ;I conclude that Moral Intuitionism does not help to reach rational solutions to moral disputes and disagreements. Therefore, this view should be rejected, and we should look elsewhere for a method that would solve both theoretical and substantial problems of justification in ethics. (shrink)

Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...) proposing an ontology, a general theory of knowledge and concept of a person. Kaufmann's work derives, first of all, from the thinking of Gustav Radburch, his teacher, and then from ideas of Karl Engish and Hans-Georg Gadamer. The philosophy undertakes to pursue the ultimate foundation of law, law which is understood by Kaufmann, first of all, as a "concrete judgement" that is, what is right in a concrete situation. Justice belongs to the essence of law and "unjust law" is contradictio in adiectio. Kaufmann opposes all those theories, which as the only foundation for establishing just law (Recht) adopt legal norms (Gesetz). In Kaufmann's opinion , such theories are powerless in the face of all types of distortions of law rendered by political forces. He suggests that the basic phenomenon which needs to be explained and which cannot be disregarded by a philosopher of law is so-called "legal lawlessness" ("Gestzliches Unrecht"). "Legal lawlessness" which forms a part of life experience for the people of twentieth century totalitarian states. It proved "with the accuracy of scientific experiment" that the reality of law consists of something more than bare conformity with legal norms. The existence of lex corrupta indicates that law contains something "non-dispositive" which requires acknowledgment of both law-maker and judge. Kaufmann, accepting the convergent concept of truth and cognition, assumes that "non-dispositive" content, emerging as the conformity of a number of cognitive acts of different subjects (inter-subjective communicativeness and verifiability), indicates the presence of being in this cognition. The questions "What is law?" and "What are the principles of a just solution?" lead straight to the ontology of law, to the question about the ontological foundations of law. Kaufmann discerns the ontological foundations of law in the specifically understood "nature of things" and, ultimately, in a "person". He proposes a procedural theory of justice, founded on a "person". In my work, I undertake to reconstruct the train of thought which led Kaufmann to the recognition of a "person" as the ontological foundation of law. In the first part, the conception of philosophy adopted by Kaufmann, initial characteristics of law — of reality which is the subject of analysis, as well as, the requirements for proper philosophical explanation of law posed by Kaufmann are introduced. In the second, Kaufmann's reconstruction of the process of the realisation of law is presented. Next, the conception of analogy which Kaufmann uses when explaining law is analyzed. In the fourth part, Kaufmann's conception of ontological foundations of law is discussed. A critical analysis is carried out in which I demonstrate that the theory of the ontological foundation of law proposed by Kaufmann and the concept of a person included in it do not allow a satisfac¬tory explanation of the phenomenon of "legal lawlessness" and lead to a number of difficulties in the philosophical explanation of law. Finally, the perspectives of a proper formulation of the issue of the ontological foundations of law are drafted in the context of the analyzed theory. My interest is centered on the conception of philosophy adopted by Kaufmann, according to which the existence of the reality is inferred on the basis of a certain configuration of the content of consciousness, whereas at the point of departure of philosophy of law, the data to be explained is a certain process, which is, basically, a process of cognition, while the reality appears only as a condition for the possibility of the occurrence of the process. I wish to argue that the difficulties which appear in the explanation of law are a consequence of the assumed fundamental philosophical solu¬tions, which seem to be characteristic, though usually not assumed explicitly, in philoso¬phy and theory of law dominant at present in continental Europe. Thereby, I wish to show the significance of ontological and epistemological solutions to the possibility of a proper formulation of the problems posed by philosophy and theory of law. Kaufmann proclaims himself in favour of a philosophy which poses questions about the ultimate foundations of understanding of the reality. In epistemology, he assumes that answers to the questions "What is reality like?" and ultimately "What is real?" are inferred on the basis of uniformity of a cognitive acts of different subjects. Cognition of the reality is accomplished exclusively through the content of conceptual material. The two fundamental questions posed by philosophy of law are "What is just law?" and "How is the just law enacted?" The latter is a question about the process of achieving a solution to a concrete case. Since, in Kaufmann's opinion, law does not exist apart from the process of its realisation, an answer to the question about the manner of realisation of law is of fundamental significance to answering the question: "What is law?" and to the explanation of the question about the ontological grounding of law, which is, as well, the foundation of justice. The proper solution has to take into account the moment of "non-dispositive" content of law; its positiveness understood as the reality and, at the same time, it has to point to the principles of the historical transformation of the content. Law, in the primary meaning of the word, always pertains, in Kaufmann's opinion, to a concrete case. A legal norm is solely the "possibility" of law and the entirely real law is ipsa res iusta, that which is just in a given situation. Determination of what is just takes place in a certain type of process performed by a judge (or by man confronted with a choice). Kaufmann aims to reconstruct this process. A question about the ontological foundation of law is a question about the ontological foundations of this process. In the analyzed theory it is formulated as a question about the transcendental conditions, necessary for the possibility of the occurrence of the process: how the reality should be thought to make possible the reconstructed process of the realisation of law. Kaufmann rejects the model for finding a concrete solution based on simple subsump¬tion and proposes a model in which concrete law ensues, based on inference by analogy, through the process of "bringing to conformity" that which is normative with that which is factual. Kaufmann distinguishes three levels in the process of the realisation of law. On the highest level, there are the fundamental legal principles, on the second legal norms, on the third — concrete solutions. The fundamental principles of law are general inasmuch as they cannot be "applied" directly to concrete conditions of life, however, they play an important part in establishing norms. A judge encounters a concrete situation and a system of legal norms. A life situation and norms are situated on inherently different levels of factuality and normativeness. In order to acquire a definite law both a norm (system of norms) and a life situation (Lebenssachverhalt) should undergo a kind of "treatment" which would allow a mutual conformity to be brought to them. Legal norms and definite conditions of life come together in the process of analogical inference in which the "factual state" ("Tatbestand") — which represents a norm, and in the "state of things" ("Sachverhalt") — which represents a specific situation are constructed. A "factual state" is a sense interpreted from a norm with respect to specific conditions of life. The "state of things" is a sense constructed on the basis of concrete conditions of life with respect to norms (system of norms). Legal norms and concrete conditions of life meet in one common sense established during the process of realisation of law. Mutatis mutandis the same refers to the process of composition of legal norms: as the acquisition of concrete law consists in a mutual "synchronization" of norms and concrete conditions of life, so acquisition of legal norms consists of bringing to conformity fundamental principles and possible conditions of life. According to Kaufmann, both of these processes are based on inference through analogy. As this inference is the heart of these processes it is simultaneously a foundation finding just law and justice. How does Kaufmann understand such an inference? As the basis for all justice he assumes a specifically interpreted distributive justice grounded on proportionality. Equality of relations is required between life conditions and their normative qualification. Concrete conditions of life are ascribed normative qualification not through simple application of a general norm. More likely, when we look for a solution we go from one concrete normative qualified case to another, through already known "applications" of norms to a new "application". The relation between life conditions and their normative qualifica¬tion has to be proportional to other, earlier or possible (thought of) assignments of that which is factual to that which is normative. Law as a whole does not consist of a set of norms, but only of a unity of relations. Since law is a, based on proportion, relative unity of a norm and conditions of life, in order to explain law in philosophical manner, the question about ontological base of this unity has to be asked. What is it that makes the relation between a norm and conditions of life "non-dispositive"? What is the basis for such an interpretation of a norm and case which makes it possible to bring a norm and conditions of life into mutual "conformity"? This is a question about a third thing (next to norms and conditions of life), with respect to which the relative identity between a norm and conditions of life occurs, about the intermediary between that which is normative and that which is factual and which provides for the process of establishing of norms, as well as, finding solutions. It is the "sense" in which the idea of law or legal norm and conditions of life have to be identical to be brought to mutual "conformity". In Kaufmann's opinion such a sense is nothing else but the "nature of things" which determines the normative qualification of the reality. Since establishment of this "sense" appears to be "non-dispositive" and controlled inter-subjectively (namely, other subjects will reach a similar result) so, in conformity with the convergent concept of truth, the "nature of things" must be assigned a certain ontological status. According to Kaufmann this is a real relation which occurs between being and obligation, between the conditions of life and normative quality. However, it should be underlined that from the point of view of the analyzed system the "nature of things" is a correlate of constructed sense, a result of a construction which is based on the principle of consistent understanding of senses ("non-normative" and "normative") and is not a reality which is transcendent against the arrangement of senses. In Kaufmann's theory, inference from analogy appears to be a process of reshaping the concepts (senses) governed by tendency to understand the contents appearing in relations between that which is factual and that which is normative in a consistent way. The analogical structure of language (concepts) and recognition of being as composed of an essence and existence is an indispensable requirement for the possibility of the realisation of law, based on specifically understood inference from analogy. It is necessary to assume a moment of existence without content which ensures unity of cognition. Existence emerges thus as a condition of the possibility of cognition. According to Kaufmann, the "nature of things" is the heart of inference through analogy and the basis for establishment of finding of law. Inference from the "state of things" to a norm or from a norm to the "state of things" always means inference through the "nature of things". The "nature of things" is the proper medium of objective legal sense sought in every cognition of law. In Kaufmann's view, the question whether the "nature of things" is ultima ratio of interpretation of law or is only a means of supplement gaps in law or whether it is one of the sources of law, is posed wrongly. The "nature of things" serves neither to supplement the gaps nor is it a source of law as, for example, a legal norm may be. It is a certain kind of "catalyst" necessary in every act of making law and solving a concrete case. Owing to "nature of things" it is possible to bring to a mutual conformity the idea of law and possible conditions of life or legal norms and concrete conditions of life. In Kaufmann's conception the "nature of things" is not yet the ultimate basis for understanding the "non-dispositiveness" of law. The relation between obligation and being is determined in the process of the realisation of law. Both the process itself and that which is transformed in this process are given. A question about the ontological bases of "material" contents undergoing "treatment" in the process of the realisation of law and about being which is the basis of regularity of the occurrence of the process arises. Only this will allow an explanation that the result of the process is not optional. Thus, a question about reality to which law refers and about the subject realising the law has to be formed. To this, Kaufmann gives the following answer: that which is missing is man but not "empirical man" but man as a "person". A "person" understood as a set of relations between man and other people and things. A "person" is the intermediary between those things which are different — norm and case are brought to conformity. A "person" is that which is given and permanent in the process of the realisation of law. It determines the content of law, is "subject" of law; this aspect is described by Kaufmann as the "what" of the process of realisation of law. A "person" consists of precisely just these relations which undergo "treatment" in the process. On the other hand, a "person" is "a place" in which the processes of realisation of law occur, it is the "how" of normative discourse, a "person" is that which determines the procedure of the process, being "outside" of it. This aspect of a "person" is connected with the formal moment of law. A "person" being, at the same time, the "how" and the "what" of the process of the realisation of law, is also, to put it differently, a structural unity of relation and that which constitutes this relation (unity of relatio and relata). According to this approach a "person" is neither an object nor a subject. It exists only "in between". It is not substance. Law is the relation between being and obligation. That which is obligatory is connected with that which is general. That which is general does not exist on its own, it is not completely real. Accordingly, a "person" as such is also not real. It is relational, dynamic and historical. A "person" is not a state but an event. In Kaufmann's opinion, such a concept of a "person" helps to avoid the difficulties connected with the fungibility of law in classical legal positivism. A "person" is that which is given, which is not at free disposal and secures the moment of "non-dispositiveness" of law. Kaufmann concludes: "The idea (»nature«) of law is either the idea of a personal man or is nothing". Theory points at the structure of realising law and explains the process of adoption of general legal norms for a concrete situation. The analysis has shown however, that in this theory a satisfactory answer to the question about the ultimate foundations of law is not given. It seems that in the analyzed theory the understanding of human being takes place through understanding of law. What is good for man as a "person", what is just, what a "person" deserves may be determined only against the existing system of law. A "per¬son" adopted as a basis of law is the reality postulated in the analysis of the process of the realisation of law. It is a condition of possibility of this process ( explaining, on one hand, its unity and, on the other hand, the non-dispositive moments stated in this process). A "person" in the discussed theory is entirely defined by the structure of law, it can be nothing more than that which is given in law, what law refers to, what law is about. Being, which is a "person", is constituted by relations between people and objects, the relations which are based on fundamental links between norms and conditions of life established in a process of bringing them to conformity. It has to be assumed that man as a "person" is a subject of law only as far as realising law "treats" given senses according to their current configuration. The system of law is a starting point and it describes in content what man is as a "person". Moreover, being a "person" is the condition for entering legal relations. Consistently, Kaufmann writes that "empirical man" is not the subject of law, man is not "out of nature" a "person". People become "persons" due to the fact that they acknowledge each other as "persons" — acknowledging, at the same time, law. This acknowledgement is a con¬dition of existence, of the possibility of the occurrence of process of realisation of law and of constituting legal relations which ultimately constitute a "person". Kaufmann assumes, that law tends towards a moral aim: it may and must create an external freedom, without which the internal freedom to fulfil moral obligations cannot develop. However, this postulate is not based on the necessary structure of human being. From the point of view of his system, it is nothing more than only a condition for the possibility of the occurrence of the process of the realisation of law — lack of freedom would destroy the "how" of this process. Thus, the postulate to protect the freedom of personal acts has to be interpreted, in accordance with the analyzed theory, as a postulate, the fulfilment of which aims ultimately at the accomplishment of the very same process of realisation of law itself and not the realisation of a given man. Kaufmann considers a "person" to be an element which unites the system of law as a whole. Law is a structure of relations, which are interdependent and inter-contingent. Consequently, a "person" which is to form the ontological basis of law has to be entity consisting of all relations. Being also the "how" of the process of realisation of law, if a "person" is to warrant its unity, it has to be a common source for all procedures. Hence, a single "person" would constitute a subject of law. Man appears to be only a moment of a certain entirety, realisation of which should be an aim of his actions. Law, creating a "person" as an object and subject of law becomes a primary entity. In the analyzed theory, the basis for determination of aims which law sets to man is not the allocation of man-subject to something which improves him but rather, such relation is only just constituted by law. A question appears, why should aims set in law also be the aims of "empirical man"? Why is this "empirical man" to be punished in the name of a "person" understood in such a way? If, however, it is assumed that what is man is determined by a system which is superior to him, then man has to be understood only as a part of a whole and there are no grounds to prohibit istrumental treatment of man and so the road to all aspects of totalitarianism might be opened. A problem of the application of created theory to the reality arises, the reality which the theory pretends to explain. Ultimately in his theory Kaufmann does not give any systemic grounds for a radical questioning of the validity of any legal norms. Every new norm becomes an equal part of system of norms. It is only its interpretation and application to given conditions of life that may be disputable, however, this refers to all norms without exception. Cohesive inter-pretation of norms and applications is necessary and sufficient for the acquisition of just law. New norms have to be interpreted in the light of others, correspondingly, the other norms require reinterpretation in the light of the new ones. Contradiction in interpretation of a norm does not form a basis for questioning norms but may serve only to question the manner of their interpretation (understanding). Therefore, no grounds exist to assume any legal norm as criminal or unjust, and in consequence, to question any consistently realised system based on formally, properly established norms, as "legal lawlessness". As law and a "person" do not exist without the process of realisation of law, the role of legal safety becomes crucial as the condition for the possibility of the occurrence of the process of realisation of law. Denying legal safety would be tantamount to negation of law in general (also of moral law) as negation of safety takes away, at the same time, the basis for occurrence of the process of realisation of law. Moreover, any lack of legal safety would also mean lack of a basis for the existence of man as a "person". Kaufmann's thesis, that civil disobedience is legalized only when it has a chance to lead to success, consistent with his concept of the foundations of law, seems to point directly to conclusions which deny the facts taken under consideration and doubtlessly Kaufmann's own intentions, since it would have to be assumed that accordingly there are no grounds to question a legal system in force based on violence which secures its operation. Force finally seems to determine which one of the mutually irreconcilable normative systems constitute law and which does not. A legitimate position is one which leads to success, it is the weaker system which is negated. If so, then basically violent imposition of law is not an act directed against the law in force but, to the contrary, realisation of law. In the context of the new system the former system of law may be talked about as unjust solely in the sense of being incapable of being consistently united with the new. However, at the base, ultimately, lies force which reaffirms differences and excludes from the process of realisation of law certain norms and their interpretations. Kaufmann was aiming at grounding of that which is "non-dispositive" in a certain given framework of interpretation. Nevertheless, he does not provide foundations for the understanding of phenomena, which he undertakes to explain at a point of departure. Instead of explaining them the theory negates the possibility of their existence. The reality postulated in regard to "non-dispositive" moments of the reconstructed process of acquiring law consist of a specifically understood "person", which appears in Kaufmann's conceptions as a condition of the possibility of the realisation of law. According to this approach understanding of a "person" may be only a function of law. To understand "legal lawlessness" and foundations of justice it is necessary to look for such theory of law in which understanding of man as a "person" and being is not a function of understanding of law (in which a "person" is not only a condition for possibility of reconstructed process of realisation of law; for possibility of cognition processes). It seems necessary to start from theory of being and a "person" based on broader experience than the one assumed by Kaufmann and reconstruct the ontological foundations of the process of realisation of law only in such perspective. Kaufmann points out that that to which law refers is ipsa res iusta a concrete relation of man to other people and things. This relation, in his theory, appears to be basically only just constituted by law (normative senses "applied" to conditions of life). Therefore, understanding the relation between a given man and other people and things which constitute the aim of his actions, that is understanding of good, is enacted against the background of constitution of senses; constitution which is a result of a process aiming towards consistent understanding of particular contents (of nor¬mative and non-normative senses). "Being" is secondary towards constructed senses it is only their correlate. The primary relation consists of relation of a man to law (system of norms), while the secondary relation is one of man to something which is the aim of his action (relation between man and good). Considering such approach it is difficult to envision a satisfying answer to the fundamental question: why does law put concrete man under any obligation to obey it? The source of this problem can be seen in reduction of the base for understanding good to content of obligation formulated in auto-reflection. Such reduction seems to be a consequence of Kaufmann's adoption of "convergent concept of truth" and in con¬sequence his recognition of indirect, essentialistic grasp of reality formulated in concepts as the basic and only foundation of theory of being and of law. In view of such an approach, analogy of law, concepts and being is the condition for the possibility of the process of transformation of senses which aims at consistent interpretation of all law. Existence is postulated with respect to the possibility of unity of experience and cognition. However, also a different approach to understanding of the problem of being and good is possible. In spontaneous cognition being is affirmed, first of all, not as a certain, non-contradictory, determined content, but as something existing. Together with a cer¬tain content (passed indirectly through notions) existence of being is co-given. The basis for unity of being is not formed by the consistence of content, as it is in the case of the theories departing from the analysis of cognition processes, but by an act of existence realising content (essence). Such an approach makes it also possible to go beyond the convergent concept of truth. It is worth mentioning that allocation of an agent to good is realised not only by the content of duty. A statement that something is good is primary with respect to determination of this good in content. The recognised good always bears some content, however, there are no reasons to base the concept of good exclusively on indirect, formulated in concepts cognition. As primary, can be adopted the relation of man to good and not of man to law. Determination in content appears to be only an articulation of aspectual cognition of being, as an object of action. In such a case the basis for relative unity of norm and conditions of life is not the "nature of things" understood as correlate of sense but it is relation to good based on internal constitution of man as potential, not self-sufficient being. It does not mean, that the moments of the process of realisation of law singled out by Kaufmann are not important to determination of what is just. He, quite rightly, points to significant role played by norms in the evaluation of concrete situations, in man's search for closer specification in content of good innate to him. The structure of process of determining law for a concrete situation, to a great degree corresponds to the processes of determining law which take place not only in the legal sciences. Kaufmann's analyses of the process of realisation of law show the complexity of the structure of these processes and point towards important moments allowing a better understanding of law and man. Nevertheless, these analyses cannot be a basis for construction of philosophical theory of law, theory which hopes to point out the ultimate, ontological foundations for understanding law. Kaufmann's results may become fully valid only in a more general perspective including broader experience at the point of departure. (shrink)

This paper is an historical study of Tarski's methodology of deductive sciences (in which a logic S is identified with an operator Cn S, called the consequence operator, on a given set of expressions), from its appearance in 1930 to the end of the 1970s, focusing on the work done in the field by Roberto Magari, Piero Mangani and by some of their pupils between 1965 and 1974, and comparing it with the results achieved by Tarski (...) and the Polish school (Łoś, Suszko, Słupecki, Pogorzelski, Wójcicki). In the last section of the paper we will then compare these works with some recent developments in algebraic logic: this will lead to a better understanding of the results of the methodology of deductive science, but at the same time will show some intrinsic limits to such an approach to logic. Even if Magari's work on diagonizable algebras and universal algebra and Mangani's axiomatization of MV-algebras and results in model theory are rather famous, the articles on closure operators, published in the 1960s, are almost totally unknown outside Italy (mainly because of a linguistic limitation, the papers we analyse having been written and published in Italian). This paper aims to fill the gap in the literature and to enable the international community to get acquainted with this part of Italian logic. The same applies to some works published in Barcelona (in Catalan) at the end of the 1970s, analysed in the last section. (shrink)

The basic risk for culture in conditions of globalization consists in full submission of its existence to economic (market) rules. The masscult deprived a variety - a product of such submission. But a source of creative development was and there is a cultural variety. Domination of a masscult leads to decrease in creative potential of the person and a society. Becoming of metaculture as culture of gift of a modern society represents alternative as to principles of a masscult, and ideas (...) of multiculturalism and tolerance. The principle of tolerance is a recognition of powerlessness to involve cultures in productive dialogue, de-facto it is recognition of the established cultural barriers. The culture of gift (metaculture) is based on following principles: 1) reflexivity, 2) ethicness, 3) positive role ofOtherness, 4) the sacrifice of an autonomy to (accept of gift), 5) new cultural-historical type of rationality is focused not on things, but on events, 6) more easy approach to products of cultural creativity and in this direction - alternative to deadlocks of protection to intellectual property (copyright). Development of metaculture corresponds to principles of a symbolical exchange and «copyleft». (shrink)

BackgroundDecision-making in initiating life-sustaining health technology is complex and often conducted at time-critical junctures in clinical care. Many of these decisions have profound, often irreversible, consequences for the child and family, as well as potential benefits for functioning, health and quality of life. Yet little is known about what influences these decisions. A systematic review of reasoning identified the range of reasons clinicians give in the literature when initiating technology dependence in a child, and as a result helps determine the (...) range of influences on these decisions.MethodsMedline, EMBASE, CINAHL, PsychINFO, Web of Science, ASSIA and Global Health Library databases were searched to identify all reasons given for the initiation of technology dependence in a child. Each reason was coded as a broad and narrow reason type, and whether it supported or rejected technology dependence.Results53 relevant papers were retained from 1604 publications, containing 116 broad reason types and 383 narrow reason types. These were grouped into broad thematic categories: clinical factors, quality of life factors, moral imperatives and duty and personal values; and whether they supported, rejected or described the initiation of technology dependence. The majority were conceptual or discussion papers, less than a third were empirical studies. Most discussed neonates and focused on end-of-life care.ConclusionsThere is a lack of empirical studies on this topic, scant knowledge about the experience of older children and their families in particular; and little written on choices made outside ‘end-of-life’ care. This review provides a sound basis for empirical research into the important influences on a child’s potential technology dependence. (shrink)

A hallmark of correspondence theories of truth is the principle that sentences are made true by some truth-makers. A well-known objection to treating Tarski’s definition of truth as a correspondence theory has been put forward by Donald Davidson. He argued that Tarski’s approach does not relate sentences to any entities (like facts) to which true sentences might correspond. From the historical viewpoint, it is interesting to observe that Tarski’s philosophical teacher Tadeusz Kotarbinski advocated an ontological doctrine of reism which accepted (...) only concrete individuals and rejected all such abstract entities as facts, states of affairs, properties, and sets. Kotarbinski’s physicalism influenced Tarski who also avoided concepts like “fact” and “property” in his theory of truth, but—unlike Kotarbinski—he used freely set-theoretical terminology. In his mature work in model theory in the 1950s, Tarski used systematically the notion of a relational system (i.e., a domain of objects with designated elements, subsets, and relations). Wilfrid Hodges has argued that the notions of “structure” and “truth in a structure” appeared in Tarski’s work only in 1950. In my view, one can find the main ingredients of the model-theoretic account of truth already in the 1930s. These considerations suggest, against Davidson, that Tarski’s definition presupposes that material truth is always related to some kind of truth-maker. Further, facts as truth-makers can be reconstructed by employing the resources of model theory. (shrink)

The Tibetan Buddhist logician Phya pa Chos kyi seng ge devoted a large part of his discussion on argumentation to arguments by consequence. Phya pa distinguishes in his analysis arguments by consequence that merely refute the opponent and arguments by consequence that qualify as probative. The latter induce a correct direct proof which corresponds to the reverse form of the argument by consequence. This paper deals with Phya pa’s classification of probative consequences based on the type (...) of the logical reason involved. I first establish the basis of Phya pa’s classification—the typology of logical reasons in inference-for-oneself—with a special attention to logical reasons consisting in the ‘apprehension of something incompatible [with the negandum]’ and among them the specific case of the ‘apprehension of the cause of something incompatible [with the negandum]’. The treatment of the latter is shown to be instrumental in Phya pa’s classification, as well as in explaining the divergences that occur in the models adopted by his successors, such as gTsang nag pa brTson ʾgrus seng ge and mTshur ston gZhon nu seng ge. Turning to Phya pa’s effective application of this typology when he resorts himself to arguments by consequence, I examine Phya pa’s rephrasing, in the form of four arguments by consequence, of the discussion on the relation between the two realities found in the Saṃdhinirmocanasūtra and relate it to a parallel discussion in an earlier Madhyamaka work by rGya dmar ba Byang chub grags. I compare the variant versions of these four arguments in three Madhyamaka works of Phya pa and show that the differences pertaining to the identification of the type of the logical reason result from apparently insignificant variations in the formulation of each of the arguments. In the conclusion, I discuss the potential philosophical or practical interest of such a classification. (shrink)

Despite the enormous influence of Michel Foucault in gender studies, social theory, and cultural studies, his work has been relatively neglected in the study of politics. Although he never published a book on the state, in the late 1970s Foucault examined the technologies of power used to regulate society and the ingenious recasting of power and agency that he saw as both consequence and condition of their operation. These twelve essays provide a critical introduction to Foucault's work on politics, (...) exploring its relevance to past and current thinking about liberal and neo-liberal forms of government. Moving away from the great texts of liberal political philosophy, this book looks closely at the technical means with which the ideals of liberal political rationalities have been put into practice in such areas as schools, welfare, and the insurance industry. This fresh approach to one of the seminal thinkers of the twentieth century is essential reading for anyone interested in social and cultural theory, sociology, and politics. (shrink)

In the early nineties of the previous century, leaf languages were introduced as a means for the uniform characterization of many complexity classes, mainly in the range between P and PSPACE . It was shown that the separability of two complexity classes can be reduced to a combinatorial property of the corresponding defining leaf languages. In the present paper, it is shown that every separation obtained in this way holds for every generic oracle in the sense of Blum and (...) Impagliazzo. We obtain several consequences of this result, regarding, e. g., universal oracles, simultaneous separations and type-2 complexity. (shrink)

This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive (...) systems initiated by Tarski, in particular research on the axiomatization of the general notion of consequence operation, axiom systems for the theories of classic consequence and for some equivalent theories, and axiom systems for the theories of nonclassic consequence. In this paper the results of Jerzy Supecki's research are taken into account, and also the author's and other people belonging to his circle of scientific research. Particular study is made of his dual characterization of deductive systems, both as systems in regard to acceptance and systems in regard to rejection . Comparison is made, therefore, with axiomatizations of the theories of rejection and dual consequence, and the theory of the usual consequence operation. (shrink)

Mimicry is often cited as a compelling demonstration of the power of natural selection. By adopting signs of a protected model, mimics usually gain a reproductive advantage by minimising the likelihood of being preyed upon. Yet while natural selection plays a role in the evolution of mimicry, it can be doubted whether it fully explains it. Mimicry is mediated by the emergence of formally analogous patterns between unrelated organisms and by the fact that these patterns are meaningfully perceived as similar. (...) The perception of similarity is always perceiver-dependent. Similarities between for instance colours are psychophysical phenomena, and their existence is conditioned by an intimate interdependence between perceivers and perceptible reality. In this sense, mimicry is by its very nature dualistic. The analogy in form needed to establish a mimicry does not emerge out of the blue. It depends on the ecological context and the morphogenetic potential of a species. In our proposal, we take into account both the developmental generators of formally analogous structures and the perceptual and cognitive processes that lead to the emergence of mimicry. We show that some of the rather controversial and nowadays largely neglected ideas found in non-Anglo-Saxon literature on mimicry deserve closer attention. We suggest that the diversity of mimicry types is due to differences in variational properties of form-generating and perceptual systems among diverse groups of organisms. We also anticipate that processes studied within social psychology and emotion research probably take place, at least in a simplified form, also in non-human animals. Finally, we argue that these meaning-attributive processes underlie the functionality of mimicry. (shrink)

PHILOSOPHY OF HUMAN RIGHTS: HUMAN RIGHTS IN LIGHT OF THEIR INTERNATIONAL PROTECTION Summary The book consists of two main parts: in the first, on the basis of an analysis of international law, elements of the contemporary conception of human rights and its positive legal protection are identified; in the second - in light of the first part -a philosophical theory of law based on the tradition leading from Plato, Aristotle, and St. Thomas Aquinas is constructed. The conclusion contains an application (...) of the results of the analysis conducted in the second part. The first part comprises four chapters. The first aims at revealing characteristics of human rights on the basis of an analysis of historical conditioning of the inter-national law of human rights and its development. The historical context displays the practical, vindicative, and critical character of the positive legal protection of human rights. Moreover, the process of change of positive human rights law is distinguished from the process of change of human rights as such. In the second chapter the content of human rights - a topic which is only auxiliary to the conducted analysis - is discussed. Basic typology and catalogues of rights proclaimed in the Universal Declaration of Human Rights and protected in the International Covenants of Human Rights are presented. The review of the content of rights aims at a more precise limitation of the field of research. The examination shows a diversity of rights which poses a serious challenge to the coherence of every philosophical theory of human rights. In the third chapter, central in the first part, international law is analyzed with regard to the characteristics of rights and the foundations of them. The analysis of documents shows a number of solutions referring to the anthropological foundations of rights. The inherent dignity of the human person is the source of all human rights. Each human being is recognized as free, and endowed with both reason and conscience. In the propounded conception of man individuals are not rivals but create a community which is a condition for their development. International law characterizes the rights as universal, inherent, inalienable and inviolable. The reconstructed conception also comprises the following basic elements: on the level of the structure of rights, a recognition of their equality, interdependence, and comprehensiveness; in the grounding of these rights, a recognition of the anthropological foundations of law; in the conception of positive law, a recognition of the secondariness of the positive law of human rights to human rights themselves, and a recognition of human rights and justice as the basis for legal order; in the conception of state, a recognition of the well-being of the individual as the fundamental aim of actions undertaken by political institutions, and recogni¬tion of rights which form an impassable boundary to the power of the state, includ¬ing its legislative actions. The characterization of the international legal paradigm serving for the under¬standing of human rights is supplemented by analyses of the structure of their posi¬tive legal protection. Various meanings of the terms "right" and "freedom" are distinguished. Subjective right, as basic structure of the positive legal protection of human rights, is understood as a complex relation formed by various legal situations of the subject of a right which create a functional whole in respect of the subordi-nation of human person to its good. Subordinating person to a good proper for it, expressed usually in a proclamatory norm, is the central element of particular rights around which further elements aiming at the realization of this good are built. In the second part of the book a philosophical theory is developed which allows for the location of a coherent foundation for the presented characterization of human rights and their positive legal protection. This part consists of two chapters. The first includes a review of some - not entirely satisfactory - means of founding of human rights; the second presents philosophical conceptions of law and man which may form a basis for the constructed theory. The review of arguments contained in the first chapter does not aim at a detailed analysis of various specific ways of argumentation encountered in works on this subject but rather at a concise presentation of the main possible lines of argumentation. These analyses also serve to emphasize the positive solutions which are pro¬posed later and to underscore the explanatory power of the elaborated theory. This theory, retaining accurate intuitions contained in the presented types of argumenta¬tion, helps in avoiding their consequences which are difficult to reconcile with the reconstructed paradigm of human rights. Efforts to base human rights on the norms of international law rightly take into account the necessity of determining the content of the rights and their positive legal protection as a means for the realization of man's good. These attempts, how¬ever, do not properly take into account the inherent character of human rights, which are independent of positive law and provide grounds for applying specific legislative measures and not others. Founding human rights on freedom accurately points at the freedom of an indi¬vidual as a constitutive element of some rights; however, absolutization of freedom leads, to a loss of an important element of the contemporary paradigm of under¬standing human rights. This foundation undermines recognition of the fact that human rights may set limits to both the freedom of others and the freedom of the subject of rights itself. Additionally, attempts at the so-called axiological justification of human rights are discussed. This type of justification has a few variants depending on the as¬sumed conception of value. Subjectivistic conceptions have similar advantages and disadvantages to the conceptions basing human rights on freedom; objectivistic conceptions while providing for the universality of human rights place, the fundamental aim of human rights protection beyond the individual human being - in the idealistically existing world of values; finally, conceptions rooting values and human rights in culture, while accurately noting that human rights are learned through the medium of culture, place the source of human rights beyond a concrete individual - in culture and processes which take place in it - which leads to difficulties in finding a basis for the universality of rights. Furthermore, attempts to ground human rights in specific characteristics of the human being are presented. This type of approach points to an important problem of dependence of the content of rights on what man is. However, recognition of specific characteristics of a human being as an ontic foundation of the existence of rights poses a danger to their universality since one has to accept that it is not enough to be a man to be a subject of rights, but a man possessing specific charac¬teristics. The second chapter aims at outlining solutions worked out by Saint Thomas Aquinas. For a fuller understanding of his propositions selected elements of Plato's and Aristotle's philosophy are presented. It was them who formulated the founda¬tions for reflection on law and justice in the ontological context. A qualification is made that Stoicism is not be analysed in depth. Although Thomas' concept of law was undoubtedly developed under the influence of the Stoic doctrine as well, it is not in this that one should look for the tools to understand the ontic foundations of human rights and law in general since the Stoic moral philosophy and philosophy of law were developed in the context of a theory of being which assumed monistic and pantheistic premises as foundations, leading to the recognition of a total subor¬dination of the human individual to a larger unity of which man is only a part. The analysis of Plato's and Aristotle's texts concentrates on problems of justice. Plato seems to be the first philosopher who reflected on the formula basic in the history of European thought: to render to each his due. It appears that justice as both a characteristic of man and his acts is understood in the perspective of that which is just, that which is a good for another man - the recipient of the act. The basis for determining what is just is the relation of correspondence between some¬one and something. While in the case of Plato this relation is based on something beyond its terms, namely on ideas, in the case of Aristotle the relation occurs on account of the elements of the relation itself. Something is just when it contributes to the develop¬ment of the recipient of an act realizing that which is just. At the same time, the realization of that which is just is a good for the agent. In the analysis of the just two types of relation are revealed: the relation of due-to-recipient occurring on account of the compatibility of that which is due, with the recipient of the act; and - a "superstructure" - a relation of obligation-of-subject occurring on account of the compatibility of the acting subject with the thing which should be done. The basis for being that which is due is formed by various potentialities of development of man - the recipient of agency; the basis of being that which is an obligation is the possibility of development of the subject of action. Aristotle distinguishes various types of freedom and points to the necessity of taking them into account in the discussion of justice. Among other things, as the core of man's freedom, he considers life for its own sake, which can be seen as his expression of the basic indices of the autotelic character of man - which is funda¬mental for later conceptions of dignity. The freedom which is described by him is not, however, inherent and inalienable; being free is conditioned by a factual possi¬bility of undertaking actions, which are not solely means to the realization of aims set by others. Thomas Aquinas takes over the Aristotelian research perspective both in his conception of man and of law. At the same time, however, he significantly enriches it. In anthropology he develops a conception of personal being. Drawing upon his distinction between existence ("that something is") and essence ("what something is"), he sees the basis for being a person in the dignity of personal being which is a certain way of existence of a rational being more perfect than that of non-personal beings. The person is a being which, by virtue of its act of existence, is individual¬ized in a specific way. It is an aim in itself. Expressing it in a negative way, one may say that it does not exist as a means for the realization of the aims of others and, in this sense, that it is free. As distinct from Aristotelian conclusions, being a person is not conditioned by the specific actions of a being. Dignity is inherent, based on that which is the foundation of the factual existence of every rational being. Although freedom requires that a being is rational, dignity still encompasses all being, all its properties and potentialities. Thus an act conforming with dignity has to take into account a whole human being. Among different types of that which is just, ius, the first place, from the point of view of understanding law, falls to "the just thing itself ("ipsa res justa"), which is right in the full meaning of the word. On the one hand, it is that which is due; on the other hand, it determines the way of acting in the utmost degree, since the course of every act is determined in the fullest extent by its aim. The content of ius may be determined both by elements independent of free decisions - ius naturale - and by free decisions taking into account the state of things - ius positivum. Recognition of the objective structure of being as the basis of law does not entail that it is possible or desirable to determine unequivocally "the only right" patterns of conduct. This concept is very well justified within the system proposed by Saint Thomas. Individualization of being is a significant element of the develop¬ment of a person as a person. It is attained by the realization of individual aims which are not unequivocally determined by circumstances and the nature common to all people. By virtue of free choices made in the sphere of that which is not by its nature unjust, the object of action becomes ius. Since in the realization of the person the individualization of human being is central, Aquinas clearly sees the need for the protection of the sphere of "dominion of will". This sphere itself constitutes ius naturale, something which is due to man independently of the acts of will. Therefore "law should forbid nothing which is not unjust" ("nihil debet lege prohiberi quod licite fieri potest", In 3 Sent., dist. 40, q. I, a. 1, 3). Besides the relation of due-to-recipient, ius also includes the relation of obligation-of-subject which is superimposed on the relation of due-to-recipient. As far as the ontic foundations of obligation are concerned, in explaining why man is subordinated to realization of the good of others, Aquinas generally follows Aristotle in accepting that this basis is the subordination to moral good - to actions conforming with the learned truth about reality. Aquinas' systemic solutions allow, however, to reach deeper and understand why moral development is also a development of the whole human being. This was difficult within Aristotle's system, since he was reluc¬tant to decide whether precedence should be given to intellectual or moral develop¬ment. The inclination to realise good of another appears to be a transcendental characteristic of being, based on its very existence. Morality understood as rational and free subordination to realize the good of another is a specifically personal way of the realization of this inclination. Thus just actions contribute to the actualization of being in the aspect of its existence and therefore to the actualization of being as a whole. Thomas' conception of natural law (lex naturalis) as participation in eternal law (lex aeterna), offers possibilities for grasping that which is just as something which is basically accessible cognition, independently of Revelation and independently of faith in God, and at the same time as something based in eternal law, understood as a design of God's wisdom. Eternal law, embracing all particular actions, is not, from the human perspective, accessible cognition directly. It is enacted in the struc-ture of the created being and - in case of human beings - in free choices taking this structure into account. In the concluding remarks, the results obtained earlier are applied directly to the contemporary conception of human rights. Human rights are understood in the first place as "just things" - concrete goods of man; as that which is due because of subordination, based on dignity, to the personal development of man. That which is just is understood as a relational - actual or potential - state of things, which exists by virtue of existing relations. Evaluations referring to that which is right are true when respective relations of due-to-recipient take place; norms of conduct are true when respective relations of obligation-of-subject take place. Examples of the application of the sketched theory outside the field of human rights are also presented. Procedural consequences of the developed theory are shown, such as the discrimination of two types of legislative procedures which differ significantly in the structure of argumentation: the first aims at recognition of that which is just independently of the will of the legislator, and the second, at making individual or collective "projects" of development compatible. Finally the possibilities of applying the theory to the increasingly important problems of the protection of the environment and the "rights" of animals are mentioned. The central issue is a philosophical conception of man and his freedom and a conception of law. It is also indispensable to turn to a general theory of being. The search for a comprehensive theory of human rights requires attention to the Abso¬lute Being - God - as well. This is important for at least two reasons. First, a conception of the Absolute Being is integral to philosophy of the systemic type -of which the present book is a piece. A conception of the Absolute Being is signifi¬cant for understanding all being, including, first of all, man as a personal being. Second, every theory of human rights which does not comprise the problem of the Absolute may be questioned as to whether solutions adopted in it do not lead, in consequence, to eliminating God from the perspective of the understanding of law. It is desirable that a philosophical theory should deal with this problem directly. A theory which eliminates God from the perspective of the understanding of rights will be unacceptable for all those who, for philosophical reasons or relying on faith, consider God as the author of inherent rights. Nevertheless, a theoretical approach to rights from the perspective of the Absolute Being should only be a possible extension of a philosophical approach which bases rights on something which is cognizable independently of the acceptance of the existence of God so that the theory is also acceptable for those who reject the existence of God or suspend their judgment on this subject. The pursued theory should therefore contain, on the one hand, reference to natural, faith-independent foundations of human rights, but on the other hand, point to a possible extension accounting for the Absolute Being. The analyses contained in this chapter have undoubtedly some historical value since they are based on source texts. Nevertheless, the use of these texts and not critical works was dictated, first of all, by a conviction that analyses embrace a given theory in the aspect selected by the interests of the researcher. Therefore to find out what past thinkers say on the subject characterized in the first part it is simpler to reach to the sources than to adopt the existing critical works. The pre¬sented reconstruction of Aquinas' views on philosophy of law incorporates proposi¬tions of supplementing and developing some of the ideas undertaken by him. Obligation to act in this and not an other way arises because human actions are subordinated to the conformity, on the one hand, of aims realized by these actions and, on the one hand, the order of being determining that which is favourable to man or destroys him. The content of the order of being is, on the one hand, determined by the structure of being independent from man's will and, on the other, by free decisions of man. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:121. HUME'S Of Scepticism with regard to reason: A STUDY IN CONTRASTING THEMES.* This paper attempts to describe the complex dialectical interplay among the contrasting rational, sceptical and naturalist elements which appear in Section I, Part IV of Book I of Hume's Treatise of Human Nature. At the same time we shall try to show that, contrary to Hume's own evaluation of that section, it is the sceptical element, (...) in which the unreliability of reason is supposedly demonstrated, as opposed to the naturalist element, in which its unreliability is supposed to remain hidden from us, that deserves to triumph. With these two goals in mind and in order to make it easier for the reader to follow the inevitable twists and turns of the dialectic, we have divided the paper into two three-sectioned parts. The first part bears the title "Reason and Scepticism", while the second part bears the title "Naturalism". The first section of Part I is concerned with proving that Hume's attempted reduction of all knowledge to probability is frustrated by his failure to explain how we can make mistakes in simple operations with small numbers. If so, the first phase of his sceptical assault against reason fails to dislodge her from her throne. If the second section is right, the second stage of the sceptical assault fares no better. For Hume's attempted reduction of all probabilities to zero is shown to rely on an unsatisfactory formula for calculating the probabilities in question. In the third section an effort is made to show that the attempted reduction of the second section, i_f it had been a success instead of a failure, would have destroyed reason but left scepticism intact. *I should like to thank Howard Sobel for his penetrating and unsparing criticism of an earlier version of this paper. 122. Hume's conviction, on the other hand, that the flawed reduction in question is unflawed and destroys both leads to a prolonged discussion, initiated in the first section of Part II, of his naturalism. Indeed, this theme dominates the rest of the paper. Thus it deserves a part to itself. If we are correct in the first section of Part II, Hume's naturalism is best interpreted as a doctrine of instincts relying for its doctrinal status upon a failure to accept the conclusion of the sceptical argument directed against reason. But, as we try to bring out in the second section, the specific psychological inability with which Hume could in the final analysis give substance to this failure of acceptance is left without any causal foundation. Finally, in the third section that inability is seen to run afoul of reason as Hume himself understands it. And note is taken of the fact that reason so understood and the sceptical argument directed against reason that Hume adopts for his own both commit him willy-nilly to rejecting for good or ill one standard definition of knowledge. Reason and Scepticism Nowhere are the rational elements in Hume's philosophy more in evidence, ironically enough, than in Section I, Part IV of Book I of the Treatise entitled Of Scepticism with regard to reason. For it is there we are told in the very first paragraph that in all demonstrative sciences the rules are certain and infallible. Our reason, moreover, must be consider ' d as a kind of cause, of which truth is the natural effect. (T180) In other words, reason, left to its own devices, would produce truth and, presumably, only truth. Anyone who steadfastly adheres to such principles will reject out of hand one kind of scepticism with regard 123. to reason. That is the kind which results from the alleged discovery that reason, left to its own devices, compels us to embrace one or more contradictions, an obvious form of 2 falsity. It is a kind of scepticism which Bayle cultivated so assiduously. And yet, despite the influence which Bayle 's writings exerted upon Hume, they never convinced him of the viability of this kind of scepticism. On the contrary, apart from some wavering in the Enquiry, he was as adamant as any Leibnizian rationalist that right reason3 ing leads only... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:121. HUME'S Of Scepticism with regard to reason: A STUDY IN CONTRASTING THEMES.* This paper attempts to describe the complex dialectical interplay among the contrasting rational, sceptical and naturalist elements which appear in Section I, Part IV of Book I of Hume's Treatise of Human Nature. At the same time we shall try to show that, contrary to Hume's own evaluation of that section, it is the sceptical element, (...) in which the unreliability of reason is supposedly demonstrated, as opposed to the naturalist element, in which its unreliability is supposed to remain hidden from us, that deserves to triumph. With these two goals in mind and in order to make it easier for the reader to follow the inevitable twists and turns of the dialectic, we have divided the paper into two three-sectioned parts. The first part bears the title "Reason and Scepticism", while the second part bears the title "Naturalism". The first section of Part I is concerned with proving that Hume's attempted reduction of all knowledge to probability is frustrated by his failure to explain how we can make mistakes in simple operations with small numbers. If so, the first phase of his sceptical assault against reason fails to dislodge her from her throne. If the second section is right, the second stage of the sceptical assault fares no better. For Hume's attempted reduction of all probabilities to zero is shown to rely on an unsatisfactory formula for calculating the probabilities in question. In the third section an effort is made to show that the attempted reduction of the second section, i_f it had been a success instead of a failure, would have destroyed reason but left scepticism intact. *I should like to thank Howard Sobel for his penetrating and unsparing criticism of an earlier version of this paper. 122. Hume's conviction, on the other hand, that the flawed reduction in question is unflawed and destroys both leads to a prolonged discussion, initiated in the first section of Part II, of his naturalism. Indeed, this theme dominates the rest of the paper. Thus it deserves a part to itself. If we are correct in the first section of Part II, Hume's naturalism is best interpreted as a doctrine of instincts relying for its doctrinal status upon a failure to accept the conclusion of the sceptical argument directed against reason. But, as we try to bring out in the second section, the specific psychological inability with which Hume could in the final analysis give substance to this failure of acceptance is left without any causal foundation. Finally, in the third section that inability is seen to run afoul of reason as Hume himself understands it. And note is taken of the fact that reason so understood and the sceptical argument directed against reason that Hume adopts for his own both commit him willy-nilly to rejecting for good or ill one standard definition of knowledge. Reason and Scepticism Nowhere are the rational elements in Hume's philosophy more in evidence, ironically enough, than in Section I, Part IV of Book I of the Treatise entitled Of Scepticism with regard to reason. For it is there we are told in the very first paragraph that in all demonstrative sciences the rules are certain and infallible. Our reason, moreover, must be consider ' d as a kind of cause, of which truth is the natural effect. (T180) In other words, reason, left to its own devices, would produce truth and, presumably, only truth. Anyone who steadfastly adheres to such principles will reject out of hand one kind of scepticism with regard 123. to reason. That is the kind which results from the alleged discovery that reason, left to its own devices, compels us to embrace one or more contradictions, an obvious form of 2 falsity. It is a kind of scepticism which Bayle cultivated so assiduously. And yet, despite the influence which Bayle 's writings exerted upon Hume, they never convinced him of the viability of this kind of scepticism. On the contrary, apart from some wavering in the Enquiry, he was as adamant as any Leibnizian rationalist that right reason3 ing leads only... (shrink)

Introduction Reza Davari Ardakni, the Iranian contemporary philosopher, distinguishes development from Western modernity; in that it considers modernity as natural and organic changes that Europe has gone through, but sees development as a planned design for implementing modernity in other countries. As a result, the closedness of development concerns only the developing countries, not Western modern ones. Davari emphasizes that the Western modernity has a universality that pertains to a unique reason and a unified world. The only way of thinking (...) in this world is a philosophical thought based on human self-centered reason, and given the pervasiveness of Western civilization. Therefore, Davari does not consider Westernization as mere imitation of Western customs and methods, but rather as a way of existence in the world. Westernization is a subjective view of the world and beings. Westernization is not optional, enabling non-Western people to avoid it. According to the Westernization scenario, the world today is entirely Westernized, and Davari considers Westernization as the inevitable fate of the people of this era, seeing two alternatives for them, both of which ultimately lead to the same destination, which is to embrace development; either they seize the power of science and technology and join the process of global modernization and participate in it, or they become subdued by this process and accept it without participation. Davari regards the first type of Westernization as active and the second type as passive. Problematique Therefore, underdevelopment is not a concept of the ancient world, nor even of a world between the ancient and the modern, or on the threshold of modernization. Underdevelopment is a condition of suspension and timelessness and being exposed to modernization. To escape the paradox of underdevelopment, which is the inevitable historical fate of non-modernized societies, Davari sees no way out other than embracing development. In other words, Westernized societies, which have become confused due to modernization, have no escape route other than turning to development. Therefore, some critics of Davari accuse the theory of Westernization of being a theoretical rupture. M. T. Tabatabaei, by rejecting the theoretical rupture in the theory of Westernization, believes that in the argument of Davari, we are only faced with a shift from a philosophical to an intellectual level. Tabatabaei, by avoiding providing a philosophical response to the critics of the theoretical rupture, believes that the introduction of active Westernization and collaboration in science and technology as a solution to escape from underdevelopment conditions, is only a shift from a philosophical level to an intellectual level and does not involve a rupture. Therefore, it seems that the philosophical issue of how or the possibility of escaping from underdevelopment conditions is still an open non answered problem. In this study, seeking a philosophical answer to this problem, an attempt has been made to summarize Davari's definitions of development, underdevelopment, participation in the world of science, and the role of humanities and social sciences in development, using his writings and speeches. It is proposed that a way to escape from the clesedness of development based on Davari's views, is to make use of analytical method with emphasizing on concepts and theories of the philosophy and metaphysics of science. Argument According to Davari, the social and human sciences that are responsible for development planning in underdeveloped societies must consider the characteristics of underdevelopment in order to facilitate the transition to more favorable conditions. Davari identifies the following conditions for successful development: 1) replacing tradition with science as the organizing and coordinating principle in society, 2) recognizing the universality of philosophy and science of the Western modernity and the impossibility of blindly imitation and adopting it, 3) inevitability of actively engaging and interacting with development, 4) recognizing the internal dynamics of scientific progress and avoiding authoritarian control, and 5) promoting free participation in the scientific paradigms. Therefore, Davari suggests the following steps towards development: 1) recognizing and understanding the problems of society and the local ecosystem, 2) understanding the philosophical and cultural foundations of Western civilization, 3) understanding the historical context and paradigms of science, 4) understanding the philosophical and metaphysical foundations of science, 5) recognizing the intellectual and philosophical capacities of our own community, and 6) reflecting our own philosophical and metaphysical assumptions in the scientific world in a way that is compatible with scientific methods. Given the motivations for change in science at both the global and national levels, including the emergence of heterodox or indigenous sciences, and the inevitable nature of development, Davari points to the possibility of a path between absolute rejecting or accepting the mainstream social and human sciences. However, this path is challenging and contingent upon the aforementioned conditions and steps of transition. Conclusion It is necessary to seek this path within the realm of the philosophy and metaphysics of science, particularly in the origins and foundations of the social and human sciences. Research in the metaphysics and philosophy of the social sciences provides the opportunity for active scientific engagement in the scientific paradigms and a reconsideration of the foundations of science, allowing for different philosophical foundations while are compatible with scientific methods. Successfully finding a path between absolute rejecting or accepting the existing social sciences will lead to an internal transformation within the field of science and, in fact, will advance the boundaries of knowledge. Therefore, it is possible, while adhering to the conditions of transition and actively participating in the world of science and technology, and accepting the unity of modernity and avoiding selectivity and imitation, to search for a way to overcome the closedness of development through a reconsideration of the philosophical and metaphysical foundations of science, while recognizing our own intellectual heritage and critically assessing Western science and technology. (shrink)

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.

Despite the fact that the nature of the properties of causation is rarely discussed within the mental causation debate, the implicit assumption is that they are universals as opposed to tropes. However, in recent literature on the problem of mental causation, a new solution has emerged which aims to address the problem by appealing to tropes. It is argued that if the properties of causation are tropes rather than universals, then a psychophysical reductionism can be advanced which does (...) not face the problem of multiple realizability. However, the 'trope solution' rests upon the assumption that one can combine a trope monism with a type dualism. I argue that such a combination cannot be allowed. Given a plausible interpretation of types within a trope ontology, trope monism in fact entails type monism. Consequently, if one identifies mental tropes with physical tropes, one must also identify mental and physical types and in doing so face a modified version of the multiple realizability argument. (shrink)

Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...) of mind needs to adopt an antimentalist stance to achieve this aim. Antimentalism not only definitively rejects the idea that mind is a substance separated from the body, it also denies that mental phenomena radically differ from physical phenomena by virtue of several unique features. Most problematically, mental phenomena have a conscious character (mental states are related to specific qualitative feelings) and are accessible only to the first-person (only the subject knows directly what s/he is experiencing inside his/her mind). Ryle takes a strong stance on antimentalism going so far as to maintain that an approach to mind which aims to meet the criteria of scientificity set by the natural sciences must avoid any reference to internal, unobservable mental states. In his view (which is considered a specifically philosophical version of psychological behaviorism and also addresses questions put forward in psychological research), mental states can be redescribed in terms of behavioral dispositions. In this chapter, we address the historical roots of the antimentalist view and analyze its relation to the later tradition of research on mind. We show that, compared to the antimentalist stance, functionalism and cognitivism take a step back when they maintain that direct reference to mental states is necessary since mental states cause and therefore explain human behavior. This step backwards is often interpreted as a return to mentalism. However, this is only partially true. Indeed, we suggest that these later traditions retain one important element of Ryle’s antimentalism, i.e. the idea that mental states must be uniquely identified using external and publicly observable criteria, while excluding any reference to introspection and those qualitative dimensions of a mental state, which are accessible only to the first-person. According to the perspective we put forward, this epistemological stance has continued to influence contemporary research on mind and current philosophical and psychological theories which both tend to exclude the subjective qualities of human experience from their accounts of how the mind works. The issue we raise here is whether this is legitimate or whether subjective qualities do play a role with respect to the way our mind works. The conclusion of this chapter anticipates the argument the book makes in in favor of this latter position, starting from a particular angle, i.e. the problem of how we categorize concepts related to our internal states. -/- Chapter 2 The Misleading Aspects of the Mind/Computer Analogy. The Grounding Problem and the Thorny Issue of Propriosensitive Information -/- Abstract. After the crisis of behaviorism, cognitivism and functionalism became the predominant models in the field of psychology and of philosophy, respectively. Their success is mainly due to the new key they use for interpreting mental processes: the mind/computer analogy. On the basis of this analogy, mental operations are seen as cognitive processes based on computations, i.e. on manipulations of abstract symbols which are in turn understood as informational unities (representations). This chapter identifies two main problems with this model. The first is how these symbols can relate to and communicate with perception and thus allow us to identify and classify what we perceive through the senses. Here we limit ourselves to presenting this issue in relation to the classical symbol grounding problem originally put forward by Harnad on the basis of Searle’s Chinese room argument. An attempt to address the problem raised here will be made in chap. 3. The second point we discuss in relation to the mind/computer analogy concerns the idea of information it fosters. Indeed, following this analogy, information is something available in the external world which can be captured by the senses and transmitted to the central system without being influenced or modified by the procedures of transmission. This perspective does not take into account that – unlike computers – in living beings information is acquired by means of the body. As Ulric Neisser has already pointed out, the body is itself an informational source that provides us with additional sensory experience that influences (modifies or complements) the information extracted from the external world by the senses. To develop this line of analysis and to determine exactly what information is provided by the body and how this might influence cognition, we examine Sherrington’s and Gibson’s positions. Moving on from their views, we qualify bodily information in terms of ‘proprioception’. We use ‘proprioception’ in a broad sense to describe any kind of experience we have of our internal states (including postural information as well as sensations related to the general state of the body and its parts). Following Damasio’s and Craig’s studies, we further elaborate this position, arguing that living beings are equipped with an internal propriosensitive monitoring system which maps all the changes that constantly occur in our body and that give us perceptual (‘proprioceptive’ or propriosensitive) information about what happens inside us. Moreover, relying on Goldie’s and Ratcliffe’s view, we show that emotional information can also be considered as a form of ‘proprioception’ which contributes to determining everything we perceive. This analysis leads us to the second main thesis of this book: ‘proprioception’ is a form of internal perception and it is an essential component of the sensory information we can access and use for all cognitive purposes. -/- Chapter 3 Semantic Competence from the Inside: Conceptual Architecture and Composition -/- Abstract. Concepts are essential constituents of thought: they are the instruments we use to categorize our experience, i.e. to classify things and group them together in homogeneous sets. Here we define concepts as the internal mental information (representations) that allows us, among other things, to master words in natural language. By analyzing the way in which individuals master word meanings we explore a number of hypotheses regarding the nature of concepts. Following Diego Marconi’s research, we differentiate between two kind of abilities that underpin lexical competence – so-called ‘referential’ and ‘inferential competence’ – and we suggest that, in order to support these abilities, concepts must also include two corresponding kinds of information, i.e. inferential and referential information. We point out that the most widely used and acknowledged theories of concepts do not make this distinction, instead broadly characterizing the information used for categorization in terms of propositionally described feature lists. However, we show that while feature lists can explain inferential competence, they do not account for referential competence. To address the issue of referential competence we examine Ray Jackendoff’s hypothesis that to account for the possibility of linking perceptual and conceptual information we need to assume the existence of a (visual) representation that encodes the geometric and topological properties of objects and bridges the gap between the percept and the concept. Furthermore, we analyze the extension of this work by Jesse Prinz who introduced the notion of a proxytype, a perceptual representation of a class of objects that incorporates structural and parametric information related to their appearance. However, as we point out, proxytypes can only explain the relationship between perception and concepts with respect to instances that can be perceived through the senses and that belong to the same class by virtue of their physical similarity. We suggest that this notion be extended to include larger conceptual classes. To accomplish this, we further develop Mark Johnson, George Lakoff and Jean Mandler’s idea of a schematic image and argue that conceptual representations include a perceptual schema. Perceptual schemata are non-linguistic, structured experiential gestalts (patterns or maps) that make use of information taken from all sensory modalities, including body perception. They accomplish a quasi-conceptual function: they allow us to recognize and to classify different instances. In this work, we hypothesize that perceptual schemata are an essential component of concepts, but not identical to them. Instead, we suggest that concepts include both perceptual and propositional information with perceptual schemata providing the ‘perceptual core concept’ that grounds related propositional information. -/- Chapter 4 In the Beginning There Were Categories. The Bodily Origin of Prelinguistic Categorical Organization: The Example of Folkbiological Taxonomies -/- Abstract. Studies of categorization in psychology and the cognitive sciences have made use of the notions of ‘category’ and ‘concept’ without precisely defining what is meant by either; in fact, often these terms have been used as synonyms, making it difficult to address specific issues related to conceptual development. This chapter begins by discussing the definitions of, as well as the distinctions between, ‘categories’ and ‘concepts’ in the classical philosophical tradition (Aristotle, Kant and Husserl). We introduce our view of categories with reference to Husserl. Categorization is defined as the way in which our experience is originally (pre-linguistically) organized in a passive and fully unconscious manner on the basis of universal structuring principles. Conceptualization is explained as a later process in which the earlier categorical macro-classes are further subdivided into more specific and detailed sets; this later process also relies on linguistic learning and exposure to culture. On the basis of Ray Jackendoff, Jean Mandler, George Lakoff and Mark Johnson’s work, we hypothesize that categorization is a two-step process that begins with the formation of homogeneous sets of entities partitioned into regions that describe the ontological boundaries of the objects that humans perceive (categories) and continues at a later stage with the development of more specific classifications (concepts). In this chapter, we mainly address three related issues: Why should we assume that there is categorical organization which precedes the development of a conceptual system? How do categories and concepts relate to each other? Shall we hypothesize that categories are innate or that they are formed before concepts on the basis of information and organizational structure available at a very early developmental stage? We show that categorical partitions are necessary for categorization and, following Mandler, that the general categories we form at an early age do not match our adult superordinate concepts. As for the third issue, we argue that there might be no need to assume that categories are innately present in the human mind, since their formation can be explained – at least in certain cases – by basic mechanisms that work on body (propriosensitive) information. This hypothesis will not be discussed in general, but in relation to a particularly relevant example of categorical partition, i.e. the folk-biological dichotomy between ANIMATE/INANIMATE. This is compared with other dichotomies that derive from it, but are not directly categorical such as LIVING/NON-LIVING and BIOLOGICAL/NON-BIOLOGICAL. -/- Chapter 5 Internal States: From Headache to Anger. Conceptualization and Semantic Mastery -/- Abstract. Here we ask if we can also apply the distinction between referential and inferential competence we introduced in Chapter 3 to words that do not refer to things that are perceived using the external senses, especially to words/concepts that denote bodily experiences (such as pain, thirst, hunger, etc.) or emotions. We introduce and discuss the hypothesis that – even though such words/concepts do not refer to intersubjectively identifiable entities in the external world – they do have a kind of referent that can be accessed via direct perception, more specifically ‘proprioception’, as we have defined it in terms of all propriosensitive information we can consciously access. In the first part of the chapter, we specifically consider terms denoting bodily experiences such as ‘pain’ or ‘hunger’ and argue that their referents are identified and classified from a first-personal point of view on the basis of four main characteristics: their specific intensity, their localization in the body, their co-occurrence with other signals and above all their specific qualitative sensations. Emotions are addressed in the second part of the chapter. We suggest that there is a continuity between bodily experiences and emotions. In particular, we argue for a perceptual theory of emotions in line with that proposed by James and Lange at the end of the 19th century and developed more recently by authors such as Damasio (see also chap. 2§5, §6). The hypothesis we put forward is that the referential information that supports the categorization of emotions and therefore also our mastery of terms referring to emotions consists in the perception (i.e. the ‘proprioception’) of those bodily states and changes in bodily states which constitute our emotional experience. In the context of this discussion we examine some objections to this line of reasoning that arise from a cognitivist perspective and following authors such as Oatley, Johnson-Laird and Frijda, we distinguish between basic emotions that can be identified and classified solely on the basis on how they feel and complex emotions whose identification and classification additionally depends on cognitive factors. To describe how emotions are identified and classified on the basis of how they feel, we rely on Marcel and Lambie’s distinction between an ‘emotion state’ and an ‘emotion experience’. Both notions indicate kinds of feelings that we consciously experience. However, they describe first-order and second order emotion awareness respectively. The emotion state is the feeling we have of the bodily states and changes that occur when we are experiencing an emotion, while the emotion experience is the fully developed and integrated emotion we both experience and are, with reflection, aware of experiencing. On the basis of this differentiation, we also show that the same characteristics that aid in the identification and classification of bodily experiences (specific qualitative sensations; somatic localization; specific intensity; presence/absence of specific concomitant sensations) can also be used for the identification and classification of emotions – at least basic emotions. In the last two sections of the chapter we present some clinical evidence on the semantic competence of people who suffer from Alexithymia and Autism Spectrum Disorder which supports the conclusions of our preceding analyses. -/- Chapter 6 The ‘Proprioceptive’ Component of Abstract Concepts -/- Abstract. In this chapter, we address the issue of whether the mastery of abstract words requires only inferential knowledge and thus, if the concepts that support the mastery of abstract words include only linguistic information. We start by differentiating the notions of ‘abstract’ and ‘general’ which are often erroneously confused. We then identify a strict definition of abstract, as contrasted with ‘concrete’, that applies to words or concepts whose referent cannot be experienced by the senses. We argue that abstract words/concepts would be better described as theoretical, because they are usually conceived as structured sets of inferential knowledge expressed linguistically; that is, as small theories. Pointing out parallels with Carnap’s analysis of this issue in philosophy of science, we hypothesize that words/concepts denoting non-observable entities are not all ‘equally theoretical’, because their link to sensory experience can be stronger or weaker. We revive the distinction, inspired by Quine, between theoretical and intertheoretical concepts/words. This distinction relies on the fact that the former – unlike the latter – retains a strong, although indirect, connection with perception. In Quine’s discussion, perception is understood uniquely in terms of observability, i.e. of external sensory experience. Here we argue, however, that bodily, ‘proprioceptive’ (i.e. propriosensitive) experience can also serve to referentially ground theoretical (i.e. abstract) concepts/words. We frame this issue using the example of the theoretical concept ‘freedom’ and Lakoff’s hypothesis that this concept is developed on the basis of bodily information. We contrast this with the example of ‘democracy’ which more closely resembles an intertheoretical concept/word. Furthermore, we show that one of the classical views put forward in psycholinguistic research to explain how abstract concepts are mentally represented – i.e. Paivio’s Dual Coding Theory – points in the same direction as our analysis. The same is true of Barsalou’s work suggesting that we use internal information to understand at least some abstract words. To sustain this position, we put forward two lines of evidence: the first comes from psycholinguistic studies while the second examines deficits of semantic competence exhibited by people with Autism Spectrum Disorder. On the basis of our analysis, we put forward a classification that distinguishes between different kinds of concreteness and different degrees of abstraction: concepts/words referring to body experiences and basic emotions are described as analogous to concrete concepts/words because they are grounded in perceptual (i.e. propriosensitive) experience, while abstract concepts/words are considered more or less abstract depending on whether they are intratheoretical (and rely entirely on inferential information) or theoretical (and are partially grounded in perceptual – or more often in propriosensitive perceptual – information). In the last section of the chapter we consider two scales that have been used in psycholinguistic research to measure the degree of concreteness vs. abstractness of words and we show that – used conjointly – they can provide a measure of the internal vs. external grounding of specific words. (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)

Over the last 20+ years, multinational corporations have been confronted with accusations of abuse of market power and unfair and unethical business conduct especially as it relates to their overseas operations and supply chain management. These accusations include, among others, worker exploitation in terms of unfairly low wages, excessive work hours, and unsafe work environment; pollution and contamination of air, ground water and land resources; and, undermining the ability of natural government to protect the well-being of their citizens. MNCs have (...) responded to these accusations by creating voluntary codes of conduct which commit them to specific standards for addressing these issues. These codes are created at both the industry-wide and the individual company level. Unfortunately, these codes have generated little credibility and public trust because their compliance claims cannot be independently verified, and they lack transparency and full public disclosure. In this article, we present a case study of the voluntary code of conduct by Mattel, Inc., the world’s largest toy company. The code, called the Global Manufacturing Principles, confronts the general criticism leveled against voluntary codes of conduct by creating detailed standards of compliance, independent external monitoring of the company’s compliance with its code of conduct, and making full, and uncensored public disclosure of the audit findings and company’s response in terms of remedial action. We present a detailed account of how Mattel’s voluntary code of conduct was created, implemented, and ultimately abandoned over 9 years. We provide an evaluative analysis of the company’s GMP compliance throughout its life span, which suggests a bell-shaped curve, where early top management commitments were met with pockets of resistance from operational groups, who were concerned about balancing GMP compliance efforts with traditional performance criteria. The early stage response from Mattel’s top management was quick and supported with the requisite resources. As a result, the compliance process accelerated, becoming increasingly more robust and effective. The success of code compliance and increased transparency in public disclosure energized field managers with a sense of professional satisfaction and publicly recognized accomplishments. The decline in GMP compliance was equally steep. When all the easily attainable targets had been reached at the company-operated plants, addressing vendor plants’ compliance presented a new set of challenges, which taxed corporate resources and management commitment. It would seem that value-based and ethics-oriented considerations, i.e., doing the right thing for the right reason, were no longer the driving force for Mattel’s management. Mattel did not see any economic benefit from its proactive stance, when competitors did not seem to suffer adverse consequences for not following suit. The final contributing factor to the code’s abandonment was a widely publicized series of product recalls which absorbed top management’s attention. (shrink)

Scanlon’s book aims to offer us a moral theory of right and wrong and of our obligations to one another. The theory is called contractualism and its central claim is that an act is right or wrong if and only if it could or could not be justified to others on grounds that they could not reasonably reject (p. 4). Scanlon recognizes that so stated, his contractualism might seem empty in the sense that one might think that the aim of (...) offering grounds that others could not reasonably reject is an aim to which all plausible moral theories would aspire (p. 4). For example, as Scanlon himself acknowledges, utilitarians, who hold the view that an act is right only if it would produce the greatest happiness, presumably would believe that their view is one that no reasonable person could possibly reject (p. 189). However, Scanlon believes that his contractualism is in fact substantive. According to Scanlon, his contractualism holds the process of justifying to others to be ‘basic’ (p. 5). In other words, Scanlon believes that simply by thinking about what could be justified to others on grounds that they could not reasonably reject, we can ‘determine the shape of more specific moral notions such as murder or betrayal (p. 5).’ As Scanlon explains, even though utilitarians may also accept that an act is right if and only if it can be justified to others, what makes an action right for utilitarians is that the action has the best consequences; ‘justifiability is merely a consequence of this’ (p. 189); whereas for Scanlon’s contractualism, justifiability is what makes an action right or wrong. The aim of Scanlon’s book is to elaborate and explicate this account of contractualism. (shrink)

Available from UMI in association with The British Library. ;This thesis investigates the application of the theory of Conceptual Structures to an Experience Base model, which is a question-answering system for a knowledge base of pseudo-natural language statements of everyday experience. This thesis progresses to extend the fundamental principles carried from the experience base, to develop a framework for Reasoning by Analogy. Both methodologies are implemented, and uncertainty in the models is handled using the theory of Support Logic. ;Incompleteness of (...) information, uncertainty of data and the need for a definite structure to the way in which rules and data interact, are aspects which must be dealt with if the experience base is to succeed. One more aspect is the knowledge representation which dictates the ease with which processing may be performed upon it. Conceptual graphs are used to store information used by an Experience Base. Control of the reasoning is effected by plausible inference reinforced by the theory of Support Logic for handling uncertainty. The knowledge base is a set of initially completely disparate islands of knowledge, which the system automatically clusters into coherent groups in an associative network. ;The principles evolved from research into experience bases lead to the conception, development and implementation of a computational framework for Analogical Reasoning. The reasoning is performed between domains of knowledge rather than within a single domain as in case-based reasoning, and operates on pseudo-natural language statements as for the experience base. It relies on relation-based structure mapping and includes a sophisticated mechanism for translating between the new problem and the analogue. The strong connection between this work and metaphor interpretation is also investigated, together with ideas on how to negotiate with the apparent multitude of types of analogical reasoning. (shrink)

In his article, «In Defense of Reason in Religion,» Jones reacts to current trends to minimize the role of reason in religion by attempting to show that if religionists desire their religious beliefs to correspond to knowledge, the noetic tool most likely to achieve this goal is reason. This he does by reviewing the leading epistemological ap- proaches to metaphysical knowledge, and showing that each relies to some extent on reason. He further argues that all of them must utilize reason (...) if they wish to at- tempt to critically verify their findings. Then he argues that religious knowledge is a type of metaphysical knowl- edge. He shows that the leading approaches to obtaining religious knowledge parallel the various approaches to metaphysical knowledge, and have similar reliance on reason. Even in the case of supernatural revelation, rea- son is used in identifying and interpreting the revelation. Therefore, Jones concludes, «reason is the primary mechanism for obtaining religious knowledge.». (shrink)

This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which a (...) possibility can occur. Mental models share these properties. But, as the graphs show, certain aspects of propositions cannot be represented in an iconic or visualisable way. They include negation, and the representation of possibilities qua possibilities, which both require representations that do not depend on a perceptual modality. Peirce took his graphs to reveal the fundamental operations of reasoning, and the paper concludes with an analysis of different hypotheses about these operations. (shrink)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established (...) by exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

Background: The Directive 2001/20/EC was an important first step towards consistency in the requirements and processes for clinical trials across Europe. However, by applying the same rules to all types of drug trials and transposing the Directive’s principles into pre-existing national legislations, the Directive somewhat failed to meet its facilitation and harmonisation targets. In the field of ethics, the Directive 2001/20/EC conditioned the way of understanding and transposing the “single opinion” process in each country. This led to a situation (...) in which two models of research ethics committees organisation systems exist, being the model in which the “single opinion” is considered to be the decision made by a single ethics committee more effective and simpler in terms of administrative and logistic workload. Method: A survey was conducted in 10 European countries. Members of the European Clinical Research Infrastructures Network working party number 1, with expertise in the field of ethics, responded. Results: There is a major heterogeneity in the composition of ethics committees among the surveyed countries based on the number of members, proportion of experts versus lay members and expertise of the scientific members. A harmonised education of the ethics committees’ membership based in common curricula is recommended by the majority of countries. Conclusions: Despite the efforts for harmonisation of the European Clinical Trial Directive, from an ethical point of view, there remains a plurality of ethics committees' systems in Europe. It is important to comprehend the individual national systems to understand the problems they are facing. (shrink)

Problem: A dualistic position faces considerable problems as Mitterer, inter alia, clearly pointed out. Mitterer not only wants to name these problems, but to provide a genuine alternative with his non-dualism. However, this non-dualistic alternative also contains severe problems. Thus this text suggests preferring Wittgenstein's concept of a pragmatic investigation of language-games to Mitterer's non-dualism in order to tackle the problems of dualism. Solution: With recourse to Wittgenstein's pragmatic investigation of language-games, a fundamental problem of dualism can be solved. With (...) the concept of certainty, Wittgenstein succeeds in avoiding an ontological grounding in an independent world -- or, as Mitterer would put it, the assumption of a "beyond of discourse." At the same time, the assumption of an independent world as a concept that provides a basis for our language-games is maintained on an epistemological level. This assumption, however, is not maintained as a phenomenon that requires to be substantiated but as a certainty that is constitutive for language-games and does not need to be substantiated. Such a concept is suitable for preventing epistemological operations such as knowledge, doubt, giving reasons, etc., from being made void, without having to provide an ontological basis for them. Implications: Wittgenstein's point of view therefore provides an attractive alternative to Mitterer's non-dualism. By getting rid of the "beyond of discourse," Mitterer's non-dualism faces the problem of not being able to explain how we can manage to understand epistemological operations within our language-games without referring to a "beyond of discourse." From this point of view arises the consequence that it would make sense to analyze language-games from a pragmatic standpoint rather than to keep on honing non-dualistic vocabulary. (shrink)

Among the influential contributions of Alfred Tarski to logic and philosophy, and close in importance to his widely applied and discussed definition of truth, one finds his definition of logical consequence for formal languages. Like his definition of truth, Tarski's definition of logical consequence has been widely and fruitfully applied. Unlike the definition of truth, that of logical consequence has been rarely discussed philosophically. The main aim of this dissertation is to offer a thorough discussion of (...) some philosophical issues arising from the neglected definition. ;The point of departure is an interpretative reading of the relevant writings by Tarski. This reading yields historically interesting data that refute other recent readings. It also provides philosophical illumination, by clarifying how Tarski thought that his definition satisfied some pretheoretic desiderata. ;Next it is discussed whether Tarski's definition satisfies other pretheoretic desiderata, not stated by Tarski and in some cases not endorsed by him, but which are desiderata nonetheless from reasonable standpoints. These include the desiderata that all instances of logical consequence in Tarski's defined sense be instances of analytical implication, and that they be instances of valid implication. The conclusion of this part of the dissertation is that, under reasonable assumptions regarding the field of applicability of the definition and the concepts used in it, there are reasons to believe that these desiderata are met, and none to believe they are not. ;Finally, the problem of logical constants is examined. The concept of a "logical constant" is the only concept not taken from logic and mathematics that appears in Tarski's definition. The problem of logical constants is that of replacing the primitive 'logical constant' with a defined, better understood concept, and in a such a way that the resulting defined concept of logical consequence meets the previously discussed desiderata. The main conclusion of this part is that some attempts to do this replace the obscure with the more obscure, while other attempts that seem to be in the right spirit have shortcomings of their own. (shrink)

In the present commentary, I argue that Foster has attacked an uncharitable reconstruction of Etchemendy's argument against Tarski's account of the logical properties. I provide an alternative, more charitable reconstruction of that argument that withstands Foster's objections.

. — The scientific method can be understood as a sequence of stages of types of activity undertaken to construct explanatory hypotheses which are verifiable. These stages, origination, deduction, experimentation, and confirmation, are each subdivided into several phases. The stages and phases are related by an order of precedence in which any given phase has to be preceded by the one before it but does not necessarily lead to the one after it. Such a dynamic outline of the growth (...) of a scientific idea is a general scheme for rendering an explanation of it. As a consequence, the general historical development of a scientific idea is traced at the same time that its logical structure and operational significance is indicated. (shrink)

The nature of the human being in general and the existence and nature of the soul in particular has been discussed throughout the history of thought. As a knowing subject, man firstly tried to know himself. While making this questioning, he not only wondered about his phenomenal existence (body), but also about his spiritual identity, which he did not doubt was out there somewhere. This curiosity has created an ongoing scientific journey from anatomy to physiology, from science to philosophy, from (...) medicine to sociology, from biology to neurobiology, from psychology to neuropsychology, from chemistry to neurochemistry. In the end, various human conceptions have been developed in accordance with the scientific and philosophical background of each civilization. The ancient tradition of thought, which is the common accumulation of humanity, has largely included man in a dualist definition. Along with modern science, many devices have been developed to study human beings physically. Numerous data have been reached with the opportunities provided by technology, and these data have provided great usefulness in understanding what aspects a human being has in terms of physics and metaphysics. However, with the increase in our knowledge of the natural world and human, which is a part of it, the perspectives of the period were forced into paradigmatic changes. The philosophical movements that developed and changed in parallel with scientific knowledge, the decline of religion, especially in the Western world, regressed the dominant models in the interpretation of knowledge. Notions of human have inevitably taken their share from this great change. Is the subject behind the actions separate/independent from the body/brain and completely autonomous and rational? Or is it just the body/brain or its functionality, as modern neuroscience suggests? Does this coherent functionality arise entirely or in part from natural causation? Is there an essence or a distinctive feature that makes us human? If so, is this essence/property physical or is it a metaphysical substance? What answers did the early theologians give to these questions? What are the points of overlap between the hypotheses developed mainly on religious knowledge, partly on medical knowledge of the period via largely logical reasoning, and the definitions of human and soul revealed by contemporary experimental science? This line forms the main frame of the article. In summary, this study; It aims to identify the parallels and similarities of approach between the spiritual theories of the early theologians and current scientific data, which we see as two important phases of the ongoing ancient investigation. It is thought that the theories developed in this first period, when the transformation due to the acculturation process is not sufficiently determinative on thought, are more original and valuable. After giving brief information about the definitions of soul, mind, self and consciousness, which are among the basic concepts of the problem, the thoughts of early Mu‘tazilī and Ahl al-Sunnah thinkers on the subject are presented comparatively with current scientific data. We tried to make a healthy descriptive inference by making analytical and semantic arguments on the data obtained during the research. (shrink)