In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants and to better understand and overcome the failure of (...) interpolation for the implication-free fragment. (shrink)

This paper deals with the question of the logicality of modal logics from a proof-theoretic perspective. It is argued that if Dos̆en’s analysis of logical constants as punctuation marks is embraced, it is possible to show that all the modalities in the cube of normal modal logics are indeed logical constants. It will be proved that the display calculus for each displayable modality admits a purely structural presentation based on double-line rules which, following Dos̆en’s analysis, allows us to claim that (...) the corresponding modal operators are logical constants. (shrink)

This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of monotone NNML, and studies the role of the Barcan formulas in these calculi. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction and syntactic cut elimination. It will also be shown that each of the calculi introduced (...) is sound and complete with respect to the appropriate class of neighbourhood frames. In particular, the completeness proof constructs a formal derivation for derivable sequents and a countermodel for non-derivable ones, and gives a semantic proof of the admissibility of cut. (shrink)

The paper presents an epistemic logic with quantification over agents of knowledge and with a syntactical distinction between de re and de dicto occurrences of terms. Knowledge de dicto is characterized as ‘knowledge that’, and knowlegde de re as ‘knowledge of’. Transition semantics turns out to be an adequate tool to account for the distinctions introduced.

This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The semantics of super-strict implications is obtained by strengthening the relational semantics for strict implication. We consider all logics of super-strict implications that are based on relational frames for modal logics in the modal cube. it is shown that all logics of super-strict implications are connexive (...) logics in that they validate Aristotle's Theses and Boethius's Theses. A proof-theoretic characterisation of logics of super-strict implications is given by means of G3-style labelled calculi, and it is proved that the structural rules of inference are admissible in these calculi. It is also shown that validity in the $$\mathsf{S5}$$-based logic of super-strict implications is equivalent to validity in G. Priest's negation-as-cancellation-based logic. Hence, we also give a cut-free calculus for Priest's logic. (shrink)

Starting from a proof-theoretic perspective, where meaning is determined by the inference rules governing logical operators, in this paper we primarily aim at developing a proof-theoretic alternative to the model-theoretic meaning-invariant logical pluralism discussed in Beall and Restall. We will also outline how this framework can be easily extended to include a form of meaning-variant logical pluralism. In this respect, the framework developed in this paper—which we label two-level proof-theoretic pluralism—is much broader in scope than the one discussed in Beall (...) and Restall’s book. (shrink)

We prove a generalization of Maehara’s lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig’s interpolation property. As a corollary, we obtain a direct proof of interpolation for first-order logic with identity, as well as interpolation for several mathematical theories, including the theory of equivalence relations, partial and linear orders, and various intuitionistic order theories such as apartness and positive partial and linear orders.

In this work I argue that Descartes was not a trialist by showing that the main tenets of trialist interpretations of Descartes's theory of substance are either not supported by the text or are not sufficient for establishing the trialist interpretation.

Un misterioso aforismo del Tractatus de Wittgenstein enuncia que «ética y estética son lo mismo». Que una corriente de complicidad existe entre ética y estética es reconocido desde la antigüedad. Lo ético se argumenta en la praxis; el arte lo hace a través de la poiésis, o creación, ya definida por Platón y Aristóteles. Aquí se intenta abordar esta interesante y difícil cuestión desde el horizonte abierto, a través de mis últimas publicaciones, por la filosofía del límite, y se realizará (...) en tres etapas. Una primera dedicada a esclarecer uno de los conceptos nucleares de la ética, la libertad, en relación de interacción con la precomprensión que podemos poseer relativa a nuestra humana conditio. Se planteará luego la cuestión de que a través del arte «resuena simbólicamente» lo ético. En una tercera y última etapa se desarrolla el tema del nexo entre ética y estética, dándose algunos ejemplos pertinentes, antiguos y modernos. (shrink)

