In this paper we study intermediate logics between the logic G≤∼, the degree preserving companion of Gödel fuzzy logic with involution G∼ and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts G≤n∼. Although G≤∼ and G≤ are explosive w.r.t. Gödel negation ¬, they are paraconsistent w.r.t. the involutive negation ∼. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated paraconsistent (...) logics between G≤n∼ and CPL. We also identify a large family of saturated paraconsistent logics in the family of intermediate logics for degree-preserving finite-valued Łukasiewicz logics. (shrink)

Information is contained in statements and «flows» from their structure and meaning of expressions they contain. The information that flows only from the meaning of logical constants and logical structure of statements we will call logical information. In this paper we present a formal explication of this notion which is proper for sentences being Boolean combination of atomic sentences. 1 Therefore we limit ourselves to analyzing logical information flowing only from the meaning of truth-value connectives and logical structure of sentences (...) connected with these connectives. (shrink)

The aim of this paper is to define the logical system Sm4 characterised by the degree of truth-preserving consequence relation defined on the ordered set of values of Smiley’s four-element matrix MSm4. The matrix MSm4 has been of considerable importance in the development of relevant logics and it is at the origin of bilattice logics. It will be shown that Sm4 is a most interesting paraconsistent logic which encloses a sound theory of logical necessity similar to (...) that of Anderson and Belnap’s logic of entailment E. Intuitively, Sm4 can be described as a four-valued expansion of the positive fragment of Lewis’ S5 or, alternatively, as a four-valued version of S5. (shrink)

The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒x. We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that this function (a) retrieves the usual logical constants from the usual logical consequence (...) relations, and (b) is an inverse to—more precisely, forms a Galois connection with—the Bolzano-Tarski function. (shrink)

Syntax and semantics in Łukasiewicz infinite-valued sentential logic Ł are harmonized by revising the Bolzano-Tarski paradigm of “semantic consequence,” according to which, θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} follows from Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} iff every valuation v that satisfies all formulas in Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} also satisfies θ.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta.$$\end{document} For θ\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} to be a consequence of Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document}, we also require that any infinitesimal perturbation of v that preserves the truth of all formulas of Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} also preserves the truth of θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document}. An elementary characterization of Łukasiewicz implication shows that the Łukasiewicz axiom →Y)→→X)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \rightarrow Y ) \rightarrow \rightarrow X )$$\end{document} guarantees the continuity and the piecewise linearity of the implication operation →\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\rightarrow $$\end{document}, an appropriate fault-tolerance property of any logic of [0,1]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\,\mathrm{[0,1]}\,}}$$\end{document}-valued observables. The directional derivability of the functions coded by all ψ∈Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi \in \Theta $$\end{document} and by θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} then provides a quantitative formulation of our refinement of Bolzano-Tarski consequence, which turns out to coincide with the time-honored syntactic Ł-consequence. (shrink)

Formalization of reasoning which accepts rules of inference leading to conclusions whose logical values are not smaller than the logical value of the “weakest” premise leads to the concept of consequence operation preserving degrees of truth. Several examples of such consequence operation have already been considered . In the present paper we give a general notion of the consequence operation preserving degrees of truth and its characterization in terms of projective generation and selfextensionality.

When considering m-sequents, it is always possible to obtain an m-sequent calculus VL for every m-valued logic (defined from an arbitrary finite algebra L of cardinality m) following for instance the works of the Vienna Group for Multiple-valued Logics. The Gentzen relations associated with the calculi VL are always finitely equivalential but might not be algebraizable. In this paper we associate an algebraizable 2-Gentzen relation with every sequent calculus VL in a uniform way, provided the original algebra L has (...) a reduct that is a distributive lattice or a pseudocomplemented distributive lattice. We also show that the sentential logic naturally associated with the provable sequents of this algebraizable Gentzen relation is the logic that preserves degrees of truth with respect to the original algebra (in contrast with the more common logic that merely preserves truth). Finally, for some particular logics we obtain 2-sequent calculi that axiomatize the algebraizable Gentzen relations obtained so far. (shrink)

The global consequence relation of a normal modal logic \ is formulated as a global sequent calculus which extends the local sequent theory of \ with global sequent rules. All global sequent calculi of normal modal logics admits global cut elimination. This property is utilized to show that decidability is preserved from the local to global sequent theories of any normal modal logic over \. The preservation of Craig interpolation property from local to global sequent theories of any (...) normal modal logic is shown by proof-theoretic method. (shrink)

