989 resultados para Possible worlds semantics


Relevância:

90.00% 90.00%

Publicador:

Resumo:

Tugan-Baranovsky's ideas on socialism are reconstructed with an emphasis on the relation between political economy and utopia. Utopia enters the stage after the critique of capitalism, in the definition of the realm of possibilities in the world of ideas. With the help of ethics, the notion of ideal socialism, unreachable by definition, is defined in the sphere of utopia. Thus, the task of political economy is first to show which of these possible worlds are reachable in the real world, and second to choose the one that conforms better to ideal socialism: this is socialism in practice through the economic plan. Thus, far from considering utopia and science as contradictory, Tugan-Baranovsky saw them as complementary, and his socialism is the result of the dialogue he instituted between them.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

This thesis is concerned with the interaction between literature and abstract thought. More specifically, it studies the epistemological charge of the literary, the type of knowledge that is carried by elements proper to fictional narratives into different disciplines. By concentrating on two different theoretical methods, the creation of thought experiments and the framing of possible worlds, methods which were elaborated and are still used today in spheres as varied as modal logics, analytic philosophy and physics, and by following their reinsertion within literary theory, the research develops the theory that both thought experiments and possible worlds are in fact short narrative stories that inform knowledge through literary means. By using two novels, Abbott’s Flatland and Vonnegut’s The Sirens of Titan, that describe extra-dimensional existence in radically different ways, respectively as a phenomenologically unknowable space and as an outward perspective on time, it becomes clear that literature is constitutive of the way in which worlds, fictive, real or otherwise, are constructed and understood. Thus dimensions, established through extensional analogies as either experimental knowledge or modal possibility for a given world, generate new directions for thought, which can then take part in the inductive/deductive process of scientia. By contrasting the dimensions of narrative with the way that dimensions were historically constituted, the research also establishes that the literary opens up an infinite potential of abstract space-time domains, defined by their specific rules and limits, and that these different experimental folds are themselves partaking in a dimensional process responsible for new forms of understanding. Over against science fiction literary theories of speculation that posit an equation between the fictive and the real, this thesis examines the complex structure of many overlapping possibilities that can organise themselves around larger compossible wholes, thus offering a theory of reading that is both non-mimetic and non-causal. It consequently examines the a dynamic process whereby literature is always reconceived through possibilities actualised by reading while never defining how the reader will ultimately understand the overarching structure. In this context, the thesis argues that a causal story can be construed out of any one interaction with a given narrative—underscoring, for example, the divinatory strength of a particular vision of the future—even as this narrative represents only a fraction of the potential knowledge of any particular literary text. Ultimately, the study concludes by tracing out how novel comprehensions of the literary, framed by the material conditions of their own space and time, endlessly renew themselves through multiple interactions, generating analogies and speculations that facilitate the creation of new knowledge.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

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.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

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.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

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.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

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.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

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.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

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.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

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.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Introdução Hoje em dia, o conceito de ontologia (Especificação explícita de uma conceptualização [Gruber, 1993]) é um conceito chave em sistemas baseados em conhecimento em geral e na Web Semântica em particular. Entretanto, os agentes de software nem sempre concordam com a mesma conceptualização, justificando assim a existência de diversas ontologias, mesmo que tratando o mesmo domínio de discurso. Para resolver/minimizar o problema de interoperabilidade entre estes agentes, o mapeamento de ontologias provou ser uma boa solução. O mapeamento de ontologias é o processo onde são especificadas relações semânticas entre entidades da ontologia origem e destino ao nível conceptual, e que por sua vez podem ser utilizados para transformar instâncias baseadas na ontologia origem em instâncias baseadas na ontologia destino. Motivação Num ambiente dinâmico como a Web Semântica, os agentes alteram não só os seus dados mas também a sua estrutura e semântica (ontologias). Este processo, denominado evolução de ontologias, pode ser definido como uma adaptação temporal da ontologia através de alterações que surgem no domínio ou nos objectivos da própria ontologia, e da gestão consistente dessas alterações [Stojanovic, 2004], podendo por vezes deixar o documento de mapeamento inconsistente. Em ambientes heterogéneos onde a interoperabilidade entre sistemas depende do documento de mapeamento, este deve reflectir as alterações efectuadas nas ontologias, existindo neste caso duas soluções: (i) gerar um novo documento de mapeamento (processo exigente em termos de tempo e recursos computacionais) ou (ii) adaptar o documento de mapeamento, corrigindo relações semânticas inválidas e criar novas relações se forem necessárias (processo menos existente em termos de tempo e recursos computacionais, mas muito dependente da informação sobre as alterações efectuadas). O principal objectivo deste trabalho é a análise, especificação e desenvolvimento do processo de evolução do documento de mapeamento de forma a reflectir as alterações efectuadas durante o processo de evolução de ontologias. Contexto Este trabalho foi desenvolvido no contexto do MAFRA Toolkit1. O MAFRA (MApping FRAmework) Toolkit é uma aplicação desenvolvida no GECAD2 que permite a especificação declarativa de relações semânticas entre entidades de uma ontologia origem e outra de destino, utilizando os seguintes componentes principais: Concept Bridge – Representa uma relação semântica entre um conceito de origem e um de destino; Property Bridge – Representa uma relação semântica entre uma ou mais propriedades de origem e uma ou mais propriedades de destino; Service – São aplicados às Semantic Bridges (Property e Concept Bridges) definindo como as instâncias origem devem ser transformadas em instâncias de destino. Estes conceitos estão especificados na ontologia SBO (Semantic Bridge Ontology) [Silva, 2004]. No contexto deste trabalho, um documento de mapeamento é uma instanciação do SBO, contendo relações semânticas entre entidades da ontologia de origem e da ontologia de destino. Processo de evolução do mapeamento O processo de evolução de mapeamento é o processo onde as entidades do documento de mapeamento são adaptadas, reflectindo eventuais alterações nas ontologias mapeadas, tentando o quanto possível preservar a semântica das relações semântica especificadas. Se as ontologias origem e/ou destino sofrerem alterações, algumas relações semânticas podem tornar-se inválidas, ou novas relações serão necessárias, sendo por isso este processo composto por dois sub-processos: (i) correcção de relações semânticas e (ii) processamento de novas entidades das ontologias. O processamento de novas entidades das ontologias requer a descoberta e cálculo de semelhanças entre entidades e a especificação de relações de acordo com a ontologia/linguagem SBO. Estas fases (“similarity measure” e “semantic bridging”) são implementadas no MAFRA Toolkit, sendo o processo (semi-) automático de mapeamento de ontologias descrito em [Silva, 2004].O processo de correcção de entidades SBO inválidas requer um bom conhecimento da ontologia/linguagem SBO, das suas entidades e relações, e de todas as suas restrições, i.e. da sua estrutura e semântica. Este procedimento consiste em (i) identificar as entidades SBO inválidas, (ii) a causa da sua invalidez e (iii) corrigi-las da melhor forma possível. Nesta fase foi utilizada informação vinda do processo de evolução das ontologias com o objectivo de melhorar a qualidade de todo o processo. Conclusões Para além do processo de evolução do mapeamento desenvolvido, um dos pontos mais importantes deste trabalho foi a aquisição de um conhecimento mais profundo sobre ontologias, processo de evolução de ontologias, mapeamento etc., expansão dos horizontes de conhecimento, adquirindo ainda mais a consciência da complexidade do problema em questão, o que permite antever e perspectivar novos desafios para o futuro.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The aim of this paper is to corn pare two technological dystopias: Emile Souvestre's Le Monde tel qu'il sera (1846) and Cordwainer Smith's "Alpha Ralpha Boulevard" (1961). Both texts present dystopian societies experienced by many of its inhabitants as being the best of possible worlds. The above authors question the massive use of technology, worry about what technology can do to human beings, how it can dehumanize them. They reveal serious social and moral concerns regarding the less privileged. These are excluded from the benefits of"Utopia" while making it possible. Both authors are childs of.. their time: they live in a period of national pride, they can see the shadows behind the luminous, the dangers resulting from human beings playing God with nature and humanity. Also, they are innovators: Souvestre announces dystopian science fiction and Smith renews with the genre announcing the New Wave movement in Anglo-American science fiction.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In this paper I am concerned with the problem of applying the notion of rigidity to general terms. In Naming and Necessity, Kripke has clearly suggested that we should include some general terms among the rigid ones, namely, those common nouns semantically correlated with natural substances, species and phenomena, in general, natural kinds -'water', 'tiger', 'heat'- and some adjectives -'red', 'hot', 'loud'. However, the notion of rigidity has been defined for singular terms; after all, the notion that Kripke has provided us with is the notion of a rigid designator. But general terms do not designate single individuals: rather, they apply to many of them. In sum, the original concept of rigidity cannot be straightforwardly applied to general terms: it has to be somehow redefined in order to make it cover them. As is known, two main positions have been put forward to accomplish that task: the identity of designation conception, according to which a rigid general term is one that designates the same property or kind in all possible worlds, and the essentialist conception, which conceives of a rigid general term as an essentialist one, namely, a term that expresses an essential property of an object. My purpose in the present paper is to defend a particular version of the identity of designation conception: on the proposed approach, a rigid general term will be one that expresses the same property in all possible worlds and names the property it expresses. In my opinion, the position can be established on the basis of an inference to the best explanation of our intuitive interpretation and evaluation, relative to counterfactual circumstances, of statements containing different kinds of general terms, which is strictly analogous to our intuitive interpretation and evaluation, relative to such circumstances, of statements containing different kinds of singular ones. I will argue that it is possible to offer a new solution to the trivialization problem that is thought to threaten all versions of the identity of designation conception of rigidity. Finally, I will also sketch a solution to the so-called 'over-generalization and under-generalization problems', both closely related to the above-mentioned one.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

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.