Logics

Circumstantialists already have a logical semantics for impossibilities. They expand their logical space of possible worlds by adding impossible worlds. These are impossible circumstances serving as indices of evaluation, at which impossibilities are true. A variant of circumstantialism, namely modal Meinongianism (noneism), adds impossible objects as well. These are so-called incomplete objects that are necessarily non-existent. The opposite of circumstantialism, namely structuralism, has some catching-up to do. What might a structuralist logical semantics for impossibilities without impossibilia look like? This paper (...) makes a structuralist counterproposal. We present a semantics based on a procedural interpretation of the typed λ-calculus. The fundamental idea is that talk about impossibilities should be construed in terms of procedures: some yield as their product a condition that could not possibly have a satisfier, while the rest fail to yield a product altogether. Dispensing with a ‘bottom’ of impossibilia requires instead a ‘top’ consisting of structured hyperintensions, intensions, intensions defining other intensions, a typed universe, and dual (de dicto and de re) predication. We explain how the theory works by going through several examples. (shrink)

A focussed issue of The Reasoner on the topic of 'Infinitary Reasoning'. Owen Griffiths and A.C. Paseau were the guest editors.

This short article discusses the fact that the word ‘ancestor’ features in certain arguments that a) are apparently logically valid, b) contain infinitely many premises, and c) are such that none of their finite sub-arguments are logically valid. The article's aim is to motivate, within its brief compass, the study of infinitary logics.

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

In Metaphysics Z 8 Aristotle offers an infinite regress argument to deny that forms come to be. Briefly put, the argument states that, if we assume that every time an x composed of matter (m1) and form (f1) comes to be, f1 also comes to be, then there would be infinitely many xs coming to be – for f1 would itself be a compound, if it comes to be, and the same reasoning would in turn apply to it. This argument (...) has great significance in the history of philosophy, for some later thinkers take Aristotle to allow or make room for the creation ex nihilo of forms. However, the only direct Greek engagement with this argument in its proper context is provided by Asclepius of Tralles’ commentary on Book Z. A close study of Asclepius’ interpretation shows that he endorsed the argument on the tacit condition that it refers to the forms αὐτὰ καθ’ αὑτά as different from both Platonic Ideas and enmattered forms. At the same time, however, its elaboration includes alongside forms αὐτὰ καθ’ αὑτά also eternal separate forms and generated forms. His reconstruction also displays a sophisticated toning-down of the potential disagreements between Plato and Aristotle on the conception of pre-existing form which is assumed in the argument. Asclepius’ interpretation offers yet further proof of the commentators’ camouflaged and stratified way of tackling philosophical issues of paramount importance. (shrink)

Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that combines genetic programming with Hoare logic with the aid of model checking and finite state automata, henceby proposing a brand new verification-focused formal genetic programming system that makes it possible to evolve reliable programs with mathematicallyverified properties.

The formal analysis of normative systems has traditionally focused on their deontic dimension rather than on their potestative dimension; yet, a growing amount of works aims at shedding light on the notion of power, its norm changing potential and its general interactions with deontic concepts. The present article contributes to this line of inquiry by adopting the following perspective: a normative system can be metaphorically seen as an agent that allocates abilities (powers) in order to promote the fulfillment of certain (...) desires (deontic directives), and in doing so regulates its behavioural domain. Our analysis emphasizes the instrumental nature of power, while clarifying the distinction between ‘being allowed’ and ‘being enabled’ and unveiling new patterns of interaction between deontic and potestative concepts. Operationally, we formulate this framework in terms of conditional rules, and provide a corresponding logic programming (ASP) implementation. (shrink)

Las máquinas aceleradas de Turing (ATMs) son dispositivos capaces de ejecutar súper-tareas. Sin embargo, el simple ejercicio de definirlas ha generado varias paradojas. En el presente artículo se definirán las nociones de súper-tarea y ATM de manera exhaustiva y se aclarará qué debe entenderse en un contexto lógico-formal cuando se pregunta por la existencia de un objeto. A partir de la distinción entre posibilidades lógicas y físicas se disolverán las paradojas y se concluirá que las ATMs son posibles y existen (...) como objetos abstractos. (shrink)