The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On (...) the other hand, PŁ4 is a rich logic in which a number of connectives can be defined. It also has a simple bivalent semantics of the Belnap–Dunn type. (shrink)

We study the bi-embeddability and elementary bi-embeddability relation on graphs under Borel reducibility and investigate the degree spectra realized by these relations. We first give a Borel reduction from embeddability on graphs to elementary embeddability on graphs. As a consequence we obtain that elementary bi-embeddability on graphs is a $\boldsymbol {\Sigma }^1_1$ complete equivalence relation. We then investigate the algorithmic properties of this reduction. We obtain that elementary bi-embeddability on the class of computable graphs is $\Sigma (...) ^1_1$ complete with respect to computable reducibility and show that the elementary bi-embeddability and bi-embeddability spectra realized by graphs are related. (shrink)

Involutive Stone algebras were introduced by R. Cignoli and M. Sagastume in connection to the theory of $n$-valued Łukasiewicz–Moisil algebras. In this work we focus on the logic that preserves degrees of truth associated to S-algebras named Six. This follows a very general pattern that can be considered for any class of truth structure endowed with an ordering relation, and which intends to exploit many-valuedness focusing on the notion of inference that results from preserving lower bounds of truth (...) values, and hence not only preserving the value $1$. Among other things, we prove that Six is a many-valued logic that can be determined by a finite number of matrices. Besides, we show that Six is a paraconsistent logic. Moreover, we prove that it is a genuine Logic of Formal Inconsistency with a consistency operator that can be defined in terms of the original set of connectives. Finally, we study the proof theory of Six providing a Gentzen calculus for it, which is sound and complete with respect to the logic. (shrink)

The partitions of a given set stand in a well known one-to-onecorrespondence with the equivalence relations on that set. We askwhether anything analogous to partitions can be found which correspondin a like manner to the similarity relations (reflexive, symmetricrelations) on a set, and show that (what we call) decompositions – of acertain kind – play this role. A key ingredient in the discussion is akind of closure relation (analogous to the consequence relationsconsidered in formal logic) having nothing especially (...) to do with thesimilarity issue, and we devote a final section to highlighting some ofits properties. (shrink)

Truth-telling in healthcare practice can be regarded as a universal communicative virtue; however, there are different views on what consequence it has for giving or diminishing hope. The aim of this article is to explore the relationship between the concepts of truth-telling and hope from a relational ethics approach in the context of healthcare practice. Healthcare staff protect themselves and others to preserve hope in the care of seriously sick patients and in end-of-life care. This is done by balancing (...) truth-telling guided by different conditions such as the cultural norms of patients, family and staff. Our main conclusion is that the balancing of truth-telling needs to be decided in a mutual understanding in the caring relationship, but hope must always be inspired. Instead of focusing on autonomy as the only guiding principle, we would like to propose that relational ethics can serve as a meaningful perspective in balancing truth-telling. (shrink)

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the correctness (...) of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classes of algebraic structures, such as groups, rings, lattices, and so forth. One way to give positive answers to this question is to adapt the original proof to the new setting. However, this can be an unnecessary duplication of effort, and lacks generality. Another method is to code the original structure into a structure in the given (...) class in a way that is effective enough to preserve the property in which we are interested. In this paper, we show how to transfer a number of computability-theoretic properties from directed graphs to structures in the following classes: symmetric, irreflexive graphs; partial orderings; lattices; rings ; integral domains of arbitrary characteristic; commutative semigroups; and 2-step nilpotent groups. This allows us to show that several theorems about degree spectra of relations on computable structures, nonpreservation of computable categoricity, and degree spectra of structures remain true when we restrict our attention to structures in any of the classes on this list. The codings we present are general enough to be viewed as establishing that the theories mentioned above are computably complete in the sense that, for a wide range of computability-theoretic nonstructure type properties, if there are any examples of structures with such properties then there are such examples that are models of each of these theories. (shrink)

Conditional logic is the deductive system , where is the set of propositional connectives {, ,} and is the structural finitary consequence relation on the absolutely free algebra that preserves degrees of truth over the structure of truth values C, . HereC is the non-commutative regular extension of the 2-element Boolean algebra to 3 truth values {t, u, f}, andfut. In this paper we give a Gentzen type axiomatization for conditional logic.

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from law (...) to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

