In this paper we propose a Kripke-style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics.

Bertrand Russell was neither the first nor the last philosopher to engage in serious theorizing about propositions. But his work between 1903, when he published The Principles of Mathematics, and 1919, when his final lectures on logical atomism were published, remains among the most important on the subject. And its importance is not merely historical. Russell’s rapidly evolving treatment of propositions during this period was driven by his engagement with – and discovery of – puzzles that either continue (...) to shape contemporary theorizing about propositions, or ought to do so. Russell’s creative responses to these puzzles also laid the foundation for many later accounts (most obviously, contemporary ‘Russellian’ accounts of propositions). In this entry we provide an opinionated overview of Russell’s influential treatment of propositions, with a focus on the evolution of his views from 1903 to 1919. A growing secondary literature is dedicated to Russell’s changing views during this period, and their often complex or opaque motivations. We do not intervene overmuch in this ongoing scholarly discussion. Instead, our aim is to trace some of the central motivations for Russell’s evolving views, and highlight the extent to which these motivations remain relevant to contemporary theorizing about propositions. (shrink)

Unintentional plagiarism abounds at universities. The literature offers several explanations for students’ difficulties with acquiring standards of good academic practice. In this paper, I propose an alternative account: unintentional plagiarism can only be understood in the context of implicit but irreconcilable forms of knowledge. While higher education institutions mainly operate within the framework of propositional epistemology, institutions of primary and secondary education tend to furnish students with encyclopedic epistemology. Accordingly, universities and institutions of pre-college education tend to propagate conflicting (...) assumptions regarding the nature of knowledge. Put simply, propositional epistemology is characterized by dialogue, agency and the exchange of ideas, which are ideally made explicit in academic writing. By contrast, encyclopedic epistemology tends to present knowledge monologically, leaving the scholarly conversation around it out. It is highly likely that the hardwired legacy of encyclopedic epistemology among students impedes the acquisition of the dialogism of academic inquiry at universities, resulting in cases of unintentional plagiarism. (shrink)

Mitchell et al.'s claim, that their propositional theory is a single-process theory, is illusory because they relegate some learning to a secondary memory process. This renders the single-process theory untestable. The propositional account is not a process theory of learning, but rather, a heuristic that has led to interesting research.

Two approaches to the study of diagnostic thinking are compared, one mainly propositional, namely that of Patel and Groen (1986), the other mainly semantic, that of Lemieux and Bordage (1986). Patel and Groen analyzed the linear dimension of cardiologists' discourses while solving a case of acute bacterial endocarditis, that is, the before and after propositional rules. A secondary analysis of two of their pothophysiological protocols is done using structural semantic techniques from Lemieux and Bordage where the vertical dimension of (...) the discourses is analyzed, that is, the levels of meaning or semantic axes. Contrary to Patel and Groen's position, making an accurate diagnosis is not explained in terms of pure forward reasoning through networks of causal rules, but by means of networks of semantic qualities abstracted from the symptoms and signs. The semantic qualities operate in the clinician's mind in terms of binary oppositions (e.g., sudden-gradual, unilateral-bilateral) whereby each pair of properties constitutes a semantic axis (e.g., sudden-gradual). The successful diagnosticians are those who use the most diversified and pertinent set of semantic axes and, therefore, have a deeper representation of the problem. (shrink)

Four experiments assessed the relative involvement of different working memory components in two types of reasoning tasks: propositional and spatial reasoning. Using the secondary-task methodology, visual, central-executive, and phonological loads were realised. Although the involvement of visuospatial resources in propositional reasoning has traditionally been considered to be small, an overall analysis of the present data suggests an alternative account. A theoretical analysis of the pattern of results in terms of Evans' (1984, 1989) twostage theory of reasoning is proposed and (...) tested in Experiments 3 and 4, in which direct evidence for the alternative account was obtained: significant disruption of propositional reasoning by a concurrent spatial load. (shrink)

This paper argues that, for Bernard Nieuwentijt, mathematical reasoning on the basis of ideas is not the same as logical reasoning on the basis of propositions. Noting that the two types of reasoning differ helps make sense of a peculiar-sounding claim Nieuwentijt makes, namely that it is possible to mathematically deduce false propositions from true abstracted ideas. I propose to interpret Nieuwentijt’s abstracted ideas as incomplete mental copies of existing objects. I argue that, according to Nieuwentijt, a proposition (...) is mathematically deducible from an abstracted idea if it can be demonstrated that that proposition makes a true claim about the object that idea forms. This allows me to explain why Nieuwentijt deems it possible to deduce false propositions from true ideas. It also implies that logic and mathematics are not as closely related for Nieuwentijt as has been suggested in the existing secondary literature. (shrink)

