According to a familiar reading of Kant, he denies the possibility alleged by the rationalists of our having non-sensible or intellectual intuition. I argue in this article that he simply holds the possibility to be groundless. To put the contrast in terms of a distinction Kant makes in the A-Paralogisms, he raises a “dogmatic” objection to the rationalists in the former case, and a “critical” one in the latter. By analyzing the two-step argument in the B-Deduction, I defend the (...) “critical” reading, which may, I hope, shed light on how Kant can justify his claim – which may be regarded as a second-order, methodological one pivotal to his Critical project – that possible experience serves as the only guideline for proving that we can cognize objects a priori. (shrink)

In this paper, I propose a new nonconceptual reading of the B-Deduction. As Hanna correctly remarks :399–415, 2011: 405), the word “cognition” has in both editions of the first Critique a wide sense, meaning nonconceptual cognition, and a narrow meaning, in Kant’s own words “an objective perception”. To be sure, Kant assumes the first meaning to account for why the Deduction is unavoidable. And if we take this meaning as a premise of the B-Deduction, then there is (...) a gap in the argument since the categories are certainly not conditions for non-conceptual cognition. Still, I believe it is not this wide meaning but rather the narrow one that figures in any premise of the B-Deduction. Thus, in the reading that I am proposing, categories are not conditions for representing something, or even conditions for representing something objectively. Instead, they are conditions for the recognition that what we represent through the senses exists mind-independently. In the first step of the B-Deduction, this cognition in the narrow sense takes the form of the propositional thinking that the nonconceptually represented object of the sensible intuition exists objectively. In contrast, in the second step of the B-Deduction, this cognition in the narrow sense takes the form of the apprehension of what our human senses represent nonconceptually as existing objectively. (shrink)

I critically examine one central line of reasoning in Mario Caimi's book »Kant's B Deduction« (Cambridge Publishing, 2014).

According to non-conceptualist interpretations, Kant held that the application of concepts is not necessary for perceptual experience. Some have motivated non-conceptualism by noting the affinities between Kant's account of perception and contemporary relational theories of perception. In this paper I argue (i) that non-conceptualism cannot provide an account of the Transcendental Deduction and thus ought to be rejected; and (ii) that this has no bearing on the issue of whether Kant endorsed a relational account of perceptual experience.

Few of Kant’s doctrines are as difficult to understand as that of self-affection. Its brief career in the published literature consists principally in its unheralded introduction in the Transcendental Aesthetic and unexpected re-appearance at a key moment in the Deduction chapter in the B edition of the first Critique. Kant’s commentators, confronted with the difficulty of this doctrine, have naturally resorted to various strategies of clarification, ranging from distinguishing between empirical and transcendental self-affection, divorcing self-affection from the claims of (...) self-knowledge with which Kant explicitly connects it, and, perhaps least justified of all, ignoring the doctrine altogether. Yet the connection between self-affection and central Critical doctrines (such as the transcendental synthesis of the imagination) marks all of these strategies as last resorts. In this paper, I seek to provide a clearer outline of the constellation of those issues which inform Kant’s discussion of self-affection. More particularly, I intend to explain the crucial role played by self-affection in the account of the transcendental conditions of perception provided late in the B Deduction. (shrink)

This notebook presents an introductory overview to the cognitive perspective on the psychology of human behaviour for social science students. Starting with an introduction to cognitive developmental theories of how babies reason, the overview then moves to discuss how children develop into better thinkers. Adult theories of cognition are subsequently outlined and critically evaluated. -/- A chronology of topics include: the rise of 'this thing we call cognition', Piaget's theory of cognitive development and its evaluation, problem space theory, and theories (...) of mental representation in adult thought examining, amongst other types of thinking and reasoning, deduction and induction and an evaluation of mental representation theories. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

James Van Cleve has argued that Kant’s Transcendental Deduction of the categories shows, at most, that we must apply the categories to experience. And this falls short of Kant’s aim, which is to show that they must so apply. In this discussion I argue that once we have noted the differences between the first and second editions of the Deduction, this objection is less telling. But Van Cleve’s objection can help illuminate the structure of the B Deduction, (...) and it suggests an interesting reason why the rewriting might have been thought necessary. (shrink)

In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M. Fitting and the other one by E. Komendantskaya. All these systems were originally presented in the semantical way and based on the theory of recursion. However, the proof theory of them still is not fully developed. Thus, natural deduction sys- tems are built only for strong Kleene’s logic both with (...) one (A. Urquhart, G. Priest, A. Tamminga) and two designated values (G. Priest, B. Kooi, A. Tamminga). The purpose of this paper is to provide natural deduction systems for weak and intermediate regular logics both with one and two designated values. (shrink)

What is an inference and when is an inference deductive rather than inductive, abductive, etc. The goal of this paper is precisely to determine what is that we, humans, do when we engage in deduction, i.e., whether there is something that satisfies both our pre-theoretical intuitions and theoretical presuppositions about deduction, as a cognitive process. The paper is structured in two parts: the first one deals with the issue of what is an inference. There, I will defend the (...) hypothesis that an inference is a causal process where an initial cognitive state causes another in such a way that the causal translation depends essentially on the content of the involved states. In other words, in an inference, a mental state A causes another B, partially because they have the content they have. Based on the conclusion from the first part, I will develop an account of deductive inference in the second part of the article. In order to achieve this, I will start by setting the stage and developing four constraints that an adequate account of deductive inference ought to satisfy. Then, I will present six different hypotheses that one might propose to characterize inferences of this kind. I have divided the proposals in two groups, the first one – which I will call the “logical proposals” – assume that whether an inference is a deduction or not depends exclusively on the content of the mental states involved in the inference, while the second – which I will call the “cognitive proposals” – reject the aforementioned assumption and instead recognize that extra cognitive information is required to determine whether an inference is a deduction or not. I will evaluate each proposal in turn, according to whether they satisfy the constraints introduced at the beginning of this second part. As a result of such evaluation, I will conclude that only one of the cognitive proposals actually satisfies the four constraints and therefore should be considered to give an adequate characterization of deductive inference. (shrink)

It is often assumed that Fichte's aim in Part I of the System of Ethics is to provide a deduction of the moral law, the very thing that Kant – after years of unsuccessful attempts – deemed impossible. On this familiar reading, what Kant eventually viewed as an underivable 'fact' (Factum), the authority of the moral law, is what Fichte traces to its highest ground in what he calls the principle of the 'I'. However, scholars have largely overlooked a (...) passage in the System of Ethics where Fichte explicitly invokes Kant's doctrine of the fact of reason with approval, claiming that consciousness of the moral law grounds our belief in freedom (GA I/5:65). On the reading I defend, Fichte's invocation of the Factum is consistent with the structure of Part I when we distinguish (a) the feeling of moral compulsion from (b) the moral law itself. (shrink)

