En este artículo tratamos de hacer plausible la hipótesis de que las conectivas de diferentes lógicas no necesariamente difieren en significado. Utilizando el tratamiento categorista de las conectivas, argumentaremos contra la tesis quineana de que la diferencia de lógicas implica diferencia de significado entre sus conectivas, y ubicamos el cambio de tema en la diferencia de objetos más bien que en una tal diferencia de significado. Finalmente, intentamos mostrar que ese tratamiento categorista es una forma de minimalismo semántico, de acuerdo (...) con el cual no todos los elementos semánticos usuales son relevantes para determinar el significado de las conectivas. (shrink)

Philosophy of logic is a fundamental part of philosophical study, and one which is increasingly recognized as being immensely important in relation to many issues in metaphysics, metametaphysics, epistemology, philosophy of mathematics, and philosophy of language. This textbook provides a comprehensive and accessible introduction to topics including the objectivity of logical inference rules and its relevance in discussions of epistemological relativism, the revived interest in logical pluralism, the question of logic's metaphysical neutrality, and the demarcation between logic and mathematics. Chapters (...) in the book cover the state of the art in contemporary philosophy of logic, and allow students to understand the philosophical relevance of these debates without having to contend with complex technical arguments. This will be a major new resource for students working on logic, as well as for readers seeking a better understanding of philosophy of logic in its wider context. (shrink)

Estrada-Gonzalez-Olmedo-Garcia_On-the-plenitude-of-truth.-A-defense-of-trivialism-by-Paul-Kabay2.

In this paper we discuss whether the relation between formulas in the relating model can be directly introduced into the language of relating logic, and present some stances on that problem. Other questions in the vicinity, such as what kind of functor would be the incorporated relation, or whether the direct incorporation of the relation into the language of relating logic is really needed, will also be addressed.

Alberic of Paris put forward an argument, ‘the most embarrassing of all twelfth-century arguments’ according to Christopher Martin, which shows that the connexive principles contradict some other logical principles that have become deeply entrenched in our most widely accepted logical theories. Building upon some of Everett Nelson’s ideas, we will show that the steps in Alberic of Paris’ argument that should be rejected are precisely the ones that presuppose the validity of schemas that are nowadays taken as some of the (...) most trivial logical truths: (A∧B) → A and (A∧B) → B, i.e. Simplification. (shrink)

In this paper I probe the idea that neither possibilism nor trivialism could be ruled out on a purely logical basis. I use the apparatus of relational structures used in the semantics for modal logics to engineer some models of possibilism and trivialism and I discuss a philosophical stance about logic, truth values and the meaning of connectives underlying such analysis.

« Ce petit livre est un bijou d’intelligence, de finesse, de culture, qui prend un objet technique sans rechigner et le tourne et le retourne comme Heidegger nous avait appris à le faire avec les chaussures de Van Gogh. Ce qui frappe, c’est l’ambition d’une méditation sur les cartes de la modernité contemporaine, sur le fameux Grand Paris, sur le sujet, sur le pluriel, sans les faux-fuyants du postmoderne, de la citation absurde. Luis de Miranda se promène, il vous (...) conte qu’il se promène, mais il vous mène avec une grande maîtrise et sait où il veut aller. Rien de gratuit dans cette rencontre de l’enseigne de kebabs sur la table de dissection de la Ville Néon. C’est plutôt une nouvelle méditation cartésienne après Descartes et Husserl : où le poêle et sa chaleur ont fait place au bruit vrillant du gaz dans un tube. Je suis, je crée, donc j’entends. » Yann Moulier-Boutang, ancien élève de l’ENS, professeur agrégé d’économie à l’université de technologie de Compiègne, directeur de la revue Multitudes. Né d’une rencontre inopinée avec un néon sur le quai du Louvre, ce livre a été composé à partir d’un séminaire donné par l’auteur à l’hiver 2012. Un voyage inspiré à travers la nuit, qui déchiffre les halos du passé et les reflets du présent pour donner à entendre une certaine magie du futur. Luis de Miranda, philosophe, romancier, révélateur du créalisme, est notamment l’auteur d’un essai remarqué, L’art d’être libres au temps des automates (Max Milo, 2010). (shrink)