The purpose of this paper is to analyse and compare two concepts which tend to be treated as synonymous, and to show the difference between them: these are critical thinking and logical culture. Firstly, we try to show that these cannot be considered identical or strictly equivalent: i.e. that the concept of logical culture includes more than just critical thinking skills. Secondly, we try to show that Christian philosophers, when arguing about philosophical matters and teaching philosophy to students, should not (...) focus only on critical thinking skills, but rather also consider logical culture. This, as we argue, may help to improve debate both within and outside of Christian philosophy. (shrink)

This chapter introduces inferential role semantics (IRS) and some of the challenges it faces. It also introduces inferentialism and places it into the wider context of contemporary philosophy of language. The chapter focuses on what is standardly considered both the most important test case for and the most natural application of IRS: logical inferentialism, the view that the meanings of the logical expressions are fully determined by the basic rules for their correct use, and that to understand a logical expression (...) is to use it in accordance with the appropriate rules. It discusses some of the benefits of logical inferentialism, chiefly with regard to the epistemology of logic, and considers a number of objections. The chapter critically examines Robert Brandom's inferentialism about linguistic and conceptual content in general. Finally, it considers a number of general objections to IRS and possible responses on the inferentialist's behalf. (shrink)

Artikel ini hendak membuktikan kesesat-pikiran argumen berbasis kapasitas (merit-based argument) yang digunakan untuk mendukung IISMA. Argumen pro-IISMA yang dijangkarkan pada “pengafirmasian perasaan pencapaian dan kerja keras” dalam argumen berbasis kapasitas merupakan sesat pikir, karena mengganti proses justifikasi epistemis suatu kondisi x sehingga p dengan proses justifikasi perasaan psikologis sehingga p semata. Selebihnya, argumen ad hominem para penentang IISMA dalam tuduhan privilese justru datang atas reaksi sesat pikir para pendukung IISMA dalam mempertahankan IISMA. Jika melanggar cara kerja justifikasi, maka argumennya tidak (...) valid. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

The paper argues that logical reasoning is what constitutes critical thinking because reasoning is normative, and logic provides a norm for reasoning. If a logical way of thinking is simply the same thing as reasoning, then the only limit or constraint of reasoning is the nature of the (logical) “rule” the kind of which is engaged with the practice of reasoning; rather than with either a component of social context or a com- ponent of a purely non-inferential or “immediate” perception (...) of a situation which is called sensitivity toward an object alone. However, such components are built into my analysis of what “reasoning” is. An approach to critical thinking being employed here is “an agent-based approach”. This paper also aims to pave the way for a further discussion on the limit of reasoning in a way that is relevant to the question of how critical thinking or reasoning should be taught in higher education. (shrink)

Persuasive technologies can adopt several strategies to change the attitudes and behaviors of their users. In this work I synthesize the lessons learned from three empirical case studies on automated persuasion that have been carried out in the last decade in the contexts of: persuasive news recommendations, social robotics, and e-commerce, respectively. In particular, such studies have assessed, in the technological domain, the effects of nudging techniques relying on well known persuasive argumentation schemas and on framing strategies. In discussing the (...) main findings, I will argue that the obtained persuasive effects are due to the fact that such techniques leverage on cognitive mechanisms that refer to the “system 1” types of automatic processes hypothesized in the context of the dual process theory of reasoning. As a consequence of this state of affairs, any automated persuasive systems (used for ethical purposes: e.g. suggesting good health habits) should be able to re-use these types of system 1 strategies in order to gradually take the users in an argumentation territory where system 2 processes can take place. -/- . (shrink)