In this paper, I propose a novel interpretation of the role of the understanding in generating the unity of space and time. On the account I propose, we must distinguish between the unity that belongs to determinate spaces and times – which is a result of category-guided synthesis and which is Kant’s primary focus in §26 of the B-Deduction, including the famous B160–1n – and the unity that belongs to space and time themselves as all-encompassing structures. Non-conceptualist readers of (...) Kant have argued that this latter unity cannot be the product of categorial synthesis. While they are correct that this unity is not the product of any particular act of category-guided synthesis, I argue that conceptualists are right to nevertheless attribute this unity to the understanding. I argue that it is a result of what we can think of as the ‘original’ synthesis of understanding and sensibility themselves – it is a synthesis, moreover, in which the whole is logically prior to the parts. (shrink)

The present PhD thesis is concerned with the question whether good reasoning requires that the subject has some cognitive grip on the relation between premises and conclusion. One consideration in favor of such a requirement goes as follows: In order for my belief-formation to be an instance of reasoning, and not merely a causally related sequence of beliefs, the process must be guided by my endorsement of a rule of reasoning. Therefore I must have justified beliefs about the relation between (...) my premises and my conclusion. -/- The rationality of a belief often depends on whether it is rightly connected to other beliefs, or more generally to other mental states —the states capable of providing a reason to holding the belief in question. For instance, some rational beliefs are connected to other beliefs by being inferred from them. It is often accepted that the connection implies that the subject in some sense ‘takes the mental states in question to be reason-providing’. But views on how exactly this is to be understood differ widely. They range from interpretations according to which ‘taking a mental state to be reason-providing’ imposes a mere causal sustaining relation between belief and reason-providing state to interpretations according to which one ‘takes a mental state to be reason-providing’ only if one believes that the state is reason-providing. The most common worry about the latter view is that it faces a vicious regress. In this thesis a different but in some respects similar interpretation of ‘taking something as reason-providing’ is given. It is argued to consist of a disposition to react in certain ways to information that challenges the reason-providing capacity of the allegedly reason-providing state. For instance, that one has inferred A from B partly consists in being disposed to suspend judgment about A if one obtains a reason to believe that B does not render A probable. The account is defended against regress-objections and the suspicion of explanatory circularity. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

:Recently, Allais, Hanna and others have argued that Kant is a nonconceptualist about intuition and that intuitions refer objectively, independently of the functions of the understanding. Kantian conceptualists have responded, which the nonconceptualists also cite as textual evidence for their reading) that this view conflicts with the central goal of Kant’s Transcendental Deduction: to argue that all intuitions are subject to the categories. I argue that the conceptualist reading of KrV, A 89 ff./B 122 ff. is unfounded. Further, I (...) argue that the nonconceptualists are wrong to believe that intuitions as such refer objectively and that they are mistaken about the relation between figurative synthesis and intellectual synthesis. (shrink)

One of the principle aims of the B version of Kant’s transcendental deduction is to show how it is possible that the same “I think” can accompany all of my representations, which is a transcendental condition of the possibility of judgment. Contra interpreters such as A. Brook, I show that this “I think” is an a priori (reflected) self-consciousness; contra P. Keller, I show that this a priori self-consciousness is first and foremost a consciousness of one’s personal identity from (...) a first person point of view. (shrink)

In this article, we address fallacious analogical reasoning and the Metaphoric Fallacy to a Deductive Inference (MFDI), recently discussed by B. Lightbody and M. Berman (2010). We claim that the authors’ proposal to introduce a new fallacy is only partly justified. We also argue that, in some relevant cases, fallacious analogical reasoning involving metaphors is only affected by the use of quaternio terminorum.

This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for testing (...) scientific hypotheses, respectively: (a) Decision theoretic Bayesian statistics and Bayes factors; (b) Frequentist statistics and p-values; (c) Constructive Bayesian statistics and e-values. This article examines with special care the Zero Probability Paradox (ZPP), related to the verification of sharp or precise hypotheses. Finally, this article makes some remarks on Lakatos’ view of mathematics as a quasi-empirical science. (shrink)

In this chapter I advance a moderately conceptualist interpretation of Kant’s account of the threefold synthesis in the A-Deduction. Often the first version of TD, the A-Deduction, is thought to be less conceptualist than the later B-version from 1787 (e.g. Heidegger 1991, 1995). Certainly, it seems that in the B-Deduction Kant puts more emphasis on the role of the understanding in determining the manifold of representations in intuition than he does in the A-Deduction. It also appears (...) that in the A-Deduction the seemingly pre-conceptual aspects of a priori synthesis, namely those of the synthesis of apprehension and the imagination, are more prominently featured than in the B-Deduction. And the fact that in the A-Deduction judgement does not appear to play any significant role reinforces the view that the A-Deduction is less strongly conceptualist. I believe that Kant is a conceptualist also in the A-Deduction (as much as in the B-Deduction) in the sense that all syntheses, which are expounded in the second section of the A-Deduction, must be seen as involving the categories or the understanding as the seat of the categories. However, despite some apparent strong modal claims regarding apperception in the A-Deduction, I argue that Kant is a moderate conceptualist in the sense that he allows for the real possibility that some representations are apprehended that are not subsumed or subsumable under the categories, or determined or determinable by the understanding as the seat of the categories. Not all representations must be synthesised and hence be conceptualised (by means of the categories), nor are all representations necessarily conceptualisable (by means of the categories). Often it is argued that the application of the categories must be seen as separate from or prior to conceptualisation (that is, employment of concepts in a judgement), so that the categories must be considered to apply to representations at least to the extent that the productive imagination or recognitive synthesis is involved, even if no empirical concepts are applied in an actual judgement. But it is difficult to see how categories can apply outside the context of an actual judgement in which ipso facto empirical concepts are employed, because, after all, categories are nothing but logical functions of judgement (e.g. B143). More in particular, I shall argue for the claims that (1) appearances to the contrary, all three levels of syntheses in the A-Deduction, including the synthesis of recognition, are interdependent and are not to be seen as operating singly or independently of each other, and hence of the categories; (2) ‘mere’ apprehension, or ‘mere’ intuition, is not dependent on the understanding and the application or possible application of the categories; and that (3) ‘mere’ apprehension does not even invoke a priori synthesis of apprehension and hence is as such fully lawless in terms of Kantian a priori laws. In this context, I also address Kant’s argument in the A-Deduction about the role of the imagination in the production of spatial objects and explain his apt use of the example of cinnabar to show that the kind of association that is at issue here concerns the possibility of knowledge, not the possibility of mere association, as is often assumed. (shrink)

It is commonly thought that the distinction between subjectively valid judgements of perception and objectively valid judgements of experience in the Prolegomena is not consistent with the account of judgement Kant offers in the B Deduction, according to which a judgement is ‘nothing other than the way to bring given cognitions to the objective unity of apperception’. Contrary to this view, I argue that the Prolegomena distinction maps closely onto that drawn between the mathematical and dynamical principles in the (...) System of Principles: Kant’s account of the Prolegomena distinction strongly suggests that it is the Analogies of Experience that make it possible for judgements of perception to give rise to judgements of experience. This means that judgements of perception are objectively valid with regard to the quantity and quality of objects, and subjectively valid with regard to the relation they posit between objects. If that is the case, then the notion of a judgement of perception is consistent with the B Deduction account of judgement. (shrink)