In this paper I assume that it is reasonable to claim, as Michael Devitt does, that a definite description can express, in certain contexts, a genuinely referential meaning, but I discuss the requisite, also defended by Devitt, that the predicates involved in the description at stake should apply to the referred object. In so doing, I consider some cases of sentences containing definite descriptions constituted by general terms that, strictly speaking, don't apply to the intended object but are nonetheless intuitively (...) true. Along these lines, in the last paragraphs, I suggest that the role of the predicative material of a referential definite description can be regarded as secondary or instrumental, a mere guide to the identification of the object referred to. En el presente trabajo parto de asumir que es razonable sostener, como propone Michael Devitt, que una descripción definida puede expresar, en ciertos contextos, un significado genuinamente referencial para luego discutir el requisito, también defendido por Devitt, de que los predicados que constituyen la descripción en cuestión deban aplicarse al objeto referido. Para hacerlo, considero ejemplos de oraciones que contienen descripciones definidas constituidas por términos generales que, en sentido estricto, no se aplican al objeto pretendido, pero que pueden ser consideradas intuitivamente verdaderas. Siguiendo este enfoque, en los párrafos finales, sugiero que el papel del material predicativo que constituye una descripción definida referencial debe ser considerado secundario e instrumental, una mera guía para la identificación del objeto referido. (shrink)

Drawing on our Associative-Propositional Evaluation (APE) Model, we argue for the usefulness of distinguishing between basic operating principles of learning processes (associative linking vs. propositional reasoning) and secondary features pertaining to the conditions of their operation (automatic vs. controlled). We review empirical evidence that supports the joint operation of associative and propositional processes in the formation of new associations.

This article aims to demonstrate the interdependence of semantics and noetics against the referentialist trend in Abelard studies conceiving semantics as confined to the truth/falsity function. The article takes as a turning point of the argument Abelard’s question “can a true proposition generate a false understanding?” which secondary literature does not take into account. Starting from the analysis of this question, the article aims to show the development of an enhanced notion of understanding compared to the Boethian one. The (...) core of this enhanced notion of understanding is the action of attentio, which is the condition for the elaboration of a coherent and global definition of signification. The analysis of the mental action of attentio entails the description of other kinds of mental actions, leading one to conceive understanding as a multi-layered complex of actions. (shrink)

In the Laws of Thought, Boole establishes a theory of secondary propositions based upon the notion of time. This temporal interpretation of secondary propositions has historically been met with wide disapproval and is usually dismissed in the modern literature as a philosophical non-starter. What was Boole thinking? This paper attempts to give an answer to this question. Specifically, it provides an account according to which Boole’s temporal interpretation follows from his psychologistic conception of logic, in addition (...) to certain background assumptions regarding the psychological necessity of the concept of time. Once Boole’s psychological premises are laid bare, it becomes clearer how he might have viewed the temporal interpretation to be an essential feature of his theory of secondary propositions. (shrink)

In his paper John Corcoran examines in detail many issues relating to logical form, and raises some questions about my formulations. In my response I emphasize two main distinctions that may clear up some of the issues. One is the distinction between logical forms, in the sense of logical properties of an abstract character, and logical form, in the sense in which we speak of the logical form of a sentence, or of a proposition. Another is the distinction, emphasized by (...) Boole, between primary propositions , and secondary propositions —which I illustrate through the distinction between predicate negation and sentential negation.Em seu artigo John Corcoran examina em detalhe muitas questões sobre forma lógica e levanta alguns problemas relativos à minhas formulações. Na réplica enfatizo duas distinções principais, que podem esclarecer algumas questões. A primeira é a distinção entre formas lógicas, no sentido de propriedades lógicas de caráter abstrato, e forma lógica, no sentido em que falamos da forma lógica de uma sentença ou de uma proposição. A segunda é a distinção, enfatizada por Boole, entre proposições primárias e proposições secundárias , exemplificada com a distinção entre negação predicativa e negação sentencial. (shrink)

How are we to understand the use of probability in Popper’s corroboration function? Popper says logically, but this raises a problem that becomes apparent when his views on logical probability are compared with those of Keynes. Specifically, Popper does not make it clear how we could have access to, or even calculate, probability values in a logical sense. For first, he would likely want to deny the Keynesian distinction between primary and secondary propositions, and the underlying notion of (...) knowledge-by-acquaintance with Neo-Platonic entities. Second, he would presumably reject not only the notion of non-numerical probabilities, but also the claim that the principle of indifference is aught other than a heuristic, given paradoxes such as Bertrand’s. An attempt might be made to solve this problem by appeal to semantic or possible world analyses over the relative truth-values of statements, but this seems to fail due to concerns relating to infinity: if the set of possible worlds in which p is true is infinite, and the set of possible worlds in which q is true is infinite, then no numerical value for P can be reasonably determined by a comparison between those worlds. As such, an all-too-familiar sort of criticism of Popper’s view of science seems to loom large: if the corroboration function only makes sense when the probabilities employed therein are subjective, then what counts as impressive evidence for a theory might seem to be a matter of convention, or even whim. However, we now have a new interpretation of probability at our disposal: the intersubjective interpretation, recently championed by Gillies, according to which probabilities can lie on a spectrum between the aleatory and the epistemic. Might we employ this to preserve the corroboration function, and deliver ourselves from Bayesianism, without succumbing to radical subjectivism? (shrink)

