This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

This chapter subsumes David Marr’s levels of analysis account of explanation in cognitive science under the framework of mechanistic explanation: Answering the questions that define each one of Marr’s three levels is tantamount to describing the component parts and operations of mechanisms, as well as their organization, behavior, and environmental context. By explicating these questions and showing how they are answered in several different cognitive science research programs, this chapter resolves some of the ambiguities that remain in Marr’s account, and (...) shows that many different areas and traditions of cognitive scientific research can be unified under the mechanistic framework. (shrink)

A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and (...) under various natural constraints. (shrink)

We are strongly inclined to believe in moral responsibility - the idea that certain human agents truly deserve moral praise or blame for some of their actions. However, recent philosophical discussion has put this natural belief under suspicion, and there are important reasons for thinking that moral responsibility is incompatible with both determinism and indeterminism, therefore potentially rendering it an impossibility. Presenting the major arguments for scepticism about moral responsibility, and subjecting them to sustained and penetrating critical analysis, _Moral Responsibility_ (...) lays out the intricate dialectic involved in these issues in a helpful and accessible way. A well-written and lively account, the book then goes on to suggest a way in which scepticism can be avoided, arguing that excessive pre-eminence given to the will might lie at its root. Offering an alternative to this scepticism, Carlos Moya shows how a cognitive approach to moral responsibility that stresses the importance of belief would rescue our natural and centrally important faith in the reality of moral responsibility. (shrink)

Investigates the resolution of contradictions and ambiguous derogations in a code, by means of the imposition of partial orderings.

Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...) submodels. We then show that $\mathscr{H}$ enjoys interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for the sublanguage $\mathscr{H}$. Finally, we provide complexity results for $\mathscr{H}$ and other fragments and variants, and sharpen known undecidability results for $\mathscr{H}$. (shrink)

It has been commonplace to equate Foucault’s 1979 series of lectures at the Collège de France with the claim that for neoliberalism, unlike for classical liberalism, the market needs to be artificially constructed. The article expands this claim to its full expression, taking it beyond what otherwise would be a simple divulgation of a basic neoliberal tenet. It zeroes in on Foucault’s own insight: that neoliberal constructivism is not directed at the market as such, but, in principle, at society, arguing (...) that the value of this insight goes beyond the critique of a neoliberal present. The neoliberal rationale rather helps him to reveal a unique historical architecture, a latent approach to the social dissimilar to the one that has long predominated in the human sciences. The inversion of homo œconomicus in neoliberal theory amounted to the unearthing of a ‘social subject of interest’ within civil society. Such a subject, barely recognized by neoliberals who simply instrumentalize it for the sake of the market, demonstrates that the social is not necessarily the natural product of ethical subjects; that society may also need to be constructed. (shrink)

Supposedly, stubbornness on the part of scientists—an unwillingness to change one’s position on a scientific issue even in the face of countervailing evidence—helps efficiently divide scientific labor. Maintaining disagreement is important because it keeps scientists pursuing a diversity of leads rather than all working on the most promising, and stubbornness helps preserve this disagreement. Planck’s observation that “Science progresses one funeral at a time” might therefore be an insight into epistemically beneficial stubbornness on the part of researchers. In conversation with (...) extant formal models, recent empirical research, and a novel agent-based model of my own I explore whether the epistemic goods which stubbornness can secure—disagreement and diversity—are attainable through less-costly methods. I make the case that they are, at least in part, and also use my modeling results to show that if stubbornness is scientifically valuable, it still involves a willingness to change one’s mind. (shrink)

The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with more (...) than two values? Because, we argue, one has to decide how to deal with bivalence and settle down the tradeoff between logical 2-valuedness and truth-functionality, from a pragmatical standpoint. -/- This paper will illustrate the ups and downs of a two-valued reduction of logic. Suszko’s reductive result is quite non-constructive.We will exhibit here a way of effectively constructing the two-valued semantics of any logic that has a truth-functional finite-valued semantics and a sufficiently expressive language. From there, as we will indicate, one can easily go on to provide those logics with adequate canonical systems of sequents or tableaux. The algorithmic methods developed here can be generalized so as to apply to many non-finitely valued logics as well —or at least to those that admit of computable quasi tabular two-valued semantics, the so-called dyadic semantics. (shrink)