There is a long tradition of logic, from Aristotle to Gödel, of understanding a proof from the concepts of necessity and causality. Gödel's attempts to define provability in terms of necessity led him to the distinction of formal and absolute (abstract) provability. Turing's definition of mechanical procedure by means of a Turing machine (TM) and Gödel's definition of a formal system as a mechanical procedure for producing formulas prompt us to understand formal provability as a mechanical causality. We propose a (...) formalism which makes explicit the mechanical causal nature of a TM's work. We claim that Gödel's axiomatised ontotheology and his ontological proof give a clue for the understanding of the concept of absolute provability and the pattern of the corresponding absolute completeness proof, respectively. (shrink)

Spatial and diagrammatic reasoning is a significant part not only of logical abilities, but also of logical studies. The authors of this paper consider some novel trends in studying this type of reasoning. They show that there are the following two main trends in spatial logic: (i) logical studies of the distribution of various objects in space (logic of geometry, logic of colors, etc.); (ii) logical studies of the space algorithms applied by nature itself (logic of swarms, logic of fungi (...) colonies, etc.). (shrink)

Selective abduction is in contrast with creative abduction as well as Inference to the Best Explanation (IBE). There are two types of selective abduction: Either hypotheses are selected among new and conjectural hypotheses without any prior knowledge ( Pierce s' selective abduction), or the selection of the best hypotheses and explanations is among a large number of possible hypotheses and explanations already known (L. Magnani's selective abduction and G. Schurz's factual abduction). According to both views, as well as an alternative (...) view, which belongs to Dov M. Gabby and John Woods, selective abduction is different from inference to the best explanation. Schurz's factual abduction depends on all three sub-processes of inference, i.e.: colligation, observation, and judgment (c, o, and j); But Pierce's selective abduction, on the other hand, has only a third sub-process, i.e. judgment process (j), and therefore it cannot be regarded as a process of abductive epistemic inference. (shrink)

En The paradox of Addition and its dissolution (1969), Mario Bunge presenta algunos argumentos para mostrar que la Regla de Adición puede ocasionar paradojas o problemas semánticos. Posteriormente, Margáin (1972) y Robles (1976) mostraron que las afirmaciones de Bunge son insostenibles, al menos desde el punto de vista de la lógica clásica. Aunque estamos de acuerdo con las críticas de Margáin y Robles, no estamos de acuerdo en el diagnóstico del origen del problema y tampoco con la manera en la (...) que se proponen solucionarlo. En esta medida, en este texto mostraremos cómo la Regla de Adición sí trae problemas semánticos que pueden ser planteados desde diferentes perspectivas contemporáneas, como la extensionalidad del condicional, los principios proscriptivos y la validez conexiva. (shrink)

Сборник эссе о логике и логическом мышлении.

In this work we present NERVOUS, an intelligent recommender system exploiting a probabilistic extension of a Description Logic of typicality to dynamically generate novel contents in AllMusic, a comprehensive and in-depth resource about music, providing data about albums, bands, musicians and songs. The tool can be used for both the generation of novel music genres and styles, described by a set of typical properties characterizing them, and the reclassification of the available songs within such new genres.

After introducing the debate between substance philosophy and process philosophy, and clarifying the relevance of the category of ‘substance’ in Peirce’s thought, the present paper reconstructs the role of ‘substance’ and ‘being’ from Peirce’s early works to his theory of the proposition, provided after his studies on the logic of relatives. If those two categories apparently disappear in Peirce’s writings from the mid-1890s onwards, the account of ‘subject’ and ‘copula’ in Peirce’s analysis of the proposition allows one to grasp the (...) reasons why Peirce omits ‘substance’ and ‘being’ in favor of his three categories (Firstness, Secondness, Thirdness), and to understand why his philosophy cannot be considered as a substance philosophy. (shrink)

This paper discusses the question of whether politics and ideology could ever be considered sensible sources for logical evidence. After discussing some proposals for this possibility, I answer negatively by arguing that any attempt to deviate from classical logics on these grounds would consist of an ad hoc denial of a logic principle.

The aim of this chapter is to develop a semantics for Calculus CL. CL is a diagrammatic calculus based on a logic machine presented by Johann Christian Lange in 1714, which combines features of Euler-, Venn-type, tree diagrams, squares of oppositions etc. In this chapter, it is argued that a Boolean account of formal ontology in CL helps to deal with logical oppositions and inferences of extended syllogistics. The result is a combination of Lange’s diagrams with an algebraic semantics of (...) terms: Bit-CL, in which any ordered objects are identified by characteristic bitstrings. Then, a number of objections to Bit-CL are answered to, and the process of inference is explained in this new logical framework. (shrink)

This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of the original pure system (...) with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b). (shrink)