We begin by considering two common ways of conceiving critical metaphysics. According to the first (and polemical) conception, critical metaphysics analyzes nothing more than the form of thought and thereby misses the proper point of metaphysics, namely to investigate the form of reality. According to the second (and affirmative) conception, critical metaphysics starts from the supposed insight that the form of reality cannot be other than the form of thought and is thus not required to analyze anything but that form. (...) We argue that the first conception is too weak while the second is too strong. Then we sketch an alternative conception of critical metaphysics, a conception we find expressed both in Kant’s B-Deduction and in the way Barry Stroud has recently investigated the possibility of metaphysics. According to such a conception, a properly critical metaphysics needs to proceed in two steps: first, it needs to analyze the most general and necessary form of any thought that is about an objective reality at all; second, it needs to investigate how that form of thought relates to the reality it purports to represent. But unlike Kant, Stroud remains sceptical regarding the possibility of a satisfying transition from thought to reality in metaphysics. We argue that this dissatisfaction can be traced back to a notion of objectivity and reality in terms of complete mind-independence. Then we sketch an alternative notion of objectivity and reality in terms of distinctness from subjects and acts of thinking, and argue that it is that notion that allows Kant, with his Transcendental Idealism, to make the transition required for any satisfying metaphysics, namely that from the form of thought to reality. (shrink)

In this paper, I reflect on the idea, hinted at by Kant in a footnote to §16 of the B- Deduction that is not often discussed (KrV B 134n.), that transcendental logic is the ground of logic as a whole. This has important repercussions for the way we should see the role of transcendental logic with respect to the question of truth as well as the nature and scope of transcendental logic in relation to cognition, and in relation to (...) general or formal logic as such. To illustrate one of the ways in which transcendental logic is fundamental to our way of thinking, I address an issue that is brought up by Kant’’s counterfactual claim at B 132 that if a representation is not accompanied by an ‘‘I’’ thought, it is ‘‘either impossible’’ or at least ‘‘nothing for me’’, suggesting to some recent commentators that by the former Kant means the impossibility of thinking contradictory thoughts. Unlike these commentators, I do not think Kant is saying here that we cannot think contradictory thoughts. To believe he is betrays a misunderstanding of the metaphysical nature of transcendental logic, or so I shall argue. It is because transcen- dental logic is a metaphysical logic that Kant can claim that transcendental logic grounds even the whole of logic, including the possibility of thinking contradictory thoughts. (shrink)

The primary aim of this paper is to critically evaluate the deductive model of ethical applications, which is based on normative ethical theories like deontology and consequentialism, and to show why a number of models have failed to furnish appropriate resolutions to practical moral problems. Here, for the deductive model, I want to call it a “Linear Mechanical Model” because the basic assumption of this model is that if a normative theory is sacrosanct, then the case is as it is. (...) The conclusion derived from the case will also be correct, true and acceptable. However, traditional ethicists used to apply their ethical theories, but they did not know which moral theory was effective on the ground level of reality. The study will show readers how ethical theories are in conflict with each other in the case of euthanasia. In more precise words, “which ethical theories are said to be applied, meta-ethical or normative, or both for the resolution of ethical problems? If normative theories are said to be applied, how the application can take place when it is contrary to our experience, that (then) in a situation of moral crises, no one really applies a theory?” For that, my argument is the linear model has failed because it is rigid, often ignores the agents’ intrinsic values, and has no space to amend it, no matter how bizarre the consequence is. Its alternative is the Inductive model. For that, the paper will take three moral principles (autonomy, beneficence including maleficence, and justice) of Beauchamp & Childress. This suggests us for resolving value-laden moral problems, we should consider some steps such as a) recognising moral issues to start with; b) developing the moral imagination; c) sharpening analytical/critical skills; d) testing out disagreements; e) effecting decisions and behavior; and f) implementation, closure, and process are of vital importance, in other words, it starts with the free and informed consensus of all interested parties, but this model also has been failed because the model could not give a systematic organization to their way of resolution. Here, my argument is that the inductive model provides resolution of the practical problem but ignores what is ethically obligatory, permissible, or wrong in that situation, and there are no appropriate suggestions in the case of a moral crisis. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

I argue 1) That in his celebrated Is/Ought passage, Hume employs ‘deduction’ in the strict sense, according to which if a conclusion B is justly or evidently deduced from a set of premises A, A cannot be true and B false, or B false and the premises A true. 2) That Hume was following the common custom of his times which sometimes employed ‘deduction’ in a strict sense to denote inferences in which, in the words of Dr Watts’ (...) Logick, ‘the premises, according to the reason of things, do really contain the conclusion that is deduced from them’; that although Hume sometimes uses ‘demonstrative argument’ as a synonym for ‘deduction’, like most of his contemporaries, he generally reserves the word ‘demonstration’ for deductive inferences in which the premises are both necessary and self-evident. 3) That Mr Hume did indeed mean to suggest that deductions from IS to OUGHT were ‘altogether inconceivable’ since if ought represents a new relation or affirmation, it cannot, in the strict sense, be justly deduced from premises which do not really contain it. 4) That in a large and liberal (or perhaps loose and promiscuous) sense Hume does deduce oughts and ought nots from observations concerning human affairs, but that the deductions in question are not inferences, but explanations, since in another sense of ‘deduce’, common in the Eighteenth Century, to deduce B from A is to trace B back to A or to explain B in terms of A; 5) That a small attention to the context of Hume’s remarks and to the logical notions on which they are based would subvert those vulgar systems of philosophy which exaggerate the distinction between fact and value; for just because it is ‘altogether inconceivable’ that the new relation or affirmation OUGHT should be a deduction from others that are entirely different from it, it does not follow that the facts represented by IS and IS NOT are at bottom any different from the values represented by OUGHT and OUGHT NOT. (shrink)

According to the deductive-nomological account of ground, a fact A grounds another fact B in case the laws of metaphysics determine the existence of B on the basis of the existence of A. Accounts of grounding of this particular variety have already been developed in the literature. My aim in this paper is to sketch a new version of this account. My preferred account offers two main improvements over existing accounts. First, the present account is able to deal with necessitarian (...) as well as non-necessitarian cases of grounding by acknowledging the existence of two types of metaphysical laws. I will argue that we should assume that metaphysical laws come in the necessitarian as well as in the non-necessitarian varietyclosely paralleling the distinction between strict and non-strict laws in the philosophy of science. The second main improvement of the present account is that this account is able to provide an explanation of why the laws of metaphysics have a direction built into them. I will argue that we should characterize metaphysical laws with the help of Theodore Sider’s (2011) notion of structure, which is a descendent of David Lewis’s (1983) notion of naturalness. According to the account of metaphysical laws developed in this paper, metaphysical laws express in their antecedents either perfectly structural truths or more structural truths than in their consequents. Since on Sider’s account structural features of reality are fundamental features of reality, the account is able to explain as to why the laws of metaphysics take us from the fundamental to the derivative. (shrink)

