Lewis’ Theory of Counterfactuals and Essentialism

La logique contemporaine a connu de nombreux développements au cours de la seconde moitié du siècle dernier. Le plus sensationnel est celui de la logique modale et de sa sémantique des mondes possibles (SMP) dû à Saul Kripke dans les années soixante. Ces dans ce cadre que David Lewis exposera sa sémantique des contrefactuels (SCF). Celle-ci constitue une véritable excroissance de l’architecture kripkéenne. Mais sur quoi finalement repose l’architecture kripkéenne elle-même ? Il semble bien que la réponse soit celle d’une ontologie raffinée ultimement basée sur la notion de mondes possible. Ce mémoire comporte quatre objectifs. Dans un premier temps, nous allons étudier ce qui distingue les contrefactuels des autres conditionnels et faire un survol historique de la littérature concernant les contrefactuels et leur application dans différent champs du savoir comme la philosophie des sciences et l’informatique. Dans un deuxième temps, nous ferons un exposé systématique de la théorie de Lewis telle qu’elle est exposée dans son ouvrage Counterfactuals. Finalement, nous allons explorer la fondation métaphysique des mondes possible de David Lewis dans son conception de Réalisme Modal.

Une Fantasy roubaldienne, ou, Nouvelle exploration ludique des potentialités littéraires : essai ; suivi de La Quête du Vortex (création littéraire)

Le Jeu, un phénomène difficile à définir, se manifeste en littérature de différentes manières. Le présent travail en considère deux : l’écriture à contrainte, telle que la pratique l’Oulipo, et l’écriture de l’imaginaire, en particulier les romans de Fantasy française. La première partie de cette étude présente donc, sous forme d’essai, les origines et les visées des deux groupes d’écrivains, mettant en lumière les similitudes pouvant être établies entre eux malgré leurs apparentes différences. Tandis que l’Oulipo cherche des contraintes capables de générer un nombre infini de textes et explore la langue par ce moyen, la Fantasy se veut créatrice de mondes imaginaires en puisant généralement à la source de Tolkien et des jeux de rôle. Il en résulte que le jeu, dans les deux cas, se révèle un puissant moteur de création, que le récit appelle un lecteur-explorateur et qu’il crée une infinité de mondes possibles. Malgré tout, des divergences demeurent quant à leurs critiques, leurs rapports avec le jeu et les domaines extralittéraires, et leurs visées. Considérant ce fait, je propose de combiner les deux styles d’écriture en me servant du cycle des Hortense de Jacques Roubaud (structuré au moyen de la sextine) et des Chroniques des Crépusculaires de Mathieu Gaborit (figure de proue en fantasy « pure »). Ce projet a pour but de combler le fossé restant encore entre les deux groupes. Ainsi, la seconde partie de mon travail constitue une première tentative de réunion des deux techniques d’écriture (à contrainte et de l’imaginaire). Six héros (trois aventuriers et trois mercenaires) partent à la recherche d’un objet magique dérobé à la Reine du Désert et capable de bouleverser l’ordre du monde. Le récit, divisé en six chapitres, rapporte les aventures de ce groupe jusqu’à leur rencontre avec l’ennemi juré de la Reine, un puissant sorcier elfe noir. Chaque chapitre comporte six sections plus petites où sont permutés – selon le mouvement de la sextine – six éléments caractéristiques des jeux de rôles : 1-Une description du MJ (Maître du Jeu) ; 2-Un combat ; 3-Une énigme à résoudre ou un piège à désarmer ; 4-Une discussion entre les joueurs à propos de leurs avatars ; 5-L’acquisition d’un nouvel objet ; 6-Une interaction avec un PNJ (Personnage Non Joueur). Tout au long du texte, des références aux Chroniques des Crépusculaires de Mathieu Gaborit apparaissent, suivant également un ordre sextinien. D’autres allusions, à Tolkien, Queneau, Perec ou Roubaud, agrémentent le roman.