در تکوین نظریه محاسبات از اوایل قرن بیستم پارادکسها و خود ارجاعی نقش ویژه ای را بازی کرده اند. هر چند نظریه محاسبات عام بر اساس تعریف ماشین تورینگ، فرض تورینگ_چرچ و کاربردهای آن بنا شده ،اما از همان ابتدا تا به امروز منطق و حوزه های مختلف این علم در ارتباط تنگاتنگ با این تیوری و در ابتدا نظریه محاسبات خاص بوده و این ارتباط روز به روز گسترده و گسترده تر گشته است. از تاثیر پارادوکس دروغگو و پارادکس (...) بری در تمایز میان مفهوم محاسبه پذیر و محاسبه پذیر شمارایانه، قضایای گودل و قضیه چیتین همه جا شاهد این تاثیر و تاثر متقابل هستیم. در این مقال می خواهیم بعد از معرفی اجمالی مطالب باال، تاثیر یک پارادوکس دیگر، پارادوکس اعدام غیر منتظره، را بر این نظریه بررسی نماییم. (shrink)

The so-called Principle of Plenitude was ascribed to Leibniz by A. O. Lovejoy in The Great Chain of Being: A Study of the History of an Idea. Its temporal version states that what holds always, holds necessarily. This temporal formulation is the subject of the current paper. Lovejoy’s idea was criticised by Hintikka. The latter supported his criticisms by referring to specific Leibnizian notions of absolute and hypothetical necessities interpreted in a possible-worlds semantics. In the paper, Hintikka’s interpretative suggestions are (...) developed and enriched with a temporal component that is present in the characteristics of the real world given by Leibniz. We use in our approach the Leibnizian idea that change is primary to time and the idea that there are possible laws that characterize worlds other than the real one. We formulate a modal propositional logic with three primitive operators for change, temporal constancy, and possible lawlikeness. We give its axiomatics and show that our logic is complete with respect to the given semantics of possible worlds. Finally, we show that the counterparts of the considered versions of the Principle of Plenitude are falsified in this semantics and the same applies to the counterpart of Leibnizian necessarianism. (shrink)

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...) relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

Richard Heck has recently drawn attention on a new version of the Liar Paradox, one which relies on logical resources that are so weak as to suggest that it may not admit of any ‘‘truly satisfying, consistent solution’’. I argue that this conclusion is too strong. Heck’s Liar reduces to absurdity principles that are already rejected by consistent paracomplete theories of truth, such as Kripke’s and Field’s. Moreover, the new Liar gives us no reasons to think that these principles cannot (...) be consistently retained once the structural rule of contraction is restricted. I suggest that revisionary logicians have independent reasons for restricting such a rule. (shrink)

In “Some Remarks on Extending and Interpreting Theories with a Partial Truth Predicate”, Reinhardt [21] famously proposed an instrumentalist interpretation of the truth theory Kripke–Feferman ( $\mathrm {KF}$ ) in analogy to Hilbert’s program. Reinhardt suggested to view $\mathrm {KF}$ as a tool for generating “the significant part of $\mathrm {KF}$ ”, that is, as a tool for deriving sentences of the form $\mathrm{Tr}\ulcorner {\varphi }\urcorner $. The constitutive question of Reinhardt’s program was whether it was possible “to justify the (...) use of nonsignificant sentences entirely within the framework of significant sentences”. This question was answered negatively by Halbach & Horsten [10] but we argue that under a more careful interpretation the question may receive a positive answer. To this end, we propose to shift attention from $\mathrm {KF}$ -provably true sentences to $\mathrm {KF}$ -provably true inferences, that is, we shall identify the significant part of $\mathrm {KF}$ with the set of pairs $\langle {\Gamma, \Delta }\rangle $, such that $\mathrm {KF}$ proves that if all members of $\Gamma $ are true, at least one member of $\Delta $ is true. In way of addressing Reinhardt’s question we show that the provably true inferences of suitable $\mathrm {KF}$ -like theories coincide with the provable sequents of matching versions of the theory Partial Kripke–Feferman ( $\mathrm {PKF}$ ). (shrink)

