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.

The standard methodology of comparative psychology has long relied upon a distinction between cognition and ‘mere association’; cognitive explanations of nonhuman animals behaviors are only regarded as legitimate if associative explanations for these behaviors have been painstakingly ruled out. Over the last ten years, however, a crisis has broken out over the distinction, with researchers increasingly unsure how to apply it in practice. In particular, a recent generation of psychological models appear to satisfy existing criteria for both cognition and association. (...) Salvaging the standard methodology of comparative psychology will thus require significant conceptual redeployment. In this article, I trace the historical development of the distinction in comparative psychology, distinguishing two styles of approach. The first style tries to make out the distinction in terms of the properties of psychological models, for example by focusing on criteria like the presence of rules & propositions vs. links & nodes. The second style of approach attempts to operationalize the distinction by use of specific experimental tests for cognition performed on actual animals. I argue that neither style of criteria is self-sufficient, and both must cooperate in an iterative empirical investigation into the nature of animal minds if the distinction is to be reformed. (shrink)

Two decades ago, the introduction of the Implicit Association Test (IAT) sparked enthusiastic reactions. With implicit measures like the IAT, researchers hoped to finally be able to bridge the gap between self-reported attitudes on one hand and behavior on the other. Twenty years of research and several meta-analyses later, however, we have to conclude that neither the IAT nor its derivatives have fulfilled these expectations. Their predictive value for behavioral criteria is weak and their incremental validity over and above self-report (...) measures is negligible. In our review, we present an overview of explanations for these unsatisfactory findings and delineate promising ways forward. Over the years, several reasons for the IAT’s weak predictive validity have been proposed. They point to four potentially problematic features: First, the IAT is by no means a pure measure of individual differences in associations but suffers from extraneous influences like recoding. Hence, the predictive validity of IAT-scores should not be confused with the predictive validity of associations. Second, with the IAT, we usually aim to measure evaluation (“liking”) instead of motivation (“wanting”). Yet, behavior might be determined much more often by the latter than the former. Third, the IAT focuses on measuring associations instead of propositional beliefs and thus taps into a construct that might be too unspecific to account for behavior. Finally, studies on predictive validity are often characterized by a mismatch between predictor and criterion (e.g., while behavior is highly context-specific, the IAT usually takes into account neither situation nor domain). Recent research, however, also revealed advances addressing each of these problems, namely (1) procedural and analytical advances to control for recoding in the IAT, (2) measurement procedures to assess implicit wanting, (3) measurement procedures to assess implicit beliefs, and (4) approaches to increase the fit between implicit measures and behavioral criteria (e.g., by incorporating contextual information). Implicit measures like the IAT hold an enormous potential. In order to allow them to fulfill this potential, however, we have to refine our understanding of these measures, and we should incorporate recent conceptual and methodological advancements. This review provides specific recommendations on how to do so. (shrink)

What the authors attempt to address in this paper is a Kantian question: not whether, but how is cross -cultural understanding possible? And specifically, what is a more effective approach for cross -cultural understanding? The answer lies in an analysis of two different models of cross -cultural understanding, that is, propositional and hermeneutic understanding. To begin with, the author presents a linguistic interpretation of culture, i.e., a culture as a linguistically formulated and transmitted symbolic system with its conceptual core as (...) a scheme of basic cultural presuppositions, which it referred to as a cultural language. After exploring the essential role of cultural presuppositions in cross -cultural understanding, the author discusses the traditional model of cross -cultural understanding, namely, the propositional model. Through critically examining the two popular versions of the propositional model, i.e., the projective approach and the adoptive approach to cross -cultural understanding, it is found that cross -cultural propositional understanding is doomed to failure. To move us beyond the absolutism -relativism trap embedded within propositional understanding, the author first introduces and discusses Hans-Georg Gadamer’s hermeneutic understanding, and then applies Hans-Georg Gadamer’s hermeneutic model of understanding to cross -cultural understanding. It is finally concluded that cross -cultural understanding is essentially hermeneutic—including the case of cultural learning, not propositional. Therefore, cross -cultural understanding is hermeneutically possible. (shrink)