In this paper, we evaluate Button’s claim that knot is a nasty connective. Knot’s nastiness is due to the fact that, when one extends the set \ with knot, the connective provides counterexamples to a number of classically valid operational rules in a sequent calculus proof system. We show that just as going non-transitive diminishes tonk’s nastiness, knot’s nastiness can also be reduced by dropping Reflexivity, a different structural rule. Since doing so restores all other rules in the system as (...) validity-preserving, we are inclined to conclude that there, knot is not that nasty. However, since motivating non-reflexivity is harder than motivating non-transitivity, we also acknowledge that disagreement with our conclusion is possible. (shrink)

According to logical non-necessitarianism, every inference may fail in some situation. In his defense of logical monism, Graham Priest has put forward an argument against non-necessitarianism based on the meaning of connectives. According to him, as long as the meanings of connectives are fixed, some inferences have to hold in all situations. Hence, in order to accept the non-necessitarianist thesis one would have to dispose arbitrarily of those meanings. I want to show here that non-necessitarianism can stand, without disposing arbitrarily (...) of the meanings of connectives, based on a minimalist view on the meanings of connectives. (shrink)

Mortensen studies dual intuitionistic logic by dualizing topos internal logic, but he did not study a sequent calculus. In this paper I present a sequent calculus for complement-topos logic, which throws some light on the problem of giving a dualization for LJ.

Realist dialetheism is the view that there are contradictions in reality. One argument against this idea says that it is impossible because it has to make room for the possibility of a trivial reality, which is metaphysically impossible. Another argument against it says that the metaphysical structure of reality is such that it is impossible to have contradictions in it. I argue here that both arguments fail to establish the impossibility of realist dialetheism because they are based on a misconception (...) about the notions of negation and contradiction, which leads them, in the first case, to wrongly hold that dialetheism has to be compatible with trivialism, and, in the second case, to assume that the validity of the Aristotelian principle of non-contradiction prevents the existence of dialetheias. (shrink)

. In this paper we present a proposal that (i) could validate more relations in the square than those allowed by classical logic (ii) without a modification of canonical notation neither of current symbolization of categorical statements though (iii) with a different but reliable semantics.

A contra-classical logic is a logic that, over the same language as that of classical logic, validates arguments that are not classically valid. In this paper I investigate whether there is a single, non-trivial logic that exhibits many features of already known contra-classical logics. I show that Mortensen’s three-valued connexive logic M3V is one such logic and, furthermore, that following the example in building M3V, that is, putting a suitable conditional on top of the \-fragment of LP, one can get (...) a logic exhibiting even more contra-classical features. (shrink)

Based on his Inclosure Schema and the Principle of Uniform Solution, Priest has argued that Curry’s paradox belongs to a different family of paradoxes than the Liar. Pleitz argued that Curry’s paradox shares the same structure as the other paradoxes and proposed a scheme of which the Inclosure Schema is a particular case and he criticizes Priest’s position by pointing out that applying the PUS implies the use of a paraconsistent logic that does not validate Contraction, but that this can (...) hardly seen as uniform. In this paper, we will develop some further reasons to defend Pleitz’ thesis that Curry’s paradox belongs to the same family as the rest of the self-referential paradoxes & using the idea that conditionals are generalized negations. However, we will not follow Pleitz in considering doubtful that there is a uniform solution for the paradoxes in a paraconsistent spirit. We will argue that the paraconsistent strategies can be seen as special cases of the strategy of restricting Detachment and that the latter uniformly blocks all the connective-involving self-referential paradoxes, including Curry’s. (shrink)

