A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. We (...) provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (shrink)

We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite logical (...) matrix. We show that the last logic of the chain is not finitely axiomatisable. (shrink)

We introduce a new product bilattice con- struction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lat- tice factors. Finally, we show how (...) to employ our product construction to define first-order definable classes of bi- lattices corresponding to any first-order definable subclass of residuated lattices. (shrink)

We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twiststructures, generalizing a known result on the representation of the algebraic counterpart of paraconsistent Nelson logic.

Neutrosophy has been introduced some years ago by Florentin Smarandache as a new branch of philosophy dealing with “the origin, nature and scope of neutralities, as well as their interactions with different ideational spectra”. A variety of new theories have been developed on the basic principles of neutrosophy: among them is neutrosophic logics, a family of many-valued systems that can be regarded as a generalization of fuzzy logics. In this paper we present a critical introduction to neutrosophic logics, focusing on (...) the problem of defining suitable neutrosophic propositional connectives and discussing the relationship between neutrosophic logics and other well-known frameworks for reasoning with uncertainty and vagueness, such as (intuitionistic and interval-valued) fuzzy systems and Belnap’s logic. (shrink)

A mesure qu'ils avancent dans leur œuvre de prospection, les sémioticiens s'aperçoivent que tout est communication, la langue bien sûr, mais aussi les images, les sons, les objets, les gestes, et que tous ces phénomènes constituent des systèmes de signes qui doivent être étudiés en ramenant chaque message aux codes qui en régissent l'émission et la compréhension. Comprendre les systèmes de signes impose toutefois d'envisager les codes comme des structures, puis de recouvrir à des structures toujours plus vastes, dans un (...) mouvement de régression vers la matrice originelle de toute communication possible, vers un prétendu Code des Codes qui devrait représenter la détermination " naturelle " précédant toute culture. Mais si la sémiotique s'engageait dans cette voie, elle ne pourrait qu'aboutir à la " source " de toute structure possible, forcément non structurée, à ce qu'Umberto Ecco appelle la structure absente. Son livre, tout en refusant ce Code des Codes, essaie de montrer que tout acte communicatif est dominé par la présence massive de codes socialement et historiquement déterminés. La sémiotique découvre ainsi dans la dialectique entre code et message les rapports entre l'univers de signes et l'univers des idéologies, qui se reflètent dans les modes communicatifs préconstitués, et elle relie le monde des choses au monde de la culture, qui formalise les choses non pas pour les reconnaître comme elles sont mais afin de les transformer. Après avoir étudié dans L'œuvre ouverte (1965) les structures des langages expérimentaux de l'art contemporain, Umberto Ecco traite ici l'ensemble des problèmes sémiotiques et ce livre constitue à la fois sa contribution à la recherche en cours et le panorama actuellement le plus vaste et le plus complet sur les préalables constitutifs à toute sémiotique et sur l'état présent du structuralisme. (shrink)

The paper contains some algebraic results on several varieties of algebras having an (interlaced) bilattice reduct. Some of these algebras have already been studied in the literature (for instance bilattices with conflation, introduced by M. Fit- ting), while others arose from the algebraic study of O. Arieli and A. Avron’s bilattice logics developed in the third author’s PhD dissertation. We extend the representation theorem for bounded interlaced bilattices (proved, among others, by A. Avron) to un- bounded bilattices and prove analogous (...) representation theorems for the other classes of bilattices considered. We use these results to establish categorical equivalences between these structures and well-known varieties of lattices. (shrink)

In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately fails, (...) and that $$\mathcal {ET\!L}$$ ET L cannot easily be dismissed. We then proceed to give an overview of the research that was inspired by this logic over the last decade, thus providing further motivation for the study of $$\mathcal {ET\!L}$$ ET L and, more generally, of $$\mathcal {FDE}$$ FDE -related logics that result from semantical analyses alternative to Belnap’s canonical one. We focus, in particular, on philosophical questions that these developments raise. (shrink)