Transreal arithmetic as a consistent basis for paraconsistent logics

Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been pro- posed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as methods for fuzzy reasoning, with applica- tions in Artificial Intelligence and the control of complex systems. Formalisations of paraconsistent logics usually require heroic mathe- matical efforts to provide a consistent axiomatisation of an inconsistent system. Here we use transreal arithmetic, which is known to be consis- tent, to arithmetise a paraconsistent logic. This is theoretically simple and should lead to efficient computer implementations. We introduce the metalogical principle of monotonicity which is a very simple way of making logics paraconsistent. Our logic has dialetheaic truth values which are both False and True. It allows contradictory propositions, allows variable contradictions, but blocks literal contradictions. Thus literal reasoning, in this logic, forms an on-the- y, syntactic partition of the propositions into internally consistent sets. We show how the set of all paraconsistent, possible worlds can be represented in a transreal space. During the development of our logic we discuss how other paraconsistent logics could be arithmetised in transreal arithmetic.

Transreal logical space of all propositions

Transreal numbers provide a total semantics containing classical truth values, dialetheaic, fuzzy and gap values. A paraconsistent Sheffer Stroke generalises all classical logics to a paraconsistent form. We introduce logical spaces of all possible worlds and all propositions. We operate on a proposition, in all possible worlds, at the same time. We define logical transformations, possibility and necessity relations, in proposition space, and give a criterion to determine whether a proposition is classical. We show that proofs, based on the conditional, infer gaps only from gaps and that negative and positive infinity operate as bottom and top values.

Approximations of modal logics: K and beyond

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modal n-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics K, T, D, S4 and S5. (c) 2008 Published by Elsevier B.V.

Deleuze's neo-leibnizianism, events and the logic of sense's 'static ontological genesis'

In The Logic of Sense, Deleuze effectively argues that two types of relation between events govern their ‘evental’ or ‘ideal play’, and ultimately underlie determined substances, that is, worldly individuals and persons. Leibniz calls these relations ‘compossibility’ and ‘incompossibility’. Deleuze calls them ‘convergence’ and ‘divergence’. This paper explores how Deleuze appropriates and extends a number of Leibnizian concepts in order to ground the idea that events have ontological priority over substances ‘all the way down’.

On theory multiple contraction

The one which is considered the standard model of theory change was presented in [AGM85] and is known as the AGM model. In particular, that paper introduced the class of partial meet contractions. In subsequent works several alternative constructive models for that same class of functions were presented, e.g.: safe/kernel contractions ([AM85, Han94]), system of spheres-based contractions ([Gro88]) and epistemic entrenchment-based contractions ([G ar88, GM88]). Besides, several generalizations of such model were investigated. In that regard we emphasise the presentation of models which accounted for contractions by sets of sentences rather than only by a single sentence, i.e. multiple contractions. However, until now, only two of the above mentioned models have been generalized in the sense of addressing the case of contractions by sets of sentences: The partial meet multiple contractions were presented in [Han89, FH94], while the kernel multiple contractions were introduced in [FSS03]. In this thesis we propose two new constructive models of multiple contraction functions, namely the system of spheres-based and the epistemic entrenchment-based multiple contractions which generalize the models of system of spheres-based and of epistemic entrenchment-based contractions, respectively, to the case of contractions (of theories) by sets of sentences. Furthermore, analogously to what is the case in what concerns the corresponding classes of contraction functions by one single sentence, those two classes are identical and constitute a subclass of the class of partial meet multiple contractions. Additionally, and as the rst step of the procedure that is here followed to obtain an adequate de nition for the system of spheres-based multiple contractions, we present a possible worlds semantics for the partial meet multiple contractions analogous to the one proposed in [Gro88] for the partial meet contractions (by one single sentence). Finally, we present yet an axiomatic characterization for the new class(es) of multiple contraction functions that are here introduced.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

Semantic under-determinacy, Content and Context

