True, there may be two language-processing systems, lexicon and syntax. However, could we not say more than that they are computationally and linguistically distinct? Where are they in the brain, why are they where they are, and how can their distinctness and functional properties be explained by biological principles? A brain model of language is necessary to answer these questions. One view is that two different types of corticocortical connections are most important for storing rules and their exceptions: short-range connections (...) within the perisylvian language cortex and long-range connections between this region and other areas. Probabilities of neuroanatomical connections plus associative learning principles explain why different connection bundles specialize in rule storage versus exception learning. Linguistic issues related to language change and plural formation in German are addressed in closing. (shrink)
We suggest a way of bringing together type theory and unification-based grammar formalisms by using records in type theory. The work is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory.
What precisely does it mean to unify fields like the electric and magnetic field to only one field? Are there different kinds of unification? Is there only ‘unified’ and ‘not unified’, or could a unififcation of fields also be partially succesful? I will argue that what is normally referred to as the project of a unified field theory is actually a bundle of three research programmes that are logically independent of each other. The sub-programmes are those of a unified field (...) theory (in a narrow sense), a complete field theory, and a geometrised field theory. Here I will focus on the programme of a unified field theory in a narrow sense. In particular, I will make use of an almost unknown debate between Einstein and Pauli about which criteria a unification of fields should fulfil, in order to distinguish between different degrees of unification in field theories. (shrink)
In this paper, we show that Higher{Order Coloured Uni cation { a form of uni cation developed for automated theorem proving { provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for.
In this talk, I first systematize the analogies and complete the picture in some corners. Then, I formally relate the three constructions, and I derive their properties from a single operator. Previous analyses were not designed to account for all three constructions at the same time. Accordingly, I not only assess how well they generalize beyond their intended purpose, but I also evaluate them in their own right. Even so, this analysis improves on previous accounts in several ways. Although I (...) will not focus on this in the talk, the analysis of distributive quantification is compatible with more general analyses of cumulative and collective quantification such as Landman (2000). (shrink)
linguistics, with theories of meaning imd conceptualization, with psycholiuguistics, with theories of other domains of cognition, with neuroscience, and with education.
I’ve been told that there are two principal approaches to drawing figures from life. One begins by tracing an outline of the figure to be drawn, locating its edges and key features on an imagined grid, and then using perspective to fill in depth. The other approach proceeds from the ‘center of mass’ of the subject, seeking to build up the image by supplying contour lines, the intersections of which convey depth—as if the representation were being created in relief. The (...) second approach need not adopt a unified perspective, and is more concerned with evoking the volume and ‘presence’ of the subject than with accurate placement of edges and features. Call this second approach drawing ‘from the inside out’, meant to capture the living force of the subject rather than freeze it in a coordinate frame. (shrink)
A fundamental error has dominated philosophy and science since ancient times, the assumption of the existence of the 'unicorn-world', that is, the existence of one unique world. In order to avoid this error, it is necessary to replace the unicorn-world with epistemologically different worlds (which presuppose that each class of entities forms a single, unique epistemological world within the same spatio-temporal framework). Within this new framework, we analyze the definition of the “I” in neural (physical) terms and psychological terms and (...) the relationships between the “I” and the other EDWs. Moreover, I show that the majority of “mysteries” like entanglement, non-locality and non-spatiality, are due to the erroneous human thinking presupposition of the “world”, uni-verse in which everything (waves, micro and macro particles) has been situated since Ancient times. The replacement of the “world” with epistemologically different worlds (epistemologically constitutive interactions among classes of epistemologically different entities that belong to epistemologically different worlds) seems to be a better alternative for solving, in fact eliminating, the great mysteries of quantum mechanics. (shrink)
Puzzles about sentences containing expressions of certain sorts, such as predicates of personal taste, epistemic modals, and ‘know’, have spawned families of views that go by the names of Contextualism and Relativism. In the case of predicates of personal taste, which I will be focusing on, contextualist views say that the contents of sentences like “Uni is delicious” and “The Aristocrats is hilarious” vary somehow with the context of utterance. Such a sentence semantically expresses different propositions in different contexts, depending (...) on what standard or perspective (or whose standard or perspective) is implicitly adverted to. According to relativist views, the propositional content of such a sentence is fixed, but what it takes for that proposition to be true varies somehow with the context, depending on the relevant standard or perspective. I will argue that such views are neither well supported by the data nor well motivated by the puzzles themselves. Even so, there is an element of truth in each. I will sketch an alternative view, dubbed Radical Invariantism, according to which the appearance of context sensitivity is illusory. Rather than impute either kind of context sensitivity to these sentences or to their contents, Radical Invariantism says that these sentences are distinguished by what they don’t do. Because they are not explicitly relativized, they leave a certain semantic slack. They fall short of fully expressing a proposition, instead expressing merely a “propositional radical.” We can explain away the appearance of semantic context sensitivity pragmatically, by taking into account facts about how, and under what conditions, speakers who use or encounter these sentences manage to pick up the slack. This can occur in either of two ways. Speakers either take a certain standard or perspective as understood, or else they treat the sentence as if it expresses a standard- or perspective-independent proposition even though it does not.. (shrink)
The concept of causation plays a central role in many philosophical theories, and yet no account of causation has gained widespread acceptance among those who have investigated its foundations. Theories based on laws, counterfactuals, physical processes, and probabilistic dependence and independence relations (the list is by no means exhaustive) have all received detailed treatment in recent years—and, while no account has been entirely successful, it is generally agreed that the concept has been greatly clarified by the attempts. In this magnificent (...) book, Woodward aims to give a unified account of causation and causal explanation in terms of the notion of a manipulation (or intervention, terms which can be read interchangeably). Not only does he produce in my view the most illuminating and comprehensive account of causation on offer, his theory also opens a great many avenues for future work in the area, and has ramifications for many other areas of philosophy. Making Things Happen ought to be of interest not only to philosophers of causation and philosophers of science, but to any philosopher whose concerns involve assumptions about the nature of causation, laws, or explanation. (shrink)
This dissertation concerns the nature of spacetime. It is divided into two parts. The first part, which comprises chapters 1, 2, and 3, addresses ontological questions: does spacetime exist? And if so, are there any other spatiotemporal things? In chapter 1 I argue that spacetime does exist, and in chapter 2 I respond to modal arguments against this view. In chapter 3 I examine and defend supersubstantivalism—the claim that all concrete physical objects (tables, chairs, electrons and quarks) are regions of (...) spacetime. Four-dimensional spacetime, we are often told, ‘unifies’ space and time; if we believe in spacetime, then we do not believe that space and time are separately existing things. But that does not mean that there is no distinction between space and time: we still distinguish between the spatial aspects and the temporal aspects of spacetime. The second part of this dissertation, comprising chapter 4, looks at this distinction. How is it made? In virtue of what are the temporal aspects of spacetime temporal, rather than spatial? The standard view is that the temporal aspects of spacetime are temporal because they play a distinctive role in the geometry of spacetime. I argue that this view is false, and that the temporal aspects are temporal because they play a distinctive role in the geometry of spacetime and in the laws of nature. (shrink)
I argue that sounds are best conceived not as pressure waves that travel through a medium, nor as physical properties of the objects ordinarily thought to be the sources of sounds, but rather as events of a certain kind. Sounds are particular events in which a surrounding medium is disturbed or set into wavelike motion by the activities of a body or interacting bodies. This Event View of sounds provides for a uni- ?ed perceptual account of several pervasive sound phenomena, (...) including transmission through barriers, constructive and destructive interference, and echoes. (shrink)
Teller argued that violations of Bell’s inequalities are to be explained by interpreting quantum entangled systems according to ‘relational holism’, that is, by postulating that they exhibit irreducible (‘inherent’) relations. Teller also suggested a possible application of this idea to quantum statistics. However, the basic proposal was not explained in detail nor has the additional idea about statistics been articulated in further work. In this article, I reconsider relational holism, amending it and spelling it out as appears necessary for a (...) proper assessment, and application, of the position. †To contact the author, please write to: FB Philosophie‐Zukunftskolleg, University of Konstanz, Universitätstraße 10, 78464, Konstanz, Germany; e‐mail: matteo.morganti@uni ‐konstanz.de. (shrink)
Recently, Barbara Renzi argued that Kuhn's account of scientific change is undermined by mismatches in the analogy that Kuhn supposedly draws between scientific change and biological evolution. We argue that Renzi's criticism is inadequate to Kuhn's account of scientific change, as Kuhn does not draw any precise analogy between the mechanisms of scientific change and biological evolution nor aims to argue that the mechanisms of scientific change and biological evolution are similar in any important respects. Therefore, pointing to mismatches between (...) the central concepts that feature in the descriptions of the two phenomena simply misses the point of Kuhn's analogy. *Received January 2010; revised January 2010. †To contact the authors, please write to: Thomas A. C. Reydon, Leibniz Universität Hannover, Im Moore 21, D‐30167 Hannover, Germany; e‐mail: reydon@ww.uni‐hannover.de. (shrink)
Natural kinds are often contrasted with other kinds of scientific kinds, especially functional kinds, because of a presumed categorical difference in explanatory value: supposedly, natural kinds can ground explanations, while other kinds of kinds cannot. I argue against this view of natural kinds by examining a particular type of explanation—mechanistic explanation—and showing that functional kinds do the same work there as traditionally recognized natural kinds are supposed to do in “standard” scientific explanations. Breaking down this categorical distinction between traditional natural (...) kinds and other kinds of kinds, I argue, delivers two goods: It provides us with a view of natural kindhood that does justice to the epistemic roles of kinds in scientific explanations. And it allows us to solve a problem that HPC theory, currently one of the more popular accounts of natural kindhood, confronts. † To contact the author, please write to: Center for Philosophy and Ethics of Science (ZEWW), Leibniz University of Hannover, Im Moore 21, 30167 Hannover, Germany; e‐mail: reydon@ww.uni‐hannover.de. (shrink)
Whether meaning is compositional has been a major issue in linguistics and formal philosophy of language for the last 2 decades. Semantic holism is widely and plausibly considered as an objection to the principle of semantic compositionality therein. It comes as a surprise that the holistic peculiarities of scientific language have been rarely addressed in formal accounts so far, given that semantic holism has its roots in the philosophy of science. For this reason, a model-theoretic approach to semantic holism in (...) the language of science is presented here. This approach preserves compositionality to a large extent. *Received September 2009; revised February 2010. †To contact the author, please write to: Seminar for Philosophy, Logic, and Theory of Science, Hauspostfach 49, Ludwig-Maximilians-Universität, Munich 80539, Germany; e-mail: holger.andreas@lrz.uni-muenchen.de. (shrink)
I believe that the data is both fascinating and instructive, but in this paper I will resist the conclusion that we must give up Invariantism, or, as I prefer to call it, Unificationism. In the process of examining the challenging data and responding to it, I will try to draw some larger lessons about how to use the kind of data being collected. First, I will provide a brief description of some influential theories of responsibility, and then explain the threat (...) to them from the experimental results. Finally, I will set out my general approach to the data, as well as some specific suggestions about how to think about each set of experiments. I will conclude that philosophers searching for a unified theory need not give up, but that at the same time they can learn a great deal from the new data. (shrink)
In the literature on scientific explanation two types of pluralism are very common. The first concerns the distinction between explanations of singular facts and explanations of laws: there is a consensus that they have a different structure. The second concerns the distinction between causal explanations and uni.cation explanations: most people agree that both are useful and that their structure is different. In this article we argue for pluralism within the area of causal explanations: we claim that the structure of a (...) causal explanation depends on the causal structure of the relevant fragment of the world and on the interests of the explainer. (shrink)
Mathematical investigation, when done well, can confer understanding. This bare observation shouldn’t be controversial; where obstacles appear is rather in the effort to engage this observation with epistemology. The complexity of the issue of course precludes addressing it tout court in one paper, and I’ll just be laying some early foundations here. To this end I’ll narrow the field in two ways. First, I’ll address a specific account of explanation and understanding that applies naturally to mathematical reasoning: the view proposed (...) by Philip Kitcher and Michael Friedman of explanation or understanding as involving the unification of theories that had antecedently appeared heterogeneous. For the second narrowing, I’ll take up one specific feature (among many) of theories and their basic concepts that is sometimes taken to make the theories and concepts preferred: in some fields, for some problems, what is counted as understanding a problem may involve finding a way to represent the problem so that it (or some aspect of it) can be visualized. The final section develops a case study which exemplifies the way that this consideration – the potential for visualizability – can rationally inform decisions as to what the proper framework and axioms should be. The discussion of unification (in sections 3 and 4) leads to a mathematical analogue of Goodman’s problem of identifying a principled basis for distinguishing grue and green. Just as there is a philosophical issue about how we arrive at the predicates we should use when making empirical predictions, so too there is an issue about what properties best support many kinds of mathematical reasoning that are especially valuable to us. The issue becomes pressing via an examination of some physical and mathematical cases that make it seem unlikely that treatments of unification can be as straightforward as the philosophical literature has hoped. Though unification accounts have a grain of truth (since a phenomenon (or cluster of phenomena) called “unification” is in fact important in many cases) we are far from an analysis of what “unification” is.. (shrink)
Thought and World has three main concerns.1 First, it presents and defends a deflationary theory of propositional truth—that is, a deflationary theory of the concept of truth that figures in claims like the proposition that snow is white is true. I have long admired the deflationary theory of truth that Paul Horwich developed in the eighties, but I have also had substantial misgivings about that theory.2 In writing TW I was concerned to formulate an alternative view that enjoys the virtues (...) of Horwich’s theory while lacking its defects. Second, the book presents deflationary accounts of our relational semantic con- cepts—for example, the concept of reference that figures in the proposition the concept of the Evening Star refers to the planet Venus, and the concept of expression that figures in the proposition the concept of a triangle expresses the property triangularity. Third, the book provides an account of our correspondence intuitions. As we all recognize, commonsense semantics includes a concept of semantic correspondence: we are all prepared to say, for example, that the proposition that snow is white corresponds semantically to the state of affairs snow’s being white, and that the proposition that the uni- verse is expanding corresponds semantically to a state of affairs that actually obtains. I wanted to explain the relationship between this concept and the concept of propositional truth, to identify the factors that make the concept useful, and, most importantly, to show that it is possible to extend deflation- ism so as to provide an analysis of the concept. (The concept of correspon- dence stands for a relation between propositions and states of affairs. What I maintain in the book is that this relation can be characterized in deflationary terms. I do not maintain that it is possible to give a deflationary account of.. (shrink)
This article suggests a ‘best alternative' justification of induction (in the sense of Reichenbach) which is based on meta-induction . The meta-inductivist applies the principle of induction to all competing prediction methods which are accessible to her. It is demonstrated, and illustrated by computer simulations, that there exist meta-inductivistic prediction strategies whose success is approximately optimal among all accessible prediction methods in arbitrary possible worlds, and which dominate the success of every noninductive prediction strategy. The proposed justification of meta-induction is (...) mathematically analytical. It implies, however, an a posteriori justification of object-induction based on the experiences in our world. *Received November 2005; revised March 2008. †To contact the author, please write to: Department of Philosophy, University of Duesseldorf, Universitaetsstrasse 1, Geb. 23.21, Duesseldorf, Germany D-40225; e-mail: gerhard.schurz@phil-fak.uni-duesseldorf.de. (shrink)
From the perspective of cognitive science, it is illuminating to think of much contemporary scienti?c research as taking place in distributed cognitive systems. This is particularly true of large-scale experimental and observational systems such as the Hubble Telescope. Clark, Hutchins, Knorr-Cetina, and Latour insist or imply such a move requires expanding our notions of knowledge, mind, and even consciousness. Whether this is correct seems to me not a straightforward factual question. Rather, the issue seems to be how best to develop (...) a theoretical understanding of such systems appropriate to the study of science and technology. I argue that there is no need to attribute to such systems as a whole any form of cognitive agency. We can well understand the importance of such systems while restricting agency to the human components. The implication is that we think of these large-scale distributed cognitive systems not so much as uni?ed wholes, but as hybrid systems including both physical artifacts and ordinary humans. (shrink)
Imust begin with a warning. In this article, I give away the endings of two wonderful books: Ian McEwan’s Atonement and Margaret Atwood’s The Blind Assassin.1 If you haven’t read these books already, you may want to stop reading now: you’ll enjoy reading the books much more if you don’t know the details that I reveal below. These books are philosophically interesting, I argue, because they reveal something about the nature of the understanding and appreciation of narrative. They show us (...) that an audiences’ participation in narrative is much more subtle and complex than philosophers generally acknowledge. An analysis of these books reveals that narrative imagining is not static or unified, but dynamic and multi-polar. I argue that once the complexity of narrative engagement is better understood, some prominent philosophical problems and debates concerning narrative dissolve. (shrink)
This article shows that a slight variation of the argument in Milne 1996 yields the log‐likelihood ratio l rather than the log‐ratio measure r as “the one true measure of confirmation.” *Received December 2006; revised December 2007. †To contact the author, please write to: Formal Epistemology Research Group, Zukunftskolleg and Department of Philosophy, University of Konstanz, P.O. Box X906, 78457 Konstanz, Germany; e‐mail: franz.huber@uni‐konstanz.de.
The emergence of mental states from neural states by partitioning the neural phase space is analyzed in terms of symbolic dynamics. Well-defined mental states provide contexts inducing a criterion of structural stability for the neurodynamics that can be implemented by particular partitions. This leads to distinguished subshifts of finite type that are either cyclic or irreducible. Cyclic shifts correspond to asymptotically stable fixed points or limit tori whereas irreducible shifts are obtained from generating partitions of mixing hyperbolic systems. These stability (...) criteria are applied to the discussion of neural correlates of consiousness, to the definition of macroscopic neural states, and to aspects of the symbol grounding problem. In particular, it is shown that compatible mental descriptions, topologically equivalent to the neurodynamical description, emerge if the partition of the neural phase space is generating. If this is not the case, mental descriptions are incompatible or complementary. Consequences of this result for an integration or unification of cognitive science or psychology, respectively, will be indicated. (shrink)
l. ln `“Time, Successive Addition. and Kn/uni Cosmological Arguments," Graham Oppy accuses supporters ofthe KCA of being committed to a strict Hnitist metaphysics. lfthis is supposed to mean that we deny continua in nature, that is quite wrong. All it means is that we deny the existence of actual intinities. ln fact, Oppy protesses not to be tackling that question but throughout his paper he suggests or implies that the KCA falls down on this score.
This contribution is a critical and constructive engage ment with discourse ethics. First, it clarifies why discourse ethics has difficulties with the grounding and application of moral norms. Second, it turns to a positive appropriation of the formal and proce dural aspects of discourse ethics. The goal is the elaboration of an ethics that is able to incorporate the material aspects of goods and the formal dimension of ethical validity and consensuability. Every morality is the formal application of some substantive (...) good. Every ethical perspective demands its evaluation in terms of its uni versability. In order to achieve this mediation, it is suggested that we must incorporate not only the historical dimension of moral systems, but also the role of critical consciousness and the negativity embod ied by those who are victims of the existing consensus. The essay con cludes with six points that need to be considered when formulating a material ethics that is universalizable and, most importantly, that can address the massive poverty and dehumanization of those excluded from the present community of communication. Key Words: application • consensual • corporeality • discourse ethics • formal • grounding • intersubjective • Kantian • liberation • ethics • material • phronesis • procedural • validity. (shrink)
Does the proof of Fermat’s Last Theorem (FLT) go beyond Zermelo Fraenkel set theory (ZFC)? Or does it merely use Peano Arithmetic (PA) or some weaker fragment of that? The answers depend on what is meant by “proof ” and “use,” and are not entirely known. This paper surveys the current state of these questions and briefly sketches the methods of cohomological number theory used in the existing proof. The existing proof of FLT is Wiles [1995] plus improvements that do (...) not yet change its character. Far from self-contained it has vast prerequisites merely introduced in the 500 pages of [Cornell et al., 1997]. We will say that the assumptions explicitly used in proofs that Wiles cites as steps in his own are “used in fact in the published proof.” It is currently unknown what assumptions are “used in principle” in the sense of being proof-theoretically indispensable to FLT. Certainly much less than ZFC is used in principle, probably nothing beyond PA, and perhaps much less than that. The oddly contentious issue is universes, often called Grothendieck uni- verses.1 On ZFC foundations a universe is an uncountable transitive set U.. (shrink)
In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.
We present a uni!ed diagnosis of three well"known puzzles about proper names, based on a new view of the metaphysics of words and proper names in particular adumbrated by David Kaplan in #Words$. Exploring the analogy of words and viruses, we sketch an account of words as entia suc! cessiva, highlighting the crucial phenomenon of linguistic coordination. Understanding the famous puzzles as coordination failures, we think, brings to the fore important issues in the metaphysical foundations of direct reference. Words, it (...) turns out, can themselves play some of the roles modes of presentation have been called up for. (shrink)
Charles Darwin was one of the first to propose a unified framework with which to understand human and animal behavior. The foundation of Darwin’s framework is his theory of descent with modification. What Darwin was convinced that theory allowed him to say about human and animal behavior is exemplified in the ‘continuity thesis.’ As Darwin put it, ‘there is a much wider interval in mental power between one of the lowest fishes, as a lamprey or lancelet, and one of the (...) higher apes, than between an ape and a man; yet this interval is filled up by numberless gradations’ (Darwin 1871 [1936]: 453). Darwin’s continuity thesis is the foundation of contemporary studies of animal behavior; it is, along with contemporary evolutionary theory, what unifies the field of animal behavior. (shrink)
The connection between the probabilities of conditionals and the corresponding conditional probabilities has long been explored in the philosophical literature, but its implementation faces both technical obstacles and objections on empirical grounds. In this paper I ?rst outline the motivation for the probabilistic turn and Lewis’ triviality results, which stand in the way of what would seem to be its most straightforward implementation. I then focus on Richard Jeffrey’s ’random-variable’ approach, which circumvents these problems by giving up the notion that (...) conditionals denote propositions in the usual sense. Even so, however, the random-variable approach makes counterintuitive predictions in simple cases of embedded conditionals. I propose to address this problem by enriching the model with an explicit representation of causal dependencies. The addition of such causal information not only remedies the shortcomings of Jeffrey’s conditional, but also opens up the possibility of a uni?ed probabilistic account of indicative and counterfactual conditionals. (shrink)
The new …eld of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Judgment aggregation has commonly been studied using classical propositional logic, with a limited expressive power and a problematic representation of conditional statements (“if P then Q”) as material conditionals. In this methodological paper, I present a simple uni…ed model of judgment aggregation in general logics. I show how many realistic decision problems can (...) be represented in it. This includes decision problems expressed in languages of classical propositional logic, predicate logic (e.g. preference aggregation problems), modal or conditional logics, and some multi-valued or fuzzy logics. I provide a list of simple tools for working with general logics, and I prove impossibility results that generalise earlier theorems. (shrink)
In discussions on the ethics of surveillanceand consequently surveillance policy, thepublic/private distinction is often implicitlyor explicitly invoked as a way to structure thediscussion and the arguments. In thesediscussions, the distinction public and private is often treated as a uni-dimensional,rigidly dichotomous and absolute, fixed anduniversal concept, whose meaning could bedetermined by the objective content of thebehavior. Nevertheless, if we take a closerlook at the distinction in diverse empiricalcontexts we find them to be more subtle,diffused and ambiguous than suggested. Thus,the paper argues (...) for the treatment of thesedistinctions as multi-dimensional, continuousand relative, fluid and situational orcontextual, whose meaning lies in how they areinterpreted and framed. However, the aim ofthis paper is not to finally sort things out. The objective is rather to demonstrate thecomplexities of the distinction in variouscontexts and to suggest that those using thedistinction, when considering the ethics andpolitics of surveillance technologies, wouldbenefit from more clearly specifying whichdimensions they have in mind and how theyrelate. (shrink)
This paper presents a new theory of the truth conditions for indicative conditionals. The theory allows us to give a fairly unified account of the semantics for indicative and subjunctive conditionals, though there remains a distinction between the two classes. Put simply, the idea behind the theory is that the distinction between the indicative and the subjunctive parallels the distinction between the necessary and the a priori. Since that distinction is best understood formally using the resources of two-dimensional modal logic, (...) those resources will be brought to bear on the logic of conditionals. (shrink)
This paper is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory. Here we explore aspects of our approach which relate to situation theory and situation semantics. We first point out a relationship between type theory and the Austinian notion of truth. We then consider how records in type theory might be used to represent situations and how dependent record types can be used to model (...) constraints on situations. We then sketch treatments of attitude phenomena for which Barwise and Perry proposed situation semantic analyses (perception complements, belief, the Pierre puzzle) as well as two other intensional phenomena (intensional verbs and intentional identity). Finally we give a characterisation of the type theory used and a small illustrative fragment of English. (shrink)
There is no safe place and no single locus of enunciation from where the uni-versal could be articulated for all and forever. Hindu nationalism and Western neo-liberalism are entangled in a long history of the logic of coloniality (domination, oppression, exploitation) hidden under the rhetoric of modernity (salvation, civilization, progress, development, freedom and democracy). There are, however, needs and possibilities for Indians and Western progressive intellectuals working together to undermine and supersede the assumptions that liberal thinkers in the West are (...) better placed to understand what is the common good better than Indian thinkers in post-partition India. Science, in the last analysis, doesn't carry in itself an ethics and politics. Therefore, it is doubtful to argue that science is beyond both, and only concerned with the advancement of the frontier of knowledge and understanding. Science could be (like Christianity, Hinduism, Liberalism or Marxism) both imperial and liberating. Knowledge and understanding, rather than science; gnoseology rather than epistemology, should be thought out as which the horizon toward a dialogical and critical cosmopolitanism (e.g., pluriversallity as universal project), could be envisioned beyond East and West, Hindu nationalism and Westertn (neo) liberalism. (shrink)
We say that a sentence A is a permissive consequence of a set of premises Gamma whenever, if all the premises of Gamma hold up to some standard, then A holds to some weaker stan- dard. In this paper, we focus on a three-valued version of this notion, which we call strict-to-tolerant consequence, and discuss its fruitfulness toward a uni ed treatment of the paradoxes of vagueness and self-referential truth. For vagueness, st-consequence supports the principle of tolerance; for truth, it (...) supports the requisit of transparency. Permissive consequence is non-transitive, however, but this feature is argued to be an essential component to the understanding of paradoxical reasoning in cases involving vagueness or self-reference. . (shrink)
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and domain independence of queries in database theory. Our framework and results suggest that domain-independence and absoluteness might be the key notions in a general theory of constructibility, predicativity, and computability.
The purpose of this paper is to present two kinds of analogical representational change, both occurring early in the analogy-making process, and then, using these two kinds of change, to present a model unifying one sort of analogy-making and categorization. The proposed uni- fication rests on three key claims: (1) a certain type of rapid representational abstraction is crucial to making the relevant analogies (this is the first kind of representational change; a computer model is presented that demonstrates this kind (...) of abstraction), (2) rapid abstractions are induced by retrieval across large psychological distances, and (3) both categorizations and analogies supply understandings of perceptual input via construing, which is a proposed type of categorization (this is the second kind of representational change). It is construing that finalizes the unification. (shrink)
Young French children freely produce subject pronouns by the age of 2. However, by age 2 and a half they fail to interpret 3rd person pronouns in an experimental setting designed to select a referent among three participants (speaker, hearer, and other). No such problems are found with 1st and 2nd person pronouns. We formalize our analysis of these empirical results in terms of direction-sensitive optimizations, showing that uni-directionality of optimization, when combined with non-adult-like constraint rankings, explains the general acquisition (...) pattern of 3rd person pronouns. Building on a specific analysis of assigning 3rd person reference by computing over alternatives (Heim 1991 ), we show that adult interpretation does not require bidirectional OT although it is fully compatible with it. What matters for comprehension in the domain investigated here is constraint ranking. (shrink)
The aim of the dissertation is to propose a new understanding of the philosophy of Charles S. Peirce. Peirce sought to construct a philosophical system applicable to all of human experience, but he never presented this system in a unified work. In the dissertation I attempt to present the strongest possible reconstruction of Peirce’s mature philosophy. My thesis is that Peirce’s philosophy is best understood as an extended exploration and application of his concept of mathematical continuity, which he called "the (...) master-key of philosophy." Many scholars have recognized that Peirce’s concept of continuity is important to his metaphysical theories. The bulk of the dissertation is devoted to examining this concept and explicating its importance throughout his philosophy. I argue that Peirce’s theory of semeiotic provides a general model of experience that elaborates the direct experience of continuity described in phenomenology. This model in turn serves as the basis for his metaphysics and evolutionary cosmology. Part I of the dissertation sketches Peirce’s response to Kant’s philosophy and presents an outline of his classification of the sciences. Part II presents Peirce’s technical conception of continuity, showing its origins in formal logic and in his revision of Cantor’s theory of transfinite sets. Part III examines the role of the continuity principle in phenomenology, esthetics, ethics, and semeiotic, which bridge the rather wide gap between mathematics and metaphysics in Peirce’s system. Part IV presents an overview of Peirce’s cosmology and metaphysics, with particular attention to their methodological dependence upon semeiotic. Part IV includes consideration of two issues that emerge as crucial to the assessment of Peirce’s thought. The first concerns the ontological status of extra-semeiotic entities, and is known as the problem of "semiotic idealism." I argue that Peirce is not a semiotic idealist. The second issue concerns the testability of Peirce’s metaphysical hypotheses.. (shrink)
The goal of this dissertation is twofold. First, we aim to identify the source of distributivity in natural language. Our hypothesis is that throughout the grammar, distributivity can be tracked down to a single operator. Two converging lines of reasoning help us identify this operator. One line emerges as a result of generalizing and unifying previously disparate treatments of distributivity in the domain of nominal quantifiers. The other line comes from analyzing the meaning of durative adverbials, with special attention to (...) their interaction with cumulative readings. Second, we aim to provide a unified formal semantic framework for the treatment of interactions between verbs and their arguments, most importantly aspect, plurality, and quantification, and to shed light on the way in which thematic arguments are associated with the verb in the lexicon and in the compositional process. Although existing frameworks deal with parts of this picture, no such unified framework exists to date. The theoretical results presented in this proposal include a novel argument in favor of a quantificational analysis of durative adverbials (Dowty, 1979; Moltmann, 1991); a novel account of cumulativity and distributivity that covers both the two-quantifier and three-quantifier case in the nominal domain, including readings prominently discussed by Schein (1993); a reason for severing not only the external, but also the internal argument from the semantics of the verb, in response to Kratzer (1996); and the first event-based semantics for Tree-adjoining grammar (TAG, Joshi et al., 1975). (shrink)
The contributions in this part of the present issue mainly originate from the Carnap Lectures 2011 in Bochum where Prof. Tim Crane (Cambridge, UK) and Prof. Katalin Farkas (Budapest) presented keynote lectures under the heading “The Boundaries of the Mental”. The full workshop program is available on our website: http://www.ruhr-uni-bochum.de/philosophy/carnap2011/index.html.
Le présent article montre que s’il est totalement réducteur de considérer Descartes comme un mécaniste radical (le corps humain n’est pas un corps comme un autre puisqu’il est uni à une âme) et Kant comme un finaliste radical (l’explication scientifique en biologie sera, en dernier ressort, mécaniste) dans leur tentative respective d’explication du vivant, il est tout aussi réducteur de voir en Bergson unsimple critique du mécanisme. En effet, Bergson fait le «rêve», dans L’évolution créatrice , d’un «mécanisme de la (...) transformation» qui représente une réforme du mécanisme dont la condition de possibilité repose non seulement sur le progrès de la chimie, mais également et surtout sur celui des mathématiques modernes, plus précisément du calcul infinitésimal, seule méthode capable de saisir bjectivement le mouvement.When it comes to explaining life and living organisms, it is as insufficient to see in Descartes a proponent of radical mechanicism (the human body is not any sort of body since it is united with a soul) and in Kant a proponent of radical finalism (in biology, scientific explanations are in the last resort mechanicist), as it is to see in Bergson nothing other than an opponent of mechanicism. In fact in Creative Evolution Bergson “dreams” of a “mechanism of transformation” that should consist of a reform of mechanicism, the conditions of possibility of which are based not only on the progress of chemistry, but first of all on the progress of mathematics, and more precisely of infinitesimal calculus, the only method able to objectively grasp movement. (shrink)
We present a new unified framework for formalizations of axiomatic set theories of different strength, from rudimentary set theory to full ZF . It allows the use of set terms, but provides a static check of their validity. Like the inconsistent “ideal calculus” for set theory, it is essentially based on just two set-theoretical principles: extensionality and comprehension (to which we add ∈-induction and optionally the axiom of choice). Comprehension is formulated as: x ∈ {x | ϕ} ↔ ϕ, where (...) {x | ϕ} is a legal set term of the theory. In order for {x | ϕ} to be legal, ϕ should be safe with respect to {x}, where safety is a relation between.. (shrink)
Although much evidence indicates that young infants perceive unitary objects by analyzing patterns of motion, infantsÕ abilities to perceive object unity by analyzing Gestalt properties and by integrating distinct views of an object over time are in dispute. To address these controversies, four experiments investigated adultsÕ and infantsÕ perception of the unity of a center-occluded, moving rod with misaligned visible edges. Both alignment information and depth information affected adultsÕ and infantsÕ perception of object unity in similar ways, and infants perceived (...) object unity by integrating information about object features over time. However, infants perceived a moving, misaligned, three-dimensional object as indeterminate in its connectedness, whereas adults perceived it as connected behind the occluder. These findings indicate that the effectiveness of common motion in specifying unified surfaces across an occluder is reduced by misalignment of edges. Alignment information enhances perception of object unity either by serving directly as information for unity or by optimizing the detectability of motion-carried information for unity. In addition, young infants are able to retain information about edge orientation over short intervals in determining connectedness via a process of spatiotemporal integration. Ó 2003 Elsevier Science (USA). All rights reserved. (shrink)
This article studies the monotonicity behavior of plural determiners that quantify over collections. Following previous work, we describe the collective interpretation of determiners such as all, some and most using generalized quantifiers of a higher type that are obtained systematically by applying a type shifting operator to the standard meanings of determiners in Generalized Quantifier Theory. Two processes of counting and existential quantifi- cation that appear with plural quantifiers are unified into a single determiner fitting operator, which, unlike previous proposals, (...) both captures existential quantification with plural determiners and respects their monotonicity properties. However, some previously unnoticed facts indicate that monotonicity of plural determiners is not always preserved when they apply to collective predicates. We show that the proposed operator describes this behavior correctly, and characterize the monotonicity of the collective determiners it derives. It is proved that determiner fitting always preserves monotonicity properties of determiners in their second argument, but monotonicity in the first argument of a determiner is preserved if and only if it is monotonic in the same direction in the second argument. We argue that this asymmetry follows from the conservativity of generalized quantifiers in natural language. (shrink)
           No one owns 'culture'[i]: anyone with a viable theoretical proposal can contend for the right to determine that concept's fate. Not everyone agrees with this view. Throughout its century-long struggle for academic respectability, anthropology has regularly insisted on its unique role as the proprietor of 'culture.' Its variety of approaches and feuding factions notwithstanding, it is this proprietary claim that unifies anthropology to an extent sometimes unrecognized even by its (...) own (post-modernist) practitioners. The history of anthropology has witnessed at least three important moments in the case for autonomous cultural phenomena based, first, on traditional ontological and methodological presumptions, second, on the hermeneutic turn, and third, on postmodern analyses of discourses and their influences.            Historically, anthropologists cite two closely related bases for these proprietary presumptions. The first, which we shall not belabor here, hearkens to inevitably vague discussions about culture's autonomy (with various passes at making sense of the ontological foundations of that alleged autonomy). Cultural anthropologists have advanced such claims for a century, but Geertz' gloss on this topic is representative both in what it endorses and in the vagueness of the grounds for the endorsement. While advancing a host of claims about culture's ontological status (for example, (1) that culture is "ideational," (2) that it, nonetheless, "does not exist in someone's head," (3) that it has the same status--whatever that is--as a Beethoven quartet, and (4) that it is "public"), Geertz insists that "the thing to ask . . . is not what . . . [its] ontological status is." (Geertz 1973: 10-12.) Unfortunately for Geertz and cultural anthropology generally, any convincing case for the autonomy of culture must account for its relations to the things that constitute it. Moreover, because Geertz never relinquishes anthropology's scientific aspirations, the issue of.... (shrink)
To deal with reactive sequential decision tasks we present a learning model Clarion which is a hybrid connectionist model consisting of both localist and dis tributed representations based on the two level ap proach proposed in Sun The model learns and utilizes procedural and declarative knowledge tapping into the synergy of the two types of processes It uni es neural reinforcement and symbolic methods to perform on line bottom up learning Experiments in various situations are reported that shed light on (...) the working of the model.. (shrink)
This paper introduces a new equilibrium concept for normal form games called dependency equilibrium; it is defined, exemplified, and compared with Nash and correlated equilibria in Sections 2–4. Its philosophical motive is to rationalize cooperation in the one shot prisoners' dilemma. A brief discussion of its meaningfulness in Section 5 concludes the paper. †To contact the author, please write to: Department of Philosophy, University of Konstanz, 78457 Konstanz, Germany; e-mail: Wolfgang.Spohn@uni-konstanz.de.
I will explore possibilities for formulating linguistic semantics in terms of records and record types of the kind used in recent developments of Martin-L¨of type theory (Betarte, 1998, Betarte and Tasistro, 1998, Coquand, Pollock and Takeyama, 2003, Tasistro, 1997). I will suggest that they give us the tools to develop a theory which includes aspects of Montague semantics, using the lambda calculus1, Discourse Representation Theory (DRT)2, situation semantics3 and Head-Driven Phrase Structure Grammar (HPSG)4 in a single theory. I will also (...) argue that formulating these theories in terms of record types may provide us not only with a unified approach but also with certain improvements over the individual theories. (shrink)
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations of formulae and indexes them with substitution tree indexing. In version 0.4 we have parallelized and distributed the search server and augmented the web interface with a new JavaScript-based visual editor for content math formulae. Furthermore, we have extended the query language by generalization, variants, unification, and text search facilities, which can also be mixed. Our experiments show that this architecture results in a (...) scalable application. (shrink)
Just to indicate how this impacted at ground level, when I visited the Uni of NSW round about 1970 an honours student in chemistry who was keeping up with these things told me that Popper was no longer regarded as a leading figure in this field because he had been superseded by Kuhn.
While situation theory and situation semantics (Barwise and Perry 1983) provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their `computational' aspects has only recently started (Black 1993, Nakashima et al. 1988). Existing proposals mainly o er a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations (T n and Akman 1994a, T n and (...) Akman 1994b). The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to arti cial intelligence in a uni ed framework built upon situation-theoretic constructs. (shrink)
The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.
Thus, despite the di culty of higher-order automated theorem proving, which has to deal with problems like the undecidability of higher-order uni - cation (HOU) and the need for primitive substitution, there are proof problems which lie beyond the capabilities of rst-order theorem provers, but instead can be solved easily by an higher-order theorem prover (HOATP) like Leo. This is due to the expressiveness of higher-order Logic and, in the special case of Leo, due to an appropriate handling of the (...) extensionality principles (functional extensionality and extensionality on truth values). (shrink)
: In this paper I consider an interpretation of future contingents which motivates a unification of a Łukasiewicz-style logic with the more classical supervaluational semantics. This in turn motivates a new non-classical logic modelling what is “made true by history up until now.” I give a simple Hilbert-style proof theory, and a soundness and completeness argument for the proof theory with respect to the intended models.
The voice of Orpheus symbolizes the everlasting importance of music and poetry in the animus of man. According to the ancient legend, Orpheus by his very gift of music tills the radical sense of enjoyment in us all and enables entire nature to dance in delight. Music resonates the most primordial and invariant mood of man in his harmony with the universe (uni-verse) from time immemorial. On the basis of the image of “roundness” derived from the auditory model of space, (...) an “ecotopia” or a new orientation of ecological ethics is projected. By affirming man as the responsible caretaker of the Earth, it rejects both speciesism and individualism -the antitheses of social principle. (shrink)
In this paper I deal with Armstrong's last theory of states of affairs and its relation to truthmakers for sentences and the problem of uní versáis. More specifically, I discuss his truthmaker principie, rejecting some of the objections that has been raised against it. However, I also try to show that Armstrong's answer to the problem of the negative existencial sentences in terms of totality states of affairs is mistaken. Finally, I rebut Oliver's slinghot argument against truthmakers and also discuss (...) Armstrong theory of states of affairs as truthmakers. /// Este artículo trata de la última teoría de los estados de cosas de Armstrong, así como de su relación con los hacedores de verdad de los enunciados y con el problema de los universales. En particular, se discute su principio del hacedor de verdad, y se rechazan algunas de las objeciones que se han presentado al mismo. Por otra parte, se intenta mostrar también que la respuesta de Armstrong al problema de los enunciados existenciales negativos en términos de estados de cosas de totalidad es errónea. Finalmente, también se objeta la versión de Oliver del argumento de la honda y se discute la teoría de los hacedores de verdad como los estados de cosas. (shrink)
The controversial status of goluboi as a basic color term is discussed. Fuzzy logic alone cannot reliably attribute basic status to goluboi. Recent linguistic studies support a single basic blue category. Psychophysical data on color-space distances and color naming are currently ambiguous in this regard. Correspondence:p1 Institut für Arbeitsphysiologie an der Universität Dortmund, 44139 Dortmund, Germany paramei@arb-phys.uni-dortmund.de www.ifado.de/projekt-06/.
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in that it has the ability to interpret and associate together objects that are related through a rearrangement of common “middle-scale” parts, represented as image fragments. The model addresses the same concerns as previous work on compositional representation through the use of what+where receptive fields and attentional gain modulation. It does not require (...) prior exposure to the individual parts, and avoids the need for abstract symbolic binding. (shrink)
Quale sia la natura della coscienza è uno dei problemi più analizzati e discussi sia nella ricerca filosofica sia in quella scientifica. Ogni mese nel mondo vengono pubblicati diversi libri dedicati a questo argomento, e decine di riviste specialistiche ospitano articoli e saggi volti a chiarirne le varie componenti; sotto una tale pressione sono nate alcune riviste scientifiche dedicate esclusivamente all'argomento. A questo fiorire di ricerche corrisponde una quantità altrettanto elevata di approcci. Una rivista come il Journal of consciousness studies, (...) ad esempio, annovera contributi di filosofi e neurobiologi, scienziati cognitivi e psicologi gli uni accanto agli altri, a testimoniare proprio la varietà delle questioni e dei metodi di indagine che si addensano attorno ai fenomeni coscienti. Nel libro ho tenuto fede a questa molteplicità, descrivendo le principali teorie filosofiche accanto ai risultati empirici di psicologi e neurologi. Per ragioni di spazio e di taglio generale ho dovuto eliminare molto, e ogni volta penso a quanti autori e correnti di un certo rilievo ho dovuto tralasciare. Lo scopo principale di questo volume, tuttavia, non è quello dell'esaustività, quanto piuttosto di fornire un quadro per chi voglia orientarsi nel problema della coscienza, purché sia attrezzato di una buona dose di curiosità e di un po' di tenacia per poter affrontare qualche dettaglio più tecnico; non è dunque una summa enciclopedica di quel che si studia oggi sotto l'etichetta “coscienza”. Con questo spirito ho descritto, nel primo capitolo, le radici filosofiche del problema della coscienza rifacendomi a molti classici, alcuni dei quali davvero sorprendentemente attuali. Nel capitolo successivo ho analizzato i diversi risultati empirici sui quali si stanno costruendo le teorie più interessanti; il terzo capitolo presenta una serie di teorie filosofiche volte a difendere l'autonomia della coscienza dalle spiegazioni naturalistiche, e il filosofo David Chalmers fa la parte del campione di questo schieramento. L'ultimo capitolo propone invece le teorie più marcatamente naturalistiche, ed è il filosofo Daniel Dennett a portare il vessillo del rappresentante. I quattro capitoli che compongono il libro, dunque, alternano l'approccio filosofico, dedito a chiarire i presupposti concettuali, e quello naturalistico ed empirico, basato sulle tecniche sperimentali, per rendere conto proprio della varietà del problema coscienza, e di come esso rappresenti forse l'ultima frontiera con la quale noi esseri umani proviamo a ritagliarci un posto speciale tra ciò che ci circonda. È sufficiente volgersi alla storia della scienza per constatare le radici di una simile esigenza. Galileo Galilei ha spostato il nostro pianeta dal centro del cosmo ad una marginale periferia; Charles Darwin ci ha inserito, esseri naturali ed emotivi, nel mondo biologico al pari di ogni altra specie; Alan Turing, infine, ha mostrato che molta della nostra cognizione può essere trattata con metodi computazionali. La coscienza sembra l'ultimo baluardo che separa, categorialmente se non ontologicamente, la nostra specie da tutto il resto. L'eventualità di tradurla in termini neurobiologici è da molti considerata una chimera, e la liceità di una simile ipotesi è posta sotto scrutinio per evidenziarne i presupposti filosofici. Questo testo dovrebbe aiutare a capire quali sono gli snodi del problema e chi ha buone prospettive di cogliere nel segno. (shrink)
This paper provides a unification-based implementation of Binding Theory (BT) for the English language in the framework of feature-based lexicalized tree-adjoining grammar (LTAG). The grammar presented here does not actually coindex any noun phrases, it merely outputs a set of constraints on co- and contraindexation that may later be processed by a separate anaphora resolution module. It improves on previous work by implementing the full BT rather than just Condition A. The main technical innovation consists in allowing lists to appear (...) as values of semantic features. (shrink)
The main features of a new online database of scientific illustrators are portrayed. We list illustrators of scientific publications of all genres (especially atlases, articles, textbooks) who were active between 1450 and 1950, thus excluding illuminators of medieval manuscripts as well as illustrators still active. Currently (Sept. 26, 2012), we already have more than 3,461 entries, with particular emphasis on anatomy, dermatology, botany, zoology, mineralogy, astronomy, and general natural history. Access to the database with its 20 search fields is free (...) and open to all interested users at www.uni-stu ttgart.de/hi/gnt/dsi/. (shrink)
Warren’s goal is to present a ‘multi-criterial’ account of moral status—she eschews any view that holds ‘X has moral status iff X has N’ (where ‘N’ might be life, or personhood, or sentience, for example). Moral status, she asserts, is a more complex affair: it comes in degrees and there are a variety of sufficient conditions. The first part of the book (roughly three quarters of it) is devoted to outlining some standard ‘uni-lateral’ accounts, criticising them in so far as (...) they purport to provide necessary and sufficient conditions for status, but selecting the plausible parts of each to come together later in the multi-criterial account. (shrink)
Both Higher-Order Uni cation (HOU) approaches to In linguistic theories on discourse coherence Kehler, discourse semantics Dalrymple et al., 1991; Shieber et..
o presente artigo denominado "O Agir Moral e a Tragedia Mo deraana Filosofia de Kant", est3 baseado em 4 capitulos da disse~ de mestrado "Teoria da ;w;ao moral em Kant", da mesma autora, e que sera defendida este aDO no corso de p6s-gradu~o em filosofia da Uni versidade Federal do Rio Grande do SulIUFRGS.
To deal with sequential decision tasks we present a learning model Clarion which is a hybrid connectionist model consisting of both localist and distributed represen tations based on the two level approach proposed in Sun The model learns and utilizes procedural and declarative knowledge tapping into the synergy of the two types of processes It uni es neural reinforcement and symbolic methods to perform on line bottom up learning Experiments in various situations are reported that shed light on the working (...) of the model.. (shrink)
A suggestion famously made by Peter Winch and carried through to present discussions holds that what constitutes the social as a kind consists of something shared – rules or practices commonly learned, internalized, or otherwise acquired by all members belonging to a society. This essays argues against the explanatory efficacy of appeals to this shared something as constitutive of a social kind by examining a violation of social norms or rules, viz., mistakes. I argue that an asymmetric relation exists between (...) the notion of mistakes and that of the social. In particular, mistakes do not presuppose a concept of the social, but the concept of the social requires prior specification of a category of mistakes. But no such prior specification proves possible. The very notion of a mistake is so inchoate that it makes it impossible to provide the kind of regimentation required for a rule-governed domain. Thus, there may be recognized mistakes even in the absence of a unified system or common knowledge of norms. (shrink)
The Heisenberg quantum mechanical conception of nature is extended and applied to the brain Strict adherence to the principle of parsimony and to quantum thinking produces naturally on the basis of an overview of brain operation compatible with the information provided by the brain sciences a uni ed description of the physical and mental aspects of nature that can account in principle for the full content of felt human experience..
Contre Regis Débray qui ne voit en Tocqueville qu’une figure emblématique de la démocratie et non un républicain, cet article cherche à réhabiliter le républicanisme tocquevillien. Cela implique d’emblée de comprendre, il est vrai, I’importance réelle accordée par Tocqueville à I’analyse de la démocratie, mais ceci non pas dans le but de l’encenser mais parce que tout indique - et même la Providence divine - qu’elle est amenée à s’imposer en Europe tout comme elle I‘a fait prioritairement aux États-Unis. Après (...) avoir étudié en détail cette analyse de la démocratie, nous montrerons que Tocqueville cherche aussi bien à en vanter les merites qu’à en relever les défauts, qu’il ne dissimule guère. Il s’agira dès lors pour lui de faire triompher I’esprit républicain sur I’esprit égalitariste, ce qui nous amènera à mettre en valeur son attachement réel aux valeurs républicaines, attachement qui, bien qu’exigeant et profond, ne pourra néanmoins transcender les bornes idéologiques de son siècle.In this paper I argue, against Regis Debray who sees in Tocqueville someone who is merely representative of democracy, that Tocqueville was indeed a true republican. This presupposes an adequate understanding of Tocqueville’s analysis of democracy; indeed democracy is important for Tocqueville not so much because it is the best regime but one which is destined to impose itself across Europeas it had already done in the United States. After examining Tocqueville’s analysis of democracy, I will show that he is as keen to point out its merits as to underscore its faults. It will be a matter for him to show the superiority of republicanism over egalitarianism. We will thus see that Tocqueville’s attachment to republican ideals is sincere even though it cannot transcend the ideological limits of his time. (shrink)