Secondary schools are well placed to avert radicalization processes toward extremism because such trajectories often begin in adolescence. Adolescents are in the process of forming their identities, and most adolescents are idealistic, which makes them susceptible to groups that passionately pursue utopian visions. To avert the path toward extremism, Doret de Ruyter and Stijn Sieckelinck propose to balance a prevention approach with a positive educative ethos that is sensitive to the emotions involved in students' quest for meaning in life (...) and identity formation. This involves schools being places where all students experience that they matter and where they can express their passion for their ideals and experiment with their identities without being ridiculed; at the same time, schools must guide students in learning that not everything they value will be accepted and that they must also take into account the interests and rights of others. The schools' role is thus complex and precarious, and teachers are in a position of navigating a politically sensitive minefield daily. Therefore, any theoretical proposition regarding what schools can realistically do to prevent extremism must be informed by everyday educational practice. (shrink)

A propositional logic with modal operators for logical necessity and possibility is formulated as a formal ontology for logical atomism (with negative facts). It is shown that such modal operators represent purely formal, Internal 'properties' of propositions if and only if the notion of 'all possible worlds' has its standard and not the secondary interpretation which it is usually given (as, E.G., In kripke model-Structures). Allowing arbitrary restrictions on the notion of 'all possible worlds', At least in such (...) a framework as logical atomism, Generates internal 'properties' of propositions with material instead of purely formal content. (shrink)

We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of Logical Atomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the hand of (...) Ludwig Wittgenstein. It is shown that an unpublished manuscript identified as composed by Peirce in 1893 includes a truth table matrix that is equivalent to the matrix for material implication discovered by John Shosky. An unpublished manuscript by Peirce identified as having been composed in 1883?1884 in connection with the composition of Peirce's ?On the Algebra of Logic: A Contribution to the Philosophy of Notation? that appeared in the American Journal of Mathematics in 1885 includes an example of an indirect truth table for the conditional. (shrink)

Robert Stalnaker contrasts two interpretations, semantic and metasemantic, of the two-dimensionalist framework. On the semantic interpretation, the primary intension or diagonal proposition associated with an utterance is a semantic value that the utterance has in virtue of the actual linguistic meaning of the corresponding sentence, and that primary intension is both what a competent speaker grasps and what determines different secondary intensions or horizontal propositions relative to different possible worlds considered as actual. The metasemantic interpretation reverses the order (...) of explanation: an utterance has the primary intension it has because it yields the secondary intensions it yields relative to different possible worlds considered as actual. In these possible worlds, the semantic facts can be different: the metasemantic interpretation is metasemantic in the sense that the secondary intensions are determined relative to possible worlds considered as actual given the meanings the expressions have there. Stalnaker holds a causal picture of the reference of names, according to which names have no meaning over and above their unique referent, and therefore maintains that the semantic interpretation is not an option. He thus endorses the metasemantic interpretation, while insisting that this interpretation does not, contrary to what he originally thought, yield any account of a priori truth and knowledge. My double aim in this paper is to show (i) that the metasemantic interpretation, as sketched by Stalnaker, is not compatible with one natural understanding of the causal picture of reference, on which names are rigid because they have their original bearers essentially , and (ii) that a third kind of interpretation of the framework is available, the metasyntactic interpretation, which grants that names have their bearers essentially and yields some account of a priori knowledge. (shrink)

This paper investigates the issue whether metaphors have a metaphorical or secondary meaning and how this question is related to the borderline between philosophy and linguistics. On examples by V. Woolf and H. W. Auden, it will be shown that metaphor accomplishes something more than its literal meaning expresses and this “more” cannot be captured by any secondary meaning. What is essential in the metaphor is not a secondary meaning but an internal relation between a metaphorical proposition (...) and a description of its effects. In order to understand metaphors, we have to share an ability to construe metaphorical meanings at once. The aim of this ability is to uncover an internal relation, which lies behind a particular metaphor. (shrink)

The general proposition of the positive youth development approach is that developmental assets such as psychosocial competence can promote healthy adolescent development and reduce problem behavior. Despite that many Western studies have shown that PYD attributes are negatively related to adolescent delinquency, not all empirical findings support the negative associations. Although different dimensions of PYD attributes may bear differential relationships with delinquency, this possibility has not been properly examined so far. In addition, related studies in mainland China do not exist. (...) Finally, the possible mediating role of life satisfaction in linking PYD attributes to delinquency has rarely been studied. To address the research gaps and understand how PYD attributes are associated with adolescent delinquency and the underlying mediating effect of life satisfaction, matched longitudinal data were collected from 2,648 mainland Chinese secondary school students at two waves which were separated by one year. On each occasion, participants completed a questionnaire containing validated measures of PYD attributes, life satisfaction, and delinquency. Congruent with the general theoretical prediction of the PYD approach, different PYD attributes were inversely related to concurrent and future adolescent delinquency in separate regression analyses. In addition, the negative predictions were mediated by life satisfaction. When all PYD attributes were included in a single path analysis model, three findings were observed. First, two PYD dimensions, including self-identity and general PYD attributes, showed robust negative predictions on delinquency via life satisfaction. Second, prosocial attributes displayed a weak and unstable negative predictive effect. Third, cognitive-behavioral competence showed an unexpected positive predictive effect on delinquency directly or via its negative effects on life satisfaction. The present findings add value to the existing literature by revealing the predictive role of PYD attributes on life satisfaction and delinquency among mainland Chinese adolescents. The findings also reinforce the importance of investigating individual dimensions of PYD attributes simultaneously in the research field. The present study suggests that it is promising to cultivate PYD attributes as a strategy to reduce delinquency among adolescents in mainland China. (shrink)