In this paper we show that, when analyzed with contemporary tools in logic—such as Dunn-style semantics, Reichenbach’s three-valued logic exhibits many interesting features, and even new responses to some of the old objections to it can be attempted. Also, we establish some connections between Reichenbach’s three-valued logic and some contra-classical logics.

However broad or vague the notion of connexivity may be, it seems to be similar to the notion of relevance even when relevance and connexive logics have been shown to be incompatible to one another. Relevance logics can be examined by suggesting syntactic relevance principles and inspecting if the theorems of a logic abide to them. In this paper we want to suggest that a similar strategy can be employed with connexive logics. To do so, we will suggest some properties (...) that seem to be hinted at in Nelson’s work. Following this strategy will ideally shed some light over the notion of content and will also help make a clear comparison between relevance and connexive logics. (shrink)

Beall has given more or less convincing arguments to the effect that neither classical logic, nor K3, nor LP, nor S3 can play the role he expects from logic: to be the basement theory for all true theories, including true theology. However, he has not considered all the pertinent competitors, and he has not given any reassurance that he has not gone too low in the hierarchy of logics to find his desired “universal closure of all true theories”. In this (...) paper, I put forward those additional arguments to show the superiority of FDE with respect to logics that include a detachable conditional but that are very much like FDE otherwise. I also discuss the problem that theological consequence might not contrapose even if theological consequence is supposed to extend FDE consequence and the latter does contrapose. (shrink)

ABSTRACT In this brief note we explore a couple of features of the semantics for indicative conditionals provided by Field. Those features strikingly resemble some controversial principles in connexive logic. We will show that although Field’s semantics has the technical means to stand to the mentioned features, more work is needed to make some of its outcomes less unintuitive.

En este artículo discutimos la tesis de Jc Beall según la cual no hay negación lógica. Evaluamos la solidez del argumento con el que defiende su tesis y presentamos dos razones para rechazar una de sus premisas: que la negación tiene que ser excluyente o exhaustiva. La primera razón involucra una presentación alternativa de las reglas de la negación en sistemas de secuentes diferentes al que Beall presupone. La segunda razón establece que la negación no tiene que ser excluyente o (...) exhaustiva. (shrink)

RESUMEN: En este artículo tratamos de hacer plausible la hipótesis de que las conectivas de diferentes lógicas no necesariamente difieren en significado. Utilizando el tratamiento categorista de las conectivas, argumentaremos contra la tesis quineana de que la diferencia de lógicas implica diferencia de significado entre sus conectivas, y ubicamos el cambio de tema en la diferencia de objetos más que en una tal diferencia de significado. Finalmente, intentamos mostrar que ese tratamiento categorista es una forma de minimalismo semántico, de acuerdo (...) con el cual no todos los elementos semánticos usuales son relevantes para determinar el significado de las conectivas.ABSTRACT: We argue here that the meanings of logical connectives need not differ in different logics. treatment of the logical connectives, we argue against the well-known Quinean thesis that a difference between logics implies a difference in the meanings of connectives. We thus locate this change in the difference between certain objects rather than in the difference between the meaning of connectives. Finally, we try to show that the category-theoretic treatment of logical connectives is a form of semantic minimalism, according to which not all the usual semantic components are relevant in fixing the meaning of a connective. (shrink)

Five major stances on the problems of the possibility and fruitfulness of a debate on the principle of non-contradiction (PNC) are described: Detractors, fierce supporters, demonstrators, methodologists and calm supporters. We show what calm supporters have to say on the other parties wondering about the possibility and fruitfulness of a debate on PNC. The main claim is that one can find all the elements of calm supporters already in Aristotle’s works. In addition, we argue that the Aristotelian refutative strategy, originally (...) used for dealing with detractors of PNC in Metaphysics, has wider implications for the possibility and fruitfulness of an up-to-date debate on PNC, at least in exhibiting some serious difficulties for the other parties. (shrink)