In this fragment of Opuscula Logica it is displayed an arithmetical treatment of the aristotelic syllogisms upon the previous interpretations of Christine Ladd-Franklin and Jean Piaget. For the first time, the whole deductive corpus for each syllogism is presented in the two innovative modalities first proposed by Hugo Padilla Chacón. A. The Projection method (all the possible expressions that can be deduced through the conditional from a logical expression) and B. The Retrojection method (all the possible valid antecedents or premises (...) conjunction for an expression proposed as a conclusion). The results are numerically expressed, with their equivalents in the propositional language of bivalent logic. (shrink)

Group decisions must often obey exogenous constraints. While in a preference aggregation problem constraints are modelled by restricting the set of feasible alternatives, this paper discusses the modelling of constraints when aggregating individual yes/no judgments on interconnected propositions. For example, court judgments in breach-of-contract cases should respect the constraint that action and obligation are necessary and sufficient for liability, and judgments on budget items should respect budgetary constraints. In this paper, we make constraints in judgment aggregation explicit by relativizing the (...) rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. This approach of modelling constraints explicitly contrasts with that of building constraints as axioms into the logic, which turns compliance with constraints into a matter of logical consistency and thereby conflates requirements of ordinary logical consistency (such as not to affirm both a proposition and its negation) and requirements dictated by the environment (such as budgetary constraints). We present some general impossibility results on constrained judgment aggregation; they are immediate corollaries of known results on (unconstrained) judgment aggregation. (shrink)

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every (...) science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

This chapter considers Kant's relation to Hume as Kant himself understood it when he wrote the Critique of Pure Reason and the Prolegomena. It first seeks to refine the question of Kant's relation to Hume's skepticism, and it then considers the evidence for Kant's attitude toward Hume in three works: the A Critique, Prolegomena, and B Critique. It argues that in the A Critique Kant viewed skepticism positively, as a necessary reaction to dogmatism and a spur toward critique. In his (...) initial statement of the critical philosophy Kant treated Hume as an ally in curbing dogmatism, but one who stopped short of what was really needed: a full critique of reason, to establish the boundaries of metaphysical cognition. Kant found fault with Hume's analyses of cognition and experience, and specifically his failure to see the crucial importance of synthetic a priori cognition in metaphysics. In particular, he held that Hume's empiricist account of cognition could neither explain the synthetic a priori cognition actually found in mathematics and natural science, nor provide a principled account of the limits on what can be known--and what can be thought--through the pure concepts of the understanding. According to Kant, Hume therefore failed in his attempt to determine the limits of metaphysics, whereas he was able to succeed because his transcendental philosophy provided a thorough account of cognition, its structure and limits. In the Prolegomena and the B Critique Kant distinguished his position more sharply from Hume's. He also adopted a more negative attitude toward "skeptical idealism" than before; but he attributed such skepticism to Descartes, not Hume. Prior to the B Critique Kant did not see Hume as attacking natural science or ordinary cognition. In none of the three works was Kant's main aim to "answer the skeptic." His primary aim was to firmly establish the boundary of metaphysics, by discovering the elements of human cognition and fixing its proper domain. His purported discoveries about the limits of metaphysical cognition meant that the traditional objects of metaphysical knowledge, God, the soul, and the world as it is in itself, are unknowable, hence that traditional metaphysics itself is impossible. Besides settling the possibility or impossibility of metaphysics, his findings would also prevent the illegitimate extension of principles of sensibility to God and the noumenal self, an extension that would threaten the metaphysics of morals by incorrectly denying the thinkability of noumenal freedom, and that might otherwise lead to "materialism, fatalism, atheism, and freethinking unbelief" (B xxxiv). (shrink)

John Rawls’ “reflective equilibrium” ranges amongst the most popular conceptions in contemporary ethics when it comes to the basic methodological question of how to justify and trade off different normative positions and attitudes. Even where Rawls’ specific contractualist account is not adhered to, “reflective equilibrium” is readily adopted as the guiding idea of coherentist approaches, seeking moral justification not in a purely deductive or inductive manner, but in some balancing procedure that will eventually procure a stable adjustment of relevant doctrines (...) and standpoints. However, it appears that the widespread use of this idea has led to some considerable deviations from its meaning within Rawls’ original framework and to a critical loss of conceptual cogency as an ethico-hermeneutical tool. This contribution identifies three kinds of “balancing” constellations that are frequently, but inadequately brought forth under the heading of Rawlsian “reflective equilibrium”: (a) balancing theoretical accounts against intuitive convictions; (b) balancing general principles against particular judgements; (c) balancing opposite ethical conceptions or divergent moral statements, respectively. It is argued that each of these applications departs from Rawls’ original construction of “reflective equilibrium” and also deprives the idea of its reliability in clarifying and weighing moral stances. (shrink)

ABSTRACT: In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the ‘mixed hypothetical syllogisms’. The other type is the one to which the present paper is devoted. These arguments went by the name of ‘wholly hypothetical syllogisms’. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premisses, and a third as conclusion. Their presentation, either schematically or by example, varies in different authors. For (...) instance, we find ‘If (it is) A, (it is) B; if (it is) B, (it is) C; therefore, if (it is) A, (it is) C’. The main contentious point about these arguments is what the ancients thought their logical form was. Are A, B, C schematic letters for terms or propositions? Is ‘is’, where it occurs, predicative, existential, or veridical? That is, should ‘A esti’ be translated as ‘it is an A’, ‘A exists’, ‘As exist’ or ‘It is true/the case that A’? If A, B, C are term letters, and ‘is’ is predicative, are the conditionals quantified propositions or do they contain designators? If one cannot answer these questions, one can hardly claim to know what sort of arguments the wholly hypothetical syllogisms were. In fact, all the above-mentioned possibilities have been taken to describe them correctly. In this paper I argue that it would be mistaken to assume that in antiquity there was one prevalent understanding of the logical form of these arguments - even if the ancients thought they were all talking about the same kind of argument. Rather, there was a complex development in their understanding, starting from a term-logical conception and leading to a propositional-logical one. I trace this development from Aristotle to Philoponus and set out the deductive system on which the logic of the wholly hypothetical syllogisms was grounded. (shrink)

Research using current literature on legal reasoning was conducted with the goals of (a) determining what skills are most important in good legal reasoning according to such literature, (b) determining the extent to which existing Law School Admission Test item types and subtypes are designed to assess those skills, and (c) suggesting test specifications or new or refined item types and formats that could be developed in the future to assess any important skills that appear [by (a) and (b)] to (...) be measured in a limited or minimal way by the current LSAT. So far as can be determined, such systematic research using legal reasoning literature has never been previously conducted. This report presents the findings of this research. (shrink)

It is commonly acknowledged that, in order to test a theoretical hypothesis, one must, in Duhem' s phrase, rely on a "theoretical scaffolding" to connect the hypothesis with something measurable. Hypothesis-confirmation, on this view, becomes a three-place relation: evidence E will confirm hypothesis H only relative to some such scaffolding B. Thus the two leading logical approaches to qualitative confirmation--the hypothetico-deductive (H-D) account and Clark Glymour' s bootstrap account--analyze confirmation in relative terms. But this raises questions about the philosophical interpretation (...) of the technical conditions these accounts describe. What does it mean to say that E confirms H "relative to B"? How should we interpret the relation we are trying to analyze? (shrink)

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)