The aim of the thesis is to investigate the topic of semantic under-determinacy, i.e. the failure of the semantic content of certain expressions to determine a truth-evaluable utterance content. In the first part of the thesis, I engage with the problem of setting apart semantic under-determinacy as opposed to other phenomena such as ambiguity, vagueness, indexicality. As I will argue, the feature that distinguishes semantic under-determinacy from these phenomena is its being explainable solely in terms of under-articulation. In the second part of the thesis, I discuss the topic of how communication is possible, despite the semantic under-determinacy of language. I discuss a number of answers that have been offered: (i) the Radical Contextualist explanation which emphasises the role of pragmatic processes in utterance comprehension; (ii) the Indexicalist explanation in terms of hidden syntactic positions; (iii) the Relativist account, which regards sentences as true or false relative to extra coordinates in the circumstances of evaluation (besides possible worlds). In the final chapter, I propose an account of the comprehension of utterances of semantically under-determined sentences in terms of conceptual constraints, i.e. ways of organising information which regulate thought and discourse on certain matters. Conceptual constraints help the hearer to work out the truth-conditions of an utterance of a semantically under-determined sentence. Their role is clearly semantic, in that they contribute to “what is said” (rather than to “what is implied”); however, they do not respond to any syntactic constraint. The view I propose therefore differs, on the one hand, from Radical Contextualism, because it stresses the role of semantic-governed processes as opposed to pragmatics-governed processes; on the other hand, it differs from Indexicalism in its not endorsing any commitment as to hidden syntactic positions; and it differs from Relativism in that it maintains a monadic notion if truth.

Il geografo riluttante. R.K. Narayan e il mondo di Malgudi

Il presente lavoro è dedicato allo studio della geografia immaginaria creata dallo scrittore indiano di lingua inglese R.K. Narayan (1906-2001), allo scopo non solo di indagare la relazione che si stabilisce tra spazio, personaggi e racconto, ma anche di rilevare l’interazione tra il mondo narrativo e le rappresentazioni dominanti dello spazio indiano elaborate nel contesto coloniale e postcoloniale. Dopo un primo capitolo di carattere teorico-metodologico (che interroga le principali riflessioni seguite allo "spatial turn" che ha interessato le scienze umane nel corso del Novecento, i concetti fondamentali formulati nell’ambito della teoria dei "fictional worlds", e i più recenti approcci al rapporto tra spazio e letteratura), la ricerca si articola in due ulteriori sezioni, che si rivolgono ai quattordici romanzi dell’autore attraverso una pratica interpretativa di ispirazione geocritica e “spazializzata”. Nel secondo capitolo, che concerne la dimensione “verticale” che si estende dal cronotopo dei romanzi a quello dell’autore e dei lettori, si procede al rilevamento, all’interno del mondo narrativo, di tre macro-paesaggi, successivamente messi a confronto con le rappresentazioni endogene e esogene dello spazio extratestuale; da questo confronto, la cittadina di Malgudi emerge come proposta autoriale di riorganizzazione sociale e urbana dal carattere innovativo e dallo statuto eterotopico, sia in rapporto alla tradizione letteraria dalla quale origina, sia rispetto alle circostanze ambientali dell’India meridionale in cui essa è finzionalmente collocata. Seguendo una dinamica “orizzontale”, il terzo capitolo esamina infine il rapporto tra lo spazio frazionato di Malgudi, i luoghi praticati dai suoi abitanti e la relazione che questi instaurano con il territorio transfrontaliero e con la figura del forestiero; inoltre, al fine di stabilire la misura in cui la natura dello spazio narrativo influisce sulla forma del racconto, si osservano le coincidenze tra il tema dell’incompiutezza che pervade le vicende dei personaggi e la forma aperta dei finali romanzeschi.

Annabella (El pentágono) de Antonio Di Benedetto : aproximaciones a una poética de la ficción

A partir de la idea de que las obras literarias pueden instaurar, dentro de su propia estructura, claros y profundos planteos sobre conceptos como realidad, ficción, y verdad ficcional. se indaga la poética de la ficción que de modo implícito se inscribe en la obra de Antonio Di Benedetto, más precisamente en El pentágono; novela en forma de cuentos, texto de corte experimental publicado por vez primera en 1955, en el que se presta especial atención a las relaciones entre realidad y ficción, a la posibilidad de la ficción de instituir mundos diversos y a los límites y juegos especulares entre ambos dominios. Por otra parte, se observa, en la peculiar construcción de esta novela en forma de cuentos, una estructura que en sí misma es signo del concepto de ficción que domina la obra.