Le langage exprime la relation entre l'homme et le monde. Cependant, une certaine manière de le comprendre en a fait l'une des figures de l'objectivité que Patočka a critiquée parce que elle ne nous permet pas d'accéder au monde. Cet article montre comment la pensée du philosophe tchèque a oscillé entre deux interprétations possibles: d'une part, le langage est pensé comme une couche essentielle mai qui se réfère néanmoins toujours au niveau plus profond de la perception; d'autre part, il est (...) le fondement même de la perception. La première interprétation est liée à la critique du positivisme logique de Wittgenstein, la seconde à la critique su subjectivisme de Husserl. Toutefois, à la fin de sa vie, Patočka, pour fonder une conception plus large du sens de l'existence, a fondé le langage sur la liberté, véritable fondement de l'être humain. Pour cette raison, le langage devient non seulement un point d'observation de la critique de l'objectivisme, mais il rend également possible un nouvel accès au phénomène de la chair et au contact sensible avec l'objectivité. (shrink)

The movement has great significance for all philosophical problems, both metaphysical and epistemological. In the first part of this article I would like to show how Patočka takes up some theoretical knots of this problem in four essays on Aristotle. These texts explain movement as a fundamental ontological factor. They therefore link it to ontology. In the second part, however, I will use a contribution by Chiurazzi to show that the same theme was in fact also present in the ancient (...) thought of Plato, who was criticised by Aristotle. In the conclusion, I will try to summarise some common ideas about movement, all of which confirm the centrality of a dynamic ontology, and show the richness of the consequences of this approach. One of the most important results is that the basis of movement coincides with what makes life itself possible. In this way, dynamis becomes the very basis of reality itself. (shrink)

This essay analyses Peter Damian’s idea of perfection, by taking into account his texts devoted to the eremitic conversatio avellanita: in particular, Epistles 18, 50, and 109. It answers to the following working question: how is it possible to achieve an ‘angelic’ condition? Particular attention is paid to the ideas of time, space and ascesis.

In this article, I aim to show how Patočka’s work since the 1960 s has reconceptualized the theory of intentionality. Never abandoning the referential character of the intentional relation, the Bohemian philosopher situates intentionality in its original matrix: the world. This change has the effect of moving the cause of appearing from consciousness to the world, framing it as what appears and what makes appear. Intentionality is not only connected to transcendental consciousness; intentions also must be interpreted as lines of (...) force (Kraftlinien) inside the field of appearing. Patočka moreover locates the origin of all intentional theory in the Aristotelian theory of the soul. Patočka thus wants, on the one hand, to overcome the substantialist argument that considers consciousness a permanent presence and, on the other, to move beyond an idealistic conception of consciousness. Movement is the category that allows us to express these aspects of intentionality. Inserting motion into being is a privilege unique to the soul. (shrink)

The article focuses on Patočka early phenomenological thought developed around the concept of the natural world. More precisely, the aim of the article is to explore Patočka recently published manuscript studies and fragments, dating from the first half of the 1940s, in which Patočka attempts to establish a deeper living correlation between man and world based on a certain metaphysical conception of nature which is not, as for Husserl, just one of the horizons which experiencing creates around itself, nor it (...) is just a basis on which the harmony of experiencing and its evironment must develop, but in which nature also includes an aspect which is closed and alien to subjectivity. In this way, the article shows that Patočka makes a step beyond of Husserl's and Heidegger's schemes of a correlation of life and world, understanding and being. The article thus shows that Patočka early writings throw a certain amount of light on his later phenomenological work that had been most notably developed from 1960s onwards. (shrink)

Bioethics, neuroscience, medicine are contributing to a debate on the definition and criteria of death. This topic is very controversial, and it demonstrates clashing views on the meaning of human life and death. Official medical and legal positions agree upon a biological definition of death as irreversible cessation of integrated functioning of the organism as a whole, and whole-brain criterion to ascertain death. These positions have to face many criticisms: some scholars speak of logical and practical inconsistency, some others of (...) invalid scientific theory about the supreme integrator. In this paper some criticisms are exposed and discussed in order to reconstruct the state of the art in bioethical debate. -/- . (shrink)

