Since the late 1980’s Kim has presented some major reasons to abandon SC. In MIAPW at least four of these reasons are offered: under SC we lose mental causation, mental realism and psychological explanations. Moreover, supervenience cannot do the job as the cementing relation in SC.
Since the late 1980’s Kim has presented some major reasons to abandon SC. In MIAPW at least four of these reasons are offered: under SC we lose mental causation, mental realism and psychological explanations. Moreover, supervenience cannot do the job as the cementing relation in SC.
How does mind fit into nature? Philosophy has long been concerned with this question. No contemporary philosopher has done more to clarify it than Jaegwon Kim, a distinguished analytic philosopher specializing in metaphysics and philosophy of mind. With new contributions from an outstanding line-up of eminent scholars, this volume focuses on issues raised in Kim's work. The chapters cluster around two themes: first, exclusion, supervenience, and reduction, with attention to the causal exclusion argument for which Kim is widely celebrated; and (...) second, phenomenal consciousness and qualia, with attention to the prospects for a functionalist account of the mental. This volume is sure to become a major focus of attention and research in the disciplines of metaphysics and philosophy of mind. (shrink)
In his Theory of Controversies, Marcelo Dascal proposed three types of polemic exchange, in which Controversy was added to the classic types of Discussion and Dispute. For example, in Dascal’s lights, logic is associated with polemic discussions, power manipulations with disputes, and ‘soft logic’ with controversies. The theory was remarkably successful in providing a realist framework for polemic exchanges. In this paper, I provide a conceptually independent substantiation and expansion of the theory, by associating it with meta-ethical analysis of (...) thick and thin concepts, indebted to Michael Walzer, Menachem Fisch and Yitzhak Benbaji. (shrink)
Andreas Huyssen has called the Argentinian photographer Marcelo Brodsky's latest project, Nexo, memory art, that is, a form of public mnemonic art that oscillates from installation, photography and monument to memorial, breaking artistic boundaries. The article will explore the role of photography in the field of human rights and the interspace between private and public spheres. Brodsky's work aims to reinstate the gaps in the collective spheres of recollection and this will be contextualized in his artistic production from the (...) late 1970s onwards. Nexo follows on from the internationally acclaimed project Buena memoria that was also an attempt to create a bridge for the memory for the new generation of Argentinians. This contribution aims to explore how Brodsky's artistic production represents what the Argentinian sociologist Elizabeth Jelín has described as art that wants to create a symbolic space to mediate traumatic experiences. (shrink)
Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)
Dirac's classical electrodynamics countenances "preaccelerations" of charged particles at a time t as mathematical functions of external forces applied after the time t. These preaccelerations have been interpreted as evidence for physical retrocausation upon assuming that, in electrodynamics no less than in Newton's second law, external forces sustain an asymmetric causal relation to accelerations. And this retrocausal interpretation has just been defended against the critiques in (Grunbaum 1976), (Grunbaum and Janis, 1977 and 1978) by appeal to the formal assimilation of (...) the electrodynamic laws of motion to Newton's second law. It is argued below that this latest defense of the retrocausal interpretation is even more ill-founded than the prior ones in the literature. (shrink)
The problem of exclusion threatens non-reductive physicalist theories of the mind by implying that they cannot account for mental causation. This paper attempts to clarify what exactly the exclusion problem is, and, given the problem, to survey the theoretical options open. First I reconstruct the problem from its most influential sources, showing that it should be understood as an ontological rather than an explanatory problem. I then distinguish the problem from some consequences that seem to follow from it. Finally I (...) sketch a map of possible answers to exclusion. (shrink)
Controversy: Reading. Darwin. Through. Dascalian. Eyes. Anna Carolina K.P. Regner Abstract Marcelo Dascal has ... In the present text, I explore the impact of his approach on the analysis of Charles Darwin's 'one long argument', as Darwin calls his theory of the origin of species. ... Perspectives on Theory of Controversies and the Ethics of Communication, Logic, Argumentation & Reasoning 2, DOI ...
Quantum mechanics, and the micro level indeterminacy it implies, is generally accepted by philosophers. So too naturalism on which macro states are held to supervene on micro states is now orthodox in the philosophy of mind and science. Still, in both fields it is frequently assumed that macro systems evolve deterministically. This assumption is commonly implicit and undefended, though at times it is made explicit and given minimal defense. In neither case is the incompatability of quantum indeterminacy, macro-micro dependence, and (...) macro level determinism fully acknowledged. Even when incompatability is recognized, it is held that there is hope that quantum indeterminacy might be confined to micro levels. We argue that this is a vain hope. For certain standard quantum mechanical systems, micro indeterminism entails macro indeterminism unless macro states are effectively independent from micro states. This result obtains whether the relationship between supervenient and subvenient states is deterministic or indeterministic. (shrink)
In 1940 Dugundji proved that no system between S1 and S5 can be characterized by finite matrices. Dugundji’s result forced the development of alternative semantics, in particular Kripke’s relational semantics. The success of this semantics allowed the creation of a huge family of modal systems. With few adaptations, this semantics can characterize almost the totality of the modal systems developed in the last five decades. This semantics however has some limits. Two results of incompleteness showed that not every modal logic (...) can be characterized by Kripke frames. Besides, the creation of non-classical modal logics puts the problem of characterization of finite matrices very far away from the original scope of Dugundji’s result. In this sense, we will show how to update Dugundji’s result in order to make precise the scope and the limits of many-valued matrices as semantic of modal systems. A brief comparison with the useful Chagrov and Zakharyaschev’s criterion of tabularity for modal logics is provided. (shrink)
Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)
From the early to mid-1970s, Michel Foucault posited that power consists of a relation rather than a substance and that this relation is comprised of unequal forces engaged in a warlike struggle against each other, resulting invariably in the domination of some forces over others. This understanding of power, which he retrospectively dubbed `Nietzsche's hypothesis' and `the model of war', underpinned his well-known analyses of disciplinary power. Yet, Foucault in his Collège de France course from the academic year 1975-6, `Society (...) Must Be Defended', suddenly began to call into question this understanding and his doubts about it did not abate well into the late 1970s. In this article, we suggest that his militant politics in the early 1970s sustained his adherence to the war model and that his more cautious political attitude later in the decade underpinned his suspicions about this model. Key Words: biopolitics • Henri de Boulainvilliers • Michel Foucault • Thomas Hobbes • militancy • F. W. Nietzsche • politics • power • race • war. (shrink)
We provide a model in which students must choose whether or not to cheat on a course exam. By assuming that the moral cost of acting dishonestly decreases as the number of other people who behave in the same way increases, our model explains one important channel by which unethical behavior of other individuals can influence observers’ behavior. Through the use of the Global Games approach of equilibrium selection, we build a framework that provides the micro-foundations of peer effects on (...) academic dishonesty and shows how better student technology of cheating and higher disutility of effort make the cheating equilibrium more likely to be selected. By extending the model, we find that the peer effect strength is not affected by the level of homogeneity of the cohort, but decreases in the size of the class. Our approach may be seen as an important step towards reduced-form models of peer effects on dishonest behavior. (shrink)
Au cours de cet entretien, Emmanuel Renault nous offre un aperçu de la manière dont la thématique de la reconnaissance est traitée en France aujourd’hui, notamment à travers le renouveau des études sur Hegel et Marx. Il explique la façon dont la reconnaissance a pu s’ériger en paradigme (en dépit de ses usages multiples et variés en France comme ailleurs), au cours de la dernière décennie et le rôle joué par Axel Honneth dans ce procès. Finalement, il explicite sa manière (...) d’envisager la pratique de la philosophie politique et son projet d’une critique du capitalisme. Emmanuel Renault nous livre également un commentaire critique mais constructif sur la manière dont Paul Ricœur envisage la reconnaissance et suggère quelques pistes concernant les possibles développements futurs des usages de la reconnaissance. (shrink)
This article sets out to revisit Herbert Marcuse’s “transcendent project” of liberation, as well as his notion of “post-technological rationality,” which grounded this project, articulated in outline form in the last section of One-Dimensional Man and in fragments throughout his middle writings between 1955 and 1972. The aim is to assess this project’s continued validity for the struggle for alternatives to the disorganizations and enclosures of neoliberal capitalism and its perpetual moments of crises. This article first reviews Marcuse’s place within (...) substantivist critiques of technology. It then works through how Marcuse’s “post-technological rationality”—the other side of his technology critique—envisions social change happening via a rerationalized, revalued, and reaestheticized technological base spurred by the openings for alternatives made possible by a reconstituted subjectivity, determinate negation, and moments of crisis. (shrink)
Proper fork algebras are algebras of binary relations over a structured set. The underlying set has changed from a set of pairs to a set closed under an injective function. In this paper we present a representation theorem for their abstract counterpart, that entails that proper fork algebras — whose underlying set is closed under an injective function — constitute a finitely based variety.1.
Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)
The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with more (...) than two values? Because, we argue, one has to decide how to deal with bivalence and settle down the tradeoff between logical 2-valuedness and truth-functionality, from a pragmatical standpoint. -/- This paper will illustrate the ups and downs of a two-valued reduction of logic. Suszko’s reductive result is quite non-constructive.We will exhibit here a way of effectively constructing the two-valued semantics of any logic that has a truth-functional finite-valued semantics and a sufficiently expressive language. From there, as we will indicate, one can easily go on to provide those logics with adequate canonical systems of sequents or tableaux. The algorithmic methods developed here can be generalized so as to apply to many non-finitely valued logics as well —or at least to those that admit of computable quasi tabular two-valued semantics, the so-called dyadic semantics. (shrink)
