Online research in philosophy

István Hargittai: Judging Edward Teller: A closer look at one of the most influential scientists of the twentieth century Content Type Journal Article Category Book Review Pages 1-3 DOI 10.1007/s10698-011-9133-x Authors George B. Kauffman, Department of Chemistry, California State University, Fresno, Fresno, CA 93740-8034, USA Journal Foundations of Chemistry Online ISSN 1572-8463 Print ISSN 1386-4238.

Against its prominent compatiblist and libertarian opponents, I defend Galen Strawson’s Basic Argument for the impossibility of moral responsibility. Against John Martin Fischer, I argue that the Basic Argument does not rely on the premise that an agent can be responsible for an action only if he is responsible for every factor contributing to that action. Against Alfred Mele and Randolph Clarke, I argue that it is absurd to believe that an agent can be responsible for an action when no (...) factor contributing to that action is up to that agent. Against Derk Pereboom and Clarke, I argue that the versions of agent-causal libertarianism they claim can immunize the agent to the Basic Argument actually fail to do so. Against Robert Kane, I argue that the Basic Argument does not rely on the premise that simply the presence of indeterministic factors in the process of bringing an action about is itself what rules out the agent’s chance for being responsible for that action. (shrink)

In “The Reappearing Act” István Aranyosi postulates a new way of seeing to solve a puzzle posed in “The Disappearing Act;” an object that is exactly shaded can be seen simply by virtue of its contrast with its environment – just like a shadow. This object need not reflect, refract, absorb or block light. To undermine the motive for this heretical innovation, I generalize the puzzle to situations involving inexact shading. Aranyosi cannot extend his solution to these variations because (...) he needs to conserve principles of camouflage. On the bright side, the solution to the puzzle that I propose in my book Seeing Dark Things does extend to these variations. (shrink)

Istvan Bibó was the clandestine politological authority during the late Kadar period, and was rediscovered after the fall of communism. The essay examines and reconstructs the notions of elite and legitimation in Bibó''s political philosophy. As a young thinker he confronted the value crisis between the two world wars. He was influenced by Oswald Spengler''s and Ortega y Gasset''s theories of elites. The essay analyses the similarities and differences in their views. In Bibó''s conceptual world, the theory of elites is (...) connected with the issue of legitimation, because in his opinion the crisis of elites always results in a crisis of legitimation. Bibó''s analysis of elites, their social responsibilities as well as the types of legitimization are highly instructive for us since they help us rethink our conceptions of the social roles of elites and political legitimation under conditions of globalisation. (shrink)

István Hajnal is one of the most remarkable historians and a forerunner of research on the history of communication. He developed his radical theories on the connections between writing as a technique and social structure mainly in the first half of the twentieth century. He emphasized, in a unique way, the importance of technology for social development arguing that the transformation of social structures and the individual within stand in a mutual and interdependent relation with various technological systems. While (...) doing so he reconsidered Max Weber's concepts of traditionalism and rationalism from a so to speak Heideggerian angle. (shrink)

In God, Mind and Logical Space István Aranyosi takes the reader on a journey for the mind by revisiting the fundamental questions and the everlasting debates in philosophy of religion, ontology, and the philosophy of mind. The first part deals with issues in ontology, and the author puts forward a radical view according to which all thinkable objects and states of affairs have an equal claim to existence in a way that renders existence a relative notion. In the second (...) part another radical view is argued for, according to which some objects and states of affairs that do not exist in our world are nevertheless present in our surroundings by being real in their consequences. The final part argues that the only way to prove the existence of God is to accept a view called Logical Pantheism, according to which God is identical to Logical Space. (shrink)

This paper proposes a new line of attack on the conceivability argument for mind-body property dualism, based on the causal account of properties, according to which properties have their conditional powers essentially. It is argued that the epistemic possibility of physical but not phenomenal duplicates of actuality is identical to a metaphysical (understood as broadly logical) possibility, but irrelevant for establishing the falsity of physicalism. The proposed attack is in many ways inspired by a standard, broadly Kripkean approach to epistemic (...) and metaphysical modality. (shrink)