This article aims to present one of the main themes that characterize the philosophical reflection of Jan Patočka: the appearing as such. Specifically, this papers is focused on three questions: what (was) appears? How (wie) the world appears? Which is the hidden reason (Grund) that founds appearing, but that remains hidden? The Czech philosopher reaches a conception of phenomenality in which appearance can only be conceived through an a priori structure. This conception leads to a formal transcendentalism of appearing, on (...) the basis of which it can only be thought, but not shown. The formal character of Patočka's approach, however, is a consequence of his speculative method. This speculative method, nevertheless, is problematic because on the one hand the structure of appearing is only responsible for its own laws (and not for what appears), on the other hand Patočka states that the phenomenal sphere also has a practical and vital function. The article traces the way the philosopher proceeds on this theme, which points he analyzes it discusses and which difficulties he exposes himself to. Although Patočka's reflection seems to postulate more than what he can justify (neglecting appearing as experiencing), it offers a strong hint to rethink the roots of the major phenomenological themes still remaining open. (shrink)

I criteri neurologici per accertare il decesso, da impiegare in alternativa a quelli cardiorespiratori se il paziente ha subìto lesioni cerebrali e si trova collegato alle apparecchiature per la ventilazione artificiale, sono entrati nell’uso comune della pratica medica occidentale da circa quarant’anni ed il consenso di cui essi godono nella comunità scientifica sembra, a prima vista, essere ancora oggi molto solido. Si diceva a prima vista, perché se si esamina con attenzione la letteratura dal 1992 ad oggi, si possono scoprire (...) i crescenti numeri del dissenso: ripensamenti e critiche provengono soprattutto da esperti di area medico-biologica, che associano le loro voci a quelle di filosofi, teologi, studiosi di etica. I motivi del dissenso sono molteplici, e l’ampia letteratura che li documenta riguarda la teoria scientifica posta a fondamento dei criteri neurologici, ed evidenzia le contraddizioni, teoriche ed applicative, derivanti dall’uso di quei criteri. (shrink)

Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations (...) arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (shrink)

Esta contribución presenta como el concepto filosófico de “donación” es reinterpretado en la reflexión de Patočka. Partiendo de la lección husserliana, gracias a la cual las cosas son dadas en la pura inmanencia de la consciencia, él critica esta orientación “subjetivista” porque no desarrolla adecuadamente el tema del aparecer en el campo fenomenal. La segunda sección analiza tres desplazamientos metódicos que abarcan: el rol del sujeto, su relación con la trascendencia, el darse a sí mismo del mundo en su totalidad. (...) La tercera sección compara la reflexión de Patočka con dos referencias cruzadas a algunos intentos similares en la historia de la fenomenología. El tema de “la donación”, por tanto, nos traslada al mayor problema con el que ha trabajado siempre la filosofía: la manifestación del mundo. Patočka intentó esclarecer este problema mediante dos metáforas (el espejo y la pintura), pero también subrayó cómo concierne el modo en el que el hombre interpreta la propia existencia. (shrink)

We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (the (...) problem of the safety of the agenda). We provide results both for specific aggregation procedures (the quota rules, the premisebased procedure, and a distance-based procedure) and for classes of aggregation procedures characterised in terms of fundamental axioms. (shrink)

Tra il 1950 e il 1976, malgrado le prove e i contrattempi, Patočka ha ripreso spesso la sua meditazione sul mondo nel quale viviamo e dal quale la scienza ci allontana nello momento stesso in cui ne scopre l’oggettività. I dieci saggi qui raccolti permettono di seguire l’itinerario di pensiero che ha portato il filosofo ceco a porre la questione di una fenomenologia trans-soggettiva e a ripensare, in questa prospettiva, il concetto aristotelico di movimento. Lungo il percorso appare evidente che (...) dal 1910 Husserl liberava il significato fondamentale del “problema” di un mondo naturale; tuttavia, soltanto una fenomenologia che porta a compimento ciò che la Kehre heideggeriana inaugura, ha qualche possibilità di reperire le giustificazioni di un quotidiano in cui mito, lavoro e scienza trovano senso in queste grandi manifestazioni della libertà con l’altro che sono il sacrificio e la cosiddetta vita normale. (shrink)