In this paper I examine Avicenna’s conception of the consequence relation. I will consider in particular his categorical and hypothetical logics. I will first analyse his definition of the implication and will show that this relation is not a consequence relation in his frame. Unlike the medieval logicians, he does not distinguish explicitly between material and formal consequences. The arguments discussed in al-Qiyās, where the conclusion is true only in some matters, and would seem close (...) to a material consequence for that reason, are rejected explicitly as not syllogistic. He also rejects the ‘enthymemes’ unless they are complemented by their missing premise and the superfluous premises which, according to him, should promptly be ruled out. It seems then that the consequence relation in his theory is formal. It can be characterized as being ‘productivity in all matters’ or ‘necessary truth preserving’. It is illustrated by some single premise arguments, and above all by all kinds of syllogisms which, in his theory, are more numerous and various than in Aristotle’s one. The syllogism may contain two or more premises, including disjunctive ones. When it is hypothetical, it may lead to several conclusions. The premises may be in conflict, but then, the conclusion is false. He thus rejects the principle according to which ‘anything follows from a contradiction’. But, unlike what some scholars say, he does not admit any connexive principle. In the compound syllogisms, the conclusion follows by steps, each step taking two premises at once. (shrink)

The block universe theory of time is commonly said to be incompatible with temporal becoming. This confuses Maudlin who upholds both eternalism and passage. The aim of this paper is to answer Maudlin’s plea for clarification by distinguishing four degrees of temporal becoming. After discussing their respective compatibility with the block universe, I show that Maudlin asks much less from temporal becoming than most philosophers of time. Consequently, his form of becoming is compatible with the block universe, whereas the stronger (...) forms of becoming are not. (shrink)

Logical consequence is the relation that obtains between premises and conclusion(s) in a valid argument. Orthodoxy has it that valid arguments are necessarily truth-preserving, but this platitude only raises a number of further questions, such as: how does the truth of premises guarantee the truth of a conclusion, and what constraints does validity impose on rational belief? This volume presents thirteen essays by some of the most important scholars in the field of philosophical logic. The essays offer (...) ground-breaking new insights into the nature of logical consequence; the relation between logic and inference; how the semantics and pragmatics of natural language bear on logic; the relativity of logic; and the structural properties of the consequence relation. (shrink)

Suszko’s problem is the problem of finding the minimal number of truth values needed to semantically characterize a syntactic consequence relation. Suszko proved that every Tarskian consequence relation can be characterized using only two truth values. Malinowski showed that this number can equal three if some of Tarski’s structural constraints are relaxed. By so doing, Malinowski introduced a case of so-called mixed consequence, allowing the notion of a designated value to vary between the premises and (...) the conclusions of an argument. In this article we give a more systematic perspective on Suszko’s problem and on mixed consequence. First, we prove general representation theorems relating structural properties of a consequence relation to their semantic interpretation, uncovering the semantic counterpart of substitution-invariance, and establishing that mixed consequence is fundamentally the semantic counterpart of the structural property of monotonicity. We use those theorems to derive maximum-rank results proved recently in a different setting by French and Ripley, as well as by Blasio, Marcos, and Wansing, for logics with various structural properties. We strengthen these results into exact rank results for nonpermeable logics. We discuss the underlying notion of rank, and the associated reduction proposed independently by Scott and Suszko. As emphasized by Suszko, that reduction fails to preserve compositionality in general, meaning that the resulting semantics is no longer truth-functional. We propose a modification of that notion of reduction, allowing us to prove that over compact logics with what we call regular connectives, rank results are maintained even if we request the preservation of truth-functionality and additional semantic properties. (shrink)

In this essay Gillman Payette and Peter Schotch present an account of the key notions of level and forcing in much greater generality than has been managed in any of the early publications. In terms of this level of generality the hoary notion that correct inference is truth-preserving is carefully examined and found wanting. The authors suggest that consistency preservation is a far more natural approach, and one that can, furthermore, characterize an inference relation. But an examination of (...) the usual account of consistency reveals problems that, in general, can be corrected by means of an auxiliary notion of inference (forcing) which relies upon a kind of generalization of consistency, called level. Preservation of the latter is shown to be another of the properties which characterize a logic and forcing is shown to preserve it. The essay ends with a sketch of a result which locates forcing among all possible level-preserving inference relations. (shrink)

