An implication is a proposition, a consequence is a relation between propositions, and an inference is act of passage from certain premise-judgements to another conclusion-judgement: a proposition is true, a consequence holds, whereas an inference is valid. The paper examines interrelations, differences, refinements and linguistic renderings of these notions, as well as their history. The truth of propositions, respectively the holding of consequences, are treated constructively in terms of verification-objects. The validity of an inference is elucidated in terms of the (...) existence of a chain of immediately evident steps linking premises and conclusion. (shrink)

This chapter contains sections titled: I II III IV V VI VII VIII IX X.

The paper offers an interpretation of thesis 6.01. The treatment touches upon variables, identity, elementary propositions, internal relations. Klammerausdrücke, and operations. Wittenstein's notations are found not to cover the particular form of definition by induction that is used at 6 and 6.01. It is concluded that Wittgenstein's ability to design of a formal system of logic does not match his outstanding logico-philosophical insight.

This chapter contains sections titled: A Timeline of Medieval Logicians A Guide to the Literature.

Do we remember what pain feels like? Investigations into this question have sometimes led to ambiguous or apparently contradictory results. Building on research on pain memory by Rohini Terry and colleagues, I argue that this lack of agreement may be due in part to the difficulty researchers face when trying to convey to their study's participants the type of memory they are being tasked with recalling. To address this difficulty, I introduce the concept of 'qualitative memory', which, arguably, is the (...) sort of memory we have of what red looks like yet lack with respect to pain. I also briefly address a number of consequences the acknowledgment of qualitative memory would potentially have for philosophy, arguing that if we fail to have qualitative memories of certain sensations, such as pain, the standard philosophical accounts of experience, rational choice, and the sources of moral action may all need revision. (shrink)

The problem of finding irreducible representations of a simple Lie group that decompose into just pure replications of a representation of a subgroup is considered. Replications involving tensor representations of the orthogonal groups are studied in detail using counting groups whose representation dimensions correspond to branching multiplicities. Replications involving spinor and mixed tensor representations are briefly considered.

Susan Schneider argues that physicalism must be false if abstracta are part of the physicalist's dependence base. In opposition to her view, here I set out some reasons to think that abstracta in general, including abstracta that are woven into the dependence base, are something physicalists can countenance with consistency.