Contrary to the target article's claims, social cognition research shows considerable learning (about other people) that is relatively automatic. Some of this learning is propositional (spontaneous trait inferences) and some is associative (spontaneous trait transference). Other dichotomies are also important. However conceived, human conditioning is not synonymous with human learning.

The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the unconscious processes involved (...) in memory retrieval and perception. We argue that this new conceptual framework allows many of the important recent advances in associative learning research to be retained, but recast in a model that provides a firmer foundation for both immediate application and future research. (shrink)

I argue that there is an inherent tension in the notion of a proposition that gives us reason to doubt that there can be any single entity that plays all the roles and possesses all the features normally attributed to propositions. The tension is that some of the roles and features of propositions require them to be essentially representational, while others require them to be non-representational. I first present what I call the standard view of propositions: a (...) series of theses outlining the roles they are normally thought to play and the features they are normally thought to possess. I then highlight a number of tensions inherent in the standard view. I illustrate how this very tension creates problems for some realist theories of propositions. I discuss the distinction between the truth of a proposition and its existence, and argue that paying heed to this distinction allows us to identify, and clear up, a particular confusion that leads us to posit propositions in the first place. Finally, I consider where a rejection of propositions leaves us, ontologically and theoretically. (shrink)

A central theme in recent research on attitudes is the distinction between deliberate, "explicit" attitudes and automatic, "implicit" attitudes. The present article provides an integrative review of the available evidence on implicit and explicit attitude change that is guided by a distinction between associative and propositional processes. Whereas associative processes are characterized by mere activation independent of subjective truth or falsity, propositional reasoning is concerned with the validation of evaluations and beliefs. The proposed associative-propositional evaluation model makes specific assumptions about (...) the mutual interplay of the 2 processes, implying several mechanisms that lead to symmetric or asymmetric changes in implicit and explicit attitudes. The model integrates a broad range of empirical evidence and implies several new predictions for implicit and explicit attitude change. (shrink)

The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by (...) counterconditioning or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

We discuss findings on evaluative conditioning (EC) that are problematic for the account of learning, namely, dissociations between conscious beliefs and acquired (dis)liking. We next argue that, both for EC and for Pavlovian learning in general, conditioned responding cannot rationally be inferred from propositional knowledge type and that, therefore, performance cannot be explained.

Advanced old age has been characterized as a biologically highly vulnerable life phase. Biological, morbidity-, and cognitive impairment-related factors play an important role as mortality predictors among very old adults. However, it is largely unknown whether previous findings confirming the role of different wellbeing domains for mortality translate to survival among the oldest-old individuals. Moreover, the distinction established in the wellbeing literature between hedonic and eudaimonic wellbeing as well as the consideration of within-person variability of potentially relevant mortality predictors has (...) not sufficiently been addressed in prior mortality research. In this study, we examined a broad set of hedonic and eudaimonic wellbeing indicators, including their levels, their changes, as well as their within-person variability, as predictors of all-cause mortality in a sample of very old individuals. We used data from the LateLine study, a 7-year longitudinal study based on a sample of n = 124 individuals who were living alone and who were aged 87–97 years at baseline. Study participants provided up to 16 measurement occasions between 2009 and 2016. Dates of death were available for 118 individuals who had deceased between 2009 and 2021. We ran longitudinal multilevel structural equation models and specified between-person level differences, within-person long-term linear change trends, as well as the “detrended” within-person variability in three indicators of hedonic and four indicators of eudaimonic wellbeing as all-cause mortality predictors. Controlling for age, gender, education, and physical condition and testing our sets of hedonic and eudaimonic indictors separately in terms of their mortality impact, solely one eudaimonic wellbeing indicator, namely, autonomy, showed significant effects on survival. Surprisingly, autonomy appeared “paradoxically” related with mortality, with high individual levels and intraindividual highly stable perceptions of autonomy being associated with a shorter residual lifetime. Thus, it seems plausible that accepting dependency and changing perceptions of autonomy over time in accordance with objectively remaining capabilities might become adaptive for survival in very old age. (shrink)