En esta nota crítica (i) se hace una breve descripción de cada uno de los artículos que componen Orayen: de la forma lógica al significado, (ii) se señalan algunas cuestiones que no están claras en ellos o en las réplicas de Orayen y, (iii) en la medida de lo posible, se indica si los autores desarrollan ulteriormente los problemas abordados en sus artículos. The aim of this critical note is threefold: (i) it briefly describes and comments on each of the (...) articles of Orayen: de la forma lógica al significado; (ii) identifies some issues that may not be clear enough or not fully developed whether in the articles or even in Orayen's replies; (iii) as far as possible, it refers to further studies made by the authors themselves on the same, or quite related, subjects addressed by them in their papers. (shrink)

It has been claimed that contracting connectivesContracting connective are conditionalsConditional. Our modest aim here is to show that the conditional-like features of a contracting connectiveContracting connective depend on the defining features of the conditionalConditional in a particular logic, yes, but they also depend on the underlying notion of logical consequence and the structure of the collection of truth values. More concretely, we will show that under P-consequenceP-consequence and suitable satisfiability conditions for the conditionalConditional, conjunctionsConjunction are contracting connectivesContracting connective for some (...) logics without thereby being conditional-ish. (shrink)

Francez has suggested that connexivity can be predicated of connectives other than the conditional, in particular conjunction and disjunction. Since connexivity is not any connection between antecedents and consequents—there might be other connections among them, such as relevance—, my question here is whether Francez’s conjunction and disjunction can properly be called ‘connexive’. I analyze three ways in which those connectives may somehow inherit connexivity from the conditional by standing in certain relations to it. I will show that Francez’s connectives fail (...) all these three ways, and that even other connectives obtained by following more closely Wansing’s method to get a connexive conditional, fail to be connexive as well. (shrink)

PurposeGraham Priest has recently argued that the distinctive trait of classical mathematics is that the conditional of its underlying logic—that is, classical logic—is extensional. In this article, I aim to present an alternate explanation of the specificity of classical mathematics.MethodI examine Priest's argument for his claim and show its shortcomings. Then I deploy a model-theoretic presentation of logics that allows comparing them, and the mathematics based on them, more fine-grainedly.ResultsSuch a model-theoretic presentation of logics suggests that the specific character of (...) classical logic consists in the structure that it confers to its truth values and in the structure of the evaluation indices of its formulas, and that this trait is useful to explain the specific character of the logics and the mathematics based on them.ConclusionThe extensionality of the conditional in classical logic is a by-product of other structural features of a logic, which are more likely to be what gives a kind of mathematics based on it its specific character. (shrink)

El objeto de este artículo es doble. Por una parte, examina el uso que Vives hace de la lengua y del lenguaje, y, por otra parte, indica sus aportaciones al campo de la traducción e interpretación. La diversidad temática presente en su obra hace que su persona sea un punto de referencia para diferentes campos científicos, entre ellos la Filología. Para Vives, tanto el acercamiento filológico, como el aprendizaje de la lengua no sólo deben tener en cuenta la lengua desde (...) un punto teórico, sino también sociocultural. Su especial interés por las lenguas le llevó a realizar un considerable esfuerzo filológico haciendo lecturas e introducciones de varios textos clásicos latinos y también griegos, y transmitiendo su opinión acerca de la forma de realizar versiones o interpretaciones. (shrink)