ABSTRACT (ENG) One of the concerns of Greek philosophy centred on the question of how a manifold and ordered universe arose out of the primitive state of things. From the mythical accounts dating around the seventh century B.C. to the cosmologies of the Classical period in Ancient Greece, many theories have been proposed in order to answer to this question. How these theories differ in positing a “something” that pre-existed the ordered cosmos has been widely discussed. However, scholars have rarely (...) made explicit how they differ in style of thought. In the span of four centuries the first deductive arguments of the Eleatic philosophers culminated in the emergence of logical proof and a form of explanation of natural phenomena, which consisted of searching for the simplest and fewest premises and deducting implications. In this paper it will be discussed how, at distinct stages of its development, the deductive thinking informed the solutions proposed to solve the chaos-order problem, that of how an ordered universe has been possible. -/- ABSTRACT (ITA) Una delle più importanti questioni della filosofia greca è stata quella di comprendere come sia stato possibile un universo ordinato a partire da uno stato primordiale. Dalle teogonie del VII secolo a.C. fino alle cosmologie dei filosofi dell’età classica, sono state proposte diverse teorie per dare risposta a questa domanda. Come esse differiscano nel postulare l’esistenza di un “qualcosa” di primordiale che preesisteva all’ordine del cosmo è stato molto discusso. Pochi studiosi, però, le hanno esaminate sullo sfondo della lenta evoluzione del pensiero deduttivo, culminata nella dimostrazione in geometria e in una forma di spiegazione dei fenomeni che consisteva nel cercare semplici premesse e inferire conclusioni. In questo articolo si mostrerà come il lento affermarsi della spiegazione razionale prima, dell’argomento deduttivo e della dimostrazione in geometria poi, abbiano dato forma alle diverse risposte al problema caos-ordine, e in particolare alla domanda su come sia sorto un universo ordinato. (shrink)

In this paper I suggest an account of knowledge by adding a fourth condition to the traditional analysis in terms of justified true belief. I am going to make a first proposal ruling out the Gettier-counterexamples.1 This proposal will then be corrected in the light of other counterexamples. The final analysis will be a combination of a justified-true-belief-account and a causal account of knowledge. Some philosophers have disputed that Gettier‟s examples must be accepted as refutations of the justified true belief (...) analysis of knowledge.2 Their rejection rests on declining a principle underlying Gettier‟s reasoning, namely – as Thalberg calls it – the principle of deducibility of justification (PDJ). PDJ reads as following: For any proposition p, if a person S is justified in believing p, and p entails q, and S deduces q from p and accepts q as a result of this deduction, then S is justified in believing q. This principle allows, for example, the move in Gettier‟s first example from the proposition a) “Jones is the man who will get the job and Jones has ten coins in his pocket” to proposition b) “The man who will get the job has ten coins in his pocket”. 1. (shrink)

Das spezifische Ziel von Argumentationen ist nicht einfach, den Adressaten etwas glauben zu machen - dies wäre bloße Rhetorik ﷓, sondern: den Adressaten beim Erkennen der Akzeptabilität (insbesondere der Wahrheit) der These anzuleiten und ihn so zu begründetem Glauben, zu Erkenntnis zu führen. Argumentationen leiten das Erkennen an, indem sie in ihren Argumenten hinreichende Akzeptabilitätsbedingungen der These als erfüllt beurteilen und so den Adressaten implizit auffordern, diese Bedingungen zu überprüfen. Argumentationen sind gültig, wenn sie prinzipiell das Erkennen anleiten können; d. (...) h. wenn die genannten Akzeptabilitätsbedingungen hinreichend sind, wenn sie tatsächlich erfüllt (die Argumente also wahr) sind und wenn es irgendjemanden gibt, der zwar die Akzeptabilität der Argumente, nicht aber die der These erkannt hat. Eine gültige Argumentation ist adäquat, um einen bestimmten Adressaten rational zu überzeugen, wenn dieser u. a. die Akzeptabilität der Argumente, nicht aber die der These erkannt hat. Die in gültigen Argumentationen als erfüllt beurteilten Akzeptabilitätsbedingungen sind Konkretisierungen allgemeiner Erkenntnisprinzipien für die spezifische These, z. B. des deduktiven Erkenntnisprinzips: 'Eine Proposition ist wahr, wenn sie von wahren Propositionen logisch impliziert wird.' oder des erkenntnisgenetischen Erkenntnisprinzips: 'Eine Proposition ist wahr, wenn sie korrekt verifiziert worden ist.' Eine Konkretisierung des deduktiven Prinzips für eine These p wäre z. B.: 'p ist wahr, 1. wenn q und r wahr sind und 2. wenn q und r zusammen p logisch implizieren.' Sind beide Bedingungen erfüllt, so könnte 'q; r; also p.' eine gültige deduktive Argumentation sein. Die verschiedenen Argumentationstypen unterscheiden sich danach, auf welchem Erkenntnisprinzip sie basieren. Das argumentativ angeleitete Erkennen der Akzeptabilität der These funktioniert so: Der Adressat benutzt das von ihm (zumindest implizit) gewußte allgemeine Erkenntnisprinzip als Checkliste, auf der er nach dem Vorbringen der Argumente abhakt, welche Akzeptabilitätsbedingung des Erkenntnisprinzips durch das Zutreffen des Arguments jeweils erfüllt wird. Auf der Basis dieser Funktionsbestimmung werden in der "Praktischen Argumentationstheorie" (erstmalig) präzise Gültigkeitskriterien für Argumentationen allgemein und für mehrere spezielle Argumentationstypen entwickelt, erkenntnistheoretisch begründet und auf komplexe Argumentationsbeispiele aus Philosophie, Wissenschaft, Technik und Kultur angewendet. Die Analyse der erkenntnistheoretischen Grundlagen - der zugrundeliegenden Erkenntnisprinzipien - vor allem der interpretierenden und praktischen Argumentationen ist zudem von erheblicher Bedeutung weit über die Argumentationstheorie hinaus: für die Interpretationstheorie, die Handlungstheorie und die praktische Philosophie. (shrink)

