In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...) indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one. (shrink)

Argument evaluation, one of the central problems in argumentation theory, consists in studying what makes an argument a good one. This paper proposes a formal approach to argument evaluation from the perspective of justification logic. We adopt a multi-agent setting, accepting the intuitive idea that arguments are always evaluated by someone. Two general restrictions are imposed on our analysis: non-deductive arguments are left out and the goal of argument evaluation is fixed: supporting a given proposition. Methodologically, our approach uses several (...) existing tools borrowed from justification logic, awareness logic, doxastic logic and logics for belief dependence. We start by introducing a basic logic for argument evaluation, where a list of argumentative and doxastic notions can be expressed. Later on, we discuss how to capture the mentioned form of argument evaluation by defining a preference operator in the object language. The intuitive picture behind this definition is that, when assessing a couple of arguments, the agent puts them to a test consisting of several criteria. As a result of this process, a preference relation among the evaluated arguments is established by the agent. After showing that this operator suffers a special form of logical omniscience, called preferential omniscience, we discuss how to define an explicit version of it, more suitable to deal with non-ideal agents. The present work exploits the formal notion of awareness in order to model several informal phenomena: awareness of sentences, availability of arguments and communication between agents and external sources. We discuss several extensions of the basic logic and offer completeness and decidability results for all of them. (shrink)

In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities (...) of the logic with respect to expressivity in order to denote particular positions of the proximity intervals. (shrink)

ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control of (...) process behaviour in discrete time in a similar way to thai presented by D. Gabbay in [GAB 89], Our new approach has two advantages: firstly, the connectives are defined intuitively so that they have interpretations which relate to properties of interest in real systems; secondly, it provides a new semantics that facilitates simpler proofs of many valid formulas and metatheorems. To confirm this second advantage, we use our semantics to give a formal proof of the Separation Theorem for one of these logics (specifically LN3). The great interest of this Separation Theorem for the executable temporal logic is emphasised by D. Gabbay in [GAB 89], [GAB 88]. (shrink)

Combining modalities has proven to have interesting applications and many approaches that combine time with other types of modalities have been developed. One of these approaches uses accessibility functions between flows of time to study the basic properties of the functions, such as being total or partial, injective, surjective, etc. The completeness of certain systems expressing many of these properties, with the exception of surjectivity, has been proven. In this paper we propose a language with nominals to denote the initial (...) and final sets of each function in a model in order to obtain a complete system for reasoning about surjective partial functions. (shrink)

La recepción europea de Gómez Dávila comenzó a desplegarse de manera más amplia a partir de la lectura y difusión realizada por Franco Volpi. Este artículo alude a la manera como dicha lectura concretó las interpretaciones del colombiano, principalmente a la luz de una filosofía práctica y una perspectiva crítica. De dichas posturas, el italiano destaca la vocación vital y el carácter provocador del pensamiento de Gómez Dávila.

Philosophers of perception frequently assume that we see actual states of affairs, or facts. Call this claim factualism. In his book, William Fish suggests that factualism is supported by phenomenological observation as well as by experimental studies on multiple object tracking and dynamic feature-object integration. In this paper, I examine the alleged evidence for factualism, focusing mainly on object detection and tracking. I argue that there is no scientific evidence for factualism. This conclusion has implications for studies on the phenomenology (...) and epistemology of visual perception. (shrink)

The sensorimotor theory of vision and visual consciousness is often described as a radical alternative to the computational and connectionist orthodoxy in the study of visual perception. However, it is far from clear whether the theory represents a significant departure from orthodox approaches or whether it is an enrichment of it. In this study, I tackle this issue by focusing on the explanatory structure of the sensorimotor theory. I argue that the standard formulation of the theory subscribes to the same (...) theses of the dynamical hypothesis and that it affords covering-law explanations. This however exposes the theory to the mere description worry and generates a puzzle about the role of representations. I then argue that the sensorimotor theory is compatible with a mechanistic framework, and show how this can overcome the mere description worry and solve the problem of the explanatory role of representations. By doing so, it will be shown that the theory should be understood as an enrichment of the orthodoxy, rather than an alternative. (shrink)