We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism, Grothendieck–Zermelo potentialism, transitive-set potentialism, forcing potentialism, countable-transitive-model potentialism, countable-model potentialism, and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or S4.3, (...) and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account. (shrink)

This paper provides an exposition of the structuralist approach to underdetermination, which aims to resolve the underdetermination of theories by identifying their common theoretical structure. Applications of the structuralist approach can be found in many areas of philosophy. I present a schema of the structuralist approach, which conceptually unifies such applications in different subject matters. It is argued that two classic arguments in the literature, Paul Benacerraf’s argument on natural numbers and W. V. O. Quine’s argument for the indeterminacy of (...) translation, can be analyzed as instances of the structuralist schema. These two applications illustrate different kinds of conclusions that can be drawn through the structuralist approach; Benacerraf’s argument shows that we can derive an ontological conclusion about the given subject matter, while Quine’s structuralist approach leads to a semantic conclusion about how to determine linguistic meanings given radical translation. Then, as a case study, I review a recent debate in metaphysics between Shamik Dasgupta, Jason Turner, and Catharine Diehl to consider the extent to which different instances of the structuralist schema are conceptually unified. Both sides of the debate can be interpreted as utilizing the structuralist approach; one side uses the structuralist approach for an ontological conclusion, while the other side relies on a semantic conclusion. I argue that this has a strong dialectical consequence, which sheds light on the conceptual unity of the structuralist approach. (shrink)

We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...) expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies. (shrink)

Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to un- derstand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that ac- counts for the amount of information that is actually available to a cer- tain agent in the task of classification. We develop a predicative modal logic whose semantics is based on conceptual spaces that model the ac- tual information (...) that a cognitive agent has about objects, types, and the classification of an object under a certain type. In particular, we ac- count for possible failures in the classification, for the lack of sufficient information, and for some aspects related to vagueness. (shrink)

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2012, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

In the present article, I offer a new reading of Hannah Arendt’s The Origins of Totalitarianism, specifically her argument that ideologies such as racism engender totalitarianism when the lonely and disenfranchised laborers of modern society develop a pathological fixation on formal logic, which I term “logomania.” That is, such logical deductions, from horrifically false premises, are the closest thing to thinking that individuals can engage in after their psyches, relationships, and communities have broken down. And it is only thus that (...) totalitarianism can achieve power, since it offers at least some form of connectedness and meaning, regardless how terrifying and violent. The danger persists, clearly, with the resurgence of the far Right, including in the extraordinary regime of Trump in the United States. From this I conclude that, along with the admirable calls to fight loneliness and rebuild our communities, we should also supplement all formal logical instruction and community education with instruction in creative thinking (including aesthetics), thereby discouraging the monomaniac reliance on formal logic as inadvertent weapon of totalitarianism. (shrink)

Discuto la tesi di Micheletti secondo la quale ogni spiegazione fattuale presuppone premesse di ordine superiore rispetto alla spiegazione (M.Micheletti, “Radical Divine Alterity and the God-World Relationship”). Nella prima sezione del testo introdurrò la tesi, muovendo dalla analisi di alcuni esempi di spiegazione, ed elencherò le ragioni che (apparentemente) richiedono la postulazione di higher-degree propositions per rendere conto di factual propositions. Nella seconda sezione regimenterò logicamente la tesi di Micheletti. Nella terza sezione discuterò la validità della logica della spiegazione così (...) introdotta, con un’attenzione particolare alla analisi semantica della nozione di spiegazione, allo statuto modale delle ragioni che costituiscono una spiegazione, e all’approccio grammaticale alle higher order propositions. Nella quarta e ultima sezione avanzerò brevissime considerazioni conclusive. (shrink)