Comprehensive Plan for Population Growth Control & Senior Citizen Social Safety Net in the Philippines -/- To ensure sustainable population growth while also supporting senior citizens who have no children or lack financial support, the government must integrate social safety net laws for both family planning and elderly welfare. -/- I. Population Growth Control Through Social Safety Net Laws -/- 1. TAX REFORMS TO INCENTIVIZE SMALLER FAMILIES -/- A. Incentives for Small Families -/- Higher tax deductions for families with one (...) or two children. -/- Gradual removal of tax benefits for families with more than two children. -/- Corporate tax incentives for businesses that provide family planning services. -/- B. Tax Penalties for Large Families -/- Higher progressive taxation on families with three or more children. -/- Luxury taxes on housing, vehicles, and government subsidies for large families. -/- 2. EDUCATION REFORMS FOR RESPONSIBLE FAMILY PLANNING -/- A. Strengthening Sex Education (Comprehensive Sexuality Education – CSE) -/- Mandatory inclusion in the school curriculum from Grade 5 onward. -/- Covers reproductive health, contraception, financial responsibility, and gender equality. -/- B. Scholarships & Financial Aid for Small Families -/- Additional educational subsidies for children from families with one or two kids. -/- Gradual reduction of education subsidies for larger families. -/- 3. EMPLOYMENT & SOCIAL WELFARE REFORMS -/- A. Job Incentives for Women & Working Parents -/- Work-from-home incentives and subsidized childcare for working mothers. -/- Paid maternity leave benefits tied to small family sizes. -/- B. Adjustments to 4Ps Social Welfare Program -/- Full cash benefits limited to the first two children. -/- Mandatory family planning education to continue receiving benefits. -/- 4. AI & BIG DATA FOR POPULATION PLANNING -/- AI-driven demographic tracking to adjust tax policies, social benefits, and economic incentives. -/- Predictive modeling for workforce planning to prevent future labor shortages. -/- 5. URBAN & RURAL DEVELOPMENT STRATEGIES -/- Housing and urban planning incentives for small families. -/- Smart city initiatives to balance population density. -/- II. Social Safety Net for Senior Citizens Without Children or Financial Support -/- 1. Universal Pension & Financial Support Programs -/- A. Strengthening the SSS and GSIS Pension System -/- Mandatory government contributions for all workers, regardless of employment sector. -/- Higher pension benefits for seniors without children or financial support. -/- B. New “Guaranteed Minimum Pension” Program -/- Senior citizens without private savings receive a baseline pension from the government. -/- Indexed to inflation to ensure financial security in old age. -/- 2. Housing & Living Assistance for Seniors Without Family Support -/- A. Senior Citizen Cooperative Housing Program -/- Government-subsidized shared housing facilities for elderly individuals without family support. -/- Community-based senior housing with healthcare and caregiving services. -/- B. Expansion of Public Nursing Homes -/- New state-run assisted living facilities in every province. -/- Affordable senior apartments with subsidized utilities and food programs. -/- 3. Healthcare & Insurance for Elderly Without Family Support -/- A. Expansion of PhilHealth & Free Healthcare Services -/- Automatic PhilHealth coverage for all seniors with no child support. -/- Higher government healthcare subsidies for single and childless seniors. -/- B. Free Home-Based Healthcare -/- Barangay-level healthcare workers assigned to provide free home visits for elderly citizens. -/- Mobile clinics and telemedicine for those in remote areas. -/- 4. Employment & Social Engagement for the Elderly -/- A. Senior Employment & Livelihood Programs -/- Tax incentives for companies hiring seniors (part-time or consultancy roles). -/- Government-backed microfinance loans for seniors starting small businesses. -/- B. “Adopt-a-Senior” Community Program -/- Encourage local communities to support senior citizens without family assistance. -/- Volunteer-based programs where younger individuals help care for seniors. -/- III. Implementation Challenges & Solutions -/- A. Overcoming Religious & Cultural Barriers -/- Frame policies as “family economic security programs” rather than population control. -/- Community-based awareness campaigns to promote responsible parenthood. -/- B. Ensuring Fair Implementation in Rural Areas -/- Deploy mobile healthcare teams to reach isolated seniors and educate rural families. -/- Offer financial rewards for barangays with successful family planning programs. -/- C. Balancing Population Growth & Workforce Needs -/- Encourage skilled migration to prevent future labor shortages. -/- Promote education and automation to compensate for a smaller workforce. -/- Final Recommendations -/- Integrate population planning into the national economic strategy. -/- Create a “National Senior Citizen Welfare Act” ensuring financial security for the elderly. -/- Strengthen AI-driven demographic management to balance population growth. -/- . (shrink)

Behaviorism was a peculiarly American phenomenon. As a school of psychology it was founded by John B. Watson (1878-1958) and grew into the neobehaviorisms of the 1920s, 30s and 40s. Philosophers were involved from the start, prefiguring the movement and endeavoring to define or redefine its tenets. Behaviorism expressed the naturalistic bent in American thought, which came in response to the prevailing philosophical idealism and was inspired by developments in natural science itself. There were several versions of naturalism in American (...) philosophy, and also several behaviorisms. Most behaviorists paid homage to Darwinian functionalism; all forswore introspection and made learned changes in behavior the primary subject matter and explanatory domain of psychology. They differed in their descriptions of behavior, modes of explanation, and attitudes toward mentalistic concepts. Watson was a strict materialist who wanted to eliminate all mentalistic talk from psychology. Edward Chace Tolman (1886-1959) regarded mind as a biological function of the organism. He permitted mentalistic terms such as 'purpose' in behavioral description, and posited intervening processes that included 'representations' of the environment, while requiring such processes be studied only as expressed in behavior. Clark L. Hull (1884-1952) developed a hypothetical-deductive version of behaviorism, akin to Tolman's functionalism in positing intervening variables but without his cognitivist constructs. B. F. Skinner (1904-90) rejected intervening variables and developed his own account of the behavior of the whole organism, based on the laws of operant conditioning. The naturalism in American philosophy of the early twentieth century showed respect for the natural sciences, especially biology and psychology. John Dewey (1896, 1911), George Santayana (1905, 1920), and F. J. E. Woodbridge (1909, 1913) expressed this attitude. It animated the neorealism of E. B. Holt and Ralph Barton Perry, who gave special attention to psychology, and the evolutionary naturalism and critical realism of Roy Wood Sellars. This naturalism differed from Watson's in regarding mind as part of nature from a Darwinian and functionalist perspective, and treating behavior as the product of the mental functioning. It fed Tolman's version of behaviorism. It was not materialistic or physical-reductionist. Only later, with Quine and logical empiricism, was behaviorism seen as essentially physicalistic. (shrink)

Both European and Anglo-American philosophical traditions of Kant scholarship draw a sharp distinction between Kant’s theoretical and practical philosophies. They cite KrV, A 14.23 –28; KrV, A 15.01– 09; KrV, B 28.22 – 28; KrV, B 29.01 –12 as evidence that the analyses of intuition, understanding and reason proffered in the first Critique apply to cognition only, and therefore do not significantly illuminate his analyses of inclination, desire, or respect for the moral law in the Groundwork, second Critique, Metaphysics of (...) Morals, or Religion. This paper is part of a larger project that takes issue with this near-universal consensus, and with the canonical interpretation of KrV, A 14.23– 28; KrV, A 15.01 –09; KrV,B 28.22 –28; KrV, B 29.01 – 12. Many of the most important terms in Kant’s mature moral philosophy – such as “action,” “reason,” “freedom,” “will,” “categorical,” “imperative,” “ought,” “maxim,” “duty,” “inclination,” “end,” and “idea” – are introduced, and sometimes elaborated at length, in the first Critique; and often appear in the Groundwork with little or no further elaboration. This suggests that Kant intended the analysis of self and rationality in the first Critique to serve as a formal foundation for his subsequent analysis of practical deliberation and moral motivation in the Groundwork. Here I argue specifically that Kant’s use of the first-/third-person asymmetry in his analysis of action in the first Critique’s Resolution of the Third Antinomy is necessary to his account of moral motivation and moral intention in the Groundwork; and that the structure of pure apperception he offers in the Transcendental Deduction resolves this asymmetry. (shrink)