In this article, I undertake the tasks: (i) of reconsidering Feigl’s notion of a ‘nomological dangler’ in light of recent discussion about the viability of accommodating phenomenal properties, or qualia, within a physicalist picture of reality; and (ii) of constructing an argument to the effect that nomological danglers, including the way qualia are understood to be related to brain states by contemporary dualists, are extremely unlikely. I offer a probabilistic argument to the effect that merely nomological danglers are extremely unlikely, (...) the only probabilistically coherent candidates being ‘anomic danglers’ (not even nomically correlated) and ‘necessary danglers’ (more than merely nomically correlated). After I show, based on similar probabilistic reasoning, that the first disjunct (anomic danglers) is very unlikely, I conclude that the identity thesis is the only remaining candidate for the mental–physical connection. The novelty of the argument is that it brings probabilistic considerations in favor of physicalism, a move that has been neglected in the recent burgeoning literature on the subject. (shrink)

Ordinary people tend to be realists regarding perceptual experience, that is, they take perceiving the environment as a direct, unmediated, straightforward access to a mindindependent reality. Not so for (ordinary) philosophers. The empiricist influence on the philosophy of perception, in analytic philosophy at least, made the problem of perception synonymous with the view that realism is untenable. Admitting the problem (and trying to offer a view on it) is tantamount to rejecting ordinary people’s implicit realist assumptions as naive. So what (...) exactly is the problem? We can approach it via one of the central arguments against realism – the argument from hallucination. The argument is intended as a proof that in ordinary, veridical cases of perception, perceivers do not have an unmediated perceptual access to the world. There are many versions of it; I propose the following1: 1. Hallucinations that are subjectively indistinguishable from veridical perceptions are possible. 2. If two subjective states are indistinguishable, then they have a common nature. 3. The contents of hallucinations are mental images, not concrete external objects. 4. Therefore, the contents of veridical perceptions are mental images rather than concrete external objects. The key move is, I believe, from the fact that hallucinations that are subjectively indistinguishable from cases of veridical perception are possible to an alleged common element, factor, or nature, in the form of a mental state, in the two cases – that is, premise 2. Disjunctivism, at its core, can be taken as simply denying this move, and arguing that all that follows from the premise stating the possibility of hallucinations that are subjectively indistinguishable from cases veridical perception is that there is a broader category, that of “experience as of...”, which encompasses both cases.. (shrink)

ABSTRACT. In this paper I propose a defense of a posteriori materialism. Prob- lems with a posteriori identity materialism are identi?ed, and a materialism based on composition, not identity, is proposed. The main task for such a proposal is to account for the relation between physical and phenomenal properties. Compos- ition does not seem to be ?t as a relation between properties, but I offer a peculiar way to understand property-composition, based on some recent ideas in the literature on ontology. (...) Finally, I propose a materialist model for the mind-body relation that is able to resist the attack from conceivability arguments. (shrink)

If everything exists, then it looks, prima facie, as if talking about nothing is equivalent to not talking about anything. However, we appear as talking or thinking about particular nothings, that is, about particular items that are not among the existents. How to explain this phenomenon? One way is to deny that everything exists, and consequently to be ontologically committed to nonexistent “objects”. Another way is to deny that the process of thinking about such nonexistents is a genuine singular thought. (...) The first strategy we may call “the Meinongian tradition” (championed by authors like Alexius Meinong, Ernst Mally, Terence Parsons, Richard Routley, and Ed Zalta), while the second could be dubbed “the de re tradition” (connected to work by Gareth Evans, John McDowell, and Tyler Burge). Finally, the third way to solve the above puzzle, and probably the majority view in contemporary philosophy, is due to Bertrand Russell and W.V.O. Quine, who deny the particularity of the apparent nonexistent object and the singularity of the corresponding thought via the view that any statement about apparently particular nonexistents can be paraphrased into a quantified expression containing no genuinely referring terms. Jody Azzouni’s book is an attempt to argue for and develop a fourth view, based on the hitherto unrecognised notion of an “empty singular thought”, which Azzouni takes to have a place in logical space. Concomitant to developing the view, Azzouni applies it to three typical cases of talk about nonexistents: numbers, hallucinations, and fictions. As the name suggests, empty singular thought is devised as having three essential characteristics: (1) it is genuine thought, no different from any other, (2) it is singular, that is, its content is partly determined by particular non-conceptualised states of affairs, and (3) nevertheless it is genuinely empty, unlike Meinongian thought, that is, its object “does not exist in any sense”, to use Azzouni’s own formulation. Azzouni undertakes some challenging acrobatics when trying to persuade the reader that his view is substantive and it does not end up being the same as any of the previous three views about apparent talk about nonexistents.. (shrink)