In this paper we take up the question of the explanatory significance of the notion of propositional content. Our first goal is to disentangle two types of approach: According to what we call inflationism, propositions should be taken seriously enough to expect explanatory payoffs from them. The alternative deflationary approach rejects this claim. Our second goal is to explore the inflationism vs. deflationism contrast in depth by focusing on the distinction between singular and general propositions. We argue that (...) inflationism fails and outline a variety of deflationism that offers the best prospects for explaining the singular/general divide. (shrink)

Is knowledge-how a hidden knowledge-that, and therefore also a relation between an epistemic subject and a proposition? What is the connection between knowledge-how and knowledge-that? I will deal with both questions in the course of my paper. In the first part, I argue that the term ‘knowledge-how’ is an ambiguous term in a semantic pragmatic sense, blending two distinct meanings: ‘knowledge-how’ in the sense of knowledge-that, and ‘knowledge-how’ in the sense of an ability. In the second part of my paper, (...) I construe five alternative ways of correlating knowledge-that and knowledge-how in the sense of an ability. I will argue in favour of one of them. I will show that knowledge-how is not a species of knowledge-that but rather that knowledge-that is a species of knowledge-how. More specifically, dispositional knowledge-how is at the core of propositional knowledge-that and accordingly should be understood to be at the center of epistemology. (shrink)

I discuss Dietrich von Hildebrand, a realist phenomenologist, and Louis Groarke, an Aristotelian. They are close in epistemology and modal metaphysics, but divided about the metaphysical necessity of standard lawlike propositions – i.e., standard natural laws and standard truths about natural kinds. I extract and undermine the reasons of both authors. Hildebrand claims that no standard lawlike proposition is metaphysically necessary, since none is in principle knowable solely by considering essences. I undermine this when I argue that the explanation (...) of positive instances of at least some standard lawlike propositions by the metaphysical necessity of these propositions is quite plausibly true. Groarke claims that some standard lawlike propositions are metaphysically necessary, since their positive instances exemplify natural kinds that make all their members necessarily similar in relevant ways. I undermine this, too, as I point out the obscurity of relevant similarity. Finally I argue against Groarke’s suggestion that an appeal to relevant similarity is presupposed in all acceptable inductive arguments from samples. (shrink)

Leg rigidity is associated with frequent falls in people with Parkinson’s disease, suggesting a potential role in functional balance and gait impairments. Changes in the neural state due to secondary tasks, e.g., activation maneuvers, can exacerbate rigidity, possibly increasing the risk of falls. However, the subjective interpretation and coarse classification of the standard clinical rigidity scale has prohibited the systematic, objective assessment of resting and activated leg rigidity. The pendulum test is an objective diagnostic method that we hypothesized would be (...) sensitive enough to characterize resting and activated leg rigidity. We recorded kinematic data and electromyographic signals from rectus femoris and biceps femoris during the pendulum test in 15 individuals with PD, spanning a range of leg rigidity severity. From the recorded data of leg swing kinematics, we measured biomechanical outcomes including first swing excursion, first extension peak, number and duration of the oscillations, resting angle, relaxation index, maximum and minimum angular velocity. We examined associations between biomechanical outcomes and clinical leg rigidity score. We evaluated the effect of increasing rigidity through activation maneuvers on biomechanical outcomes. Finally, we assessed whether either biomechanical outcomes or changes in outcomes with activation were associated with a fall history. Our results suggest that the biomechanical assessment of the pendulum test can objectively quantify parkinsonian leg rigidity. We found that the presence of high rigidity during clinical exam significantly impacted biomechanical outcomes, i.e., first extension peak, number of oscillations, relaxation index, and maximum angular velocity. No differences in the effect of activation maneuvers between groups with clinically assessed low rigidity were observed, suggesting that activated rigidity may be independent of resting rigidity and should be scored as independent variables. Moreover, we found that fall history was more common among people whose rigidity was increased with a secondary task, as measured by biomechanical outcomes. We conclude that different mechanisms contributing to resting and activated rigidity may play an important yet unexplored functional role in balance impairments. The pendulum test may contribute to a better understanding of fundamental mechanisms underlying motor symptoms in PD, evaluating the efficacy of treatments, and predicting the risk of falls. (shrink)

