Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Irresolvable Disagreement, Objectivist Antirealism and Logical Revision

Meta-ethical realism faces the serious epistemological problem of how to explain our epistemic access to moral reality. In the face of this challenge many are sceptical about non-naturalist realism. Nonetheless, there is good reason to acknowledge moral objectivity: morality shows all the signs of a truth-apt discourse but doesn’t exhibit the typical relativity inducing features. This suggests a middle-ground position, a theory that embraces the virtues of realism but does avoid its vices: objectivist antirealism. In this paper, I’ll discuss, mainly following Crispin Wright’s account of moral truth as superassertibility, a promising version of objectivist antirealism and show how to cope with notorious problems, notably those arising from the thought that moral disagreement might be possible in which nobody is guilty of a cognitive shortcoming, which contradicts the antirealist claim that moral truth is not beyond our epistemic reach. The solution is to deny the possibility of cognitively faultless moral disagreement by arguing that cognitively blameless thinkers either agree or stay agnostic and, therefore, never disagree about any moral proposition. Since assuming an agnostic stance on the part of such thinkers contradicts the antirealist’s conception of truth—even within the limits of intuitionistic logic—I’ll propose an alternative logical revision for the moral discourse: a three-valued logic with epistemically construed truth-values

In vivo wear of CAD-CAM composite versus lithium disilicate full coverage first-molar restorations: a pilot study over 2 years

OBJECTIVES To present a digital approach to measure and compare material wear behavior of antagonistic first molar restorations made of an experimental CAD/CAM composite (COMP) and lithium disilicate ceramic (LS2) in patients with reconstructed vertical dimension of occlusion (VDO) after generalized hard tissue loss. METHODS A total of 12 patients underwent complete full jaw rehabilitation with full occlusal coverage restorations made either of COMP or LS2. The first molar restorations (n = 48) were chosen for wear examination. At annual recall appointments, polyether impressions were taken, and resulting plaster casts were digitalized using a laboratory scanner. Mean observation period was 371 days for first and 769 days for second year. The resulting 96 datasets were analyzed by superimposition of 3-D datasets using an iterative best-fit method. Based on the superimposition data, the wear rates of the occlusal contact areas (OCAs) were calculated. RESULTS For antagonistic restorations made of COMP, the average wear rate was 24.8 ± 13.3μm/month, while for LS2, it was 9.5 ± 4.3μm/month in first year, with significant~differences (p < 0.0001) between the materials. In second year, monthly wear rates decreased significantly for both materials: COMP (16.2 ± 10.7μm/month) and LS2 (5.5 ± 3.3μm/month). Statistical comparison between wear time showed significant differences for both materials: COMP p < 0.037 and LS2 p < 0.001. A logarithmic fit (COMP R2 = 0.081; LS2 R2 = 0.038) of the data was calculated to estimate the wear progression. SIGNIFICANCE In patients with reconstructed VDO, restorations made of LS2 show a more stable wear behavior than ones out of experimental CAD/CAM composite. In cases of complete rehabilitation, load bearing CAD/CAM-composite restorations should be critically considered for application due to their occlusal wear behavior. However, when choosing a restorative material, not only the functional occlusal stability should be taken into account but also the prospect of minimally invasive treatment with maximum preservation of natural tooth structures

A map of dependencies among three-valued logics

International audienceThree-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations. Several three-valued logics have been defined. They differ by their choice of basic connectives, hence also from a syntactic and proof-theoretic point of view. Different interpretations of the third truth value have also been suggested. They often carry an epistemic flavor. In this work, relationships between logical connectives on three-valued functions are explored. Existing theorems of functional completeness have laid bare some of these links, based on specific connectives. However we try to draw a map of such relationships between conjunctions, negations and implications that extend Boolean ones. It turns out that all reasonable connectives can be defined from a few of them and so all known three-valued logics appear as a fragment of only one logic. These results can be instrumental when choosing, for each application context, the appropriate fragment where the basic connectives make full sense, based on the appropriate meaning of the third truth-value

Robust Linear Temporal Logic

Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guarantees, it is less clear how to make this intuitive notion of robustness mathematically precise. In this paper, we address this problem by developing a robust version of Linear Temporal Logic (LTL), which we call robust LTL and denote by rLTL. Formulas in rLTL are syntactically identical to LTL formulas but are endowed with a many-valued semantics that encodes robustness. In particular, the semantics of the rLTL formula $\varphi \Rightarrow \psi$ is such that a "small" violation of the environment assumption $\varphi$ is guaranteed to only produce a "small" violation of the system guarantee $\psi$. In addition to introducing rLTL, we study the verification and synthesis problems for this logic: similarly to LTL, we show that both problems are decidable, that the verification problem can be solved in time exponential in the number of subformulas of the rLTL formula at hand, and that the synthesis problem can be solved in doubly exponential time

Universal Logic and the Geography of Thought - Reflections on logical pluralism in the light of culture

The aim of this dissertation is to provide an analysis for those involved and interested in the interdisciplinary study of logic, particularly Universal Logic. While continuing to remain aware of the importance of the central issues of logic, we hope that the factor of culture is also given serious consideration. Universal Logic provides a general theory of logic to study the most general and abstract properties of the various possible logics. As well as elucidating the basic knowledge and necessary definitions, we would especially like to address the problems of motivation concerning logical investigations in different cultures. First of all, I begin by considering Universal Logic as understood by Jean-Yves Béziau, and examine the basic ideas underlying the Universal Logic project. The basic approach, as originally employed by Universal Logicians, is introduced, after which the relationship between algebras and logics at an abstract level is discussed, i.e., Universal Algebra and Universal Logic. Secondly,I focus on a discussion of the translation paradox , which will enable readers to become more familiar with the new subject of logical translation, and subsequently comprehensively summarize its development in the literature. Besides helping readers to become more acquainted with the concept of logical translation, the discussion here will also attempt to formulate a new direction in support of logical pluralism as identified by Ruldof Carnap (1934), JC Beall and Greg Restall (2005), respectively. Thirdly, I provide a discussion of logical pluralism. Logical pluralism can be traced back to the principle of tolerance raised by Ruldof Carnap (1934), and readers will gain a comprehensive understanding of this concept from the discussion. Moreover,an attempt will be made to clarify the real and important issues in the contemporary debate between pluralism and monism within the field of logic in general. Fourthly, I study the phenomena of cultural-difference as related to the geography of thought. Two general systems in the geography of thought are distinguished, which we here call thought-analytic and thought-holistic. They are proposed to analyze and challenge the universality assumption regarding cognitive processes. People from different cultures and backgrounds have many differences in diverse areas, and these differences, if taken for granted, have proven particularly problematic in understanding logical thinking across cultures. Interestingly, the universality of cognitive processes has been challenged, especially by Richard Nisbett s research in cultural psychology. With respect to these concepts, C-UniLog can also be considered in relation to empirical evidence obtained by Richard Nisbett et al. In the final stage of this dissertation, I will propose an interpretation of the concept of logical translation, i.e., translations between formal logical mode (as cognitive processes in the case of westerners) and dialectical logical mode (as cognitive processes in the case of Asians). From this, I will formulate a new interpretation of the principle of tolerance, as well as of logical pluralism

Fuzzy Sets and Formal Logics

The paper discusses the relationship between fuzzy sets and formal logics as well as the influences fuzzy set theory had on the development of particular formal logics. Our focus is on the historical side of these developments. © 2015 Elsevier B.V. All rights reserved.partial support by the Spanish projects EdeTRI (TIN2012-39348- C02-01) and 2014 SGR 118.Peer reviewe