Newton's Philosophiae Naturalis Principia Mathematica provides a coherent and deductive presentation of his discovery of the universal law of gravitation. It is very much more than a demonstration that 'to us it is enough that gravity really does exist and act according to the laws which we have explained and abundantly serves to account for all the motions of the celestial bodies and the sea'. It is important to us as a model of all mathematical physics.Representing a decade's work from (...) a distinguished physicist, this is the first comprehensive analysis of Newton's Principia without recourse to secondary sources. Professor Chandrasekhar analyses some 150 propositions which form a direct chain leading to Newton's formulation of his universal law of gravitation. In each case, Newton's proofs are arranged in a linear sequence of equations and arguments, avoiding the need to unravel the necessarily convoluted style of Newton's connected prose. In almost every case, a modern version of the proofs is given to bring into sharp focus the beauty, clarity, and breath-taking economy of Newton's methods.Subrahmanyan Chandrasekhar is one of the most reknowned scientists of the twentieth century, whose career spanned over 60 years. Born in India, educated at the University of Cambridge in England, he served as Emeritus Morton D. Hull Distinguished Service Professor of Theoretical Astrophysics at the University of Chicago, where he has was based from 1937 until his death in 1996. His early research into the evolution of stars is now a cornerstone of modern astrophysics, and earned him the Nobel Prize for Physics in 1983. Later work into gravitational interactions between stars, the properties of fluids, magnetic fields, equilibrium ellipsoids, and black holes has earned him awards throughout the world, including the Gold Medal from the Royal Astronomical Society in London, the National Medal of Science in the United States, and the Copley Medal from the Royal Society. His many publications include Radiative transfer, Hydrodynamic and hydromagnetic stability, and The mathematical theory of black holes, each being praised for its breadth and clarity. Newton's Principia for the common reader is the result of Professor Chandrasekhar's profound admiration for a scientist whose work he believed is unsurpassed, and unsurpassable. (shrink)

This paper attempts to clarify the nature and the importance of a third kind of sophistic argument that is not always found in the classification of those arguments in the secondary literature. An argument of the third kind not only is a valid one, but is also constituted of true propositions. What makes it a sophistic argument is the fact that it produces a false semblance of scientific explanation: its explanation seems to be appropriate to the explanandum without (...) being so. Evidence from this kind of argument comes from Sophistic Refutations 11, and Brison’s attempt to square the circle should be counted as one of its instances. (shrink)

This paper studies John Buridan's octagons of opposition for the de re modal propositions and the propositions of unusual construction. Both Buridan himself and the secondary literature have emphasized the strong similarities between these two octagons (as well as a third one, for propositions with oblique terms). In this paper, I argue that the interconnection between both octagons is more subtle than has previously been thought: if we move beyond the Aristotelian relations, and also take Boolean (...) considerations into account, then the strong analogy between Buridan's octagons starts to break down. These differences in Boolean structure can already be discerned within the octagons themselves; on a more abstract level, they lead to these two octagons having different degrees of Boolean complexity (i.e. Boolean closures of different sizes). These results are obtained by means of bitstring analysis, which is one of the key tools from contemporary logical geometry. Finally, I argue that this historical investigation is directly relevant for the theoretical framework of logical geometry, and discuss how it helps us to address certain open questions in this framework. (shrink)

This paper concerns the rational reconstruction of physical theories initially advanced by F. P. Ramsey and later elaborated by Rudolf Carnap. The Carnap–Ramsey reconstruction of theoretical knowledge is a natural development of classical empiricist ideas, one that is informed by Russell's philosophical logic and his theories of propositional understanding and knowledge of matter ; as such, it is not merely a schematic representation of the notion of an empirical theory, but the backbone of a general account of our knowledge of (...) the physical world. Carnap–Ramsey is an illuminating approach to epistemological problems that remain with us, one whose difficulties are shared by accounts that have sought to replace it. 1 Introduction 2 Russell's theory of propositional understanding 3 Ramsey's primary and secondary systems 4 Carnap's reconstruction of the language of science and an observation of Newman 5 Extension of the foregoing to constructive empiricism 6 Putnam's model-theoretic argument and the semantic view of theories 7 The problem clarified and resolved. (shrink)