Conventional quantitative methods for the measurement of organizational legitimacy consider mainly three sources that make judgments about organizations visible: news media, accreditation bodies, and surveys. Over the last decade, however, social media have enabled ordinary citizens to bypass the gatekeeping function of these institutional evaluators and autonomously make individual judgments public. This inclusion of voices beyond functional and formally organized stakeholder groups potentially pluralizes the ongoing discussions about organizations. The individual judgments in blogs, tweets, and Facebook posts give indication about (...) the broader fit between an organization’s perceived behavior and heterogeneous social norms and therefore constitute an indicator of organizational legitimacy that can be accessed and measured. We propose the use of social media data and sentiment analysis to study the affect-based responses to organizational actions by citizens. We critically discuss and compare the method with existing quantitative methods for legitimacy measurement and apply them to a recent case in the banking industry. We discuss the value of the method for studying the process of legitimacy construction as the expression and negotiation of normative judgments about organizations by various evaluators. (shrink)

This paper criticizes Alexy's argument on the necessary connection between law and morality. First of all, the author discusses some aspects of the notion of the claim to correctness. Basically, it is highly doubtful that all legal authorities share the same idea of moral correctness. Secondly, the author argues that the claim to correctness is not a defining characteristic of the concepts of “legal norm” and “legal system”. Hence, the thesis of a necessary connection between law and morality based on (...) such claim cannot be accepted.[b]. (shrink)

Norms conferring public or private powers, i.e., the competence to issue other norms, play a very important rôle in law. But there is no agreement among legal philosophers about the nature of such norms. There are two main groups of theories, those that regard them as a kind of norms of conduct (either commands or permissions) and those that regard them as non-reducible to other types of norms. I try to show that reductionist theories are not quite acceptable; neither the (...) command-variety (Kelsen, Alf Ross inOn Law and Justice), nor the permission-variety (von Wright, Kanger, Lindahl) provide a satisfactory account of competence norms.Among the authors who maintain that competence norms are different from (and hence not reducible to) norms of conduct are Hart, Ross inDirectives and Norms, and Searle. Ross and Searle distinguish between regulative and constitutive rules as two radically different kinds of rules and classify competence norms among constitutive rules. This distinction runs parallel to von Wright's distinction between rules that are prescriptions and determinative rules. While the first regulate actions (by commanding, prohibiting, or permitting them), determinative rules define certain concepts. To view competence norms as (partial) definitions of certain legal concepts (like those of legislator, judge, etc.) seems to open interesting perspectives and to shed light on at least one aspect of these elusive norms. (shrink)

El objetivo de este trabajo es dar noticia de la recepción del pragmatismo en la obra y el pensamiento de Eugenio d’Ors, reuniendo algunos resultados de nuestros trabajos preceden- tes. Dedicamos una primera parte a describir el encuentro de Eugenio d’Ors con el pragmatismo. En segundo lugar describimos su conexión con William James a quien llegó a conocer en París. En tercer lugar, damos cuenta de en qué consiste la denominada “superación del pragmatismo” por parte de Eugenio (...) d’Ors y, por último, señalamos las afinidades más relevantes de su pensamiento con algunas de las intuiciones más originales del pragmatismo de Charles S. Peirce. (shrink)

We examine the "Theaetetus" in the light of its juxtaposition of philosophical, mathematical and sophistical approaches to knowledge, which we show to be a prominent feature of the drama. We suggest that clarifying the nature of philosophy supersedes the question of knowledge as the main ambition of the "Theaetetus". Socrates shows Theaetetus that philosophy is not a demonstrative science, like geometry, but it is also not mere word-play, like sophistry. The nature of philosophy is revealed in Socrates' activity of examination (...) and his refusal to deny his ignorance about knowledge. (shrink)

