One of the more controversial articles published in the philosophy of criticism during the past twenty-five years is “The Intentional Fallacy” by W. K. Wimsatt, Jr. and Monroe Beardsley. Scholars from a variety of disciplines have expended a lot of energy in attacking and defending the Wimsatt-Beardsley position. Their efforts fall mainly into two classes. Either they have been exploratory with respect to the nature of the concept ‘intention’, but so exploratory as to present no tangible discovery; or they have (...) merely been occasions to air the author’s own views, views which take sides, but views which in the end only serve to define what positions may be taken without really convincing anyone whether one position is clearly better than the other. This dilemma is really rather odd because in a certain sense it is pitifully easy to understand what the intentional fallacy amounts to. There is a kind of minimal meaning to it, and I suspect that introductory students in courses in Aesthetics and Criticism have little difficulty in understanding it. ‘Difficulties’ seem to arise primarily in connection with its implications and general scope within the totality of criticism. However, it would be wrong to conclude that these difficulties have nothing to do with the intentional fallacy. They do. And the reason is this: the way in which one argues for, that is, establishes, the intentional fallacy has much to do with its implications and general scope within the realm of criticism. (shrink)

One of the more controversial articles published in the philosophy of criticism during the past twenty-five years is “The Intentional Fallacy” by W. K. Wimsatt, Jr. and Monroe Beardsley. Scholars from a variety of disciplines have expended a lot of energy in attacking and defending the Wimsatt-Beardsley position. Their efforts fall mainly into two classes. Either they have been exploratory with respect to the nature of the concept ‘intention’, but so exploratory as to present no tangible discovery; or they have (...) merely been occasions to air the author’s own views, views which take sides, but views which in the end only serve to define what positions may be taken without really convincing anyone whether one position is clearly better than the other. This dilemma is really rather odd because in a certain sense it is pitifully easy to understand what the intentional fallacy amounts to. There is a kind of minimal meaning to it, and I suspect that introductory students in courses in Aesthetics and Criticism have little difficulty in understanding it. ‘Difficulties’ seem to arise primarily in connection with its implications and general scope within the totality of criticism. However, it would be wrong to conclude that these difficulties have nothing to do with the intentional fallacy. They do. And the reason is this: the way in which one argues for, that is, establishes, the intentional fallacy has much to do with its implications and general scope within the realm of criticism. (shrink)

Hailed by the Journal of the History of Astronomy as "charming and witty," this chronicle by a renowned physicist traces the development of scientific thought from the works of the "founding fathers" — Galileo, Huygens, and Newton — to the more recent discoveries of Maxwell, Boltzmann, and Gibbs. 1984 edition.

Le présent ouvrage comble une lacune. La recherche, en effet, n'avait jamais pris en vue de manière systématique et détaillée l'ensemble de la philosophie schellingienne dans son rapport à la théologie. (C'est d'autant plus surprenant si l'on se rappelle que la pensée de Schelling représente le dernier essai de grand style d'établir une médiation entre ces deux disciplines.) En pratiquant sur toute l'œuvre une coupe longitudinale - depuis les premiers écrits critiques sur le mal et le mythe, à travers la (...) spéculation théogonique des Ages du monde, jusqu'aux développements christologiques et ecclésiologiques de la dernière période - le livre retrace le devenir de la théologie de Schelling, s'intégrant dans sa pensée comme l'une de ses composantes. Cette méthode permet de mettre en évidence la façon dont le philosophe théologien s'est critiqué lui-même dans les diverses phases de sa longue carrière et a modifié ses positions initiales pour tenter d'échapper à la synthèse idéaliste de la foi et du savoir, sans parvenir toutefois à se dégager entièrement du schéma de l'identité. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...) and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

Grace a son interrogation incomparablement tenace et incisive sur le sens de l'etre, la pensee heideggerienne accede a une comprehension du sacre qui semble irreductible a tout autre, et qui, par son originalite et sa profondeur, compte parmi les plus significatives elaborees a notre epoque. Le present ouvrage etudie le rapport complexe entre cette notion du sacre et les eclaircissements heideggeriens sur le divin et la mediation poetique. Il s'articule en quatre parties, dont la premiere expose la genese de l'interpretation (...) heideggerienne du sacre. La deuxieme partie propose une etude thematique du nouveau lexique que Heidegger, au contact notamment de la poesie de Holderlin, introduit dans sa meditation du sacre. La troisieme partie entreprend une serie de discernements critiques, en se laissant instruire par les principaux travaux qui ont examine explicitement la comprehension heideggerienne du sacre, du divin, et du poete. Dans une perspective synthetique, la quatrieme partie, enfin, s'efforce de ressaisir l'approche de Heidegger par le biais de ce qui la deborde, en la faisant dialoguer avec d'autres pensees philosophiques et theologiques marquantes; ce qui conduit a considerer, entre autres, la difference du sacre et du Saint. Degage a partir des developpements diachroniques de la premiere partie, le triptyque du sacre, du divin, et du poete structure aussi bien les synchronisations thematiques de la deuxieme partie que les discernements critiques fournis par la troisieme, et il est assume, tout en etant "depasse", par les chapitres systematiques de la derniere partie. (shrink)