Leibniz notoriously insisted that no two individuals differ solo numero, that is, by being primitively distinct, without differing in some property. The details of Leibniz’s own way of understanding and defending the principle –known as the principle of identity of indiscernibles (henceforth ‘the Principle’)—is a matter of much debate. However, in contemporary metaphysics an equally notorious and discussed issue relates to a case put forward by Max Black (1952) as a counter-example to any necessary and non-trivial version of the principle. (...) Black asks us to imagine, via one of the fictional characters of his dialogue, a world consisting solely of two completely resembling spheres, in a relational space. The supporter of the principle is then forced to admit that although there are ex hypothesi two objects in that universe, there is no property (except trivial ones), not even relational ones, to distinguish them, and hence the necessary version of the principle is falsified. In this essay I will argue that Black’s possible world, together with the dialectic between the potential friends and foes of the Principle as expounded by Black himself.. (shrink)

The author presents an autobiographical story of serious peripheral motor nerve damage resulting from chemotoxicity induced as a side effect of Hodgkin’s Lymphoma treatment. The first-person, phenomenological account of the condition naturally leads to philosophical questions about consciousness, felt presence of oneself all over and within one’s body, and the felt constitutiveness of peripheral processes to one’s mental life. The first-person data only fit well with a philosophical approach to the mind that takes peripheral, bodily events and states at their (...) face value, and not as a body-in-the-brain, which has been popular with most neuroscientists. Thus the philosophical tradition that comes closest to the idea of the peripheral mind is Maurice Merleau-Ponty’s bodily phenomenology. (shrink)

The prospect, in terms of subjective expectations, of immortality under the no-collapse interpretation of quantum mechanics is certain, as pointed out by several authors, both physicists and, more recently, philosophers. The argument, known as quantum suicide, or quantum immortality, has received some critical discussion, but there hasn't been any questioning of David Lewis's point that there is a terrifying corollary to the argument, namely, that we should expect to live forever in a crippled, more and more damaged state, that barely (...) sustains life. This is the prospect of eternal quantum torment. Based on some empirical facts, I argue for a conclusion that is much more reassuring than Lewis's terrible scenario.1. (shrink)

Connectionism is a style of modeling based upon networks of interconnected simple processing devices. This style of modeling goes by a number of other names too. Connectionist models are also sometimes referred to as 'Parallel Distributed Processing' (or PDP for short) models or networks.1 Connectionist systems are also sometimes referred to as 'neural networks' (abbreviated to NNs) or 'artificial neural networks' (abbreviated to ANNs). Although there may be some rhetorical appeal to this neural nomenclature, it is in fact misleading as (...) connectionist networks are commonly significantly dissimilar to neurological systems. For this reason, I will avoid using this terminology, other than in direct quotations. Instead, I will follow the practice I have adopted above and use 'connectionist' as my primary term for systems of this kind. (shrink)

The aim of this book is to examine Erasmus' attitude toward the medieval past and to relate it to his historical consciousness.