Este trabajo analiza los aspectos más destacados de la polémica entre Juan Carlos Bayón y Eugenio Bulygin acerca de las lagunas jurídicas, el principio de prohibición y el alcance de la discreción judicial. En esta disputa, Bulygin defiende cuatro tesis centrales, enunciadas en Normative Systems : una cuidadosa distinción entre normas y proposiciones normativas es esencial para resolver el problema de las lagunas jurídicas, la versión débil del principio de prohibición no sirve para mostrar que no existen lagunas, la (...) versión fuerte del principio de prohibición es verdadera solo cuando el sistema es completo, y en casos de lagunas jurídicas, los jueces tienen discreción para resolver estas situaciones. Sin embargo, Bayón señala que el problema no es la falta de distinción entre normas y proposiciones normativas sino el desacuerdo acerca de cuándo una solución jurídica es concluyente. La diferencia entre soluciones prima facie y concluyente es esencial porque en ciertas situaciones, el derecho no da una respuesta pero tampoco deja espacio para la discrecionalidad judicial. Según Bayón, en estos casos el principio de prohibición "todo lo que no está prohibido está permitido" juega un papel fundamental. Este trabajo muestra que los argumentos de Bayón son insuficientes para rechazar las tesis clásicas defendidas por Bulygin. In this paper I analyze the most relevant aspects of the controversy between Juan Carlos Bayón and Eugenio Bulygin about the existence of legal gaps, the so called "principle of prohibition" and the scope of judicial discretion. In this debate, Bulygin defends four classical theses advanced in his wellknown book, Normative Systems : a careful distinction between norms and norm propositions is actually needed in order to solve the problem of legal gaps, the analytical truth of the weak version of the principle of prohibition cannot guarantee the completeness of legal systems, the strong version of the principle of prohibition is true only if legal systems are complete, and judges have discretion in cases of legal gaps. However, Bayón claims that the problem is not the lack of distinction between norms and norm proposition but rather the identification of conclusive legal solutions. Conclusive legal solutions must be distinguished from the prima facie solutions provided by explicitly enacted norms. According to Bayón, the difference between conclusive and prima facie solutions is essential in legally irrelevant cases; in such cases the principle of prohibition plays an essential role because it entails the rejection of judicial discretion. In this paper I claim that the arguments advanced by Bayón fail to provide a sound ground for discarding the classical theses defended by Bulygin. (shrink)

In the long history of the interpretations of Hume's theses on the self and personal identity, it is by now widely accepted that the conclusions reached in the first book of the Treatise must be considered in light of what the philosopher adds on these themes in the second and third books. Furthermore, there is no longer much support for the reading, which saw a contradiction here, given that while in the Book 1 he denies the reality of the self (...) or of personal identity, he then accepts that reality when he turns to his discussion of the passions. In presenting a more comprehensive reading of the theses of Hume on the self in the Treatise as a whole, it is essential not to lose sight of what Hume himself declared in Book 1, that "we must distinguish betwixt personal identity, as it regards our thought or imagination, and as it regards our passions or the concern we take in ourselves". But having recognized the necessity of integrating the theses on the self of Book 1 with those advanced in the latter two books, there are still divergent opinions on what meaning should be assigned to this integration. The relationship between what Hume writes on the self in Books 2 and 3 and the discussion of that topic in Book 1 has been seen, variously, as a mere continuation, as a new development in a continuous interpretation, or, rather, as a completely new posing of the question, with its own new solution. (shrink)

The relations between the Scottish School of Common Sense and the Catalan philosophy of Martí d'Eixalà and Llorens i Barba are well known. But the links between that Catalan tradition and the thought of Eugenio d'Ors (1881-1954) have not been studied. The study of the texts from d'Ors and of the cultural context of his philosophical development gives strong support to the suggestion that the germinal role that Scottish philosophy had during the XIX century in the so-called School of (...) Barcelona was taken over in the first decades of the XX century by a special blend of pragmatism and vitalism coming from Paris. (shrink)

The problem is addressed of establishing the satisfiability of prenex formulas involving a single universal quantifier, in diversified axiomatic set theories. A rather general decision method for solving this problem is illustrated through the treatment of membership theories of increasing strength, ending with a subtheory of Zermelo-Fraenkel which is already complete with respect to the ∀*∀ class of sentences. NP-hardness and NP-completeness results concerning the problems under study are achieved and a technique for restricting the universal quantifier is presented.