Cognitive representations are typically analysed in terms of content, vehicle and format. While current work on formats appeals to intuitions about external representations, such as words and maps, in this paper we develop a computational view of formats that does not rely on intuitions. In our view, formats are individuated by the computational profiles of vehicles, i.e., the set of constraints that fix the computational transformations vehicles can undergo. The resulting picture is strongly pluralistic, it makes space for a variety (...) of different formats, and is intimately tied to the computational approach to cognition in cognitive science and artificial intelligence. (shrink)

We introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.

Este artículo analiza en primera instancia la lectura y consideración hermenéutica que Ernesto Volkening realiza de la obra de Nicolás Gómez Dávila. Tras una presentación de las pautas interpretativas que se dan en el Diario de lectura de Volkening, se considera luego el interés de losautores por la arquitectura y el urbanismo modernos, como claves para la crítica del modo de vida reificante del hombre actual. Posteriormente, se ilustran las pautas que abordan la historia y la historicidad, bajo la idea (...) de una comprensión hermenéutica gestada en los contextos, opuesta a cualquier determinismo y puesta en marcha bajo la impronta de la singularidad e individualidad. (shrink)

My aim in this article is to understand the role of imagination and practical judgment in Kant's moral philosophy. After a comparison of Kant with Rousseau, I explore Kant's moral philosophy itself — unlike Hannah Arendt, who finds in the enlarged mentality of the third Critique the ground for the activity of imagination in a shared world. Instead, I place the concept of moral legislation in its background, the reflection on particulars relevant to deliberation, and discuss the mutual relation of (...) reflection and determination. Not only reflection and determination work together; imagination and judgment imply one another essentially, as interpretation of what is relevant, and as a principle of orientation in the choice of the maxim against the backdrop of a uniform and ordered world. The concepts of analogy and symbolic exhibition turn out to be crucial for how reason represents to itself the reality of ideas in the world. (shrink)

The activism of institutional investors tends more and more toward the supervision and control of the behavior of the managers of big companies. In this article, we present a model based on the creation of an activism index that lets us evaluate such activism's effect on the sensitivity of the investment policies of a company in the face of financial variables and market variables . To test our assertions, we analyze firm-level data for United Kingdom , Germany, France, Denmark, and (...) Spain during the period 1995-2004. Our results point to a significant reduction in the sensitivity of company investment decisions in the face of these variables, especially relative to intangible capital, as a result of the neutralizing effect of activism on the high agency costs of free cash flow and on the information asymmetries of the market. (shrink)

The activism of institutional investors tends more and more toward the supervision and control of the behavior of the managers of big companies. In this article, we present a model based on the creation of an activism index that lets us evaluate such activism’s effect on the sensitivity of the investment policies of a company in the face of financial variables (such as cash flow and liquidity ratio) and market variables (ownership concentration and value creation index). To test our assertions, (...) we analyze firm-level data for United Kingdom (U.K.), Germany, France, Denmark, and Spain during the period 1995–2004. Our results point to a significant reduction in the sensitivity of company investment decisions in the face of these variables, especially relative to intangible capital, as a result of the neutralizing effect of activism on the high agency costs of free cash flow and on the information asymmetries of the market. (shrink)

The Critique of Pure Reason—Kant’s First Critique—is one of the most studied texts in intellectual history, but as Alfredo Ferrarin points out in this radically original book, most of that study has focused only on very select parts. Likewise, Kant’s oeuvre as a whole has been compartmentalized, the three Critiques held in rigid isolation from one another. Working against the standard reading of Kant that such compartmentalization has produced, The Powers of Pure Reason explores forgotten parts of the First (...) Critique in order to find an exciting, new, and ultimately central set of concerns by which to read all of Kant’s works. Ferrarin blows the dust off of two egregiously overlooked sections of the First Critique—the Transcendental Dialectic and the Doctrine of Method. There he discovers what he argues is the Critique’s greatest achievement: a conception of the unity of reason and an exploration of the powers it has to reach beyond itself and legislate over the world. With this in mind, Ferrarin dismantles the common vision of Kant as a philosopher writing separately on epistemology, ethics, and aesthetics and natural teleology, showing that the three Critiques are united by this underlying theme: the autonomy and teleology of reason, its power and ends. The result is a refreshing new view of Kant, and of reason itself. (shrink)