People positively appraise odors of individuals who are genetically different from themselves. Here we analyzed the relationship between perceived similarity of body odor to the judges’ relatives and their partners, and characteristics attributed to the odor donor. Seventy-six women were asked to smell one of the scents of twenty-nine men, and rate variables related to potential sexual interest in odor donor. We hypothesized that characteristics related to potential sexual interest would be associated with odor donors smelling similar to a partner, (...) rather than with odor donors smelling similar to a relative. We found that perceived similarity to a partner’s scent was positively correlated with ratings of variables related to potential sexual interest in odor donor, whereas the resemblance to a close relative’s scent did not correlate with these assessments. (shrink)

Resolution and cut-free LK are the most popular propositional systems used for logical automated reasoning. The question whether or not resolution and cut-free LK have the same efficiency on the system of CNF formulas has been asked and studied since 1960 425–467). It was shown in Cook and Reckhow, J. Symbolic Logic 44 36–50 that tree resolution has super-polynomial speed-up over cut-free LK. Naturally, the current issue is whether or not resolution and cut-free LK expressed as directed acyclic graphs have (...) the same efficiency. In this paper, we introduce a new algorithm to eliminate atomic cuts and show that cut-free LK polynomially simulates resolution when the input formula is expressed as a k-CNF formula. As a corollary, we show that regular resolution does not polynomially simulate cut-free LK . We also show that cut-free LK polynomially simulates regular resolution. (shrink)

This paper considers the efficiency of the political market in the California State legislature. I analyzed the property tax limitation voter initiative, Proposition 13. I found that districts which supported Proposition 13 more strongly were more likely to oppose the incumbents regardless of whether the incumbents had the different preferences for property taxes from their districts. I also studied how legislators voted on the bills adopted after the passage of Proposition 13 to finance local governments. I found that legislators tended (...) to follow the constituents tax-cutting message expressed by the passage of Proposition 13. (shrink)

It is shown that both classical and intuitionistic propositional logics of an associative binary modality are undecidable. The proof is based on the deduction theorem for these logics.

Over thirty years ago, Richard Rorty’s Philosophy and the Mirror of Nature declared the demise of epistemology and the arrival of a new post-Philosophical era. Rorty envisaged the intellectual activity of this predominantly literary culture as an unconstrained large-scale conversation that would flourish in an “ecstasy of spiritual freedom.” Having abandoned all systematic pretensions, edifying philosophers would add their voice to the conversation of mankind, fully aware of the radical incommensurability of the mortal vocabularies they employ. In an attempt to (...) evaluate this radical proposal, the first part of this essay argues that some of Rorty’s most memorable utopian statements are far-fetched, rhetorical and often exaggerated to the point that they damage his broad humanistic vision. Building on this, the second part discusses the “missed potential” of Rorty’s excessively broad notion of a conversation of mankind and of the uncompromisingly anti-essentialist and anti-foundationalist reorientation that he proposes. (shrink)