This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszko’s Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truth-preserving notion of consequence. The alternative usage of truth values in order to define logics that preserve degrees of truth is presented and discussed. Some recent works studying these (...) in the particular cases of Łukasiewicz’s many-valued logics and of logics associated with varieties of residuated lattices are also presented. Finally the extension of this paradigm to other, more general situations is discussed, highlighting the need for philosophical or applied motivations in the selection of the truth degrees, due both to the interpretation of the idea of truth degree and to some mathematical difficulties. (shrink)

We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, (...) it is possible to capture proof-theoretically not only the entailment relation of the standard four-valued Belnap’s logic, but also its dual version, as well as some of their interesting extensions. The proof systems we propose are, in a sense, of a hybrid Hilbert–Gentzen nature. We examine some important properties of these systems and establish their completeness with respect to the corresponding entailment relations. (shrink)

The interrelated logical concepts of validity, entailment, and consequence are all standardly defined in terms of truth preservation. However, imperative sentences can stand in these relations, but they are not truth-apt. This puzzle can be understood as an inconsistent triad: T1 Imperatives can be the relata of the consequence relation. T2 Imperatives are not truth-apt. T3 The relata of the consequence relation must be truth-apt. These three claims cannot all be true. So, to solve the (...) problem of imperative consequence we must reject one of the three claims. Solutions can be categorised into three types: those that reject T1, those that reject T2, and those that reject T3. In this thesis, I first outline and motivate each of these three claims. I then consider, in turn, theories of imperative logic and semantics, all of which fall into one of the three types of solution. I consider and reject two versions of solution type 1, the type that rejects T1. These versions argue that it is impossible for imperatives to stand in logical relations, and attempt to provide alternative explanations for what's happening when it seems like they are doing so. I then consider and reject several versions of solution type 2, the type that rejects T2. These theories claim that, despite appearances based on surface grammar, imperatives are disguised declaratives and thus truth-apt. Each theory proposes a translation schema-- it outlines the truth-conditions for imperatives. Next, I outline several versions of solution type 3, the type that rejects T3. These theories aim to develop a formal account of imperative logic. I reject each of these theories in turn, and finally propose a solution that avoids the problems I raise with the other theories. (shrink)

Background and aim With the increasing interest in lifestyle, health and consequences of unhealthy lifestyles for the healthcare system, a new kind of solidarity is gaining importance: lifestyle solidarity. While it might not seem fair to let other people pay for the costs arising from an unhealthy lifestyle, it does not seem fair either to punish people for their lifestyle. However, it is not clear how solidarity is assessed by people, when considering disease risks or lifestyle risks. The aim of (...) this study was to investigate the degree of solidarity with lifestyle as well as with other factors that are related to health outcomes—for example, old age—and the relation between this degree of solidarity and various characteristics. Methods This cross-sectional study is part of the Dutch longitudinal SMILE study. Data on the degree of solidarity with different lifestyles and old age, and the relation between the degree of solidarity and various demographic and other variables were obtained in a questionnaire survey. Results Solidarity with smokers and overweight people was moderate, as was solidarity with older people. Respondents were ambivalent about athletes. Respondents who were younger, male and highly educated, and those with a healthy lifestyle, a small social network, high quality of life and an internal locus of control, showed low solidarity. Conclusions Solidarity with an unhealthy lifestyle and old age is moderate and the degree of solidarity varies among the different subgroups. (shrink)

The paper analyses in some depth the distinction by Paul Humphreys between "epistemic opacity" —which I refer to as "weak epistemic opacity" here— and "essential epistemic opacity", and defends the idea that epistemic opacity in general can be made sense as coming in degrees. The idea of degrees of epistemic opacity is then exploited to show, in the context of computer simulations, the tight relation between the concept of epistemic opacity and actual scientific (modelling and simulation) practices. As a (...) consequence, interesting questions arise in connection with the role of agents dealing with epistemically opaque processes such as computer simulations. (shrink)

According to Ladyman, the world consists of nothing more than relations that relate to no particulars. Could the world be nothing but structure? In this chapter it is argued that even though there are a number of problems with the standard view of relations accompanied by a particularist ontology, substituting for it a world of pure structure is not progress. A world of pure structure would be no more than a Platonic entity, lacking any resources for concretization. Consequently, there would (...) be no possibility of distinguishing between a world-kind and its concrete instance or instances. It is also argued that the view has insufficient empirical motivation. The history of science does not support the claim that structure is preserved through theory change nor that the structural components of a theory are extricable from its ontological commitments. (shrink)

