The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997, gave rise to the present book, which contains a selection of the papers presented there, thoroughly refereed and revised. The treatment of contexts as bona fide objects of logical formalisation has gained wide acceptance, following the seminal impetus given by McCarthy in his Turing Award address. The field of natural language offers a particularly rich variety of examples and challenges to researchers concerned with the (...) formal modelling of context, and several chapters in the volume deal with contextualisation in the setting of natural language. Others adopt a purely formal-logical viewpoint, seeking to develop general models of even wider applicability. The 12 chapters are organised in three groups: formalisation of contextual information in natural language understanding and generation, the application of context in mechanised reasoning domains, and novel non-classical logics for contextual application. (shrink)

In Kant and the Demands of Self-Consciousness, Pierre Keller examines Kant's theory of self-consciousness and argues that it succeeds in explaining how both subjective and objective experience are possible. Previous interpretations of Kant's theory have held that he treats all self-consciousness as knowledge of objective states of affairs, and also that self-consciousness can be interpreted as knowledge of personal identity. By developing this striking new interpretation Keller is able to argue that transcendental self-consciousness underwrites a general theory of objectivity (...) and subjectivity at the same time. (shrink)

« La métaphysique d’Aristote n’est, au sens aristotélicien, dialectique et par là incapable de tout achèvement déductif, que parce qu’elle est une métaphysique du mouvement, c’est-à-dire de la scission. » Le propos de l’auteur est simple : sans vouloir rajouter et apporter du nouveau sur Aristote, il tente au contraire de désapprendre tout ce que la tradition a ajouté à l’aristotélisme primitif. Car l’aristotélisme que nous connaissons est surtout celui des commentateurs grecs. L’image ainsi révélée est celle d’un Aristote aporétique, (...) mais « cette voix qui parle est celle plus fraternelle qui continue de chercher en nous ce qu’est l’être et de se taire parfois ». (shrink)

Carnap's ideal of explication has become a key concept in analytic philosophy and the basis of a method of analysis which may be considered as an alternative to various forms of naturalism, including Quine's conception of a naturalized epistemology. More recently, new light has been shed on this aspect of the classical Carnap-Quine debate by contemporary philosophers. Whereas Michael Friedman articulated a notion of relativized a priori which owes much to Carnap's internal/external distinction, André Carus attempted to restate Carnap's ideal (...) of explication in a way that bridges the gap between conceptual engineering and naturalism. On the other hand, Mark Wilson argued that concepts develop in unpredictable ways and cannot be planned in the way classical analytic philosophy has assumed from Frege and Russell onwards. This book consists of a series of defences as well as critiques of Carnap's programme, setting it in its historical context, discussing specific cases of explications, and enriching the on-going debate on conceptual engineering and naturalism in analytic philosophy.Carnap's ideal of explication has become a key concept in analytic philosophy and the basis of a method of analysis which may be considered as an alternative to various forms of naturalism, including Quine's conception of a naturalized epistemology. More recently, new light has been shed on this aspect of the classical Carnap-Quine debate by contemporary philosophers. Whereas Michael Friedman articulated a notion of relativized a priori which owes much to Carnap's internal/external distinction, André Carus attempted to restate Carnap's ideal of explication in a way that bridges the gap between conceptual engineering and naturalism. On the other hand, Mark Wilson argued that concepts develop in unpredictable ways and cannot be planned in the way classical analytic philosophy has assumed from Frege and Russell onwards. This book consists of a series of defences as well as critiques of Carnap's programme, setting it in its historical context, discussing specific cases of explications, and enriching the on-going debate on conceptual engineering and naturalism in analytic philosophy. (shrink)

We show that if κ is an infinite successor cardinal, and λ > κ a cardinal of cofinality less than κ satisfying certain conditions, then no ideal on Pκ is weakly λ+-saturated. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Our main results are: (A) It is consistent relative to a large cardinal that holds but fails. (B) If holds and are two infinite cardinals such that and λ carries a good scale, then holds. (C) If are two cardinals such that κ is λ‐Shelah and, then there is no good scale for λ.

Let κ be a regular uncountable cardinal and λ be a cardinal greater than κ. We show that if 2 <κ ≤ M(κ, λ), then ◇ κ,λ holds, where M(κ, λ) equals $\lambda ^{\aleph }0$ if cf(λ) ≥ κ, and $(\lambda ^{+})^{\aleph _{0}}$ otherwise.

In this article I am not going to try and define introspection. I am going to try to state as precisely as possible how the practice of introspection can be improved, starting from the principle that there exists a disjunction between the logic of action and of conceptualization and the practice of introspection does not require that one should already be in possession of an exhaustive scientific knowledge bearing upon it. . To make matters worse, innumerable commentators upon what passes (...) for introspection do not seem to have practised it and have certainly never contributed anything to its development. My aim is therefore to bring to light a procedure for progressive improvement in the practice of introspection when it is employed in a programme of research. (shrink)