Nondescriptivist views in many areas of philosophy have long been associated with the commitment that in contrast to other domains of discourse, there are no propositions in their particular domain. For example, the ‘no truth conditions’ theory of conditionals1 is understood as the view that conditionals don’t express propositions, noncognitivist expressivism in metaethics is understood as advocating the view that there are not really moral propositions,2 and expressivism about epistemic modals is thought of as the view that (...) there is no such thing as the proposition that Jack might be at home, over and above the proposition that Jack is at home.3 Of course, it is nearly always acknowledged that advocates of a nondescriptivist theory need not deny that there are conditional, moral, or modal propositions ‘at the end of the day’ – for if they also endorse a deflationary reading of talk about propositions, as famously advocated by Simon Blackburn, then they can employ such deflationary talk just as much as the rest of us. They just don’t appeal to propositions to do any of the work in their theories. Rather, they ‘earn the right’ to talk about propositions.4 It is the aim of this paper to upset this way of thinking about the proper attitude of nondescriptivists toward propositions, and to advocate a more constructive and in some ways more radical alternative on behalf of the nondescriptivist. I will begin by introducing and developing a set of problems that are faced by any nondescriptivist theory which tries to do without propositions. All of these problems are easily solved by any view which postulates propositions across the board, but none of them are solved by merely deflationary talk about propositions – their most promising solutions require propositions to do real theoretical work, and therefore the problems themselves remind us of and illustrate some of the important reasons why it is worth positing propositions in the first place.. (shrink)

The propositional nature of human associative learning is strongly supported by studies of trace eyeblink and fear conditioning, in which awareness of the contingency of a conditioned stimulus upon an unconditioned stimulus is a prerequisite for successful learning. Studies of animal lesion and human imaging suggest that the hippocampus is critical for establishing functional connections between awareness and trace conditioning.

God vs. the Gavel challenges the pervasive assumption that all religious conduct deserves constitutional protection. While religious conduct provides many benefits to society, it is not always benign. The thesis of the book is that anyone who harms another person should be governed by the laws that govern everyone else - and truth be told, religion is capable of great harm. This may not sound like a radical proposition, but it has been under assault since the 1960s. The majority of (...) academics and many religious organizations would construct a fortress around religious conduct that would make it extremely difficult to prosecute child abuse by clergy, medical neglect of children by faith-healers, and other socially unacceptable behaviors. This book intends to change the course of the public debate over religion by bringing to the public's attention the tactics of religious entities to avoid the law and therefore harm others. (shrink)

A proposition is associated in classical mechanics with a subset of phase space, in quantum logic with a projection in Hilbert space, and in both cases with a 2-valued observable or test. A theoretical statement typically assigns a probability to such a pure test. However, since a pure test is an idealization not realizable experimentally, it is necessary — to give such a statement a practical meaning — to describe how it can be approximated by feasible tests. This gives rise (...) to a search for a formal representation of feasible tests, which leads via mixed tests (weighted means of pure tests) to vague tests (convex sets of mixed tests). A model is described in which the latter form a continuous lattice; the pure and mixed tests are the maximal elements and the feasible tests form a basis. Each type of test has its own logic; this is illustrated by the passage from mixed tests to pure tests, which corresponds to the transition from L to classical logic. (shrink)

It is often presumed by those who use propositions in their theories that propositions are representational; that is, that propositions represent the world as being some way. This paper makes two claims against this presumption. First, it argues that it does not follow from the fact that propositions play the theoretical roles usually attributed to them that they are representational. This conclusion is reached by rebutting three arguments that can be made in support of the claim (...) that propositions are representational. This paper then advances the further claim that propositions are not representational. It considers several ways to overcome the difficulties traditionally associated with this claim, particularly how to account for falsity. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically (...) attempts to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

I am often asked to explain the difference between my notion of impliciture (Bach 1994) and the relevance theorists’ notion of explicature (Sperber and Wilson 1986; Carston 2002). Despite the differences between the theoretical frameworks within which they operate, the two notions seem very similar. Relevance theorists describe explicatures as “developments of logical forms,” whereas I think of implicitures as “expansions” or “completions” of semantic contents (depending on whether or not the sentence’s semantic content amounts to a proposition). That is (...) not much of a difference. We agree that implicitures/explicatures go beyond what is said (in a strict sense) and yet fall short of being implicatures. So, what is the difference, or is it just terminological? As we will see, the real differences emerge when the two notions are situated in their respective theoretical frameworks with their contrasting conceptions of what is involved in linguistic communication. (shrink)

