Online research in philosophy

In this monumental work of complex and probing proportions, the renowned feminist and psychoanalyst Gemma Corradi Fiumara surveys the vast literature on metaphor. She suggests that metaphorical language communicates via the creation images, pictures and finds in it an irreducible aspect to interpersonal communication and our use of language itself. Combining an intimate knowledge of psychology and and philosophy to produce a masterful work in the function and role of metaphor in language and life, Fiumara contends that metaphors lead (...) to the creation of ever new worlds of experience, to which one could not otherwise gain access. Inventing new ways of thinking about metaphor, Fiumara suggests, generates new ways in which human beings can examin their relationship to hemselves and the language which they inhabit. (shrink)

Our philosophy is grounded in only half a language, in which the power of discourse is deployed whilst the strength of listening is ignored. We inhabit a culture that knows how to speak but not how to listen; so we mistake warring monologues for genuine dialogue. Western philosophies have consistently endowed expressive language with the power of communication, reducing the unspeaking, non-expressive Other to a void. In this remarkable book, Gemma Corradi Fiumara redresses the balance by looking at the (...) other side of language--listening. Synthesizing the insights of Wittgenstein, Heidegger and Gadamer, among many others, she puts forward a powerful argument for the replacement of "silent" silence of Western thought with the rich openness of an authentic listening. (shrink)

Whereas geometrical oppositions (logical squares and hexagons) have been so far investigated in many fields of modal logic (both abstract and applied), the oppositional geometrical side of “deontic logic” (the logic of “obligatory”, “forbidden”, “permitted”, . . .) has rather been neglected. Besides the classical “deontic square” (the deontic counterpart of Aristotle’s “logical square”), some interesting attempts have nevertheless been made to deepen the geometrical investigation of the deontic oppositions: Kalinowski (La logique des normes, PUF, Paris, 1972) has proposed a (...) “deontic hexagon” as being the geometrical representation of standard deontic logic, whereas Joerden (jointly with Hruschka, in Archiv für Rechtsund Sozialphilosophie 73:1, 1987), McNamara (Mind 105:419, 1996) and Wessels (Die gute Samariterin. Zur Struktur der Supererogation, Walter de Gruyter, Berlin, 2002) have proposed some new “deontic polygons” for dealing with conservative extensions of standard deontic logic internalising the concept of “supererogation”. Since 2004 a new formal science of the geometrical oppositions inside logic has appeared, that is “ n -opposition theory”, or “NOT”, which relies on the notion of “logical bi-simplex of dimension m ” ( m = n − 1). This theory has received a complete mathematical foundation in 2008, and since then several extensions. In this paper, by using it, we show that in standard deontic logic there are in fact many more oppositional deontic figures than Kalinowski’s unique “hexagon of norms” (more ones, and more complex ones, geometrically speaking: “deontic squares”, “deontic hexagons”, “deontic cubes”, . . ., “deontic tetraicosahedra”, . . .): the real geometry of the oppositions between deontic modalities is composed by the aforementioned structures (squares, hexagons, cubes, . . ., tetraicosahedra and hyper-tetraicosahedra), whose complete mathematical closure happens in fact to be a “deontic 5-dimensional hyper-tetraicosahedron” (an oppositional very regular solid). (shrink)

This paper explores how the Bayesian program benefits from allowing for objective chance as well as subjective degree of belief. It applies David Lewis’s Principal Principle and David Christensen’s principle of informed preference to defend Howard Raiffa’s appeal to preferences between reference lotteries and scaling lotteries to represent degrees of belief. It goes on to outline the role of objective lotteries in an application of rationality axioms equivalent to the existence of a utility assignment to represent preferences in Savage’s famous (...) omelet example of a rational choice problem. An example motivating causal decision theory illustrates the need for representing subjunctive dependencies to do justice to intuitive examples where epistemic and causal independence come apart. We argue to extend Lewis’s account of chance as a guide to epistemic probability to include De Finetti’s convergence results. We explore Diachronic Dutch book arguments as illustrating commitments for treating transitions as learning experiences. Finally, we explore implications for Martingale convergence results for motivating commitment to objective chances. (shrink)

Published in Darren Tofts, Annemarie Jonson, and Alessio Cavallaro (eds), _Prefiguring Cyberculture: an intellectual history_ (MIT Press and Power Publications, December 2002). Please do send comments: email me. Back to my main publications page . Back to my home page.