Freire is one of the most powerful voices challenging the hegemony of bureaucratic and banking educational systems. His voice was particularly influential impacting revolutionary processes and progressive social movements while at the same time learning from their practices. However, some silences in his oeuvres requires further examination. In this article, we focus on the silences of Freire regarding education and its relationship with work and labor, gender issues, and citizenship building.

Our understanding of the universe has grown rapidly in recent decades. We’ve discovered evidence of water in nearby planets, discovered planets outside our solar system, mapped the genomes of thousands of organisms, and probed the very origins and limits of life. The scientific perspective of life-as-it-could-be has expanded in part by research in astrobiology, synthetic biology, and artificial life. In the face of such scientific developments, we argue there is an ever-growing need for universal biology, life-as-it-must-be, the multidisciplinary study of (...) non-contingent aspects of life as guided by biological theory and constrained by the universe. We present three distinct but connected ways of universalizing biology—with respect to characterizing aspects of life everywhere, with respect to the explanatory scope of biological theory, and with respect to extending biological insights to the structure of nonbiological entities. For each of these, we sketch the theoretical goals and challenges, as well as give examples of current research that might be labeled universal biology. (shrink)

In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial meet contraction over that theory. The purpose (...) of the present paper is to study the relationship more finely, by seeking an explicit map between the component orderings involved in each of the two kinds of contraction. It is shown that at least in the finite case a suitable map exists, with the consequence that the relational, transitively relational, and antisymmetrically relational partial meet contraction functions form identifiable subclasses of the safe contraction functions, over any theory finite modulo logical equivalence. In the process of constructing the map, as the composition of four simple transformations, mediating notions of bottom and top contraction are introduced. The study of the infinite case remains open. (shrink)

This article aims to understand the primordial experience of the existence of the Other, presented by Jean-Paul Sartre in the third part of Being and Nothingness. In order for our intention to be effectively understood, we have organized this reading into three duly articulated moments. In the first moment, it is essential to clarify how the French philosopher delimited the problem of solipsism as an obstacle constituted by realist and idealist philosophies that generally deny the conditions of possibility for the (...) existence of the other, as well as the critical description that questions the permanence of solipsistic theories in contemporary times, bequeathed by Husserl, Hegel and Heidegger. From this critique, we will lead our reading to the second moment, which consists of establishing an understanding of the existence of the Other, showing how it appears and affects the subject’s daily life, above all because the Other requires the presence of a body and a consciousness that is distinct from the subject’s. In the last moment, we will emphasize the interesting approach to the gaze and shame, this original feeling that strips the consciousness of any certainty that it is isolated in the world. Thus, the experience of shame comes to be understood as the unveiling of the subject’s consciousness, which perceives itself as “invaded” by the gaze of the Other, thus making the Other’s existence in the concrete relationship effective. (shrink)

We show that basic hybridization makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i$\end{document} in propositional and first-order hybrid logic. This means: interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i\alpha _a$\end{document}, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha _a$\end{document} is an expression of any type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document}, as an expression of type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document} that rigidly returns the value that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha_a$\end{document} receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

A distinção de essência e existência figurou como uma das questões fundamentais da metafísica durante a escolástica. Duns Scotus rejeita expressamente a tese de que a essência e a existência de um ente sejam distintas realmente (realiter). Para compreender essa rejeição, analisamos neste artigo a noção de coisa (res) na doutrina de Scotus, especialmente na sua crítica a Henrique de Gand acerca do estatuto ontológico dos criáveis, levando em consideração a recepção da doutrina das primeiras noções do intelecto de Avicena. (...) Scotus e Henrique adotam escopos distintos da noção de res e concluem divergentemente acerca da questão da essência e existência no contexto da criação do mundo. Também analisamos o argumento de Scotus quanto à natureza da simplicidade encontrada na criação, e como o Doutor Sutil argumenta pela rejeição de uma composição real (realis) necessária no ente criado rejeitando também, consequentemente, a distinção real de essência e existência. (shrink)