Intuitively Austinian propositions are propositions that tell us something about a situation In this paper we will consider Austinian propositions and the associated notion that situations support infons which are to be found in situation theory and situation semantics We will try to tease out the consequences of taking the Austinian approach advocated in situation semantics as opposed to a very similar approach originally proposed by Davidson That is that event predicates where events are to be generally (...) conceived so as to be more like the notion of sit uation i e including states and processes are taken to have an argument position for an event We will do this comparison with respect to an area of data that was part of the original motivation for situation semantics naked in nitive perception complements see Barwise and Perry We will see that negative descriptions of events are one area where the Austinian and Davidsonian approaches make dif ferent predictions and at the end of the paper we will brie y consider negative event descriptions more generally with particular reference to the DRT analysis based on a Davidsonian approach as exempli ed by Amsili and Le Draoulec this volume.. (shrink)

This paper’s most general aim is to illuminate the disagreement between singularists about thought (who claim there are non-descriptive thoughts about ordinary external objects), and descriptivists about thought (who claim all thought about ordinary external objects is descriptive). It does this by clarifying the common claim that singular thoughts have an anchoring role with respect to thought in general and by making two further claims: 1) some of the putative disagreements between singularists and descriptivists are illusory once properly understood, and (...) 2) singularists can more productively argue for their view by separating it from some of the framework in which it is commonly packaged. Separating the singular/descriptive thought distinction from the structured content framework, and casting the singularist’s central claim as one about the structure or form of what I will call referentially anchored thoughts, allows us to move past a common kind of impasse. (shrink)

The theory of living beings as machines of nature and the conception of composite substances endowed with conjoined souls, entelechies, or monads, as well as that of organic bodies, were solidified over the course of the transformations of Leibniz's thought that issued in the New System of Nature. On this basis, the monadological versions of a system of nature centered upon the integrated organization ad infinitum of living beings were gradually articulated. Leibniz aimed to spell out a science, or physiology (...) of vital processes, that would be, as much as possible, in agreement with the epistemological exigencies of the complex metaphysical model that he had elaborated. On the one hand, Leibniz offers a critical evaluation of the methodological options that divide the allegiances of the physicians and naturalists who are his contemporaries; what is more, he determines the profile of the analyses and explications that are to be promoted. For This double preoccupation translates into the scientific exchanges and correspondences that accompany the construction of the theory of organic bodies as constituents of machines of nature. The author focuses on the particular case of the propositions concerning the science of the living that stem from his reaction to the work of Georg Ernst Stahl. (shrink)

We can discern two opposing viewpoints regarding synesthesia. According to the first, it is an oddity, an outlier, or a disordered condition. According to the second, synesthesia is pervasive, driving creativity, metaphor, or language itself. Which is it? Ultimately, I favor the first perspective, according to which cross-sensory synesthesia is an outlying condition. But the second perspective is not wholly misguided. My discussion has three lessons. First, synesthesia is just one of a variety of effects in which one sense modality (...) causally impacts and reshapes experience associated with another. These effects are utterly common. However, due to their unfamiliarity, and to their conflict with a widespread conception of the role of the senses in perception and perceptual experience, until recently they have been surprising. Second, synesthesia nevertheless must be distinguished from other inter-modal effects that lead to misperception, such as crossmodal illusions. Third, synesthesia also may be distinguished from the potentially much broader class of synesthetic effects, which could be common across the population and within individuals. (shrink)

Aristotle’s concept of subject, or hypokeimenon, has been understudied in scholarship, in part because, since Aristotle associates it with his concept of ousia or substance, discussion of hypokeimenon is often eclipsed by that of substance. It is often thought that Aristotle introduces hypokeimenon as the criterion for being a substance in his Categories. In this essay I argue that he does not, thus calling into question some entrenched views about Aristotelian substance. Divorcing hypokeimenon from substance in this way emphasizes the (...) need for an account of hypokeimenon in its own right. In this essay I also begin this work by using an often overlooked pointer in Categories towards a discussion in An. Po., in whose context Aristotle's logical notion of hypokeimenon begins to become more clear. (shrink)