Roy Sorensen’s adventure in Shadowland started with his prize-winning article, "Seeing Intersecting Eclipses" (published in The Journal of Philosophy, and chosen by the board of the Philosopher’s Annual as one of the ten best philosophy articles of 1999), which is the basis for the first two chapters in this book. The recipe adopted in that article is followed in most of the following thirteen chapters, five of them being based on Sorensen’s previous articles on the topic: start with an open (...) mind regarding the existence and causal efficacy of absences, shadows, i.e. absences of light, in our case, devise a riddle involving perception of such absences, and draw the consequences for the philosophy of perception and/or ontology. (shrink)

One of the oldest topics in foundational metaphysics is the issue how particulars are to be individuated. To individuate a particular, x, means to find criteria that are necessary and sufficient to ensure the assertibility of x ≠ y, for all and only y that are distinct from x. One can distinguish two separate issues that are run under the heading of individuation. One is the question: what is it about a particular that makes it distinct from all other particulars? (...) The other is the question: how do we single out a particular qua distinct from all other particulars? The distinction closely resembles the one put forward by Hector- Neri Castañeda (1975), except that Castañeda talks about the first question in terms of the issue of the ‘internal constitution’ of objects. This way of speaking is misleading, as it insinuates that it is only intrinsic facts about particulars that could serve as candidates for individuation. Instead, in this essay, I will put forward a theory of individuation in which both questions are treated on equal footing, with the implication that both intrinsic and extrinsic, as well as some special properties that I will introduce play a role in individuating particulars. I call the theory ‘derivational contextualism’. It is an elaboration of some ideas I have put forward in an earlier work (Author forthcoming), regarding some basic conditions for individuation, with a structuralist component. I will.. (shrink)

Mainstream metaphysics has been preoccupied by inquiring into the nature of major kinds of entities, like objects, properties and events, while avoiding minor entities, like shadows or holes. However, one might want to hope that dealing with such minor entities could be profitable for even solving puzzles about major entities. I propose a new ontological puzzle, the Shadow of Constitution Puzzle, incorporating the old puzzle of material constitution, with shadows in the role of the minor entity to guide our approach (...) to the issues involved. I then analyze the standard answers to the original puzzle of constitution, in their role as potential solutions to the new puzzle. Finally, I discuss three views that can solve the proposed puzzle. (shrink)

In his latest book, Roy Sorensen offers a solution to a puzzle he put forward in an earlier article -The Disappearing Act. The puzzle involves various question about how the causal theory perception is to be applied to the case of seeing shadows. Sorensen argues that the puzzle should be taken as bringing out a new way of seeing shadows. I point out a problem for Sorensen’s solution, and offer and defend an alternative view, according to which the puzzle is (...) to be interpreted as showing a new way of seeing objects, in virtue of their contrast with light. (shrink)

I discuss a solution to the Yale shadow puzzle, due to Roy Sorensen, based on the actual process theory of causation, and argue that it does not work in the case of a new version of the puzzle, which I call "the Bilkent shadow puzzle". I offer a picture of the ontology of shadows that constitute the basis for a new solution that uniformly applies to both puzzles.

The exclusion problem for mental causation is one of the most discussed puzzles in the mind-body literature. There has been a general agreement among philosophers, especially because most of them are committed to some form of physicalism, that the dualist cannot escape the exclusion problem. I argue that a proper understanding of dualism --its form, commitments, and intuitions?makes the exclusion problem irrelevant from a dualist perspective. The paper proposes a dualist approach, based on a theory of event causation, according to (...) which events are medium-grained, namely, parsed into mental and physical property components. A theory of contrastive mental causation is built upon this theory of events, for which the problem of exclusion does not arise. (shrink)

This collection surveys the tradition of medieval commentaries on Aristotle's Nicomachean Ethics from its thirteenth-century origins to the fifteenth century, ...

The “brain in a vat” thought experiment is presented and refuted by appeal to the intuitiveness of what the author informally calls “the eye for an eye principle”, namely: Conscious mental states typically involved in sensory processes can conceivably successfully be brought about by direct stimulation of the brain, and in all such cases the utilized stimulus field will be in the relevant sense equivalent to the actual PNS or part of it thereof. In the second section, four classic problems (...) of Functionalism are given novel solutions based on the inclusion of peripheral nervous processes as constituents of mental states: The mad pain problem, the problem of pseudo-normal vision, the China-brain problem, and the triviality problem. (shrink)