Caracterización de diferentes homologaciones axiológicas vigentes en los dibujos animados para televisión

Los dibujos animados norteamericanos, sigilosamente, han ido ocupando un lugar cada vez más relevante en la industria cultural. Tanto es así, que hoy se pueden discriminar canales específicamente destinados a la animación y, a su vez, series de animaciones producidas para diversos públicos: niños, adolescentes y adultos. Frente a esta gran cantidad y diversidad de textos llama especialmente mi atención la convivencia de contrapuestos sistemas de valor. Numerosas tiras de dibujos animados, dirigidos especialmente a los niños, ayudan a conformar el gusto infantil contemporáneo (en el sentido de Calabrese) que no responde a un único sistema unificador de valores. Es decir, lo feo o lindo, lo malo o bueno, lo conforme o informe, lo disfórico o eufórico no está dictaminado hoy por un solo discurso axiológico imperante. En este escrito pretendo describir, desde una perspectiva semiótica, las particularidades que resultan de la coexistencia de morfologías, éticas y tímicas distintas. Para ello, me detendré en un grupo de cartoons que se presentan como las antípodas de los tradicionales y conocidos textos audiovisuales de Disney y de las clásicas y exitosas series animadas de la Warner Bross o la Metro Goldywn Mayer. Estas creaciones buscaron exhibir, desde su nacimiento, estabilidad en las formas, armonía cromática y uniformidad de comportamientos. Contrariamente, los mundos posibles que hoy también integran el universo de dibujos animados, evidencian lo que Calabrese denomina el placer de lo impreciso, lo indefinido, lo vago y lo ambiguo. Estas representaciones sincréticas exaltan notorias diferencias en sus homologaciones axiológicas liberándose de las pretensiones de perfección, tanto de sus escenarios como de sus actores figurativos: seres híbridos, animales aversivos, niños nefastos, criaturas deformes y escenarios difusos son algunas de las características que definen a los últimas producciones animadas para televisión.

Aportes de las teorías sociológicas a la discusión de la ontología. Los casos de Luhmann, Habermas y Latour

En este trabajo se discuten los aportes de la teoría sociológica contemporánea al debate filosófico y científico de la ontología, para ello son cotejados los componentes ontológicos de la Teoría General de Sistemas Sociales de Niklas Luhmann, lla Teoría de la Acción Comunicativa de Jürgen Habermas y la Actor-Network Theory de Bruno Latour.

Imagine the Possibilities: Information without Overload

Information is often modelled as a set of relevant possibilities, treated as logically possible worlds. However, this has the unintuitive consequence that the logical consequences of an agent's information cannot be informative for that agent. There are many scenarios in which such consequences are clearly informative for the agent in question. Attempts to weaken the logic underlying each possible world are misguided. Instead, I provide a genuinely psychological notion of epistemic possibility and show how it can be captured in a formal model, which I call a fan. I then show how to use fans to build formal models of being informed, as well as knowledge, belief and information update.

Necessidade

Este artigo dá uma introdução à noção de necessidade. O objetivo principal é refletir sobre os fundamentos e as fontes da necessidade. Primeiro, apresentamos a semântica dos mundos possíveis. Como ela depende fundamentalmente da noção de mundo possível, discutimos algumas críticas relevantes a essa noção. Em seguida, analisamos duas teorias do novo atualismo, que pretendem justamente explicar a necessidade sem recorrer a mundos possíveis, a saber, a teoria de Fine, na qual as essências de objetos são os fundamentos da necessidade, e a teoria de Jubien, na qual as necessidades são obtidas em virtude da relação básica de necessitação entre propriedades. Propomos algumas modificações às duas teorias. Finalmente, apresentamos uma estrutura do reino das necessidades segundo a qual a necessidade metafísica é a necessidade genuína e mais inclusiva.