The greatest rhetorical display (έπιδείξις) of Plato's Protagoras is apparently not Protagoras's famous myth cum démonstration1 about the teachability of excellence (αρετή),2 but rather the dia logue as a whole. The Protagoras exposes key différences between the methods and presuppositions of Socrates and those of the Sophists - thus defending Socrates against the charge of being a Sophist himself - and in so doing clarifies the conditions and princi ples of ethical argumentation.3 The display of the Protagoras oc curs on (...) two levels. In the drama, Socrates puts the Sophists on exhibit for the benefit of Hippocrates, an Athenian boy who as pires to a sophistic éducation. In reading the dialogue, however, we become spectators to Plato's display. The pervading irony is that Piato uses the Protagoras to critieize the techniques of display and debate - and to contrast them with dialogue. But the Socratic/ Platonic display in the Protagoras is literally a showing forth, a manifestation of what a Sophist is and does, whereas a sophistical display is a showing off, that is not intrinsically related to his beliefs and aims. In order to see thèse thèmes at work in the Protagoras , however, it must first be examined from a rhetorical point of view. (shrink)

In Republic VI 508e-9b Plato has Socrates claim that the Good is the cause (αίτίαν) of truth and knowledge as well as the very being of the Forms. Consequently, as causes must be distinct from and superior to their effects, the Good is neither truth nor knowledge nor even being, but exceeds them all in beauty (509a), as well as in honour and power (509b). No other passage in Plato has had a more intoxicating effect on its readers. To take (...) just one example, James Adam was moved to quote St. Paul when he remarked about this passage that, 'it is highly characteristic of Plato's whole attitude that he finds the true keystone of the Universe — the ultimate fountain from which both Knowledge and Existence flow — in no cold and colourless ontological abstraction, like Being, but in that for which "all creation groans and labours". (shrink)

In this article, I defend the idea that Kant’s interest in an emergent science in the 18th century as the Embriology (especially in the concept of epigenesis) allows to deepen in a soft naturalization of Kant’s trancendental idealism, as well as to justify the validity of a priori knowledge.

This article presents evidence over which we stumbled while investigating a completely different part of the Platonic Corpus. While examining the ordinary working vocabulary of the doubtful dialogues and of those undisputed dialogues most readily compared with them, it seemed essential to have a representative sample of Plato's allegedly 'middle' and 'late' dialogues also. The real surprise came when the Critias was included, showing some frequencies not previously observed in Platonic dialogues. This prompted treatment of the Timaeus also, some of (...) which showed comparable peculiarities. The most distinctive feature was the increase in the rate of the definite article from around 8% of total vocabulary in dialogues assumed to be early, or around 10% in Laws, to some 14% in sizeable parts of the Timaeus-Critias, where Plato seemed no less interested in the literary credentials of his creations than elsewhere. Tests intended for application to our original set of problems were yielding results that appeared to bear on a number of problems central to the interpretation of the Timaeus-Critias. (shrink)

In this international and interdisciplinary collection of critical essays, distinguished contributors examine a crucial premise of traditional readings of Plato's dialogues: that Plato's own doctrines and arguments can be read off the statements made in the dialogues by Socrates and other leading characters. The authors argue in general and with reference to specific dialogues, that no character should be taken to be Plato's mouthpiece. This is essential reading for students and scholars of Plato.