I argue that Kant's and Frege's refutations of the ontological argument are more similar than has generally been acknowledged. As I clarify, for both Kant and Frege, to say that something exists is to assert of a concept that it is instantiated. With such an assertion one expresses that there is a particular relation between the instantiating object and a rational subject - a particular mode of presentation for the object in question. By its very nature such a relation cannot (...) be the property of an object and thus cannot be included in the concept of that object. Thus the ontological argument, which takes existence to be a part of the concept of the supreme being, cannot, according to Kant and Frege, succeed. A secondary goal of the paper is to illuminate what I take to be an important affinity between Kant's and Frege's views more generally: that Frege's fundamental distinction between the sense and the referent of a proposition echoes, in an important way, Kant's distinction between concepts and the formal principles for their application to experience. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 62.2 (2001) 301-312 [Access article in PDF] Kant on Property: The Problem of Permissive Law Brian Tierney In a pathbreaking article published in 1982 Reinhold Brandt called attention to the significance of the concept of permissive natural law in Kant's political philosophy. Brandt noted that Kant's "rightful concept of practical reason" or "permissive law of practical reason" was of fundamental importance for understanding (...) the whole theory of the Rechtslehre, and he complained that the issue had been virtually ignored in the recent secondary literature. 1 Since then others have taken up the theme, but it remains relatively neglected in the vast modern literature on Kant. In the work of Brandt and in some other recent explorations of this question a primary concern has been to relate Kant's doctrine to other aspects of his critical theory. Brandt himself, for instance, compared the "provisional" and "peremptory" rights mentioned in the Doctrine of Right with the "problematic" and "assertoric" judgments of the Critique of Pure Reason. The problem that I want to consider is rather different. In the following study I want to consider primarily the internal structure of the Doctrine of Right and specifically to ask whether Kant's appeal to permissive natural law served a constructive purpose in the theory of property that he presented in that work or whether it was perhaps subversive of the argument that he developed. 2 This will require [End Page 301] some discussion of the other usages of the idea of permissive law that we find scattered in Kant's later writings. In pursuing such an inquiry we encounter various difficulties and apparent anomalies in Kant's teaching. I want finally to suggest that we might understand those difficulties better if we were to situate Kant's work in a broader historical context than those that have previously been considered, bearing in mind that the concept of permissive natural law had been discussed by jurists and political philosophers for several centuries before Kant took up the argument. Kant on Property When approaching Kant's Doctrine of Right it may be salutary to recall a remark of Mary Gregor, the translator of the work and a sympathetic reader of it. "Kant has never been accused of underestimating his readers," Gregor wrote, "but he seldom treats them so harshly." 3 The difficulty of the work is compounded by the fact that the text as we have it is apparently in a mutilated condition, with some passages transposed from their original contexts. Any reading of such a text will be open to dispute; but it seems necessary to attempt at least an outline of Kant's doctrine and to mention some of its complexities if we are to understand the function of permissive natural law in the argument presented.Kant's purpose was to formulate a doctrine of property based on reason alone, a doctrine in which "abstraction is made from all spatial and temporal conditions." 4 The principles he deduced were intended to apply to anyone "merely because and insofar as he is free and has practical reason." 5 The whole subsequent argument revolved around these concepts of practical reason and human freedom. Kant began by presenting some basic propositions and definitions. Obligation, he wrote, was "the necessity of a free action under a categorical imperative of reason." And an action was permitted or licit when it was not contrary to obligation. This freedom of action was called a moral faculty (facultas moralis). 6 According to Kant, the only innate right inhering in all persons was a right to freedom (defined as "independence from being coerced by another's [End Page 302] choice") insofar as this freedom could coexist with the freedom of all others. 7 A corresponding universal law of Right established the rule: "[S]o act externally that the free use of your choice can coexist with the freedom of everyone in accordance with a universal law." 8External laws imposed by another evidently did hinder one's freedom. Kant therefore held that a person was... (shrink)

Human rationality develops formal logic and creates mathematics to summarize data into laws of nature that lead to theoretical models covering a wide range of phenomena. However, scientists deal with secondary causes. First causes involve metaphysical (ontological) questions, which regulate science. Without the ontological, neither the generalizations nor the historical propositions of the experimental sciences would be possible.

(i) God is omniscient; therefore, for any change, C, among particulars, God knows the occurrence of C. (ii) If God knows the occurrence of C, then X. (iii) not-X. It is clear that the set of propositions (i)—(iii) is inconsistent. This is the general form of two problems—which I call the ‘problem of change in knowledge’ (PCK) and the ‘problem of change in essence’ (PCE)—for Avicenna concerning God’s knowledge of particulars. No work in the secondary literature has discussed (...) exactly what PCK and PCE are. In this paper, I will clarify exactly what they are. (shrink)

God is omniscient; therefore, He knows that ‘the flower in my hand is red.’ If God knows that ‘the flower in my hand is red,’ then He knows it perceptually. God does not know anything perceptually. It is clear that the set of propositions – form an inconsistent triad. This is one of four problems with which Avicenna was engaged concerning God's knowledge of particulars, which I call the problem of perceptual knowledge. In order to solve PPK and three (...) other problems, Avicenna has developed a theory concerning God’s knowledge of particulars. Secondary literature around Avicenna’s theory of God’s knowledge of particulars has mostly directed its attention to give an account of Avicenna’s positive theory rather than the problems which that theory was designed to solve. But this paper will not do the same thing as this secondary literature. In contrast, in this paper, I will concentrate on the characterization of one of the problems, i.e., PPK, because of which Avicenna has presented his positive theory of God’s knowledge of particulars. In short, this paper aims to show why Avicenna deems explaining God’s knowledge of, say, the redness of a flower, via his accepted theory of perception as problematic. In this regard, I will extract three versions of PPK based on Avicenna's philosophy and through it will shed some light on Avicenna’s theory of God’s knowledge of particulars. (shrink)