Il volume presenta la traduzione di un manoscritto che risale agli anni Quaranta del Novecento. Queste pagine appartenevano a un progetto più grande, rimasto incompiuto, attraverso il quale Patočka cercava di elaborare una filosofia dell'uomo e dell'interno. L'obiettivo critico del testo è il biologismo scientifico del tempo. Da un lato vi si possono riconoscere motivi derivanti dall'idealismo tedesco, dall'altro emerge un approccio fenomenologico nuovo. Esso, quindi, riflette i primi tentativi del filosofo ceco di pensare il rapporto tra la soggettività e (...) il mondo. Questo progetto mirava a sviluppare una teoria fenomenologica della soggettività che avrebbe dovuto precedere un'interpretazione filosofica della vita organica non-umana, e muoversi in direzione di una filosofia della vitalità. Con il concetto di "interno", a cui lavora nei manoscritti degli anni 1939-1945, Patočka intendeva sostituire il concetto di "soggetto", rinunciando da un lato alla soggettività trascendentale husserliana, e dall'altro lato al Dasein heideggeriano. (shrink)

Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known algebraic (...) semantics for $\mathcal{S}$ as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation; this also allows us to clarify the relation between $\mathcal{S}$ and the other two Nelson logics $\mathcal{N}3$ and $\mathcal{N}4$. (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we likewise establish (...) that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of abstract (...) algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices. (shrink)

In a previous work we studied, from the perspective ofAlgebraic Logic, the implicationless fragment of a logic introduced by O. Arieli and A. Avron using a class of bilattice-based logical matrices called logical bilattices. Here we complete this study by considering the Arieli-Avron logic in the full language, obtained by adding two implication connectives to the standard bilattice language. We prove that this logic is algebraizable and investigate its algebraic models, which turn out to be distributive bilattices with additional implication (...) operations. We axiomatize and state several results on these new classes of algebras, in particular representation theorems analogue to the well-known one for interlaced bilattices. (shrink)

The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of (...) view ofAlgebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies. (shrink)

Many collective decision making problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices adopted for some of the others. Voting is an attractive method for making collective decisions, but conducting a multi-issue election is challenging. On the one hand, requiring agents to vote by expressing their preferences over all combinations of issues is computationally infeasible; on the other, decomposing the problem into several elections on smaller (...) sets of issues can lead to paradoxical outcomes. Any pragmatic method for running a multi-issue election will have to balance these two concerns. We identify and analyse the problem of generating an agenda for a given election, specifying which issues to vote on together in local elections and in which order to schedule those local elections. (shrink)

This text explores four books produced by one of the most prominent semioticians of the previous century, Umberto Eco, in order to create a semiotic meta-theory which enhances a multifarious way of â oereadabilityâ and scientifically justifies the dichotomy between the creation of a work of art and its being read, visualized and experienced by the audience. It begins by treating the â oenarrationâ component as one of the main theoretical challenges of Ecoâ s theory, specifically focusing on the (...) concept of time, seen from the linguistic and semiotic viewpoints. The book also explores Ecoâ s text theory, as well as â oesemiotics properâ, representing an analysis of the â oeencodingâ and â oedecodingâ theories. In addition, it exemplifies the â oeopennessâ and â oecollaborationâ between the writer and the reader, as well as relationships between the creator and audience in all forms of art. The book will appeal to scholars, students, and intellectuals who want to have a detailed knowledge of Ecoâ s overall contribution to semiotics, and seek a â oeformulaâ which would inter-connect informational and code theories with the narration method, so as to create what we call â oeinterpretative semioticsâ today. (shrink)

The "semiotic threshold" is U. Eco's metaphor of the borderline between the world of semiosis and the nonsemiotic world and hence also between semiotics and its neighboring disciplines. The paper examines Eco's threshold in comparison to the views of semiosis and semiotics of C. S. Peirce. While Eco follows the structuralist tradition, postulating the conventionality of signs as the main criterion of semiosis, Peirce has a much broader concept of semiosis, which is not restricted to phenomena of culture but includes (...) many processes in nature. Whereas Eco arrives at the conclusion that biological processes, such as the ones within the immune system, cannot be included in the program of semiotic research, Peirce's broader defmition of semiosis has meanwhile become thefoundation of semiotic studies in biology and medicine and hence in biosemiotics and medical semiotics. (shrink)

This is a review of Umberto Eco's novel La misteriosa fiamma della regina Loana (2004) with a special focus on its portrayal of the self and memory, and reflections on the way the novel's treatment reveals the intertextual makeup of personal identity and of ideology, and their grounding in a specific cultural and discursive environment. -/- Note: Downloadable file is in Spanish: "La identidad intertextual: La misteriosa llamada de la reina Loana".

In this paper, I interrogate the question of how aesthetics might be used in terms of an antifascist project. The exposition includes two main steps. First, drawing on the work of Umberto Eco and Sven Reichardt, I introduce a perspective on fascism, in which I identify its character as synthetico-paradoxical. Then, I utilize Jacques Rancière’s conception of aesthetics as politics to show how a decentralized understanding of what makes good art can disrupt fascism by appealing to the sense of (...) re-recognition of the individual political subject. (shrink)

A discussion of Umberto Eco's notion of open and closed texts.

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus (...) for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

“Il n’y a pas de hors-texte”. Intralinguistic Semantics and Its Philosophical and Cognitive Consequences The aim of this paper is to present and metatheoretically analyse the model of intralinguistic semantics as set forth by Umberto Eco in his Theory of Semiotics. The distinctive feature of this system is the rejection of the realistic category of reference, understood as a correspondence of meaningful units with the extralinguistic domain of interpretation, i.e., with a class of extralinguistic semantic correlates. As a result, (...) the main idea of Eco’s theory is to replace the traditional extralinguistic semantics with the new one, in which the meaning of each unit is determined solely by its relations with the other elements of the system. Language formed in this way is semantically autonomous, intralinguistically closed and self-explaining. Analysis of Eco’s theory by means of the appropriate conceptual apparatus reveals the far-reaching philosophical and cognitive implications of his approach in studies on language, meaning and truth. (shrink)

In this essay, the author considers intertextuality in contemporary musical work, conceptualizing it not only as a critical category and as an artistic convention, but also as an aesthetic strategy. Listening for texts, as it were, opens the work for influences and gives it new purposes. The multiple texts, which are mutually interdependent, alter each other’s meaning and are “read” and “re-read” during aesthetic experience. Depending on the listener, these meanings are more or less pronounced; some are seen as primary, (...) while others are seen as secondary. Sometimes they are co-dependent and meaningful together, but sometimes they shy each other out. The multilayered quality of the work is acknowledged and seen as important even before individual meanings can be discovered. The author proposes a look at intertextuality in reference to musical works by Steve Reich,. The author uses Ryszard Nycz’s definition of intertextuality and confronts it with Umberto Eco’s idea of interpretation and the structural openness of art. Putting forward a concept of listening-in as a necessary element of receiving and understanding certain musical works, she suggests accepting an intertextual aesthetic strategy for a satisfactory aesthetic experience. Assuming the presence of multiple texts, which are different in character and meaning, and accepting their interdependence, changes the reception of the work and colors its qualities. The challenge is not only to seek out different texts hidden behind the purely musical face of the work but to find out the way they influence each other, knowing full well that the major or minor role those texts play depend on the listener as much as on the author. (shrink)

Propaganda is one of the most apparent avenues of ideological struggle. Amidst the battlefield in the social consciousness, the purpose of this study is to forward revolutionary ideology through intensification of revolutionary propaganda, specifically the pamphlet. It is a crucial step for revolutionaries in the aim to forward their methods of propaganda writing to overcome the illness of stereotypical propaganda writing as described by Mao Zedong. Stereotypical propaganda writing in the practice of progressive propaganda leads to a genesis of a (...) manufactured language characterized by the alienation of the masses from the language of revolutionaries and the alienation of revolutionary-propagandists from the practical experience of the masses. To overcome stereotypical propaganda writing, revolutionary propagandists must have a semiotic framework and a dialectical-materialist understanding of their relationship as Author-propagandists with the Reader-masses. By incorporating modest authorial-intentionalism from E.D. Hirsch and the Model-Reader theory of Umberto Eco into textual relationships, the role and the purpose of the sign as a medium in communicating ideologies can be established. In the process, it poses an alternative against the prevalent post-structuralist view of semantic autonomy and reader-response theory in the field of literary criticism. This paper also uses V.N. Voloshinov’s linguistic theory as the framework for semantico-pragmatic linguistic relations and social intercourse as the material base of the sign. (shrink)

What do we do with Judges? This two-edged word? This ambidextrous book? These ambivalent heroes? The Judges were drawing their last fleeting breaths shipwrecked and scattered upon the shores of historical-critical-grammatical-linear-modernist-masculine interpretation. "The narrative is primitive," they said. "The editors have made a mess," they exclaimed. "The conclusion is really an appendix," another said. Then the bible-acrobats jumped in pretending there was no literary carnage while at the same time drawing our eyes away from the literary carnage. "No, no, there (...) is an order to this disorderly book!" "Gideon is a man of faith," they explained. "Gideon is a sham," others retorted. "Long live the king," they cried. "Oh no, the king will bring down the nation," others said. Enter the latest literary critics and the fresh feminist readers to save the day. And save they have. Barry noted the irony. Cheryl called attention to the elaborate, spiraling labyrinth. Phyllis remembered the forgotten. Mieke heralded the incoherence. Deborah the Bee slings Barak with irony. Cowardly Jephthah sacrifices his virgin daughter immediately after he is filled with the spirit. Blind Samson remains stuck in some adolescent, Pinnochio-like stage milling around the same old vices. The Levite, the man of word and sacrifice, lies to the people and dismembers his wife. To beat it all the myopic narrator joins in lock step with the other blind characters stumbling around in the narrative. What manner of text is this? These Judges, these stories, are even more troubling now that we take them seriously. Now what do we do with Judges? The recent scholarship is most promising, but I think we must press forward, or is that backward, or perhaps to another plan. Perhaps Judges hearkens forward to the postmodern. What would Judges look like if we viewed the story through a postmodern lens? Would we see the text in another dimension? Would we let the characters live and breathe as confusing, confounding, intricate characters? Judges speaks to me. These judges, they teach me. How can I ever forget my reading of Judges? For once I found a text reflecting the madness of faith in my maddening world. For once I saw a text like Pablo. I heard the echo of Umberto. I noted the faint murmurings of Jacques. I danced a most joyous jig with Julia. I saw, up ahead, or was that behind me, or over to the side, Martin's flickering candle. Mieke, meet Jael. Barak, meet Barry. Jacques, meet Gideon. Samson, meet Martin. Umberto, meet the narrator or two or three. Pablo, meet the Levite's wife---sorry, she has no name. (shrink)

O presente artigo deseja observar como a crônica esportiva de futebol (especialmente a produção textual de Nelson Rodrigues e José Lins do Rego) consegue engendrar, em sua narrativa, mundos possíveis que, mesmo com atributos ficcionais, se vinculam à referencialidade dos fatos ocorridos no esporte. Utilizando-se o arcabouço teórico de Umberto Eco e de David Lewis, o objetivo aqui é refletir acerca desse exercício de isomorfismo linguístico, bem como desvelar as estratégias altermundistas utilizadas.

Semiotics is an innovative science that has latterly entered the field of contemporary research. This knowledge application has become more or less common in urban planning, although gradually and not directly. Various urban phenomena tend to be hidden based on their characteristics, and only their effects can be studied in the city, so semiotics can be an efficient and accurate mechanism to generate qualitative data from cities. This article consists of three sections; First, with an initial review of the fundamental (...) concepts and definitions of semiotics, the SIGN is defined and then based on the theoretical foundations of Saussure's concepts, semiotics indicators are categorized. Next, the prototypes of semiotics from the point of view of Umberto Eco, which is one of the most famous categorizations done in this regard, will be studied. Subsequently, the following classifications will be considered in this article: - Biological semiotics - Ecological semiotics - Computer Semiotics - Social semiotics - Cultural semiotics - Visual semiotics - Visual semiotics In the last section, for each of the seven types of semiotics explained, first, a definition and second Saussure's concepts of it will be analyzed and finally the interpretation of that class of semiotics in urban planning, or in other words, the application of each type of semiotics in urban planning will be discussed. (shrink)