This collection is one of the first to offer feminist perspectives on epistemology from thinkers outside North America. It presents essays from an international group of contributors, including Rosi Braidotti, Gemma Corradi Fiumara, Anna Yeatman, Sabina Lovibond and Liz Stanley. Using approaches and methods from both analytic and continental philosophy, the contributors engage with questions of traditional epistemology and with issues raised by postmodernist critiques. The essays deal with the central question of difference: the difference which a feminist perspective (...) yields in relation to traditional knowledge and the effects on feminist perspectives of differences between women. This awareness of difference requires a re-evaluation of the idea of objectivity and the justification of knowledge claims in ways that focus attention on the subjects who constitute the knowledge producers. Knowing the Difference presents some of the most innovative thinking in feminist epistemology and sets the agenda for the next decade. (shrink)

Religious beliefs are often singled out for special treatment in secular liberal societies. Yet if a legal exemption is granted for a belief with a religious foundation, the question arises whether a similar, non-religious moral belief must also be granted an exemption. I argue that common reasons for favoring religious over non-religious beliefs fail to provide a convincing moral case for drawing a distinction of this nature. I focus on arguments concerning the role of religious beliefs in constituting an individual's (...) identity and the transcendental nature of religion, which lead me to consider in the final section the role of choice in religious belief. (shrink)

Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.

The Mind's Affective Life is a refreshing and innovative examination of the relationship between feeling and thinking. Our thoughts and behavior are shaped by both our emotions and reason; yet until recently most of the literature analyzing thought has concentrated largely on philosophical reasoning and neglected emotions. This book is an original and provocative contribution to the rapidly growing literature on the neglected "affective" dimensions of modern thought. The author draws on contemporary psychoanalysis, philosophy, feminist theory, and recent innovations in (...) neuroscience to argue that in order to understand thought, we need to consider not only both emotional and rational aspects of thought but also the complex interactions between these different aspects. Only through such a rich and complicated understanding of modern thought can we hope to avoid what the author identifies as a significant contemporary problem for individuals and cultures; that is, suppression or denial of intolerable states of feeling. (shrink)

Pragmatist reinterpretations of both deliberative-communicative theory and legal positivism point out the mentalist fallacy entailed by these prevalent models. I argue that pragmatist approaches imply analogous erroneous beliefs since they presuppose as given the shared perception of social contexts. Therefore they take for granted the shared interpretation of social problems and shared selection of common goals. Hence I advance the necessity of inquiring into the possibility conditions for a shared perception of social contexts. This would entail the organization of institutional (...) incentives meant to extend the scope and inclusiveness of the immediate perception of social context expressed by different agents. (shrink)

Identities ascribed to research staff in face-to-face encounters with participants have been raised as key ethical challenge in transnational health research. ‘Misattributed’ identities that do not just deviate from researchers' self-image, but obscure unequivocal aspects of researcher identity – e.g. that they are researchers – are a case of such ethical problem. Yet, the reasonable expectation of unconcealed identity can conflict with another ethical premise: confidentiality; this poses challenges to staff visiting participants at home. We explore these around a case (...) study of ‘follow-up’ staff, observed during an ethnographic study of a Kenyan HIV ‘trial community’, which included participant observation, conversations, and interviews with staff (n = 79) and participants (n = 89). We found that because of the need to maintain confidentiality and because of some suspicions towards researchers, research staff drew upon alternative identities – presenting themselves to non-participants as relatives or friends, rather than as researchers. Several staff experienced this as necessary but uncomfortable. Simultaneously, staff and participants forged close relations in line with their fictional identities, which however also posed challenges because they entailed personal responsibilities that were difficult to live up to, due to limited resources, and the trial's limited duration. Similar challenges may arise in transnational HIV treatment programmes and should be explored further in that context. (shrink)

We provide Routley-Meyer type semantics for relevant logics including Contractionless Ticket Entailment TW (without the truth constant t and o) plus reductio R and Ackermann’s rule γ (i.e., disjunctive syllogism). These logics have the following properties. (i) All have the variable sharing property; some of them have, in addition, the Ackermann Property. (ii) They are stable. (iii) Inconsistent theories built upon these logics are not necessarily trivial.

In a standard sense, consistency and paraconsistency are understood as the absence of any contradiction and as the absence of the ECQ (‘E contradictione quodlibet’) rule, respectively. The concepts of weak consistency (in two different senses) as well as that of F -consistency have been defined by the authors. The aim of this paper is (a) to define alternative (to the standard one) concepts of paraconsistency in respect of the aforementioned notions of weak consistency and F -consistency; (b) to define (...) the concept of strong paraconsistency; (c) to build up a series of strongly paraconsistent logics; (d) to define the basic constructive logic adequate to a rather weak sense of consistency. All logics treated in this paper are strongly paraconsistent. All of them are sound and complete in respect a modification of Routley and Meyer’s ternary relational semantics for relevant logics (no logic in this paper is relevant). (shrink)

“Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.

In this paper, consistency is understood as absolute consistency (i.e. non-triviality). The basic constructive logic BKc6, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc6 up to contractionless intuitionistic logic. All logics defined in this paper are paraconsistent logics.

As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...) this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. (shrink)

In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.

As is known, a logic S is paraconsistent if the rule ECQ (E contradictione quodlibet) is not a rule of S. Not less well known is the fact that Lewis’ modal logics are not paraconsistent. Actually, Lewis vindicates the validity of ECQ in a famous proof currently known as the “Lewis’ proof” or “Lewis’ argument.” This proof essentially leans on the Disjunctive Syllogism as a rule of inference. The aim of this paper is to define a series of paraconsistent logics (...) included in S4 where the Disjunctive Syllogism is valid only as a rule of proof. (shrink)

This paper investigates the varieties of reductionism and realism about causal relations in macroeconometrics. There are two issues, which are kept distinct in the analysis but which are interrelated in the development of econometrics. The first one is the question of the reducibility of causal relations to regularities, measured in statistics by correlations. The second one is the question of the reducibility of causes among macroeconomic aggregates to microeconomic behaviour. It is argued that there is a continuum of possible positions (...) between realism and reductionism for both the questions, but, as far as the second question is concerned, the dominant position of mainstream macroeconometrics is strongly reductionist. The paper defends an integrative approach that emphasizes the gradual nature of many real world cases. (shrink)

The Panopticon Writings By Jeremy Bentham (Edited by Miran Bo ovic, Verso, 1995. ISBN 1-85984-958-X (hbk) 34.95. The Other Side of Language: A Philosophy of Listening By Gemma Corradi Fiumara, Routledge, 1995, Pp. 231. ISBN 0-415-04927-X. 12.99. Foreign Bodies By Alphonso Lingis, Routledge, 1994, Pp. vii + 236. ISBN 0-415-90990-2. 45.00 (hbk), 15.99 (pbk).

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45n i-j, is a stronger version of KD, the system often referred to as Standard (...) Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work. (shrink)

Two persons have been proposed as the author of the Summa Lamberti, a thireenth-century treatise on logic. Franco Alessio takes him to be the Auxerre Dominican Lambert of Ligny-le-Châtel, and he basis his claim on Dominican sources from the fourteenth to the nineteenth centuries. Recently, Alain de Libera has presented a counter-proposal: the author was Lambert of Lagny, a secular cleric at the time of the composition, who afterwards became a Dominican. This claim is based on the acta of (...) the counts of Champagne and a document of Pope Urban IV. I conclude that, given the present evidence, de Libera’s case rests on more historically sound data, but that to arrive at this conclusion one must impeach the Dominican sources (not done by de Libera) and take into consideration additional data from the research of Michèle Mulchahey on the introduction of logic into the Dominican curriculum. (shrink)

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...) and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

In this paper, we offer an argument in favor of the modular character of mind, based on a more detailed proof of the modular character of the linguistic capacity: in comparing the properties of different components of grammar in a specific area we will draw general consequences about the properties of the cognitive system. More specifically, we analyze and compare the properties, in logical form (LF)and in phonology, of “empty eIements” - eIements that are “visible” or “full” at some level (...) of representation, but not at another level.Our analysis shows that empty eIements are governed at LF by principIes on variables. binding conditions, and thematic principles, that relate eIements at a distance. In phonology, on the other hand, empty elements, i.e., empty segments and empty properties, can be obtaines by deletion and are governed by very different principles (underspecification, principles relating to recoverability of deletion effects), andthese principles relates eIements under strict adjacency. In addition, when a principle seems to be operating in a similar fashion in both components, as in the case of the Projection Principle, it involves lexical properties, which are properties affecting all components. We conclude, hence, that grammar is a modular system, with different components following different principles but related of course, among other things, by the properties of lexical structure.It follows from this analysis that a theory that views language as part of a homogeneous cognitive capacity cannot be mantained: cognition cannot be nonmodular in a strict sense, since a subpart of it, the linguistic capacity is modular itself. We conclude also that the linguistic capacity being modular, we ean only expect that, when studied in more detail, other cognitive capacities will be shown to differ intheir structure still more from the language system. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BKc4, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc4 up to minimal intuitionistic logic. All logics defined in this paper are paraconsistent logics.

Two versions of minimal intuitionism are defined restricting Contraction. Both are defined by means of a falsity constant F. The first one follows the historical trend, the second is the result of imposing specialconstraints on F. RelationaI ternary semantics are provided.