Plato's Sophist is complex. Its themes are many and ambiguous. The early grammarians gave it the subtitle1tEp1. 'tau ov'to~ ('on being') and assigned it to Plato's logical investigations. The Neoplatonists prized it for a theory of ontological categories they preferred to Aristotle's. Modern scholars sometimes court paradox and refer to the Sophist as Plato's dialogue on not-being (because the question ofthe possibility of not-being occupies much of the dialogue). Whitehead took the Sophist to be primarily about ouvo.~t~ ('power') and found (...) in it many of the central ideas of process theology.2 Heidegger thought it articulated the 'average concept of being in general'.3 In Cornford's view the Sophist is mainly about truth and falsehood. Ackrill, Frede and most analytic philosophers think it is about predication.4 Stanley Rosen treats it as a metaphysico-aesthetic dialogue: in his view it is about the relation of images to originals.5 As far as the title of the dialogue goes, however, opinion is almost universal. Do not be misled: 'the definition of the sophist' observed Archer-Hind 'is simply a piece of pungent satire'6 and he added that 'we may be sure that (Plato] cared little about defining the sophist, but very much about the metaphysical questions to which the process of definition was to give rise'.7 The most spectacular case of agreement with this judgment can be found in Cornford, who omits to translate the sections on the definition of the sophist because, as he says 'the modern reader ... might be wearied'.8. (shrink)

Este artículo examina eI significado de los términos biológicos “epigénesis” y “preformación” en eI desarrollo imelectual de Kant, así como sus implicaciones epistemológicas. De hecho, las ideas de espontaneidad y sistema, centrales en la teoría kantiana de la mente, encontraron su analogía empírica en la idea de epigénesis de la naturaleza, una noción que Kant utiliza para dar respuesta a la cuestión de la genesis y validez de las represenraciones puras. Para el autor, la idea de epigénesis compendia la revolución (...) copernicana de Kant en la medida en que aquélla ilustra el papel productivo del entendimiento humano en la constitución de la experiencia.This paper explores the meaning of the biological terms “epigenesis” and “preformation” in Kant’s intellectual development, as well as its epistemological implications. In fact, spontaneity and system, two central ideas in Kant’s theory of mind, found their empirical analogy in the idea of epigenesis in nature, a notion that Kant uses to give answer to the question of the genesis and validity of the pure representations. For the author, epigenesis summarizes Kant’s Copernican Revolution in the measure in which that idea illustrates tbe productive role of the human understanding in the constitution of experience. (shrink)

This paper examines one aspect of the relation between philosophy and myth, namely the function myth has, for some philosophers, in narrowing the distance between appearance and reality. I distinguish this function of myth from other common functions, and also show how the approach to reality through myth differs from a more empirical philosophical approach. I argue that myth plays a fundamental role in Plato's approach to the appearance/reality distinction, and that understanding this is important to the interpretation of Plato's (...) frequent use of language suggesting the existence of a world of unchanging ideal objects and a world of transient, variable particulars. All things are an exchange for fire, and fire for all things, as goods for gold, and gold for goods.1 ?Heraclitus DK 22 B 90. (shrink)

This article explores the political thought of a leading Italian intellectual after his conversion from Jacobinism to liberalism. It shows the extent to which Foscolo was abreast of the then contemporary debate on constitutional government and nation-building. Moreover, it illustrates how he combined liberal with civic humanist and republican ideas, as well as idealism and Realpolitik in his perception of the problems faced by small nations struggling to be free in an era of international ideological conflict.

JL his paper calls into question a conventional way of reading the passage concerning knowledge and belief at the end of book 5 of Plato's Republic. On the conventional reading, Plato is committed to arguing on grounds that his philosophical opponents would accept, but this view fails to appreciate the rhetorical context in which the passage is situated. Indeed, it is not usually recognized or considered important that the passage has a rhetorical context at all. Philoso phers typically reduce the (...) questions asked by Socrates and the an swers given by Glaucon in the presence of a large audience, to one continuous argument of Plato's. Unfortunately, this way of reading book 5 ignores two points that are crucial to its interpretation: (1) the Socrates-Glaucon dialectic is directed to hostile (not merely intel lectually opposed) interlocutors, and (2) the relation between Socra tes and his audience (Glaucon excepted) is one of antagonism.1 I shall argue that scholars have for a long time been trying to find more philosophical fruit in the passage than it has to bear, largely because they have misconstrued its role in the argument of the Re public. (shrink)