We revisit several results concerning club principles and nonsaturation of the nonstationary ideal, attempting to improve them in various ways. So we typically deal with a ideal J extending the nonstationary ideal on a regular uncountable cardinal \, our goal being to witness the nonsaturation of J by the existence of towers ).

This volumes aim is to provide an introduction to Carnaps book from a historical and philosophical perspective, each chapter focusing on one specific issue. The book will be of interest not only to Carnap scholars but to all those interested in the history of analytical philosophy.

Using previous work of Baumgartner, Shelah and others, we describe, for each infinite cardinal θκ, the smallest κ-normal ideal J on Pκ such that.

In 2006, Perruchet and Pacton (2006) asked whether implicit learning and statistical learning represent two approaches to the same phenomenon. This article represents an important follow‐up to their seminal review article. As in the previous paper, the focus is on the formation of elementary cognitive units. Both approaches favor different explanations on what these units consist of and how they are formed. Perruchet weighs up the evidence for different explanations and concludes with a helpful agenda for future research.

This paper reviews Deleuze’s theory of language in Logic of Sense, and Deleuze and Guattari’s theory of language in A Thousand Plateaus. In the ontology informed by the Stoics described in those books, human being and language do not exist separately but in a mixture of words and things. The author argues that this flattened ontology of surfaces is incommensurable with the ontology of depth used in conventional humanist qualitative methodology and recommends beginning new empirical inquiry with a concept instead (...) of with method and methodology. (shrink)

In mass democracies, voting—in elections or referendums—is the main way in which most citizens can publicly express their political preferences. And yet this means of expression is sometimes perceived by them as highly frustrating, partly because it does not allow for much expression. Dominant voting methods lead to a reduction of options, pressure citizens to vote tactically at the cost of expressing their genuine preferences, and fail to convey what they really think about different candidates, parties, or options. Yet citizens (...) do not merely have a right to vote; they have a more fundamental right to political expression from which one can derive a right to a voting method that offers the most opportunities for expression among those satisfying other important requirements. The aim of this article is therefore to add this consideration about the importance of political expression to debates about voting methods that have mainly been conducted from the perspective of social choice theory. To illustrate what is at stake, it introduces evaluative voting methods (allowing voters to grade all of the candidates, parties, or options) as a promising way of honoring the right to political expression without jeopardizing other important properties of voting methods. (shrink)

In response to Germain argument that evolution by natural selection has a limited explanatory power in cancer, Lean and Plutynski have recently argued that many adaptations in cancer only make sense at the tumor level, and that cancer progression mirrors the major evolutionary transitions. While we agree that selection could potentially act at various levels of organization in cancers, we argue that tumor-level selection is unlikely to actually play a relevant role in our understanding of the somatic evolution of human (...) cancers. (shrink)

We use ideas of Fred Galvin to show that under Martin's axiom, there is a prime ideal on Pω (λ) with the partition property for every \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document}.

Wittgensteinian readings of Being and Time, and of the source of the intelligibility of Dasein''s world, in terms of language and the average everyday public practices of das Man are partly right and partly wrong. They are right in correcting overly individualist and existentialist readings of Heidegger. But they are wrong in making Heidegger into a proponent of language or everydayness as the final word on intelligibility and the way the world is disclosed to us. The everydayness of das Man (...) and language are partial sources of intelligibility but only insofar as they are comprehended within the greater unitary structure of care and temporality. Care and temporality constitute the foundational underpinnings for disclosure and the intelligibility ofthat wherein Dasein dwells. (shrink)

In a recently published paper, we argued that theories of cultural evolution can gain explanatory power by being more pluralistic. In his reply to it, Dennett agreed that more pluralism is needed. Our paper’s main point was to urge cultural evolutionists to get their hands dirty by describing the fine details of cultural products and by striving to offer detailed and, when explanatory, varied algorithms or mechanisms to account for them. While Dennett’s latest work on cultural evolution does marvelously well (...) on the first point, it has only whet our appetite on the second. Accordingly, the present paper aims to show what an evolutionary explanation of culture that takes the variety of cultural evolution mechanisms seriously would look like. We will focus on the cultural evolution of social epistemic mechanisms and we will propose that Darwinian algorithms should be complemented with a cultural analogue of the error reduction mechanism proposed to account for human cognition, with a particular emphasis on the necessity to build independencies between different sub-systems in charge of tracking states of the world. To illustrate our point, we will present how the evolution of the legal system as epistemic systems can be understood as a process of building increasingly better independencies and how various criticisms of the actual legal system calls for building even more of them. (shrink)