Reductionism has dominated science and philosophy for centuries. Complexity has recently shown that interactions—which reductionism neglects—are relevant for understanding phenomena. When interactions are considered, reductionism becomes limited in several aspects. In this paper, I argue that interactions imply nonreductionism, non-materialism, non-predictability, non-Platonism, and non-Nihilism. As alternatives to each of these, holism, informism, adaptation, contextuality, and meaningfulness are put forward, respectively. A worldview that includes interactions not only describes better our world, but can help to solve many open scientific, philosophical, and (...) social problems caused by implications of reductionism. (shrink)

Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's definability theorem fail in a number of well-known quantified modal logics , their counterparts in quantified hybrid logic have these properties. These are special cases of the main result of the paper: the quantified hybrid logic of any class of frames definable in the bounded fragment of first-order logic has the interpolation property, (...) irrespective of whether varying, constant, expanding, or contracting domains are assumed. (shrink)

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to the standard approach, while also bringing a new (...) algebraic perspective to logics which are algebraizable using the standard tools of AAL. Furthermore, we pave the way toward a robust behavioral theory of AAL, namely by providing a behavioral version of the Leibniz operator which allows us to generalize the traditional Leibniz hierarchy, as well as several well-known characterization results. A number of meaningful examples will be used to illustrate the novelties and advantages of the approach. (shrink)

Tradução para o português do livro "Ensaios sobre Strawson", de Carlos Caorsi. Editora da unijuí, 2014. Sumário: Apresentação; A teoria da verdade em Strawson, Mauricio Beuchot; Réplica a Mauricio Beuchot, Peter F. Strawson; Strawson: entre a lógica tradicional e a lógica clássica, Robert Calabria; Réplica a Robert Clabria, Peter F. Strawson; Referência e termos singulares, Carlos E. Caorsi; Réplica a Carlos E. Caorsi, Peter F. Strawson; Strawson e a metafísica, Juan C. D’Alessio; Réplica a Juan C. D’Alessio, (...) Peter F. Strawson; A meta-metafísica de Strawson: identificação versus individuação, Jorge J. E. Gracia; Réplica a Jorge J. E. Gracia, Peter F. Strawson; Algumas distinções sobre a noção de indivíduo, Jesús Mosterín; Réplica a Jesús Mosterín, Peter F. Strawson; Sobre a percepção e seus objetos em Strawson, Ernest Sosa; Réplica a Ernest Sosa, Peter F. Strawson; Limitações ao exercício da perplexidade, Teresa de Jesús Zavalía; Réplica a Tereza de Jesús Zavalía, Peter F. Strawson; Publicações de P. F. Strawson . (shrink)

Es, quiza, la coleccion mas abierta que existe en cuestiones de etica, aunque se ha ocupado tambien de antropologia, estetica, ontologia, teoria del conocimiento e historia de la filosofia. El primer titulo que se publico en la coleccion fue la gran Historia de la filosofia y de la ciencia en tres volumenes de Ludovico Geymonat. A este le han seguido obras de A. J. Ayer, A. MacIntyre, Ernst Tugendhat, Antoni Domenech, Anna Estany, Agnes Heller, F. Fernandez Buey, Carlos Paris, (...) Emilio Lledo, Manuel Sacristan, John Rawls o Ludwig Wittgenstein. Victoria Camps ha dirigido, ademas, una gran Historia de la etica, en tres volumenes, en la que han colaborado los mejores especialistas espanoles. Para el autor solo el analisis de la evolucion biologica permite comprender el concepto de cultura como desarrollo y desembocadura de la vida. Es un proceso que culmina en la realidad humana y que la presente obra examina en sus grandes lineas. (shrink)