In Gadamer's hermeneutics the relationship of philology to philosophy and to the Geisteswissenschaften often became a focus of his hermeneutical reflection. In the first part of my contribution, I investigate and reconstruct this relationship in Gadamer's thinking. In the second part, I take up a recent debate about Gadamer in Hungary, and in connection with it offer a case study in which Gadamerian thinking is present in a twofold way: as that with which I am reflecting and at the same (...) time what it is about – the object of this reflection. The first part comes to the conclusion that the interconnectedness of philology and philosophy, with each side referring to the other, is central to Gadamer's work; it is moreover the element in which Gadamer's writings move. It is the focus on the text as text versus a focus on the text as the mediator of a matter [Sache] that makes the difference between philology and philosophy. This difference may give rise to a kind of tension, and this is addressed in the second part of the paper, by way of showing a passage from Gadamer's work susceptible to philological objections. (shrink)

Tobias Hansson Wahlberg argues in a recent article (2009) that the truth of “Hesperus is Phosphorus” depends on the assumption that the endurance theory of persistence is true. The statement is not true (or at least can reasonably be doubted), he argues, if one assumes (a) the theory of persistence according to which objects are four-dimensional entities, persisting through perdurance, i.e. by having temporal parts that are numerically distinct, and (b) the thesis of unrestricted mereological composition (UMC), that is, that (...) any two things, however scattered in space or time, compose a sum. (shrink)

In this paper the issue of drawing inferences about biological cognitive systems on the basis of connectionist simulations is addressed. In particular, the justification of inferences based on connectionist models trained using the backpropagation learning algorithm is examined. First it is noted that a justification commonly found in the philosophical literature is inapplicable. Then some general issues are raised about the relationships between models and biological systems. A way of conceiving the role of hidden units in connectionist networks is then (...) introduced. This, in combination with an assumption about the way evolution goes about solving problems, is then used to suggest a means of justifying inferences about biological systems based on connectionist research. (shrink)

Since the emergence of what Fodor and Pylyshyn (1988) call 'new connectionism', there can be little doubt that connectionist research has become a significant topic for discussion in the Philosophy of Cognitive Science and the Philosophy of Mind. In addition to the numerous papers on the topic in philosophical journals, almost every recent book in these areas contain at least a brief reference to, or discussion of, the issues raised by connectionist research (see Sterelny 1990, Searle, 1992, and O Nualláin, (...) 1995, for example). Other texts have focused almost exclusively upon connectionist issues (see Clark, 1993, Bechtel and Abrahamsen, 1991 and Lloyd, 1989, for example). Regrettably the discussions of connectionism found in the philosophical literature suffer from a number of deficiencies. My purpose in this paper is to highlight one particular problem and attempt to take a few steps to remedy the situation. (shrink)

