We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq or LEGO.
La noción de sentido común en la obra de Hannah Arendt juega un papel fundamental a la hora de explicar cómo un hombre del tipo de Adolf Eichmann podía mantener una auténtica incapacidad para pensar. No obstante, la manera como esta autora comprende aquella noción no es plenamente clara: el sentido común se halla aparentemente en un punto medio entre la actividad del pensamiento y el conocimiento científico, pues aun cuando el sentido de realidad proporcionado por el sentido común resulta (...) fundamental para ambos, éstos, dada la manera como se oponen entre sí, no se reducen a este mero sentido de realidad. Según creo, la tensión que genera este fenómeno puede ser evaluada con más claridad si se estudia la expresión ‘sentido común’ a partir de dos significados distintos –aunque complementarios– de acuerdo con su carácter pasivo y activo: el sentido común puede ser comprendido desde un punto de vista ‘sensible’ y un punto de vista ‘semántico’, respectivamente. (shrink)
Abstract Since modernity, the concept of subject supposes both an anthropocentric and a dualistic view of life and reality. In this study, we carry out an analytic interpretation of the Descartes’ notion of subject, in order to build a different dimension of the concept of subject. We discuss the activity of computing, as the manner by which the living subject relates with and in-forms the world. We further examine computing in the aging yeast as an example of living subject and (...) we try to comprehend the maturity of the subjectivity in Descartes’ res cogitans and in our proposed res computans . Content Type Journal Article Category Original Paper Pages 1-12 DOI 10.1007/s10516-011-9177-5 Authors María Belén Campero, Center of Philosophical Investigations, CONICET, Buenos Aires, Argentina Cristián Favre, Institute of Experimental Physiology, CONICET, School of Biochemical Sciences, University of Rosario, Suipacha 570, S2002LRL Rosario, Argentina Journal Axiomathes Online ISSN 1572-8390 Print ISSN 1122-1151. (shrink)
In this paper, we develop an organizational account that defines biological functions as causal relations subject to closure in living systems, interpreted as the most typical example of organizationally closed and differentiated self-maintaining systems. We argue that this account adequately grounds the teleological and normative dimensions of functions in the current organization of a system, insofar as it provides an explanation for the existence of the function bearer and, at the same time, identifies in a non-arbitrary way the norms that (...) functions are supposed to obey. Accordingly, we suggest that the organizational account combines the etiological and dispositional perspectives in an integrated theoretical framework. (shrink)
Two competing accounts of value incomparability have been put forward in the recent literature. According to the standard account, developed most famously by Joseph Raz, ‘incomparability’ means determinate failure of the three classic value relations ( better than , worse than , and equally good ): two value-bearers are incomparable with respect to a value V if and only if (i) it is false that x is better than y with respect to V , (ii) it is false that x (...) is worse than y with respect to V and (iii) it is false that x and y are equally good with respect to V . Most philosophers have followed Raz in adopting this account of incomparability. Recently, however, John Broome has advocated an alternative view, on which value incomparability is explained in terms of vagueness or indeterminacy . In this paper I aim to further Broome’s view in two ways. Firstly, I want to supply independent reasons for thinking that the phenomenon of value incomparability is indeed a matter of the indeterminacy inherent in our comparative predicates. Secondly, I attempt to defend Broome’s account by warding off several objections that worry him, due mainly to Erik Carlson and Ruth Chang. (shrink)
The purpose of this article is to analyze the significance of the absence of the problem of living body in Heidegger's analytic of Dasein. In order to evaluate the occurrences of the problem of the body in Being and Time, I also refer to the context of some of Heidegger's later work where there is to be found a sketch of an ontological investigation of the living body. I analyze then in detail the scarce occurrences of body in the fundamental (...) ontology, showing finally that the lack of a proper phenomenological examination of living body generates a series of conceptual difficulties for the problem of Dasein's death, precisely when the issue of dead body is at stake. (shrink)
John Broome has argued that incomparability and vagueness cannot coexist in a given betterness order. His argument essentially hinges on an assumption he calls the ‘collapsing principle’. In an earlier article I criticized this principle, but Broome has recently expressed doubts about the cogency of my criticism. Moreover, Cristian Constantinescu has defended Broome’s view from my objection. In this paper, I present further arguments against the collapsing principle, and try to show that Constantinescu’s defence of Broome’s position fails.
In this paper, I examine to what extent can a more or less uncontroversial list of human rights ground a liberal notion of toleration that would have as its object nonliberal states. Although it is sometimes taken for granted that respect for human rights should draw the limits of toleration, I argue that the Rawlsian argument for it does not fully work. More exactly, I defend the idea that, although he tries to warrant positive toleration for non-liberal peoples, the concept (...) of human rights can provide an argument only for a negative type of toleration. According to his reasoning, positive toleration would require an argument from the 'primacy of peoples', which unfortunately is implausible. Last but not least, I raise the question regarding the grounding of human rights as a vindicating tool for toleration. Here I argue that such an argument is necessary and propose one to the effect that human rights proper can justify toleration in the same way the harm principle does. Since the harm principle can justify non-interference only, the notion of human rights can ground a negative type of toleration. (shrink)
We study some operations that may be defined using the minimum operator in the context of a Heyting algebra. Our motivation comes from the fact that 1) already known compatible operations, such as the successor by Kuznetsov, the minimum dense by Smetanich and the operation G by Gabbay may be defined in this way, though almost never explicitly noted in the literature; 2) defining operations in this way is equivalent, from a logical point of view, to two clauses, one corresponding (...) to an introduction rule and the other to an elimination rule, thus providing a manageable way to deal with these operations. Our main result is negative: all operations that arise turn out to be Heyting terms or the mentioned already known operations or operations interdefinable with them. However, it should be noted that some of the operations that arise may exist even if the known operations do not. We also study the extension of Priestley duality to Heyting algebras enriched with the new operations. (shrink)
Our paper proposes to analyze from a semiotic perspective the process of communication, as conceived within the Palo Alto Group. We will firstly show that, as a result of the Group‟s critiques and revisions of the linear or mechanistic theories of communication, new perspectives are brought about for the essential axes of transformation within communication: we do not communicate as from a distinct atom to another, through an isolated channel, but through parts which are equal to the whole, the whole (...) itself being equal to the parts. This approach has been characterized as “organicist”, studying and understanding communication as a dynamic process where the relationship between the elements is of prime importance. Reciprocal inclusion replaces the discursive aspects of communication and expression replaces representation. The reference point is thus situated beyond the mechanical parts of a whole ready to be dis- and reassembled. We conclude that through this perspective on communication, the notion of interaction between partners and between codes becomes a capital one and that, in this point, semiotics intersects with disciplines such as conversational analysis and the ethnography of communication. (shrink)
Our paper addresses matters such as the distinction between chronological time and the “internal time” (Mikel Dufrenne) of works of art, the possibility that artists may act as future art critics, the alleged unity of classic art versus fragmentary modern approaches and the validity of historical interpretation of works of art. We shall begin by studying the common apprehension of art history and what it entails so that we may afterwards observe the major difficulties that the research in this domain (...) faces. In the second half of the following paper we shall examine how representations are formed within works of art and what is the proper way to analyze them after applying the phenomenological epoché to artistic phenomena. We will finally attempt to offer a clear image on how phenomenological philosophy contributes to the historical research of art. (shrink)
Gödel's Incompleteness Theorems have the same scientific status as Einstein's principle of relativity, Heisenberg's uncertainty principle, and Watson and Crick's double helix model of DNA. Our aim is to discuss some new faces of the incompleteness phenomenon unveiled by an information-theoretic approach to randomness and recent developments in quantum computing.
Public goods, as well as commercial commodities, are affected by exclusive arrangements secured by intellectual property (IP) rights. These rights serve as an incentive to invest human and material capital in research and development. Particularly in the life sciences, IP rights regulate objects such as food and medicines that are key to securing human rights, especially the right to adequate food and the right to health. Consequently, IP serves private (economic) and public interests. Part of this charge claims that the (...) current IP regime is privatizing the very building blocks of research and development – that used to be part of the commons. The public domain, in contrast to the private domain, may be the locus of much more diverse forms of creativity that at the same time ensures a wider plurality of productive traditions. An IP regime must support a sense of public morality because it is dependent upon civil support. This inevitably prompts questions of what are “good” exclusive rights and what are “bad” exclusive rights, and how shall such IP rights be developed. We argue that the democratization of the current IP regimes is an important first step to respond to these issues. (shrink)
Turing’s famous 1936 paper “On computable numbers, with an application to the Entscheidungsproblem” deﬁnes a computable real number and uses Cantor’s diagonal argument to exhibit an uncomputable real. Roughly speaking, a computable real is one that one can calculate digit by digit, that there is an algorithm for approximating as closely as one may wish. All the reals one normally encounters in analysis are computable, like π, √2 and e. But they are much scarcer than the uncomputable reals because, as (...) Turing points out, the computable reals are countable, whilst the uncomputable reals have the power of the continuum. Furthermore, any countable set of reals has measure zero, so the computable reals have measure zero. In other words, if one picks a real at random in the unit interval with uniform probability distribution, the probability of obtaining an uncomputable real is unity. One may obtain a computable real, but that is in- ﬁnitely improbable. But how about individual examples of uncomputable reals? We will show two: H and the halting probability Ω, both contained in the unit interval. Their construction was anticipated in.. (shrink)
The intellectual property regimes we have currently in place are heavily under attack. One of the points of criticism is the interaction between two elements of article 27 of the Universal Declaration of Human Rights, the widely discussed issue of being able to benefit from scientific progress and the less argued for position of having a right to take part in scientific enterprises. To shine light on the question if we should balance the two elements or prioritize one of them, (...) an exploration will be offered on how benefiting from scientific progress and the ability to participate in the advancement of science relate to securing human capabilities. A different perspective to the question will be gained by identifying the problem as an issue of misrecognition, especially the failure to recognize many willing collaboration partners in scientific research as peers. Lastly, I will argue that cooperative justice requires that if we have an innovation incentive system that disproportionally benefits one particular group, a certain duty to counterbalance this advantage exists when we are relying on mutual cooperation for the recognition of intellectual property rights. (shrink)
REVIEW OF Raţiu, Mara. Arta ca activitate socială: avatarurile discursului filosofic asupra artei contemporane (Art as Social Activity: The Avatars of Philosophical Discourse on Contemporary Art). Cluj-Napoca: Casa Cărţii de Ştiinţă, 2011.
En este trabajo me propongo analizar algunos de los argumentos de John Rawls en contra de un principio de diferencia internacional, tal como fueron presentados en Un derecho de gentes. Sostengo que estos argumentos son inconsistentes con el principio de diferencia doméstico. Si los aceptamos, entonces tendremos que afrontar el dilema de o bien tener que aceptar dicho principio distributivo en ambos ámbitos (el doméstico y el internacional) o bien tener que rechazarlo por completo. También sostengo que las posibles objeciones (...) de Rawls a esta crítica se basan en la dudosa premisa empírica de que los países son exclusivamente responsables de su propio fracaso. In this paper I will analyze John Rawls's claims against an international difference principle as presented in The Law of Peoples. I argue that these claims are inconsistent with the difference principle itself. If we accept them, then we will face the dilemma of either having to endorse this principle both in the domestic and the international domains or having to reject it completely. I also defend the view that Rawls's possible reply to this objection relies on the dubious empirical premise that countries are blameworthy for their own failure. (shrink)
This paper is emphatically focused in the analysis on the indigenous problem such as it had been ruled by law in the different Venezuelan Constitutions since the foundation of the Republic in 1811. Our purpose does not go as far as to treat the ancestral indigenous problem in Venezuela because this would exceeds the limits of our study; although, we will do some references in relation to this question.
The objective of this research is to examine the legal interpretation that is applied to the Venezuelan law. To this effect, this work departs from Article 4º of the Venezuelan Civil Code (VCC) that establishes the methods and principles for interpreting Venezuelan law. Similarly, it presents research and explains whatlegal interpretation means and what is interpreted in legal matters.
The objective of our research is to examine the diverse methods of judicial interpretation, taking off from that established in Article 4 of the Venezuelan Civil Code. We attempt to explain what and how to interpret using the exegetic method of interpretation through an exhaustive analysis of the article, in agreement with Article 22 of the Penal Process Organic Code. Emphasis is placed on the classical methods of legal interpretation: grammatical, logical-systematic, and historical-comparative, among others.
In this paper the conception of argumentation theory as applied epistemology is discussed. The point of departure is the description of four perspectives that are considered as founders of the modern theory of argumentation, in order to observe whether there was a similar concept in those theories or if they provided the patterns to go into that direction. Further on the reasons why contemporary scholars have given this emphasis to the notion of argumentation theory is discussed. En este artículo se (...) discute la visión de la teoría de la argumentación como una forma de epistemología aplicada. El punto de partida es la descripción de cuatro perspectivas que se consideran fundadoras de la teoría moderna de la argumentación, para desde allí observar si en ellas hubo un concepto similar o si se dieron las pautas para tomar esa dirección. Luego, se reflexiona en torno a las razones por las que los teóricos posteriores han dado énfasis a esta visión de la teoría de la argumentación. (shrink)
Mercier and Sperber (2011a, 2011b; Mercier, 2011a, 2011b, 2011c, and 2011d) have presented a stimulating and provocative new theory of reasoning: the argumentative theory of reasoning. They maintain that argumentation is a meta-representational module. In their evolutionary view of argumentation, the function of this module would be to regulate the flow of information between interlocutors through persuasiveness on the side of the communicator and epistemic vigilance on the side of the audience. The aim of this paper is to discuss the (...) perspective of the authors in which they conceive this competence as the natural scenario of reflective reasoning. (shrink)
Este artigo propõe-se a discutir a possibilidade de utilizar as tecnologias digitais online e as redes sociais como espaço de aprendizagem digital de uma maneira que favoreça a aprendizagem cooperativa entre os estudantes, alicerçado na Epistemologia Genética de Jean Piaget. Este estudo foi baseado em uma pesquisa-ação, nas aulas de Matemática, realizada com estudantes do ensino médio integrado em informática do IFRS – Campus Osório (RS), em 2011 e 2012-1. Os estudantes demonstraram apropriação deste espaço de aprendizagem digital, como o (...) Facebook, e apontaram que este potencializa a aprendizagem cooperativa no que tange à disciplina de Matemática, por ações colaborativas com a professora. (shrink)