We present a preliminary high-level formal theory, grounded on knowledge representation techniques and foundational ontologies, for the uniform and integrated representation of the different kinds of (quali- tative and quantitative) knowledge involved in the designing process. We discuss the conceptual nature of engineering design by individuating and analyzing the involved notions. These notions are then formally charac- terized by extending the DOLCE foundational ontology. Our ultimate purpose is twofold: (i) to contribute to foundational issues of design; and (ii) to support (...) the development of advanced modelling systems for (qualitative and quantitative) representation of design knowledge. (shrink)

Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure rep- resentations, (...) and then discuss the formal properties that a suitable language needs for representing components, features and combinations of these. We show that the representation of components and features require a non-standard mereology. (shrink)

In this paper we prove the equivalence between the Gentzen system G LJ*\c , obtained by deleting the contraction rule from the sequent calculus LJ* (which is a redundant version of LJ), the deductive system IPC*\c and the equational system associated with the variety RL of residuated lattices. This means that the variety RL is the equivalent algebraic semantics for both systems G LJ*\c in the sense of [18] and [4], respectively. The equivalence between G LJ*\c and IPC*\c is a (...) strengthening of a result obtained by H. Ono and Y. Komori [14, Corollary 2.8.1] and the equivalence between G LJ*\c and the equational system associated with the variety RL of residuated lattices is a strengthening of a result obtained by P.M. Idziak [13, Theorem 1].An axiomatization of the restriction of IPC*\c to the formulas whose main connective is the implication connective is obtained by using an interpretation of G LJ*\c in IPC*\c. (shrink)

Technology has become one of the main channels through which people engage in most of their everyday activities. When working, learning, or socializing, the affordances created by technological tools determine the way in which users interact with one another and their environment, thus favoring certain actions and behaviors, while discouraging others. The ethical dimension behind the use of technology has been already studied in recent works, but the question is often formulated in a protective way that focuses on shielding the (...) users from potential detrimental effects. Nevertheless, when considering collateral ethical benefits that the use of technology could bring about, virtue ethics and the notions of “practice” and “practical wisdom” present new opportunities to harness this potential. By understanding the combination of technology, its users and their interactions as a system, technology can be seen as the space where most of its users’ daily practice happens. Through this practice, users can get the chance to collaterally develop and enhance their ethical awareness, sensitivity and reasoning capabilities. This work is shaped as a manifesto that provides the background, motivations and directions needed to ask a complementary question about the ethics of technology that aims towards the potentiality behind the use of technology. Instead of focusing on shielding the users, the proposed _ethical idealist_ approach to the ethics of technology aims to empower them by understanding their use of technology as the space where the development of their practical wisdom, understood in the virtue ethics’ sense, takes place. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...) and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

Providing the first English translation of Análisis del ser del mexicano, this book features a full biography of Uranga, a detailed overview of the translated text, and discussion of Uranga's relevance to contemporary debates in the phenomenology of culture, the philosophy of liberation, Latin American philosophy and phenomenology itself. Reading Uranga's brilliant words expertly translated and introduced by Carlos Alberto Sánchez finally allows us to understand why this Mexican philosopher is considered one of the most fearless and original thinkers of (...) the 20th century. (shrink)

In our previous work we have introduced loop-type sequent calculi for propositional linear discrete tense logic and proved that these calculi are sound and complete. Decision procedures using the calculi have been constructed for the considered logic. In the present paper we restrict ourselves to the logic with the unary temporal operators “next” and “henceforth always”. Proof-theory of the sequent calculus of this logic is considered, focusing on loop specification in backward proof-search. We describe cyclic sequents and prove that any (...) loop consists of only cyclic sequents. A class of sequents for which backward proof-search do not require loop-check is presented. It is shown how sequents can be coded by binary strings that are used in backward proof-search for the sake of more efficient loop-check. (shrink)

The parallel distributed processing (PDP) perspective brings forward the important point that all semantic phenomena are based on analog underlying mechanisms, involving the weighted summation of multiple inputs by individual neurons. It falls short of indicating, however, how the essentially discrete nature of semantic processing may emerge at the cognitive level. Bridging this gap probably requires attractor networks.

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...) imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties. (shrink)

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...) imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties. (shrink)