In this article, I argue that there is philosophy of science since philosophy existed. Thus, the idea that the philosophy of science was born with neopositivism is historically wrong and detrimental to the development of the philosophy of science itself. Neopositivism tried to found the philosophy of science as an anti-philosophical discipline, as a field of study that came to replace simple philosophy. The attempt was maintained for thirty years, but failed. Now, this does not mean that we cannot make (...) good philosophy of science today, but that the philosophy of science has returned to the common house of philosophy, it is gradually recovering the connection that it should never have lost with the main philosophical traditions and disciplines. (shrink)

Many artists, art critics, and poets suggest that an aesthetic appreciation of artworks may modify our perception of the world, including quotidian things and scenes. I call this Art-to-World, AtW. Focusing on visual artworks, in this paper I articulate an empirically-informed account of AtW that is based on content-related views of aesthetic experience, and on Goodman’s and Elgin’s concept of exemplification. An aesthetic encounter with artworks demands paying attention to its aesthetic, expressive, or design properties that realize its purpose. Attention (...) to these properties make percipients better able to spot them in other entities and scenes as well. The upshot is that an aesthetic commerce with artworks enlarges the scope of what we are able to see and has therefore momentous epistemic consequences. (shrink)

A method for the recursive identification of physiological models of the cardiovascular baroreflex is proposed and applied to the time-varying analysis of vagal and sympathetic activities. The proposed method was evaluated with data from five newborn lambs, which were acquired during injection of vasodilator and vasoconstrictors and the results show a close match between experimental and simulated signals. The model-based estimation of vagal and sympathetic contributions were consistent with physiological knowledge and the obtained estimators of vagal and sympathetic activities were (...) compared to traditional markers associated with baroreflex sensitivity. High correlations were observed between traditional markers and model-based indices. (shrink)

The objective of this study is to provide insight into culinary systems. Each culture expresses its own identity through the way in which it transforms food into an elaborated cuisine. The phases of a cooking process start with the choice of ingredients, their preparation, their processing, how they are served, and how they are eaten. Each of these phases makes it possible to understand the semiotic and social behavior of a human group in the moment they choose to prepare and (...) eat a particular food. Therefore, this article contains a contrastive analysis of how Mexican, Texan, and Italian cuisines show how spicy and hot food is interpreted depending on the values that ​​are given to it in regards to being considered a dish, a spice or a vegetable. It bases its analysis on the mechanisms built around the meaning of chile in order to express cultural characteristics and differences. The recipes and their narrative processes, in addition to the use of color, allow the identification of parameters to describe the various cuisines through recipes books. (shrink)

El objetivo del presente texto es llegar a una descripción clara y comprensiva de la forma budista de abordar la cuestión cognitiva. La palabra cognición se refiere aquí al proceso por el cual se desenvuelve la convicción de que algo es "verdadero". El examen budista de la cognición puede, a su vez, ser encarado como una forma de buscar mayor libertad y distanciamiento frente a los pensamientos, opiniones y tendencias propios.

Timothy Williamson supports the thesis that every possible entity necessarily exists and so he needs to explain how a possible son of Wittgenstein’s, for example, exists in our world:he exists as a merely possible object, a pure locus of potential. Williamson presents a short argument for the existence of MPOs: how many knives can be made by fitting together two blades and two handles? Four: at the most two are concrete objects, the others being merely possible knives and merely possible (...) objects. This paper defends the idea that one can avoid reference and ontological commitment to MPOs. My proposal is that MPOs can be dispensed with by using the notion of rules of knife-making. I first present a solution according to which we count lists of instructions - selected by the rules - describing physical combinations between components. This account, however, has its own difficulties and I eventually suggest that one can find a way out by admitting possible worlds, entities which are more commonly accepted - at least by philosophers - than MPOs. I maintain that, in answering Williamson’s questions, we count classes of physically possible worlds in which the same instance of a general rule is applied. (shrink)

Introduction to the topical collection "The Structure of Perceptual Objects"—with contributions by Mohan Matthen, EJ Green, Alisa Mandrigin, Blazej Skrzypulec, and Anna Drożdżowicz.