In 1988, Smolensky proposed that connectionist processing systems should be understood as operating at what he termed the `subsymbolic'' level. Subsymbolic systems should be understood by comparing them to symbolic systems, in Smolensky''s view. Up until recently, there have been real problems with analyzing and interpreting the operation of connectionist systems which have undergone training. However, recently published work on a network trained on a set of logic problems originally studied by Bechtel and Abrahamsen (1991) seems to offer the potential (...) to provide a detailed, empirically based answer to questions about the nature of subsymbols. In this paper, a network analysis procedure and the results obtained using it are discussed. This provides the basis for an insight into the nature of subsymbols, which is surprising. (shrink)

We present a streamlined axiom system of special relativity in firs-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.

The notion of a ‘symbol’ plays an important role in the disciplines of Philosophy, Psychology, Computer Science, and Cognitive Science. However, there is comparatively little agreement on how this notion is to be understood, either between disciplines, or even within particular disciplines. This paper does not attempt to defend some putatively ‘correct’ version of the concept of a ‘symbol.’ Rather, some terminological conventions are suggested, some constraints are proposed and a taxonomy of the kinds of issue that give (...) rise to disagreement is articulated. The goal here is to provide something like a ‘geography’ of the various notions of ‘symbol’ that have appeared in the various literatures, so as to highlight the key issues and to permit the focusing of attention upon the important dimensions. In particular, the relationship between ‘tokens’ and ‘symbols’ is addressed. The issue of designation is discussed in some detail. The distinction between simple and complex symbols is clarified and an apparently necessary condition for a system to be potentially symbol, or token bearing, is introduced. (shrink)

Berkeley [Minds Machines 10 (2000) 1] described a methodology that showed the subsymbolic nature of an artificial neural network system that had been trained on a logic problem, originally described by Bechtel and Abrahamsen [Connectionism and the mind. Blackwells, Cambridge, MA, 1991]. It was also claimed in the conclusion of this paper that the evidence was suggestive that the network might, in fact, count as a symbolic system. Dawson and Piercey [Minds Machines 11 (2001) 197] took issue with this latter (...) claim. They described some lesioning studies that they argued showed that Berkeley’s (2000) conclusions were premature. In this paper, these lesioning studies are replicated and it is shown that the effects that Dawson and Piercey rely upon for their argument are merely an artifact of a threshold function they chose to employ. When a threshold function much closer to that deployed in the original studies is used, the significant effects disappear. (shrink)

Recent discussion, both in the academia-related popular media and in some professional academic venues, about the current state and role of mainstream Anglo-American analytic philosophy among the humanities, has revealed a certain uneasiness expressed by both champions of this approach and traditional adversaries of it regarding its perceived isolation from the other fields of humanities. The fiercer critics go as far as to claim that the image of this type of philosophizing in the contemporary world is one of a discipline (...) that is disconnected from reality, a veritable inbreeding academic cottage industry of empty scholasticism. Though I am unsympathetic to the critics who would question the very essence of how this kind of philosophy is pursued, myself being a representative of it, I nevertheless present some admittedly sketchy but, in my opinion, interesting and revealing statistical data on the evolution of several top journals of analytic philosophy over the last hundred years in terms of the style of papers that get published, which might also justify to some extent the above mentioned complaint against analytic philosophy. (shrink)

According to the standard (recent) history of connectionism (see for example the accounts offered by Hecht-Nielsen (1990: pp. 14-19) and Dreyfus and Dreyfus (1988), or Papert's (1988: pp. 3-4) somewhat whimsical description), in the early days of Classical Computational Theory of Mind (CCTM) based AI research, there was also another allegedly distinct approach, one based upon network models. The work on network models seems to fall broadly within the scope of the term 'connectionist' (see Aizawa 1992), although the term had (...) yet to be coined at the time. These two approaches were "two daughter sciences" according to Papert (1988: p. 3). The fundamental difference between these two 'daughters', lay (according to Dreyfus and Dreyfus (1988: p. 16)) in what they took to be the paradigm of intelligence. Whereas the early connectionists took learning to be fundamental, the traditional school concentrated upon problem solving. (shrink)

A Critical Sense brings together, in their own words, the leading figures of contemporary radical theory. Moving freely between philosophy, politics and cultural studies, this book offers a fascinating overview of the lines of thought of today's intellectual left. Marxism, feminism, psychoanalysis and critical theory, literary studies, deconstruction, pragmatism, postcolonial and queer theory are discussed in a series of interviews from the journal Radical Philosophy . The intellectuals at the center of these debates are: Judith Butler, Cornelius Castoriadis, Drucilla Cornell, (...) Axel Honneth, Istvan Meszaros, Edward Said, Renata Salecl, Gayatri Chakravorty Spivak, Cornel West, and Slavoj Zizek. A Critical Sense will throw new, and often surprising, light on the intellectual debates of our time. (shrink)

There is widespread belief that connectionist networks are dramatically different from classical or symbolic models. However, connectionists rarely test this belief by interpreting the internal structure of their nets. A new approach to interpreting networks was recently introduced by Berkeley et al. (1995). The current paper examines two implications of applying this method: (1) that the internal structure of a connectionist network can have a very classical appearance, and (2) that this interpretation can provide a cognitive theory that cannot be (...) dismissed as a mere implementation. (shrink)

We investigate Kerr–Newman black holes in which a rotating charged ring-shaped singularity induces a region which contains closed timelike curves (CTCs). Contrary to popular belief, it turns out that the time orientation of the CTC is oppo- site to the direction in which the singularity or the ergosphere rotates. In this sense, CTCs “counter-rotate” against the rotating black hole. We have similar results for all spacetimes sufficiently familiar to us in which rotation induces CTCs. This motivates our conjecture that perhaps (...) this counter-rotation is not an accidental oddity particular to Kerr–Newman spacetimes, but instead there may be a general and intuitively comprehensible reason for this. (shrink)

Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.

The old puzzle of material constitution has benefited from a lot of thorough discussion from the part of metaphysicians in the last thirty-odd years. The available solution options and their problems are by now familiar. They involve particular views on mainstream entities and relations of metaphysical inquiry, like objects, properties, events, causation, identity, supervenience, and so on. However, one might want to hope, together with some contemporary ontologists, most notably Roberto Casati and Achille Varzi (1994), that dealing with more peripheral (...) entities is not without interest even when it comes to solving mainstream questions of metaphysics. This I am going to do here, with the puzzle of material constitution in the role of the mainstream ontological issue and shadows in the role of the minor, superficial, or peripheral entity. (shrink)

This paper is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics. The paper has a survey character, too. The most frequently used algebras like cylindric-, relation-, polyadic-, and quasi-polyadic algebras are carefully introduced and intuitively explained for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics are also reviewed. Efforts were made to make the review part relatively comprehensive. In some (...) directions we tried to give an overview of the most recent results and research trends, too. (shrink)

A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.

We shall show that certain natural and interesting intervals in the lattice of varieties of representable relation algebras embed the lattice of all subsets of the natural numbers, and therefore must have a very complicated lattice-theoretic structure.

In Marxism, the material base of society is responsible for a number of structural restraints on the appearance, functioning, and evolution of the superstructure. At the same time, the superstructure, too, and especially ideology, exercises considerable influence on developments in the base, and in certain conditions can prove decisive in transforming the relations that constitute the base. While history is radically open ended and, therefore, nothing is absolutely certain, knowledge of such conditions is a necessary first step toward a socialist (...) reordering of society. (shrink)

An important question in language evolution is whether segmentation as a linguistic process is able to yield compositionality. Segmentation is hypothesized to be a process to bridge the gap between holistic and compositional lexicons. However, to date no thorough analytical method has been provided to test the feasibility of segmentation. In this paper, an analytical model is presented that can predict the probability of encountering various kinds of overlaps by observing utterance pairs, and the probability of finding confirmation in the (...) language for newly extracted segments. Language users start by using a previously evolved holistic lexicon to communicate about simple environments. They segment these holistic utterances to smaller pieces, which can be used as elements of a compositional lexicon. The model reveals that the feasibility of segmentation depends on the definition of counterexamples, i.e. those associations (pairs), which either cause ambiguous extraction of segments, or do not allow segmentation at all. On one hand if inexact overlaps are considered to be contradictory (i.e. causing confusion) to a perfect exact overlap, then the probability is so minuscule that it renders the role of segmentation marginal during language evolution. On the other hand, if such inexact counterexamples are able to be segmented unambiguously due to extra cognitive capacities, segmentation may have a much higher feasibility. Keywords: segmentation; fractionation; analysis; holistic; protolanguage; compositionality. (shrink)

SC , CA , QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras, and quasipolyadic equality algebras of dimension , respectively. Generalizing a result of Németi on cylindric algebras, we show that for K {SC, CA, QA, QEA} and ordinals , the class Nr K of -dimensional neat reducts of -dimensional K algebras, though closed under taking homomorphic images and products, is not closed under forming subalgebras (i.e. is not a variety) if (...) and only if > 1.From this it easily follows that for 1 , the operation of forming -neat reducts of algebras in K does not commute with forming subalgebras, a notion to be made precise. (shrink)

We investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations.

Saving the appearances (sôzein ta phainomena) often features as a programmatic description of the aim and objective of ancient astronomical theory. The paper, after an expository section, discusses some earlier proposals for what such a programme presupposes. After this, through a survey of the usage in Plato and Aristotle of some key terms—among them the verb sôzein—describing the relationship of an account to what it is an account of, submits that the phrase in this semantic framework could express the crucial (...) property of an account that it is faithful to the phenomena, and it does not overrule or discard them. (shrink)

There are several systems which provide computer support to legal decisions. Perhaps the most significant ones, besides various computerised systems for administration, are information retrieval systems that locate statutes and documents. Other research projects, however, deal with legislation and adjudication, making it possible to use information techniques in making legal decisions. I wish to describe two decision-support programs and to link them to some theoretical findings of my former researches. What connects those programs is that they give some new information (...) for decisions on the basis of previous similar legal cases; both describe cases with the help of criteria and use diverse artificial intelligence methods for different types or criteria. The first of the two programs aims to support decisions of insurance specialists by assessing the measure of the compensation for immaterial damage. The result is given by the combination of a neural network, based upon previous judicial cases, and an expert system. The neural network gives the first assessment for the sum of compensation while the expert system refines the network's output. The other program can be used by judges and lawyers in the course of preparing a decision. Studying cases of road accidents, we find that fuzzy logic methods can help to approximate decisions actually given by judges. In this way, the process of decision making by courts and lawyers receives an additional piece of information, obtained by comparing the seriousness of the actual case with that of previous cases. (shrink)

We give an overview of decidability results for modal logics having a binary modality. We put an emphasis on the demonstration of proof-techniques, and hope that this will also help in finding the borderlines between decidable and undecidable fragments of usual first-order logic.

Philosophers of mind, both in the conceptual analysis tradition and in the empirical informed school, have been implicitly neglecting the potential conceptual role of the Peripheral Nervous System (PNS) in understanding sensory and perceptual states. Instead, the philosophical as well as the neuroscientific literature has been assuming that it is the Central Nervous System (CNS) alone, and more exactly the brain, that should prima facie be taken as conceptually and empirically crucial for a philosophical analysis of such states This is (...) the first monograph that focuses on the PNS and its constitutive role in sensory states, including pain, mechanoception, proprioception, tactile perception, and so forth. -/- The author argues that the brain-centeredness of current philosophy of mind is a prejudice, and proposes a series of original ways in which classic puzzles in the philosophy of mind can be solved once the hypothesis that PNS is a constitutive element of mental states is taken seriously. The author calls this “the Peripheral Mind Hypothesis”, and employs it in a vast range of issues, such as functionalism, physicalism, mental content, embodiment, as well as some issues in neuroethics. -/- Making equal use of conceptual analysis, empirical data from neuroscience, first-person phenomenological data, and philosophical speculation, this work offers a fresh look at, and novel solutions to many philosophical problems. (shrink)

In this paper, we introduce a general technology, calledtaming, for finding well-behaved versions of well-investigated logics. Further, we state completeness, decidability, definability and interpolation results for a multimodal logic, calledarrow logic, with additional operators such as thedifference operator, andgraded modalities. Finally, we give a completeness proof for a strong version of arrow logic.

In his target article Page proposes a definition of the term “localist.” In this commentary I argue that his definition does not serve to make a principled distinction, as the inclusion of vague terms make it susceptible to some problematic counterexamples.

Clark & Thornton are too hasty in their dismissal of uninformed learning; nonmonotonic processing units show considerable promise on type-2 tasks. I describe a simulation which succeeds on a “pure” type-2 problem. Another simulation challenges Clark & Thornton's claims about the serendipitous nature of solutions to type-2 problems.