_Foucault’s Law_ is the first book in almost fifteen years to address the question of Foucault’s position on law. Many readings of Foucault’s conception of law start from the proposition that he failed to consider the role of law in modernity, or indeed that he deliberately marginalized it. In canvassing a wealth of primary and secondary sources, Ben Golder and Peter Fitzpatrick rebut this argument. They argue that rather than marginalize law, Foucault develops a much more radical, nuanced and (...) coherent theory of law than his critics have acknowledged. For Golder and Fitzpatrick, Foucault’s law is not the contained creature of conventional accounts, but is uncontainable and illimitable. In their radical re-reading of Foucault, they show how Foucault outlines a concept of law which is not tied to any given form or subordinated to a particular source of power, but is critically oriented towards alterity, new possibilities and different ways of being. _Foucault’s Law_ is an important and original contribution to the ongoing debate on Foucault and law, engaging not only with Foucault’s diverse writings on law and legal theory, but also with the extensive interpretive literature on the topic. It will thus be of interest to students and scholars working in the fields of law and social theory, legal theory and law and philosophy, as well as to students of Foucault’s work generally. (shrink)

I use the collection of “carnal ethnographies” of martial arts and combat sports assembled by Raul Sanchez and Dale Spencer under the title Fighting Scholars to spotlight the fruitfulness of deploying habitus as both empirical object (explanandum) and method of inquiry (modus cognitionis). The incarnate study of incarnation supports five propositions that clear up tenacious misconceptions about habitus and bolster Bourdieu’s dispositional theory of action: (1) far from being a “black box,” habitus is fully amenable to empirical inquiry; (2) (...) the distinction between primary (generic) and secondary (specific) habitus enables us to capture the malleability of dispositions; (3) habitus is composed of cognitive, conative and affective elements: categories, skills, and desires; (4) habitus allows us to turn carnality from problem to resource for the production of sociological knowledge; and (5) thus to realize that all social agents are, like martial artists, suffering beings collectively engaged in embodied activities staged inside circles of shared commitments. (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)