Focusing on the account of synthesis in Kant’s Transcendental Deduction allows us to see a greater degree of compatibility between the two editions of theCritique of Pure Reason than is sometimes thought. The first Deduction shows that while it emphasizes an account of empirical synthesis it also includes a more properly transcendental account of the synthetic unity required for cognition. The second edition simply focuses on this feature of synthesis to the exclusion of the empirical. The result: a (...) complete account of synthesis with the A-edition starting “bottom up” from sense and the B-edition working “top-down” from thought. (shrink)

The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence (...) of reduction - the worst reduction sequence - it is the lowest upper bound on the length of reduction sequences. The main commitment of the introduced method is that it is constructive and elementary, produced only through analyzing structural and combinatorial properties of derivations and lambda terms, without appeal to any sophisticated mathematical tool. Together with the exposition of the method, it is presented a comparative study of some articles in the literature that also get strong normalization by means we can identify with the natural ordinal methods. Among them we highlight Howard[1968], which performs an ordinal analysis of Godel’s Dialectica interpretation for intuitionistic first order arithmetic. We reveal a fact about this article not noted by the author himself: a syntactic proof of strong normalization theorem for the system of typified lambda calculus λ⊃ is a consequence of its results. This would be the first strong normalization proof in the literature. (written in Portuguese). (shrink)

Phenomenology is the study of appearance as such. It is a branch of both Ontology and Epistemology, since appearing is being known. By an ‘appearance’ is meant any existent which impinges on consciousness, anything cognized, irrespective of any judgment as to whether it be ‘real’ or ‘illusory.’ The evaluation of a particular appearance as a reality or an illusion is a complex process, involving inductive and deductive logical principles and activities. Opinion has to earn the status of strict knowledge. Knowledge (...) develops from appearances, which may be: (a) objects of perception, i.e. concrete phenomena in the physical or mental domains; (b) objects of intuition, i.e. one’s subjective self, cognitions, volitions and valuations (non-phenomenal concretes); and/or (c) objects of conception, i.e. simple or complex abstracts of preceding appearances. Abstraction relies on apprehensions of sameness and difference between appearances (including received or projected appearances, and projected negations of appearances). Coherence in knowledge (perceptual, intuitive and conceptual) is maintained by apprehensions of compatibility or incompatibility. Words facilitate our construction of conceptual knowledge, thanks to their intentionality. The abstract concepts most words intend are common characters or behaviors of particulars (concrete material, mental or subjective experiences). Granting everything in the world is reducible to waves, ‘universals’ would be equalities or proportionalities in the measures of the features, motions and interrelations of particular waves. Such a theory of universals would elucidate sensation and memory. In attempting to retrace the development of conceptual knowledge from experience, we may refer to certain major organizing principles. It is also important to keep track of the order of things in such development, interrelating specific concepts and specific experiences. By proposing a precise sequence of events, we avoid certain logical fallacies and are challenged to try and answer certain crucial questions in more detail. Many more topics are discussed in the present collection of essays, including selfhood, adduction and other logical issues, the status of mathematical concepts and theology. (shrink)

Logicism is the thesis that all or, at least parts, of mathematics is reducible to deductive logic in at least two senses: (A) that mathematical lexis can be defined by sole recourse to logical constants [a definition thesis]; and, (B) that mathematical theorems are derivable from solely logical axioms [a derivation thesis]. The principal proponents of this thesis are: Frege, Dedekind, and Russell. The central question that I raise in this paper is the following: ‘How did Russell construe the philosophical (...) worth of logicism?’ The argument that I build in response to this is that Russell perceived an inverse proportion between a logical reduction of mathematics and the certitude of non-novel mathematical theorems—such that the more we reduce mathematics to logic, the more certain we become of our mathematical theorems; this was portrayed through a presentation of mathematical knowledge as coherent. Therefore, I set out to sketch Russell’s coherence theory and appraise it in relation to the presence discourse: i.e., in relation to logicism and mathematical certainty. (shrink)

This is the PhD dissertation, written under supervision of Professor Jerzy Słupecki, published in the book: U.Wybraniec-Skardowska i Grzegorz Bryll "Z badań nad teorią zdań odrzuconych" ( "Studies of theory of rejected sentences"), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria B: Studia i Monografie nr 22, pp. 5-131. It is the first, original publication on the theory of rejected sentences on which are based, among other, papers: "Theory of rejected propositions. I"and "Theory of rejected propositions II" with Jerzy Słupecki (...) and Grzegorz Bryll. -/- -/- . (shrink)