There is a fundamental disagreement about which norm regulates assertion. Proponents of factive accounts argue that only true propositions are assertable, whereas proponents of non-factive accounts insist that at least some false propositions are. Puzzlingly, both views are supported by equally plausible (but apparently incompatible) linguistic data. This paper delineates an alternative solution: to understand truth as the aim of assertion, and pair this view with a non-factive rule. The resulting account is able to explain all the relevant (...) linguistic data, and finds independent support from general considerations about the differences between rules and aims. (shrink)

For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by Ingarden’s (...) approach, showing how it distinguishes the properties possessed by fictional objects (for instance of having been created by such and such an author in such and such a work) from characteristics (for instance of smoking a pipe, of living in Baker Street) which are merely associated with such objects. (shrink)

A significant part of everyday learning occurs incidentally — a process typically described as implicit learning. A central issue in this domain and others, such as language acquisition, is the extent to which performance depends on the acquisition and deployment of abstract rules. Shanks and colleagues [22], [11] have suggested (1) that discrimination between grammatical and ungrammatical instances of a biconditional grammar requires the acquisition and use of abstract rules, and (2) that training conditions — in particular whether instructions orient (...) participants to identify the relevant rules or not — strongly influence the extent to which such rules will be learned. In this paper, we show (1) that a Simple Recurrent Network can in fact, under some conditions, learn a biconditional grammar, (2) that training conditions indeed influence learning in simple auto-associators networks and (3) that such networks can likewise learn about biconditional grammars, albeit to a lesser extent than human participants. These findings suggest that mastering biconditional grammars does not require the acquisition of abstract rules to the extent implied by Shanks and colleagues, and that performance on such material may in fact be based, at least in part, on simple associative learning mechanisms. (shrink)

This paper is concerned with Wittgenstein's early doctrine of the independence of elementary propositions. Using the notion of a free generator for a logical calculus–a concept we claim was anticipated by Wittgenstein–we show precisely why certain difficulties associated with his doctrine cannot be overcome. We then show that Russell's version of logical atomism–with independent particulars instead of elementary propositions–avoids the same difficulties.

Modern scholars have always associated the Minervium of Varro with the parva delubra mentioned by Ovid, which is related to the cult of Minerva Capta: in fact, these two different names identify the same temple, located on the Cealius hill. Therefore, this work examines the etymological, linguistic and historical context of both names of Minerva’s shrine, by pointing out any religious and cultual implications concerning such expressions: the Minervium, connected to the archaic list of sacella Argeorum; the epithet Capta, whose (...) meaning is fundamental to the comprehension of a cult connected with post-pubertal transition rites. In conclusion, both expressions must be linked to the archaic period of the Roman religion and so demonstrate the antiquity of Minerva’s cult, as it regards the Celius hill but also the history of the whole Roman community. (shrink)

A propositional framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from.The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of interpretations of the formula language. The corresponding Hilbert system incorporates the algebraic equations as (...) axioms asserted in context.In semigroups of contexts, where combination of contexts is associative, finite ground algebraic equations correspond to contingent equivalence between certain logical formulas. Systems for sets and multisets of contexts are obtained by presenting their respective algebras as associativity plus finite ground equations. Soundness and completeness results are proved.Some contextual reasoning systems in the literature are inherently associative, and we present those as special cases. (shrink)

ABSTRACT This paper follows on previous papers which present and evaluate various decision procedures for modal logics. We consider new test sets and systems that have been recently proposed in the literature. This new experimental analysis confirm previous experimental results in showing that SAT based decision procedures, i.e., the procedures built on top of decision procedures for propositional satisfiability, are more efficient than tableau based decision procedures. They also confirm previous evidence of an easy-hard-easy pattern in the satisfiability curve for (...) modal K. Finally, on these tests, SAT based decision procedures are also more efficient than the recently proposed decision procedures based on translation methods. These results contradict some of the claims presented in previous papers by other authors. (shrink)