Kant identifies knowledge [Wissen], belief [Glaube], and opinion [Meinung] as our three primary modes of “holding-to-be-true” [Fürwahrhalten]. He also identifies opinion as making up the greatest part of our cognition. After a preliminary sketch of Kant’s system of propositional attitudes, this paper will explore what he says about the norms governing opinion and empirical hypotheses. The final section will turn to what, in the Critique of Pure Reason and elsewhere, Kant refers to as “General Applied Logic”. It concerns the “contingent (...) conditions of the subject, which can hinder or promote” good inquiry; and, though rarely mentioned in the secondary literature, it offers Kant’s methodological alternative to the traditional epistemological goal of finding “a sufficient and at the same time general criterion of truth”. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hume on the Idea of Existence1 Phillip D. Cummins One, the primary, aim of this paper is to understand an argument Hume employed to defend his contention that there is no special or distinctidea ofexistence. This contention he expressedvariouslyin the following passage: The idea ofexistence, then, is the very same with the idea of what we conceive tobe existent. To reflect on any thing simply, and to reflect on (...) it as existent, are nothing different from each other. That idea, when conjoin'd with the idea of any object, makes no addition to it. Whatever we conceive, we conceive to be existent. Any idea we please to form is the idea ofa being; and the idea of a being is any idea we please to form.2 My secondary aim is to understand what the quoted claim amounts to as a characterization of the idea of existence. I am among those who have serious difficulty understanding what precisely Hume is here claiming. Specifically, I am not sure how, if at all, his position on the idea ofexistence fits with other elements ofhis theory ofthought.3 For example, earlier in the Treatise, in "OfAbstract Ideas," Hume argued that under suitable conditions of habituation and linguistic competence, a single simple4 idea could be the idea ofboth a particular object, a line drawn on a particular sheet ofpaper, and a type ofobject, line in general (T 20-24). Further, on the basis of appropriate comparisons, a single simple idea can also be the idea oftwo different quaUties, purple and extended, for example (T 24-25, 34). The former claim is the positive component ofHume's account ofabstract thinking; the latter is the positive component of his position on distinctions of reason. Hume goes out ofhis way to distinguish his position on the idea of existence from his position on distinctions of reason (T 67). As for how it differs, ifat all, from his position on abstract ideas, a matter by no means obvious, Hume says nothing at all. His silence does not preclude speculation on the subject—on the contrary, it makes such speculation unavoidable—but it does give special importance to his brief and puzzhng proof that there is no special or distinct idea of existence. Volume XVII Number 1 61 PHILLIP D. CUMMINS I. Hume's Argument In making his case that we have no distinct idea of existence Hume first insists that we have an idea of existence, appealing to what he regards as an undeniable matter of psychological fact. He writes, There is no impression nor idea ofany kind, ofwhich we have anyconsciousness or memory, thatis not conceiVd as existent; and 'tis evident, that from this consciousness the most perfect idea and assurance ofbeing is deriv'd. (T 66) The argument seems to comprise the following propositions: attending to consciousness and memory reveals that all the perceptions we experience or remember are believed to exist; one cannot beUeve in the existence of something unless one has an idea of existence; therefore, there is an idea ofexistence (being) which in some way is derived from consciousness and memory. Hume next formulates what he calls a dilemma. From hence we may form a dilemma, the most clear and conclusive that can be imagin'd, viz. that since we never remember any idea or impression without attributing existence toit, the idea ofexistence must eitherbe deriv'd from a distinct impression, conjoin'd with every perception or object ofour thought, or must be the very same with the idea of the perception or object. (T 66) The alternatives seem clear: either, in believing in the past existence of, say, a blue spot once seen, one has two ideas, one of the blue spot and a different one of existence, or one has only one idea, which somehow is both the idea of the spot and the idea ofexistence. What is not immediately obvious is why Hume speaks ofa dilemma. From the supposed psychological fact (we never remember any idea or impression without attributing existence to it) and its corollary (we have an idea ofexistence) Hume develops a disjunction (either the idea ofexistence is derived from a distinct impression conjoined with every perception, or... (shrink)

Epistemic freedom is the freedom to affirm anyone of several incompatible propositions without risk of being wrong. We sometimes have this freedom, strange as it seems, and our having it sheds some light on the topic of free will and determinism. This paper sketches a potential explanation for our feeling of freedom. The freedom that I postulate is not causal but epistemic (in a sense that I shall define), and the result is that it is quite compatible with determinism. (...) I therefore claim that insofar as we feel metaphysically free-free in a sense that would be incompatible with determinism-we are mistaking the epistemic freedom that we have for a kind of freedom that we may lack. This claim will lead me, at the end of the paper, to a projectivist account of moral responsibility. Ascriptions of moral responsibility, I shall suggest, should be treated in the same way as ascriptions of color or other secondary qualities. (shrink)

Available from UMI in association with The British Library. ;A form of metaphysical inquiry is in this thesis both illustrated in detail and defended against the charge of issuing in statements which lack cognitive content. 'Categorial description' concerns the fundamental features of our conceptual scheme: the categories described are those of substance, accident, cause, space and time. ;Following Aristotle's distinction between primary and secondary substances, these two notions are addressed as equivalent to those individual or particular things and their (...) kinds. A particular thing is characterised as not being capable of occuring in the predicate position in a proposition; and as having criteria or principles of individuation and reidentification. Accidents or properties can appear in the predicate position and do not have criteria of identity. ;Secondary substances, or natural kinds, being a species of property, also fail to have criteria for individuation and reidentification. It follows that the recently revived Aristotelian essentialism, as exhibited in particular in the work of Kripke, fails to correctly characterise the category of natural kinds: in that theory, natural kinds have essential properties which enable individuation and reidentification across possible worlds. ;Efficient causation is described, against the background of the Locke-Hume dispute, as involving the concept of necessary connection between cause and effect. Rejecting the theory of Harre and Madden on causal powers, an approach by Mackie is defended whereby this connection is a reflection of our counterfactual thinking. The possible worlds essentialist approach of Lewis to counterfactuals is rejected too, as inadequate. ;Space and time, spatial and temporal relations, and places and moments in time are approached in terms of the other categories of particular and property. The obscurity of fit between these categories is identified as responsible for many philosophical puzzles concerning space and time: for example, McTaggart's 'proof' of the unreality of time; and the recent debate on the possibility of multiple times and multiple spaces. ;In the final chapter, the logical commitments of categorial description concerning conceptual relativism and the nature of reality in itself are explored. It is argued that, since categories are in large part responsible for the kinds of acts there are, a description of our categories is a description of reality itself. Since our categories do not involve the machinery of possible worlds offered by contemporary essentialist theories, those theories fail to describe reality. (shrink)

Brentano's innovations in logical theory are considered in the context of his descriptive psychology, with its distinction between differences in quality and in object of mental phenomena. Objections are raised to interpretations that depend on a parallel between Urteil and assertion of a proposition. A more appropriate parallel is drawn between the assertion as subject to description in a metalanguage and the Urteil as secondary object in inner perception. This parallel is then applied so as to suggest a reinterpretation (...) of substitutional quantification, rendering the substitutional interpretation immune to problems that often arise as to the relation between substitutional range and referential range. (shrink)

This essay argues that religion is a distinctive form of human activity, and offers a philosophical account of what religion fundamentally is (and what it is not), within the context of the Free Exercise Clause. §I promotes religion as an action-theoretic concept. §II presents the claim that atheism can be regarded as a religion: this claim is rejected on the basis that religion cannot be defined as a set of propositional beliefs concerning metaphysics and morality. §III defends a paradigmatic account (...) of religion as a kind of activity ordered to a concept of transcendence or superior nature, and argues that morally excellent human actions can be identified as religious, but only in a secondary or derivative way. §IV contends with the problem of including act-omissions as instantiations of religious exercise, and proposes a solution with reference to recent arguments implicating two-way powers. (shrink)

"Heidegger's way of understanding the originary phenomenon of truth is to "make clear the mode of being of the cognition itself." His starting point is a proposition that is not based on intuition. Someone says with his or her back to the wall: this picture hangs askew. The proposition embodies the claim to have discovered the picture (as a being) in the "how" (the mode) of its being. The proposition displays this "how" of being in language. In the attempt to (...) verify the proposition by sensuous experience, the recognition, according to Heidegger, is directed only to the intended being (the picture) and not to the proposition. It is directed to the being itself (which is to be verified by perception) in its mode of uncoveredness (Entdeckt-heir), i.e., in its showing-itself. Confirmation (Bewährung) means this showing-itself of the being in the same way in which it is intended in the proposition. A true proposition shows the being in its mode of uncoveredness. The phenomenon of "originary truth" does not have the character of correspondence. It is the ground of the concept of truth in the sense of correspondence and propositional truth. By unfolding the meaning of alétheia Heidegger shows us a more originary sense of truth as unconcealment (Unverborgenheit). He wants to show that this concept coincides with the first and originary concept of truth in Greek thinking. In this primary sense only the discovering human Dasein can be "true" while it is Being-discovering (Entdeckend-Sein). On the other hand, beings (Seiendes) that we can find in the world can only "be" in a secondary mode, i.e., as being-discovered (Entdecktsein). They can only make a claim to uncoveredness. Their fundament is the Being-discovering of the human Dasein. The being-true of a discovered being is only possible as being discovered by human Dasein as being-in-the-world. The authentic Being of Dasein, the being-in-the truth, presupposes disclosedness (Erschlossenheit) of the world in states-of-mind (Befindlichkeiten), understanding, and discourse, i.e., the constitution of the being (Seinsverfassung) of human Dasein as thrownness (Geworfenheit) and project (Entwurf).. (shrink)

A collection of papers to illustrate new waves in Philosophy of Language: -/- "Linguistic Puzzles and Semantic Pretence" by B. Armour-Garb & J. Woodbridge; "Minimal Semantics and the Nature of Psychological Evidence" by E. Borg; "A Naturalistic Approach to the Philosophy of Language" by J. Collins; "In Praise of our Linguistic Intuitions" by A. Everett; "Phenomenal Continua and Secondary Properties" by P. Greenough; "Semantic Oughts in Context" by A. Hattiangadi; "Content Force and Semantic Norms" by M. Kolbel; "Linguistic Competence (...) and Propositional Knowledge" by G. Longworth; "Expressives and Beyond" by S. Predelli; "Analyticity in Externalist Languages" by G. Russell ; "Names as Predicates" by S. Sawyer; "The Epistemic Reading of Counterfactual Conditionals" by K. Schulz; "Introduction, Transmission, and the Foundations of Meaning" by J. Speaks. (shrink)

Guanxi (literally interpersonal connections) is in essence a network of resource coalition-based stakeholders sharing resources for survival, and it plays a key role in achieving business success in China. However, the salience of guanxi stakeholders varies: not all guanxi relationships are necessary, and among the necessary guanxi participants, not all are equally important. A hierarchical stakeholder model of guanxi is developed drawing upon Mitchell et al.’s (1997) stakeholder salience theory and Anderson’s (1982) constituency theory. As an application of instrumental stakeholder (...) theory, the model dimensionalizes the notion of stakeholder salience, and distinguishes between and among internal and external guanxi, core, major, and peripheral guanxi, and primary and secondary guanxi stakeholders. Guanxi management principles are developed based on a hierarchy of guanxi priorities and management specializations. The goal of this application of instrumental stakeholder theory is to construct, for Western business firms in China, a means to reliably identify guanxi partners by employing the principles of effective guanxi. These principles are described in the form of testable propositions that advance social scientific research in this area of international business ethics. (shrink)

Most interpretations of Aristotle’s Posterior Analytics believe that the term ‘ameson’ is used to describe the principles or foundations of a given system of justification or explanation as epistemically prior to or more fundamental than the other propositions in the system. Epistemic readings (as I shall call them) arguably constitute a majority in the secondary literature. This predominant view has been challenged by Robin Smith (1986) and Michael Ferejohn (1994; 2013), who propose interpretations that should be classified as (...) non-epistemic according to the definition above. My aim in this article is purely negative. I intend to show that these non-epistemic interpretations are liable to serious objections and are in conflict with some important features of Aristotle’s theory of demonstration. (shrink)

In this paper evidence will be provided that Wittgenstein’s intuition about the logic of colour relations is to be taken near-literally. Starting from the Aristotelian oppositions between propositions as represented in the logical square of oppositions on the one hand and oppositions between primary and secondary colors as represented in an octahedron on the other, it will be shown algebraically how definitions for the former carry over to the realm of colour categories and describe very precisely the relations (...) obtaining between the known primary and secondary colours. Linguistic evidence for the reality of the resulting isomorphism will be provided. For example, the vertices that resist natural single-item lexicalization in logic (such as the O-corner, for which there is no natural lexicalization *nall (=not all)) are not naturally lexicalized in the realm of colour terms either. From the perspective of the architecture of cognition, the isomorphism suggests that the foundations of logical oppositions and negation may well be much more deeply rooted in the physiological structure of human cognition than is standardly assumed. (shrink)