The notion of superhigh computably enumerable (c.e.) degrees was first introduced by (Mohrherr in Z Math Logik Grundlag Math 32: 5–12, 1986) where she proved the existence of incomplete superhigh c.e. degrees, and high, but not superhigh, c.e. degrees. Recent research shows that the notion of superhighness is closely related to algorithmic randomness and effective measure theory. Jockusch and Mohrherr proved in (Proc Amer Math Soc 94:123–128, 1985) that the diamond lattice can be embedded into the c.e. tt-degrees preserving (...) 0 and 1 and that the two atoms can be low. In this paper, we prove that the two atoms in such embeddings can also be superhigh. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention (...) that such objections show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

What is informal logic, is it ``logic" at all? Main contemporary approaches are briefly presented and critically commented. If the notion of consequence is at the heart of logic, does it make sense to speak about ``informal" consequence? A valid inference is truth preserving, if the premises are true, so is the conclusion. According to Prawitz two further conditions must also be satisfied in the case of classical logical consequence: (i) it is because of the logical (...) form of the sentences involved and not because of their specific content that the inference is truth preserving; (ii) it is necessary that if the premises are true, then so is the conclusion. According to the prevalent criteria of informal logic an argument is cogent if and only if (i) its premises are rationally Acceptable, (ii) its premises are Relevant to its conclusion and (iii) its premises constitute Grounds adequate for accepting the conclusion (the ``ARG" conditions according to Govier). The ARG criteria characterize a certain broad kind of consequence relation. We do not (in general) have truth preservence in cogent arguments but if the premises are acceptable and other criteria are met, then so is the conclusion. We can speak about form in a loose sense and finally, there is rational necessity of the grounding or support relation. So a certain broad notion of logical consequence emerges from this comparison. The norms of ARG are norms of elementary scientific methodology in which argument is seen as embodying reasoning within a process of inquiry or of belief formation in subject areas accessible to every informed intellectual. (shrink)

Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b.

We show that in the Maxwell–Lorentz theory of classical electrodynamics most initial values for fields and particles lead to an ill-defined dynamics, as they exhibit singularities or discontinuities along light-cones. This phenomenon suggests that the Maxwell equations and the Lorentz force law ought rather to be read as a system of delay differential equations, that is, differential equations that relate a function and its derivatives at different times. This mathematical reformulation, however, leads to physical and philosophical consequences for the ontological (...) status of the electromagnetic field. In particular, fields cannot be taken as independent degrees of freedom, which suggests that one should not add them to the ontology. (shrink)

Nominalism faces the task of explaining away the ontological commitments of applied mathematical statements. This paper reviews an argument from the philosophy of logic that focuses on this task and which has been used as an objection to certain specific formulations of nominalism. The argument as it is developed in this paper aims to show that nominalism in general does not have the epistemological advantages its defendants claim it has. I distinguish between two strategies that are available to the nominalist: (...) The Evaluation Programme, which tries to preserve the common truth‐values of mathematical statements even if there are no mathematical objects, and Fictionalism, which denies that mathematical sentences have significant truth‐values. It is argued that the tenability of both strategies depends on the nominalist’s ability to account for the notion of consequence. This is a problem because the usual meta‐logical explications of consequence do themselves quantify over mathematical entities. While nominalists of both varieties may try to appeal to a primitive notion of consequence, or, alternatively, to primitive notions of logical or structural possibilities, such measures are objectionable. Even if we are equipped with a notion of either consequence or possibility that is primitive in the relevant sense, it will not be strong enough to account for the consequence relation required in classical mathematics. These examinations are also useful in assessing the possible counter‐intuitive appeal of the argument from the philosophy of logic. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal conception (...) of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

The scientific and practical fields—especially high-performance sports—increasingly request a stronger focus be placed on individual athletes in human movement science research. Machine learning methods have shown efficacy in this context by identifying the unique movement patterns of individuals and distinguishing their intra-individual changes over time. The objective of this investigation is to analyze biomechanically described movement patterns during the fatigue-related accumulation process within a single training session of a high number of repeated executions of a ballistic sports movement—specifically, the frontal (...) foot kick (mae-geri) in karate—in expert athletes. The two leading research questions presented for consideration are (1) Can characteristics of individual movement patterns be observed throughout the entire training session despite continuous changes, i.e., even as fatigue-related processes increase? and (2) How do intra-individual movement patterns change as fatigue-related processes increase throughout a training session? Sixteen expert karatekas performed 606 frontal foot kicks directed toward an imaginary target. The kicks were performed in nine sets at 80% (K-80) of the self-experienced maximal intensity. In addition, six kicks at maximal intensity (K-100) were performed after each of the nine sets. Between the sets, the participants took a 90-s break. Three-dimensional full-body kinematic data of all kicks were recorded with 10 infrared cameras. The normalized waveforms of nine upper- and lower-body joint angles were classified using a supervised machine learning method (support vector machine). The results of the classification revealed a disjunct distinction between the kinematic movement patterns of individual athletes. The identification of unique movement patterns of individual athletes was independent of the intensity and the degree of fatigue-related processes. In other words, even with the accumulation of fatigue-related processes, the unique movement patterns of an individual athlete can be clearly identified. During the training session, changes in intra-individual movement patterns could also be detected, indicating the occurrence of adaptations in individual movement patterns throughout the fatigue-related accumulation process. The results suggest that these adaptations can be modeled in terms of changes in patterns rather than increasing variance. Practical consequences are critically discussed. (shrink)

This study conceptualized digital competence in line with self-determined theory and investigated how it alongside help-seeking and learning agency collectively preserved university students’ psychological well-being by assisting them to manage cognitive load and academic burnout, as well as increasing their engagement in online learning during the coronavirus disease 2019 pandemic. Moreover, students’ socioeconomic status and demographic variables were examined. Partial least square modeling and cluster analysis were performed on the survey data collected from 695 students. The findings show that mental (...) load and mental effort were positively related to academic burnout, which was significantly negatively associated with student engagement in online learning. Digital competence did not directly affect academic burnout, but indirectly via its counteracting effect on cognitive load. However, help-seeking and agency were not found to be significantly negatively related to cognitive load. Among the three SDT constructs, digital competence demonstrated the greatest positive influence on student engagement. In addition, female students from humanities and social sciences disciplines and lower-income families seemed to demonstrate the weakest digital competence, lowest learning agency, and least help-seeking behaviors. Consequently, they were more vulnerable to high cognitive load and academic burnout, leading to the lowest learning engagement. This study contributes to the ongoing arguments related to the psychological impact of the COVID-19 pandemic and informs the development of efficient interventions that preserve university students’ psychological well-being in online learning. (shrink)

It is commonly agreed that logic studies the form of arguments and that the concept of a consequence relation is based on the idea of truth-preservation in all models. Based on some observations about arguments involving conditionals, Brogaard and Salerno argue that the consequence relation should be defined in terms of truth-preservation within one fixed context. I will argue that Ichikawa’s contextualism for counterfactuals can be treated as an elucidation of what they have in mind. Instead (...) of standing for or against Stalnaker’s or Lewis’s semantics of counterfactuals, I will argue that the key to explaining the phenomena in question is the concept of a consequence relation. To support the point above, logical contextualism or relativism will be introduced and defended. I thus suggest that the concept of a consequence relation is sensitive to the context in which a certain argument is asserted. (shrink)

It is commonly agreed that logic studies the form of arguments and that the concept of a consequence relation is based on the idea of truth-preservation in all models. Based on some observations about arguments involving conditionals, Brogaard and Salerno argue that the consequence relation should be defined in terms of truth-preservation within one fixed context. I will argue that Ichikawa’s contextualism for counterfactuals can be treated as an elucidation of what they have in mind. Instead (...) of standing for or against Stalnaker’s or Lewis’s semantics of counterfactuals, I will argue that the key to explaining the phenomena in question is the concept of a consequence relation. To support the point above, logical contextualism or relativism will be introduced and defended. I thus suggest that the concept of a consequence relation is sensitive to the context in which a certain argument is asserted. (shrink)

The logical structure of Quantum Mechanics (QM) and its relation to other fundamental principles of Nature has been for decades a subject of intensive research. In particular, the question whether the dynamical axiom of QM can be derived from other principles has been often considered. In this contribution, we show that unitary evolutions arise as a consequences of demanding preservation of entropy in the evolution of a single pure quantum system, and preservation of entanglement in the evolution of composite (...) quantum systems. 6. (shrink)

In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press, Oxford, 2011) is extended to account for inference. I characterize the conclusion of an inference as asserted conditionally on the assertion of the premises. This gives a notion of conditional assertion (distinct from the standard notion related to the affirmation of conditionals). Validity and logical validity of an inference is characterized in terms of the application of method that preserves informativeness, and contrasted with consequence and (...) logical consequence, that is defined in terms of truth preservation. The proposed account is compared with that of Prawitz (Logica yearbook 2008, pp. 175-192. College Publications, London, 2009). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:102. ONE CONSEQUENCE OF HUME'S NOMINALISM It is commonly assumed, and sometimes argued, that Hume held the Uniformity Thesis regarding causation : something, a, is the cause of something else, b, if and only if when a occurs, b occurs contiguous with and successive to a and whenever anything relevantly similar to a, "no matter where or when, observed or unobserved," something relevantly similar to b occurs. Everyone (...) knows that Hume denies there is any necessary connection between a cause and its effect. Since the invariability of conjunctions of causes and effects follows from their necessary connection and its possibility is not affected by the denial of that conjunction, the Uniformity Thesis seems a plausible retrenchment. Besides, we should deny that a causes b were any similar a to occur without the occurrence of a similar b. So the assumption of the Uniformity Thesis seems natural. When the issue is argued on textual grounds, the appeal is to Hume's first definition of cause at the end of his long analysis of causation. A cause is An object precedent and contiguous to another, and where all the objects resembling the former are plac'd in like relations of precedency and contiguity to those objects, that resemble the latter (T 170). This is construed as Hume's real definition of the causal relation and taken to state the Uniformity Thesis. Both the argument and the assumption presuppose that Hume was concerned with the conditions for something 's being a cause. But, I wish to argue, in the Treatise at any rate Kume was concerned not with causal relations, but with causal judgments. He was 103. concerned with what must be true for us to call or judge a a cause and, only as a consequence of that concern, with what is true of a for a to be a cause. We must take seriously his asking us to cast our eye on any two objects, which we call cause and effect (T 75, my emphasis), and his saying, after introducing constant conjunction, that contiguity and succession are not sufficient to make us pronounce any two objects to be cause and effect, unless we perceive, that these two relations are preserv'd in several instances (T 87, my emphasis). To determine the conditions for causal judgments, one must determine what we observe of a cause, but in making that determination, I am claiming, Hume is not addressing the question he is commonly assumed to have answered. Making that claim plausible requires a detailed analysis of what Hume is about when he gives two 4 definitions of the causal relation and an explication of how what he does in regard to causal judgments fits the paradigm of analysis for judgments in the 17th and 18th centuries, viz. that given by Boyle, Locke, and --- 5 others of such judgments as "That ball is red^" I shall do neither here. I wish to concern myself with another point which is not necessary to make my claim plausible, but would help were it true. I shall develop this point informally, for it is prima facie implausible and I would like to see how it fares unadorned. If it fares well, there will be time enough to deck it out in symbols. The point is that for Hume one literally cannot think the Uniformity Thesis. If this is true, it would certainly help my claim, for it would not help Hume to claim of him that he answers a question with what for him cannot even be thought. But it is certainly an implausible point prima facie. We can think it. Why can't Hume? The answer lies with his 104. nominalism. Hume holds that everything that exists in nature is individual (T 19) and that this is true of- ideas as well as of anything else that exists (T 19-20). Thus, when someone says, "Smoking causes cancer," then, if we understand what is being said and if anything comes to mind, what must come to mind according to those who hold the Uniformity Thesis is a particular instance of smoking, a, and a particular instance of cancer, b, and particular instances of the relations of... (shrink)