Filosofia limbajului are legătură cu studiul modului în care limbajul nostru se implică și interacționează cu gândirea noastră. Studierea logicii și relația dintre logică și vorbirea obișnuită poate ajuta o persoană să își structureze mai bine propriile argumente și să critice argumentele celorlalți. Înțelesul este modul în care pot fi considerate în mod corespunzător cuvinte, simboluri, idei și convingeri, definiția sa depinzând de teoria abordată, precum teoria corespondenței, teoria coerenței, teoria constructivistă, teoria consensului sau teoria pragmatică. Există mai multe explicații (...) distince despre ceea ce înseamnă un „sens” lingvistic, în funcție de diverse teorii (ideologice, adevăr-condiționale, de utilizare a limbajului, constructiviste, de referință, verificaționiste, pragmatice, etc.) Investigațiile privind modul în care limbajul interacționează cu lumea sunt numite teorii de referință. Sensul unei propoziții este gândul pe care îl exprimă. Un astfel de gând este abstract, universal și obiectiv. Sensurile determină referința și sunt, de asemenea, modurile de prezentare a obiectelor la care se referă expresiile. Referințele sunt obiectele din lume despre care vorbesc cuvintele. Filosofia limbajului explorează relația dintre limbă și realitate, în special filosofia problemelor de studiu lingvistic care nu pot fi abordate de alte domenii. Logica filozofică se ocupă de descrieri formale ale limbajului obișnuit, nespecializat („natural”). -/- CUPRINS: -/- 1. Filosofia limbajului - 1.1 Istorie - - Filosofia antică - - Filosofia medievală - - Filosofia modernă - - Filosofia contemporană - 1.2 Subiecte și sub-domenii majore - - Compoziție și părți - - Natura sensului - - Referinţă - - Mintea și limba - - - Înnăscut și învățat - - - Limba și gândul - - Interacțiunea socială și limba - 1.3 Limbajul și filozofia continentală - 1.4 Probleme în filosofia limbajului - - Imprecizia - - Problema universalului și a compoziției - - Natura limbajului - - Abordări formale versus informale - - Traducere și interpretare - 1.5 Nominalism - - Istorie - - - Filozofia greacă veche - - - Filozofia medievală - - - Filosofia modernă și contemporană - - Problema universalelor - - Tipuri - - - Filosofie analitică și matematică - - Critica originilor istorice ale termenului 2. Înțeles - 2.1 Adevăr și înțeles - - Teorii majore ale înțelesului - - - Teoria corespondenței - - - Teoria coerenței - - - Teoria constructivistă - - - Teoria consensului - - - Teoria pragmatică - - Teorii și comentarii asociate - - - Logica și limbajul - - - Gottlob Frege - - - Bertrand Russell - - - Alte teorii ale adevărului - - - Saul Kripke - - - Criticile teoriilor de adevăr ale înțelesului - 2.2 Bertrand Russell, Despre denotare - - "Fraza care denotă" - - - Concepția lui Russell despre o frază care denotă - - - Referința la ceva care nu există - - - Epistemologie - - Teoria descrierilor - - - Descrierea matematică - - - Ilustrare - - - Meinong - - Rezolvarea problemei existențialelor negative - - - Declarații despre concepte în care obiectul nu există - - - Ambiguitate - - - Nume fictive - - Critici - 2.3 Sens și referință - - Precursori - - - Antistene - - - John Stuart Mill - 2.3.1 Sens - - Sens și descriere - - Traducerea Bedeutung - - Natura sensului - 2.3.2 Referinţă - 2.4 Nume proprii - - Problema - 2.4.1 Teorii - - Teoria lui Mill - - Teoria bazată pe sensul numelor - - Teoria descriptivă - - Teoria cauzală a numelor - - Teorii de referință directă - - Filosofia continentală - 2.5 Gottlob Frege, Despre sens și referință - 2.6 Teorii cauzale ale referinței - - Motivaţie - - Variații - 2.6.1 Teoria cauzală a referinței a lui Saul Kripke - 2.6.2 Teoria cauzală a referinței a lui Gareth Evans - 2.6.3 Teoria cauzală a referinței a lui Michael Devitt - 2.6.4 Blockchain și arborele cauzal al referinței - 2.6.5 Perspective - 2.7 Saul Kripke, Numire și necesitate - 2.7.1 Prelegerea I - 2.7.2 Prelegerea II - 2.7.3 Prelegerea III - 2.7.4 Concluzii - 2.8 Kit Fine, Relaționismul semantic - - A. Antinomia variabilei - - B. Abordarea tarskiană - - C. Respingerea rolului semantic - - D. Abordarea instanțială - - E. Abordarea algebrică - - F. Abordarea relațională - - G. Semantica relațională pentru logica de primul ordin 3. Logica - Concepte - - Forma logică - - Semantică - - Inferență - - Sisteme logice - - Logică și raționalitate - - Concepte rivale - Tipuri - - Logica silogistică - - Logica propozițională - - Logica predicatelor - - Logica modală - - Raționament informal și dialectică - - Logica matematică - - Logica filozofică - - Logica computațională - - Logica non-clasică - Controverse - - "Este logica empirică?" - - Implicare: Strictă sau materială - - Tolerarea imposibilului - - Respingerea adevărului logic - 3.1 Filosofia logicii - - Adevăr - - - Purtătorii de adevăr - - - Adevăruri analitice, adevăr logic, valabilitate, consecință logică și implicare - 3.2 Logica propozițională - - Explicaţie - - Istorie - - Terminologie - - Noțiuni de bază - - - Închiderea sub operații - - - Argument - 3.3 Logica predicatelor - - Introducere - - Sintaxa - - - Alfabetul - - - - Simboluri logice - - - - Simboluri non-logice - - - Regulile formării - - - - Termeni - - - - Formule - - - - Convenții notaționale - - - Variabile libere și legate - - Semantica - - - Structuri de prim ordin - - - Evaluarea valorilor de adevăr - - - Valabilitate, satisfabilitate și consecință logică - - - Algebrizare - - - Teorii, modele și clase elementare de prim ordin - - - Domenii goale - 3.4 Logica modală - - Dezvoltarea logicii modale - - Semantica - - - Teoria modelului - - - Sisteme axiomatice - - - Teoria dovezilor structurale - - - Metode de decizie - - Tipuri de logici modale - - - Logica aletică - - - Logica epistemică - - - Logica temporală - - - Logica deontică - - - Logica doxastică - - - Alte logici modale - - Ontologia posibilității - - Controverse - 3.5 Declarații - - Declarația ca o entitate abstractă - 3.6 Dileme - - Utilizarea dilemei în logică - 3.7 Argumente - - Formal și informal - - Tipuri standard - - - Argumente deductive - - - Argumente inductive - 3.8 Actualism - - Exemplu - - Puncte de vedere filosofice - - Analiza indexicală a actualității - 3.9 Lumi posibile - - Posibilitate, necesitate și contingență - - Semantica formală a logicii modale - - De la logica modală la instrumentul filosofic - - Teoria lumii posibile în studiile literare - 3.9.1 Lumi reale, ne-reale dar posibile, și imposibile - - Lumi posibile logic - - Constituienții lumilor posibile - 3.10 Saul Kripke - - Wittgenstein - - Adevăr - 3.10.1 Logica modală - - Modele canonice - - Modele Carlson - 3.10.2 Logica intuiționistă - - Logica intuiționistă de ordinul întâi - 3.10.3 Nume și Necesitate - - "Un puzzle despre credință" Referințe Despre autor - Nicolae Sfetcu - - De același autor - - Contact Editura - MultiMedia Publishing . (shrink)

This article argues that process philosophy and Hartmanian formal axiology are natural allies that can contribute much to each other. Hartmanian axiology can bring much needed order and clarity to process thought about the definitions of “good,” “better,” and “best,” about what things are intrinsically good, and about the nature and value of unique, enduring, individual persons. Process thought can bring to axiology greater clarity about and emphasis on the relational and temporal features of human selfhood. The nature and significance (...) of personal endurance is emphasized throughout. (shrink)

The Metaphysics of Experience: Companion to Whitehead’s Process and Reality by Elizabeth M. Kraus develops very classical, Boethian, atemporal understanding of Whitehead’s God. Kraus contends that Whitehead intended “to infer that the divine actual world includes all actual worlds in unison of becoming” (p. 164). Her position is that even in his consequent nature, God coexists simultaneously and changelessly with the entire past, present, and future of every occasion in every world or cosmic epoch. Her rationale for this rests upon (...) 1. a highly questionable interpretation of one text in Process and Reality and the claims that 2. only such a view is compatible with human freedom, and 3. only such a view is compatible with human faith. This article argues that she is mistaken on all three counts. (shrink)

In its most basic form, Simple Reliabilism states that: a belief is justified iff it is formed as the result of a reliable belief-forming process. But so-called New Evil Demon cases have been given as counterexamples. A common response has been to complicate reliabilism from its simplest form to accommodate the basic reliabilist position, while at the same time granting the force of NED intuitions. But what if despite initial appearances, Simple Reliabilism, without qualification, is compatible with the NED intuition? (...) What we can call the Dispositionalist Response to the New Evil Demon problem is fascinating because it contends just that: Simple Reliabilism is fully compatible with the NED intuition. It is claimed that all we need to do to recognize their compatibility is appreciate that reliability is a dispositional property. In this paper I shall critically evaluate the Dispositionalist proposal. (shrink)