This book traces the origins and evolution of cybersemiotics, beginning with the integration of semiotics into the theoretical framework of cybernetics and information theory. The book opens with chapters that situate the roots of cybersemiotics in Peircean semiotics, describe the advent of the Information Age and cybernetics, and lay out the proposition that notions of system, communication, self-reference, information, meaning, form, autopoiesis, and self-control are of equal topical interest to semiotics and systems theory. Subsequent chapters introduce a cybersemiotic viewpoint on (...) the capacity of arts and other practices for knowing. This suggests pathways for developing Practice as Research and practice-led research, and prompts the reader to view this new configuration in cybersemiotic terms. Other contributors discuss cultural and perceptual shifts that lead to interaction with hybrid environments such as Alexa. The relationship of storytelling and cybersemiotics is covered at chapter length, and another chapter describes an individual-collectivity dialectics, in which the latter constrains the former, but the former fuels the latter. The concluding chapter begins with the observation that digital technologies have infiltrated every corner of the metropolis - homes, workplaces, and places of leisure - to the extent that cities and bodies have transformed into interconnected interfaces. The book challenges the reader to participate in a broader discussion of the potential, limitations, alternatives, and criticisms of cybersemiotics. (shrink)

La presente obra constituye el esfuerzo por rastrear la historia del pensamiento cosmovisional y filosófico latinoamericano, desde las cosmovisiones pre-colombinas hasta las corrientes filosóficas más actuales: las filosofías de la liberación, la postmodernidad y la postcolonialidad. Aunque el autor ha procurado en su voluminosa obra hacer referencia a todas las numerosas corrientes de pensamiento que se han ido dando en el amplio panorama cultural latinoamericano, se ha centrado sobre todo en rastrear la denominada filosofía americanista.

We present an account of the evolutionary development of the experiences of empathy that marked the beginning of morality and art. We argue that aesthetic and moral capacities provided an important foundation for later epistemic developments. The distinction between phenomenal consciousness and attention is discussed, and a role for phenomenology in cognitive archeology is justified-critical sources of evidence used in our analysis are based on the archeological record. We claim that what made our species unique was a form of meditative (...) and empathic thinking that made large-scale human cooperation possible through pre-linguistic, empathic communication. A critical aspect of this proposal is that the transformation that led to the dawn of our species was not initially driven by semantic or epistemic factors, although clearly, these factors increased the gap between us and other species dramatically later on. Our proposal suggests that recent philosophy of mind and psychology might have "epistemicized" phenomenal consciousness too much by construing it in terms of semantic content rather than by describing it in terms of empathic and meditative thinking. Instead of the prevailing approach, we favor the type of subjectivity that is fundamentally "other-involving" as essential, because on our account, a necessary condition for subjectivity is the empathic understanding of other individuals' psychology, not through inference or judgment, but through immediate conscious engagement. (shrink)

The focus of this paper is Mexican historicism. It has three objectives: first, to introduce English-speaking readers to the nature and history of Mexican historicism; second, to defend Mexican historicism against the charges of relativism usually raised against historicism in general and “Mexican” philosophy in particular; and third, to argue for what I call the transcendental, or alternatively, “liberatory,” nature of Mexican historicism—a nature with philosophical and political consequences. The hope is that by making the clarifications and determinations made here, (...) the tradition of Mexican philosophy, of which Mexican historicism is a key moment, may find its place in the increasingly pluralistic US philosophical landscape. (shrink)

This book investigates Hermann Weyl’s work on the problem of space from the early 1920s onwards. It presents new material and opens the philosophical problem of space anew, crossing the disciplines of mathematics, history of science and philosophy. With a Kantian starting point Weyl asks: among all the infinitely many conceivable metrical spaces, which one applies to the physical world? In agreement with general relativity, Weyl acknowledges that the metric can quantitatively vary with the physical situation. Despite this freedom, Weyl (...) “deduces”, with group-theoretical technicalities, that there is only one “kind” of legitimate metric. This construction was then decisive for the development of gauge theories. Nevertheless, the question of the foundations of the metric of physical theories is only a piece of a wider epistemological problem. Contributing authors mark out the double trajectory that goes through Weyl’s texts, from natural science to philosophy and conversely, always through the mediation of mathematics. Readers may trace the philosophical tradition to which Weyl refers and by which he is inspired, and explore the mathematical tradition that permitted Weyl to elaborate and solve his mathematical problem of space. Furthermore, this volume analyzes the role of the interlocutors with whom Weyl discussed the nature of physical space. This volume features the work of top specialists and will appeal to postgraduates and scholars in philosophy, the history of science, mathematics, or physics. (shrink)