Let μ,κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu, \kappa}$$\end{document} and λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document} be three uncountable cardinals such that μ=cf<κ=cf<λ.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu = {\rm cf} < \kappa = {\rm cf} < \lambda.}$$\end{document} The game ideal NGκ,λμ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${NG_{\kappa,\lambda}^\mu}$$\end{document} is a normal ideal on Pκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${P_\kappa }$$\end{document} defined using games (...) of length μ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu}$$\end{document}. We show that if 2≤λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^{} \leq \lambda}$$\end{document} and there are no large cardinals in an inner model, then the diamond principle ♢κ,λ[NGκ,λμ]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_{\kappa,\lambda} [{NG}_{\kappa,\lambda}^\mu]}$$\end{document} holds. We also show that if ♢κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_\kappa }$$\end{document} holds, where S is a stationary subset of κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, then ♢κ,λ:a∩κ∈S})\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_{\kappa,\lambda} : a \cap \kappa \in S\})}$$\end{document} holds. (shrink)

As is often the case when scientific or engineering fields emerge, new concepts are forged or old ones are adapted. When this happens, various arguments rage over what ultimately turns out to be conceptual misunderstandings. At that critical time, there is a need for an explicit reflection on the meaning of the concepts that define the field. In this position paper, we aim to provide a reasoned framework in which to think about various issues in the field of distributed cognition. (...) We argue that both relevant concepts, distribution and cognition, must be understood as continuous. As it is used in the context of distributed cognition, the concept of distribution is essentially fuzzy, and we will link it to the notion of emergence of system-level properties. The concept of cognition must also be seen as fuzzy, but for a different reason: due to its origin as an anthropocentric concept, no one has a clear handle on its meaning in a distributed setting. As the proposed framework forms a space, we then explore its geography and visit famous landmarks. (shrink)

Political judgments usually combine a normative principle or intuition with an appreciation of empirical facts regarding the achievability of different options and their potential consequences. The interesting question dividing partisans of political idealism and realism is whether these kinds of considerations should be integrated into the normative principles themselves or considered apart. At first sight, if a theorist is concerned with guiding political judgments, non-ideal or realist theorizing can seem more attractive. In this article, however, I argue that ideal theorizing (...) might be considered valuable even by theorists moved by a pragmatic concern because it is less exposed to conservatism. I nonetheless contend that the aim to guide action in the world as it is should not be abandoned. Therefore, I outline a four-step method for proceeding from abstract moral principles to concrete political judgments and apply it to a test case. (shrink)

We study the degree of (weak) Q-pointness, and that of (weak) P-pointness, of ideals on a regular infinite cardinal.

Building upon earlier work of Donna Carr, Don Pelletier, Chris Johnson, Shu-Guo Zhang and others, we show that a normal ideal J on Pκ is strongly normal if and only if J+→< 2 for every μ < κ, and we describe the least normal ideal J on Pκ such that J+ →< 2.

The importance given by historian and philosopher of science Georges Canguilhem to the role of practice, techniques, and experimentation in concept-formation was largely overlooked by commentators. After placing Canguilhem’s contributions within the larger history of historical epistemology in France, and clarifying his views regarding this expression, I re-evaluate the relation between concepts and experimental practices in Canguilhem’s philosophy of science. Drawing on his early writings on the relations between science and technology in the 1930s, on the Essai sur quelques problèmes (...) concernant le normal et le pathologique, and on La formation du concept de réflexe aux XVIIe et XVIIIe siècles, I argue that the formation and rectification of concepts in Canguilhem’s sense are intrinsically bound with the experimental, material, technical, and cultural contexts in which concepts are operationalized. (shrink)

We study the effects of piece selection principles on cardinal arithmetic (Shelah style). As an application, we discuss questions of Abe and Usuba. In particular, we show that if, then (a) is not (λ, 2)‐distributive, and (b) does not hold.

We give a new characterization of the nonstationary ideal on \\) in the case when \ is a regular uncountable cardinal and \ a singular strong limit cardinal of cofinality at least \.

We study the partition relation $X@>{\rm w}>>[Y]_{p}^{2}$ that is a weakening of the usual partition relation $X\rightarrow [Y]_{p}^{2}$ . Our main result asserts that if κ is an uncountable strongly compact cardinal and $\germ{d}_{\kappa}\leq \lambda ^{<\kappa}$ , then $I_{\kappa,\lambda}^{+}@>{\rm w}>>[I_{\kappa,\lambda}^{+}]_{\lambda <\kappa}^{2}$ does not hold.