This clearly written book makes logic interesting and easier to learn without sacrificing content or rigor. KEY TOPICS: It covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations. Logic is applied to materials with which readers will be familiar; both examples and exercises are drawn from newspapers, television, and other popular sources. MARKET: For individuals intrigued by the formal study of logic.

Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own as a field of research in the 1950s. As is the case with so many developments in Western philosophy, its roots can be traced back to ancient Greek philo sophy. It is only during the last fifty years, however, that it has become well established as a branch of modern logic. The name of Karel Lambert (...) is most closely connected with this development: he gave it its name and its profile as a well defined field of research. After a development of fifty years, it is time to look back and take stock while at the same time scanning for new perspectives. This is the purpose of the papers collected in this volume. The first paper is written by Karel Lambert himself who also comments on all the papers of the other authors. In an introductory essay we give a survey of the present status of and new directions in free logic. (shrink)

Extended revised edition of "Logica" (2003).

Italian translation of "Schaum's Outline of Theory and Problems of Logic" (1988).

In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.

Este texto presenta, y en cierta medida analiza, ambigüedades existentes en textos de lógica y filosofía de la lógica (como la interpretación de los llamados principios, postulados, leyes o verdades lógicas, la coexistencia de la tesis de que toda relación presupone la existencia de al menos dos relata y la de que una cosa puede relacionarse consigo misma, o la llamada "paradoja del mentiroso") bajo el supuesto de que, dado que la lógica no es anterior a la semántica, un análisis (...) semántico puede mostrar no solo que tal polisemia sugiere que ni la disciplina ni las teorías lógicas son tan rigurosas como se ha afirmado, sino también que varias afirmaciones de esas disciplinas carecen de sentido. (shrink)

The doctrine of semantic dialetheism is set out and contrasted with metaphysical dialetheism. We find that there is a lot to be said in favour of semantic dialetheism. Semantic dlaietheism is given credence by the doctrine of partially defined predicates. To make sense of a partially defined predicate, Tappenden and Soames suggest that the seman tics of predicates should be given in terms of a set of conditions under which the predicate can be applied to things and a set of (...) conditions under which its negation can be applied. If Tappenden and Soames are correct that many predicates are partially defined then it is also plausible that some are 'overdefined'. We say that a predicate is overdefined if and only if it is possible that its negative and positive conditions pick out some of the same objects at the same time. Some examples of overdefined predicates are discussed and it is suggested that a semantic dialetheist treatment of some folk theories (such as the folk theory of identity and the folk theory of belief) is appropriate. (shrink)

‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...) of G. Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset‎. ‎Then‎, ‎in Linear Temporal Logic‎, ‎we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985‎, ‎1993)‎. ‎Thus‎, ‎Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic‎. ‎Again the diagonal schema of the paper is used in this proof; and it is also shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal / fixed-point schema‎. ‎We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions‎, ‎such as primitive recursive functions) in the schema. (shrink)

In this paper we consider the modal logic with both \ and \ arising from Kripke models with a crisp accessibility and whose propositions are valued over the standard Gödel algebra \. We provide an axiomatic system extending the one from Caicedo and Rodriguez :37–55, 2015) for models with a valued accessibility with Dunn axiom from positive modal logics, and show it is strongly complete with respect to the intended semantics. The axiomatizations of the most usual frame restrictions are given (...) too. We also prove that in the studied logic it is not possible to get \ as an abbreviation of \, nor vice-versa, showing that indeed the axiomatic system we present does not coincide with any of the mono-modal fragments previously axiomatized in the literature. (shrink)

Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux method. Resolution method. Herbrand's theorem.