We prove that every countable relation on the enumeration degrees, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\frak E}$\end{document}, is uniformly definable from parameters in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\frak E}$\end{document}. Consequently, the first order theory of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\frak E}$\end{document} is recursively isomorphic to the second order theory of arithmetic. By an effective version of coding lemma, we show that the first (...) order theory of the enumeration degrees of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\Sigma^0_2$\end{document} sets is not decidable. (shrink)

In "Logical consequence: A defense of Tarski" (Journal of Philosophical Logic, vol. 25, 1996, pp. 617-677), Greg Ray defends Tarski's account of logical consequence against the criticisms of John Etchemendy. While Ray's defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical consequence and should be (...) replaced by a stronger absence-of-counterexamples criterion. It is argued that the latter criterion reflects the modal character of our intuitive concept of logical consequence, and it is shown that Tarskian consequence can be proved to satisfy this criterion for certain choices of logical constants. Finally, an apparent inconsistency in Ray's interpretation of Tarski's position on the modal status of the consequence relation is noted. (shrink)

Inequality in the family is the most damaging of all forces in women’s lives. It is overtly preserved by religious, customary, and state laws that formally enshrine discrimination against women and is perpetuated by de facto lack of access to nominally protective systems and remedies. International law and its implementation mechanisms provide an arena for confronting resistance to gender equality in the family, calling states to account at the highest level as well as providing a platform for domestic advocacy. CEDAW (...) and the jurisprudence of its monitoring body, the Committee on the Elimination of Discrimination against Women, clearly state the paramount value of protecting the individual human rights of family members rather than maintaining family “protection” and privacy at the expense of the women within it. By ratifying, States theoretically commit themselves to this progressive position. However, the politics of state and community identity make for a more complex picture that includes multiple, sometimes overlapping, levels of acceptance and rejection. Taking as a case study the current initiative to adopt a new General Recommendation to address the economic consequences of family relations and their dissolution, this Article draws on the CEDAW Convention and the CEDAW Committee’s work to suggest a practical application of international standards to address the tangle of legal systems and identity that have disadvantaged women for centuries. Placing this initiative within the context of multiple family law regimes and the multicultural debate, the right to exit and the concept of freedom to associate and to disassociate are emphasized as crucial in confronting the phenomenon of discriminatory identitybased family legal regimes. The Article concludes with an illustration of the harmonization process required by the CEDAW Convention, taking the new General Recommendation as a model approach for meeting the international equality norms while preserving community or State identity. (shrink)