Data which constitute satisfactory evidence in other contexts are sometimes not treated as valid evidence in the context of scientic conrmation. I give a justicatory explanation of this fact, appealing to the incentives, biases, and social situatedness of scientists.

Entre el arte y la literatura se han generado múltiples reflexiones que han sido estudiadas por la historia del arte, la teoría literaria y la estética, entre otros. Igualmente, podemos considerar una larga tradición de artistas y escritores que se han empeñado, por medio de ensayos, críticas y manifiestos, en considerar los ámbitos y lugares de competencia de cada forma artística, así como sus lugares de similitud y diferencia en una larga tradición de préstamos interartísticos entre la palabra y la (...) imagen. En el seno de esta discusión, se quiere analizar el diálogo disciplinar entre la literatura y el arte que se da en torno a la figura del pintor post impresionista Paul Gauguin y el escritor Mario Vargas Llosa. Para ello, reflexionamos a partir de una de las obras fundamentales del pintor francés, que tiene su correspondencia y complementariedad en la obra literaria del escritor peruano. De esta manera, se presenta una revisión de una fuente literaria que propone no solo una alusión temática a la obra del pintor, sino que se enmarca bajo coordenadas estéticas, que superan los armazones de las teorías o historias meramente literarias. (shrink)

This paper presents a comprehensive analysis of socially responsible funds in Sweden by assessing fund managers' abilities and performances across different market states. These issues are analyzed at the aggregate and individual fund levels. The paper also presents several new statistical tests that allow more precise inferences about differences in performance and the variability in fund returns arising from different benchmarks. In general, SR and conventional funds perform similarly to the market. At the aggregate level, SR funds investing in Sweden (...) and Europe perform similarly to conventional funds, while those investing globally tend to underperform. This underperformance seems to be linked with poor selectivity abilities of global SR fund managers. For individual funds, the performance of both types of funds is more similar. Most funds perform similarly in crisis periods compared to non-crisis periods. Overall, our results are consistent with a mature market for SR investing and support the view that the similar performance of SR and conventional funds is associated with the mainstreaming of SR investment in Sweden. These findings encourage SR investing both by socially conscious investors, who wish to align their social values with their investment decisions, as well as by conventional investors, who will not be penalized by investing in these funds. We also call attention to the difficulties investors face when trying to identify funds with high social standards, considering that there is scarce information on the extent to which each fund holds stocks that comply with ethical and social criteria. (shrink)

. The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For (...) illustration, we revisit the example of combining intuitionistic and classical propositional logics. (shrink)

El artículo critica la naturaleza instantánea impuesta a las experienciaselementales en el sistema construccional propuesto por Carnap en Derlogische Aufbau der Welt. Inspirado en una idea seminal de Peirce, propongoalgunas modificaciones a los primeros niveles del sistema construccionalsin dejar de advertir que una adaptación más cuidadosa exige atender otrascríticas sustanciales.

En el artículo se examina la controversia entre extramisionismo e intramisionismo a propósito de la percepción visual. Se defiende que la evaluación del cierre de la controversia depende del explanandum que rastrea el filósofo/historiador en la reconstrucción que persigue. Si enfatizamos en los mecanismos causales, la controversia se cerró en favor del intramisionismo. Si enfatizamos en aspectos asociados con la intencionalidad o con la forma como ciertas afecciones mentales refieren a objetos externos, la controversia conduce a una conciliación entre intramisionismo (...) causal y extramisionismo mental. Finalmente, si ponemos en duda la necesidad de una distinción entre interno/externo, la controversia se disuelve por carecer de sentido. (shrink)