On associe habituellement Rousseau à la tradition républicaine, opposée schématiquement à la tradition libérale. Sans remettre en cause globalement cette thèse, il peut être intéressant de déplacer les termes de la problématique, en présentant la critique rousseauiste du libéralisme comme une critique menée de l’intérieur, plutôt que de l’extérieur. On peut en effet, à l’exemple de John Pocock, identifier un tronc commun aux pensées républicaine et libérale ou, à l’exemple de Charles Larmore, voir dans le républicanisme « une formulation plus (...) lucide de la théorie libérale ». Cela se traduit chez Rousseau par une stratégie consistant à se réapproprier les promesses contenues dans les prémisses du libéralisme, pour mieux en dénoncer les conséquences dogmatiques. De fait, on trouve chez Rousseau une défense des droits individuels, un souci de l’indépendance individuelle dans les relations économiques et plus généralement dans les rapports sociaux, une justification jusnaturaliste de la propriété privée, et même des emprunts à l’idée selon laquelle la mise en concurrence permettrait de définir les conditions d’un choix optimal. Cependant l’analyse de certains textes de l’Émile montre que Rousseau vise en définitive à dissiper l’illusion d’une autorégulation optimale des rapports sociaux et économiques : l’opacité et les distorsions des rapports économiques ainsi que l’usage spontanément irrationnel de la liberté individuelle impliquent la nécessité de gouverner la liberté, par l’éducation et par la législation. (shrink)

La Déesse de Parménide annonce toujours que les δόξαι sont un produit humain. Mais il y a un point qui n'a pas été en général remarqué dans les études consacrées à l'étude des δόξαι: elles décrivent une activité humaine qui consiste a expliquer la réalité par la présence de principes opposés, et qui est toujours en rapport avec la "nomination". Il y avait à l'époque de Parménide une école qui correspondait à ce portrait robot, ou s'agit-il d'un collage de Parménide? (...) Quoi qu'il en soit, il est attesté la présence d'une branche du Pythagorisme qui se caractérisait, précisément, pour "placer" des noms sur les choses. (shrink)

Nowadays there is a growing tendency in the philosophy of science to think that some phenomena cannot be exhaustively explained, or even described, by a single theory or a particular approach. Thus, we are occasionally required to use various approaches in order to give account of the phenomenon we are analyzing. And sometimes, we can appreciate this as an invitation to be pluralist in certain respects about our understanding of a particular aspect in science. -/- During the last decade applications (...) of pluralism have increased and led to several other relevant debates in the philosophy of science. By the strengthening of pluralism, new questions have emerged, and more importantly, new alternatives have been offered in dealing with problems about how to interpret the ontology and the ontological commitments of particular theories, or how to apply strategies to analyze and understand specific episodes from the history of science, or how to work within different, and sometimes incompatible, explanations about a particular phenomenon, among others. In general, pluralism seems to be a very rich and yet not enough explored path for the philosophy of science in general. -/- Today, it is recognized that, at least for methodological purposes, the application of pluralism to the study of science can offer a great number of benefits. One of them would be the opportunity of analyzing the role that some epistemic virtues -such as scope, fruitfulness, consistency, and simplicity, to name just a few- play in the scientific activity. From the different pluralist positions, a lot has been said about empirical adequacy, refutability and explanatory power yet consistency power, yet, consistency has not been equally dealt with. -/- As a matter of fact, the lack of consistency and its philosophical implications have been studied from an angle that does not necessarily involve a pluralism of any kind. At the moment, it is commonly accepted that inconsistencies are more frequent in scientific development that the traditional philosophy of science could have expected and the idea that inconsistency is not always a synonym of logical anarchy, as it was suggested in the classical literature of logic and the philosophy of science, has been gaining support. All this has been possible, mostly, thanks to the emergence of paraconsistent logics and the availability of case studies that show how inconsistency is not an uncommon phenomenon in science. -/- But pluralism does not necessarily entail inconsistency toleration nor vice versa. Accordingly the main motivation for this volume is to explore the links between pluralism and inconsistency toleration in science, in order to connect the reflections on inconsistency toleration with broader and major issues in philosophy of science. In order to do so, we will suggest two different lines of investigation: first, to focus on the implication of some pluralistic accounts in the philosophy of science, regarding inconsistency; and second to analyze the implications of some paraconsistent approaches regarding pluralism in science. (shrink)