The importance of addressing the existential threat to humanity, climate change, has grown remarkedly in recent years while conflicting views and interests in societies exist. Therefore, climate change agendas have been weaponized to varying degrees, ranging from the international level between countries to the domestic level among political parties. In such contexts, climate change agendas are predominantly driven by political or economic ambitions, sometimes unconnected to concerns for environmental sustainability. Consequently, it can result in an environment that fosters antagonism and (...) disputes over power and position and increases the risk of prolonged confrontations, hindering the collective global efforts to mitigate and adapt to climate change. Through the current discourse, we aim to provide a preliminary definition of the weaponization of climate change and environmental degradation and examine its risks and consequences on international relations, political dynamics, public perception, and the comprehensive integrity of climate action. We also recommend embracing a globally coordinated, scientifically substantiated approach to circumvent climate change by building an eco-surplus cultural value system. (shrink)

My argument is that Chalmers' zombie fiction and his rigid-designator-argument going back on Kripke comes down to a petitio principii. Rather, at the core it appears to be more related to the essential 'privacy' of the phenomenal internal perspective. In return for Chalmers I argue that the 'principle self-preservation' of living organisms necessarily implies subjectivity and the emergence of sense. The comparison with a robot proves instructive. The mode of 'mere physical' being is transcended if, in the form of phenomenal (...) perception, sense appears on the stage of higher animals – a transition explained here as an emergence phenomenon based on the systemic co-operation of perception, valuation and action ('perc-val-act system'). Some fundamental considerations are added: Those consequences implied by the principle self-preservation reveal the natural-biological origin of the organism – primarily seeming a more insignificant circumstance – as a momentous fundamental difference (end-in-itself-character, subjectivity, constitution of sense) compared to technical artefacts (robot). And the emergentist approach indicates the – maybe paradoxical – possibility of a dualism of physical and psychical phenomena in an overall physical system, that is not dualistic at the same time. (shrink)

This paper is devoted to a consequence relation combining the negation of Classical Logic ) and a paraconsistent negation based on Graham Priest’s Logic of Paradox ). We give a number of natural desiderata for a logic \ that combines both negations. They are motivated by a particular property-theoretic perspective on paraconsistency and are all about warranting that the combining logic has the same characteristics as the combined logics, without giving up on the radically paraconsistent nature of the (...) paraconsistent negation. We devise the logic \ by means of an axiomatization and three equivalent semantical characterizations. By showing that this logic is maximally paraconsistent, we prove that \ is the only logic satisfying all postulated desiderata. Finally we show how the logic’s infinite-valued semantics permits defining different types of entailment relations. (shrink)