In the Tractatus, Wittgenstein conceives of tautology as 'saying nothing'. More precisely, he holds -- or so this essay contends -- that it says nothing in virtue of possessing a zero quantity of sense. Insofar as it is the limit of a series of propositions of diminishing quantity of sense, tautology resembles a degenerate conic section. But it also resembles the result of a summing together of equal and opposite linear vector quantities. Both of these models shape Wittgenstein's conception of (...) tautology in the Tractatus, though they are not fully reconciled. Many of the puzzling features of the Tractatus's view of logic arise from this failure to affect the needed reconciliation. These points are argued for by working through the development of Wittgenstein's views on these matters in the Wartime Notebooks and other pre-Tractatus writings. (shrink)

It is commonly thought that the prevalence of moral dissent poses a problem for the moral cognitivist, forcing her to diagnose either a lot of misunderstanding, or a lot of unexplained observational error. Since mere misunderstanding can be ruled out in most cases of moral dissent, and since the diagnosis of widespread unexplained error is interpretively unstable, prevalent dissent has pushed many philosophers towards non-cognitivism. In this essay, I argue that once a diachronic, pragmatist theory of language along the lines (...) of the latest Wittgenstein is employed, a third interpretive option becomes available to the cognitivist. Besides the diagnostic options of misunderstanding and factual disagreement, she can argue that a given case of moral dissent is an instance of grammatical tension. This interpretation not only saves moral cognitivism, it also has some attractive theoretical implications. Among other things, it yields an elegant way of solving the current debate around moral particularism. (shrink)

The paper asks: are all tautologies true in a language with truth-value gaps? It answers that they are not. No tautology is false, of course, but not all are true. It also contends that not all contradictions are false in a language with truth-value gaps, though none are true.

It is shown how the schema of equivalence can be used to obtain short proofs of tautologies A , where the depth of proofs is linear in the number of variables in A .

Few problems in the philosophy of evolutionary biology are more widely disseminated and discussed than the charge of Darwinian evolution being a tautology. The history is long and complex, and the issues are many, and despite the problem routinely being dismissed as an introductory-level issue, based on misunderstandings of evolution, it seems that few agree on what exactly these misunderstandings consist of. In this paper, I will try to comprehensively review the history and the issues. Then, I will try to (...) present the following “solution”, or, one might say, “dissolution”, of the problem, and consider the wider implications of formal, or schematic, explanations in science: yes, the principle of natural selection is a tautology, and so what? It is a promissory note for actual, physical, explanations in particular cases, and is none the worse for that. This is not a new argument, of course, but it does point up the importance of formal schematic models in science. (shrink)

This paper will attempt to reposition Ludwig von Mises’s methodological Apriorism and the Austrian economic method firmly in the Aristotelian realist tradition of Apriorism, rather than the more problematic Apriorism associated with Kantian idealism. The author will argue that the Misean method whilst aesthetically Kantian, is far more nuanced than semantics suggest.

Euclid's classic proof about the infinitude of prime numbers has been a standard model of reasoning in student textbooks and books of elementary number theory. It has withstood scrutiny for over 2000 years but we shall prove that despite the deceptive appearance of its analytical reasoning it is tautological in nature. We shall argue that the proof is more of an observation about the general property of a prime numbers than an expository style of natural deduction of the proof of (...) their infinitude. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...) paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

I have two aims in this paper. In §§2-4 I contend that Moore has two arguments (not one) for the view that that ‘good’ denotes a non-natural property not to be identified with the naturalistic properties of science and common sense (or, for that matter, the more exotic properties posited by metaphysicians and theologians). The first argument, the Barren Tautology Argument (or the BTA), is derived, via Sidgwick, from a long tradition of anti-naturalist polemic. But the second argument, the Open (...) Question Argument proper (or the OQA), seems to have been Moore’s own invention and was probably devised to deal with naturalistic theories, such as Russell’s, which are immune to the Barren Tautology Argument. The OQA is valid and not (as Frankena (1939) has alleged) question-begging. Moreover, if its premises were true, it would have disposed of the desire-to-desire theory. But as I explain in §5, from 1970 onwards, two key premises of the OQA were successively called into question, the one because philosophers came to believe in synthetic identities between properties and the other because it led to the Paradox of Analysis. By 1989 a philosopher like Lewis could put forward precisely the kind of theory that Moore professed to have refuted with a clean intellectual conscience. However, in §§6-8 I shall argue that all is not lost for the OQA. I first press an objection to the desire-to-desire theory derived from Kripke’s famous epistemic argument. On reflection this argument looks uncannily like the OQA. But the premise on which it relies is weaker than the one that betrayed Moore by leading to the Paradox of Analysis. This suggests three conclusions: 1) that the desire-to-desire theory is false; 2) that the OQA can be revived, albeit in a modified form; and 3) that the revived OQA poses a serious threat to what might be called semantic naturalism. (shrink)

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity and shows how problematic (...) these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (shrink)

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. One rather conspicuous example is that the process of refining logical terminology has been productive. Future logic students will no longer be burdened by obscure terminology and they will be able to read, think, talk, and write about logic in a more careful and more rewarding manner. Closely related is increased use and study of variable-enhanced natural language as in “Every proposition x that implies some proposition y that is false also implies some proposition z that is true”. Another welcome development is the culmination of the slow demise of logicism. No longer is the teacher blocked from using examples from arithmetic and algebra fearing that the students had been indoctrinated into thinking that every mathematical truth was a tautology and that every mathematical falsehood was a contradiction. A fifth welcome development is the separation of laws of logic from so-called logical truths, i.e., tautologies. Now we can teach the logical independence of the laws of excluded middle and non-contradiction without fear that students had been indoctrinated into thinking that every logical law was a tautology and that every falsehood of logic was a contradiction. This separation permits the logic teacher to apply logic in the clarification of laws of logic. This lecture expands the above points, which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been criticized for (...) using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (shrink)

The problem of identity is central to epistemic transference. However, relative identity appears to be the only way to work out an epistemic useful notion of identity. Relative identity, on its part, is either parasitic on strict identity or not identity at all. If, on the contrary, we ought for a strict concept of identity capable of satisfying its requirements, we end up with a tautologic and epistemic worthless category. The paper provides an answer to this problem, which, while working (...) with a strict notion, shows how it might still serve epistemic purposes. In doing so, it shows how a formal reconstruction of our objectual world and the identities we refer to poses a workable model upon which our messy epistemic one acquires stability. The paper focuses primarily on the Geach-Quine discussion on identity. (shrink)

ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be (...) equivalent; but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

Sydney Shoemaker, developing an idea of Wittgenstein’s, argues that we are immune to error through misidentification relative to the first-person pronoun. Although we might be liable to error when “I” (or its cognates) is used as an object, we are immune to error when “I” is used as a subject (as when one says, “I have a toothache”). Shoemaker claims that the relationship between “I” as-subject and the mental states of which it is introspectively aware is tautological: when, say, we (...) judge that “I feel pain,” we are tautologically aware that feels pain is instantiated and that it is instantiated in oneself. Moreover, he contends that this relationship holds not just for bodily sensations, but also for the sense of agency and for visual perception. But we deny that this relationship is tautological; instead, we treat Shoemaker’s principle (IEM) as a hypothesis. We then proceed to show that certain pathological states and experimentally-induced illusions can be adduced to show that IEM describes not a necessary relationship but a contingent relationship, one that sometimes fails to obtain. That we are not immune to error in the way Shoemaker describes has grave consequences for many aspects of his ideas concerning the first-person perspective. In the course of arguing that these empirical phenomena count against IEM, we also show that not only can the content of conscious experience be misrepresented, so too can the subject: that is, not only can the what of conscious experience be misrepresented, so too can the who. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...) paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...) infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

This paper continues the defense of a version of scientific realism, Tautological Scientific Realism, that rests on the claim that, excluding some areas of fundamental physics about which doubts are entirely justified, many areas of contemporary science cannot be coherently imagined to be false other than via postulation of radically skeptical scenarios, which are not relevant to the realism debate in philosophy of science. In this paper we discuss, specifically, the threats of meaning change and reference failure associated with the (...) Kuhnian tradition, which depend on a descriptivist approach to meaning, and we argue that descriptivism is not the right account of the meaning and reference of theoretical terms. We suggest that an account along the lines of the causal-historical theory of reference provides a more faithful picture of how terms for unobservable theoretical entities and properties come to refer; we argue that this picture works particularly well for TSR. In the last section we discuss how our account raises concerns specifically for perspectival forms of scientific realism. (shrink)

My philosophical case study concerns textbook presentations of the theory of demand. Does this theory contain anything more than just a collection of tautologies? In order to determine its empirical content, it must be viewed holistically. But then, the theory implies false factual claims. We can avoid this result by embracing the theory’s normative character. The resulting consequences will be illuminated with the new autodetermination thesis recently proposed in the philosophy of physics by Oliver Timmer. Applying his ideas to (...) the theory of demand reveals that the statements of this discipline simultaneously concern both values and facts. (shrink)

Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this (...) paper, I present a dynamic logic of knowledge that models an agent’s epistemic state as it evolves over the course of reasoning. I show that the logic does not sacrifice logical competence on the altar of logical non- omniscience. (shrink)

In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...) translation is a tautology of its corresponding σ-system. We then use these results to obtain other key advantages. Most interestingly, we provide a recipe for building unlabeled sequent calculi for σ-systems. We then exemplify this with a σ-system useful for logics of the ST family, and prove soundness and completeness for it, which indirectly gives us a calculus for the metainferences of all those mixed systems. Finally, we respond to some possible objections and show how our σ-framework can shed light on the “obeying” discussion within mixed metainferential contexts. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Survey article on Naturalism dealing with Hume's NOFI (including Prior's objections), Moore's Naturalistic Fallacy and the Barren Tautology Argument. Naturalism, as I understand it, is a form of moral realism which rejects fundamental moral facts or properties. Thus it is opposed to both non-cognitivism, and and the error theory but also to non-naturalism. General conclusion: as of 1991: naturalism as a program has not been refuted though none of the extant versions look particularly promising.

Many philosophers of science think that most laws of nature (even those of fundamental physics) are so called ceteris paribus laws, i.e., roughly speaking, laws with exceptions. Yet, the ceteris paribus clause of these laws is problematic. Amongst the more infamous difficulties is the danger that 'For all x: Fx ⊃ Gx, ceteris paribus' may state no more than a tautology: 'For all x: Fx ⊃ Gx, unless not'. One of the major attempts to avoid this problem (and others concerning (...) ceteris paribus laws) is to claim that the subject matter of laws are ascriptions of dispositions, powers, capacities etc., and not the regular behaviour we find in nature. That we do not know whether the cetera are paria in a specific situation does not matter to the dispositionalist because the objects have the disposition regardless of the circumstances. The defence of the latter claim is that dispositions can be instantiated without being manifested. Hence, the laws that ascribe dispositions are strict and it looks as if they do not face the above mentioned problems of ceteris paribus laws. In this essay I attempt to show that these assumptions are wrong. I hope to illustrate that not only does the ceteris paribus clause reoccur inside the dispositions, moreover, there are laws—laws about non-fundamental entities with instable dispositions—which bear a ceteris paribus clause that cannot be hidden in a disposition. (shrink)

Acceptable analyticities, i.e. contradictions or tautologies, constitute problematic evidence for the idea that language includes a deductive system. In recent discussion, two accounts have been presented in the literature to explain the available evidence. According to one of the accounts, grammatical analyticities are accessible to the system but a pragmatic strengthening repair mechanism can apply and prevent the structures from being actually interpreted as contradictions or tautologies. The proposed data, however, leaves it open whether other versions of the (...) meaning modulation operation are required. Novel evidence we present argues that a loosening version of the repair mechanism must be available. Our observation concerns acceptable lexical contradictions that cannot be rescued if only a strengthening version of the pragmatic strategy is available. (shrink)

In this paper we focus on the logicality of language, i.e. the idea that the language system contains a deductive device to exclude analytic constructions. Puzzling evidence for the logicality of language comes from acceptable contradictions and tautologies. The standard response in the literature involves assuming that the language system only accesses analyticities that are due to skeletons as opposed to standard logical forms. In this paper we submit evidence in support of alternative accounts of logicality, which reject the (...) stipulation of a natural logic and assume instead the meaning modulation of nonlogical terms. (shrink)

Analyses of quotation have assumed that quotations are referring expressions while disagreeing over details. That assumption is unnecessary and unacceptable in its implications. It entails a quasi-Parmenidean impossibility of meaningfully denying the meaningfulness or referential function of anything uttered, for it implies that: 'Kqxf' is not a meaningful expression 'The' is not a referring expression are, if meaningful, false. It also implies that ill formed constructions like: 'The' is 'the' are well formed tautologies. Such sentences make apparent the need (...) for what is commonly explicit, a genuine referring expression, a noun phrase, usually a description, to which the quotation is appositional. A quotation is not itself a word, though it may contain such. The markers signal that the enquoted material is like a sentence-embedded color patch, material displayed to facilitate reference to something identifiable by/with it specified by the noun phrase it subserves. (shrink)

We define a set of things of one singular kind as the set of all things that can causally affect one another. To enable causal interaction between such sets, we define a thing that is of a non-singular kind as consisting of more than one singular kind. Such a thing of a non-singular kind supervenes on things of singular kinds and is open to causally intervene between sets of things of different singular kinds without violating the definition of a set (...) of things of one singular kind. With the empty set as a set of things of one singular kind, we define Mem as ‘either the smallest element of intervening sets in the indefinite set of sets of things of a singular kind and the intermediate supervening sets, or, if nothing exists, the empty set’. Thus, Mem exists. Comment. The argument focuses on a definition of a supervening set of things of a non-singular kind. Besides that, it really only claims that if we define Mem as some set of existing things or the set without elements, Mem exists. That, though, is tautological. The argument, thus, can only be interesting if anything besides the empty set exists. That only the empty set would exist, however, is refuted by this very claim. (shrink)

This paper presents two systems of natural deduction for the rejection of non-tautologies of classical propositional logic. The first system is sound and complete with respect to the body of all non-tautologies, the second system is sound and complete with respect to the body of all contradictions. The second system is a subsystem of the first. Starting with Jan Łukasiewicz's work, we describe the historical development of theories of rejection for classical propositional logic. Subsequently, we present the two (...) systems of natural deduction and prove them to be sound and complete. We conclude with a ‘Theorem of Inversion’. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing (...) at least simple formal systems using fractal patterns of infinite depth. Progressively deeper dimensions of such a fractal can be used to map increasingly complex wffs or increasingly complex 'value spaces', with tautologies, contradictions, and various forms of contingency coded in terms of color. This and related approaches, it turns out, offer not only visually immediate and geometrically intriguing representations of formal systems as a whole but also promising formal links (1) between standard systems and classical patterns in fractal geometry, (2) between quite different kinds of value spaces in classical and infinite-valued logics, and (3) between cellular automata and logic. It is hoped that pattern analysis of this kind may open possibilities for a geometrical approach to further questions within logic and metalogic. (shrink)

outrageous remarks about contradictions. Perhaps the most striking remark he makes is that they are not false. This claim first appears in his early notebooks (Wittgenstein 1960, p.108). In the Tractatus, Wittgenstein argued that contradictions (like tautologies) are not statements (Sätze) and hence are not false (or true). This is a consequence of his theory that genuine statements are pictures.

I demonstrate that Bell's theorem is based on circular reasoning and thus a fundamentally flawed argument. It unjustifiably assumes the additivity of expectation values for dispersion-free states of contextual hidden variable theories for non-commuting observables involved in Bell-test experiments, which is tautologous to assuming the bounds of ±2 on the Bell-CHSH sum of expectation values. Its premises thus assume in a different guise the bounds of ±2 it sets out to prove. Once this oversight is ameliorated from Bell's argument by (...) identifying the impediment that leads to it and local realism is implemented correctly, the bounds on the Bell-CHSH sum of expectation values work out to be ±2√2 instead of ±2, thereby mitigating the conclusion of Bell's theorem. Consequently, what is ruled out by any of the Bell-test experiments is not local realism but the linear additivity of expectation values, which does not hold for non-commuting observables in any hidden variable theories to begin with. (shrink)

Stephen Maitzen argues that divine command metaethics must be mistaken because it is committed to the implausible assumption that the sentence ‘God is good’ is a tautology. In this article, I show that a charitable interpretation of R. M. Adams’ version of divine command metaethics is not committed to accept this assumption. I conclude that Maitzen’s objection merely manages to refute a strawman version of divine command metaethics.

Engaging with Kant’s transcendental logic seems to be a question of mere scholarly historical interest today. It is most commonly regarded a mixture between logic and psychology or epistemology, and by that, not a serious form of logic. Transcendental logic seems to be of no systematical impact on the concept of logic. My paper aims to disclose a different account on the endeavour of Kant’s transcendental logic in particular and of the “Critique of Pure Reason” (CPR) in general. Kant’s fundamental (...) question is in a revolutionary way aiming to ground the character of necessity of knowledge, which means to justify the claim that thinking in accordance with the forms and principles of formal logic does not lead to sheer tautologies or an unsolved contradiction, but to knowledge that is objectively valid. In a first part, I shall demonstrate the necessity and the significance of this new fundamental question of the CPR with respect to its genesis out of pre-Kantian metaphysics. A brief outline of Kant’s answer to this question, with special emphasis on his revolutionary new comprehension of logical form, will be given as well. A second part shall open up a perspective that lies beyond Kant’s standpoint with reference to Nietzsche and eventually to Hegel. I will answer the question: What knowledge do we achieve about being or actuality by means of formal logic? I will argue that Kant shows that formal logic is the logic of all technical-practical conduct but also, at least indirectly, the limitation of the technical-practical knowledge and its legitimate sphere of application. (shrink)

The 11 experimental, pseudo-avantgarde visual poems (wordless, other than title and date) are an indirect homage to the late-great filmmaker and photographer, Chris Marker (1921-2012), foremost to his penchant for utilizing disintegrating imagery in his film-essays and multimedia installations. All images were captured using a Research in Motion, BlackBerry 8520 cellphone, and subsequently 100-percent de-saturated, and 100-percent contrast-adjusted, using Microsoft Office Picture Manager. The images, as a result, resemble the primitive production values given to the pinhole camera, and the “dogmatic” (...) (uniform) adjustments (as above), applied to the original BB images, reference the early strictures applied to filmmaking by Lars von Trier. The above-mentioned, black-and-white adjustments notwithstanding, all images are used “as captured,” without cropping. The series begins and ends in Botwnnog, Northwest Wales, in May and August of 2013, respectively, with interregnums and brief idylls in Rijeka, Croatia, Trieste and Ancona, Italy, and Igoumenitsa, Ioannina, and Athens, Greece. Tracking the peregrinations of the author of the poems across Europe, and intimately associated with the then-nascent research and exhibition project, “Not-I/Thou: The Other Subject of Art & Architecture,”* the poems are also a compressed form of scholarship, albeit operating in the shadow-lands of knowledge per se, and evoking the non-discursive side of literary-artistic production, a penumbral zone within cultural production that nonetheless references the discursive arts (essay and/or full-blown treatise), but favors the paradox and/or tautology – privileging, then, the much-desired destruction of dialectics. (shrink)

A. J. Ayer’s empiricist criterion of meaning was supposed to have sorted all statements into nonsense on the one hand, and tautologies or genuinely factual statements on the other. Unfortunately for Ayer, it follows from classical logic that his criterion is trivial—it classifies all statements as either tautologies or genuinely factual, but none as nonsense. However, in this paper, I argue that Ayer’s criterion of meaning can be defended from classical proofs of its triviality by the adoption of (...) a relevant logic—an idea which is motivated because, according to Ayer, the genuinely factual statements are those which observation is relevant to. (shrink)

Darwin’s explanation of biological speciation in terms of variation and natural selection has revolutionised biological thought. However, while his principle of natural selection, the fitness principle, has shaped biology until the present, its interpretation changed more than once during the almost 150 years of its history. The most striking change of the status of the principle is that, in the middle of the 20th century, it transmutated from an often disputed, groundbreaking insight into a tautology. Moreover, not only the interpretation (...) of the fitness principle, but the whole body of biological knowledge was subjected to significant modifications. In this paper, I relate modifications of the fitness principle to those of the respective body of biological knowledge. This body of knowledge is conceived as a Quinean web of belief. After an exposition of Darwin’s conception of the principle, which equated fitness with adaptedness to the environment, several of its changes are analysed with respect to different webs of biological knowledge. It is concluded that the different interpretations and the reshaping of the fitness principle are rational responses to the modified systems of background knowledge, which saved the coherence of the web of biological knowledge in each single case. (shrink)

Time was perceived by ancient philosophy as a cosmological enigma. The search for truth beyond time determined Greek thought. A true definition, says Aristotle (384-322 BC), expresses “the what-it-is-to-be” (τὸ τί ἦν εἶναι) of a thing, it is an account of the essence, and essence is identity. The principle of non-contradiction was considered by Aristotle as the first principle of the inquiry into Being. As such, it cannot be demonstrated, since this would lead to an infinite regress. Instead, the noncontradiction (...) principle is the first axiom of ontology. But time seems to question this tautology. Aristotle discusses time in the Physics. He begins with the questions about time’s existence which stem from his contemporaries’ conceptions. (shrink)

In his Tractatus, Wittgenstein sets out what he calls his N-operator notation which can be used to calculate whether an expression is a tautology. In his Laws of Form, George Spencer Brown offers what he calls a “primary algebra” for such calculation. Both systems are perplexing. But comparing two blurry images can reduce noise, producing a focus. This paper reveals that Spencer Brown independently rediscovered the quantifier-free part of the N-operator calculus. The comparison sheds a flood light on each and (...) from the letters of correspondence we shall find that Russell, as one might have surmised, was a catalyst for both. (shrink)

I have had the fortune to find a way to unite theology and science. It is and has been a bit overwhelming. My aim was to integrate science and hermeneutics but I ended up with a theory that integrates pretty much everything. In this paper I focus the fundamental principle that seems so simple that it could taken for a tautology but it is not. The principle, or, rather, the basic assumption, is that an ontologically homogeneous domain does not cause (...) an ontologically homogeneous domain. By this device all ontologically homogeneous domains are causally closed in relation to other ontologically homogeneous domains. Ontologically heterogeneous domains, on the other hand, are permitted to cause and to be caused by ontologically homogeneous domains. The very first ontologically homogeneous domain, also, is permitted to be caused by an ontologically heterogeneous domain. Science, therefore, would concern inquiries into all ontologically homogeneous and heterogeneous domains except for the first ontologically heterogeneous domain. The first ontologically heterogeneous domain would be the field of interest for theology. Consecutive ontologically homogeneous domains could be the platonic mathematical universe, the physical universe and ourselves as subjects. (shrink)

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops (...) algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper. (shrink)

In common treatments of deontic logic, the obligatory is what is true in all deontically ideal possible worlds. In this article, I offer a new semantics for Standard Deontic Logic with Leibnizian intensions rather than possible worlds. Even though the new semantics furnishes models that resemble Venn diagrams, the semantics captures the strong soundness and completeness of Standard Deontic Logic. Since, unlike possible worlds, many Leibnizian intensions are not maximally consistent entities, we can amend the semantics to invalidate the inference (...) rule which ensures that all tautologies are obligatory. I sketch this amended semantics to show how it invalidates the rule in a new way. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.

The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (...) (1) can be computed from the calculus. (shrink)

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also (...) specifiable by purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively. (shrink)

This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to be true. Some but (...) not every proposition believed to be true is known to be true. Our focus is thus on propositional belief (“belief-that”): the combination of propositional knowledge (“knowledge-that”) and propositional opinion (“opinion-that”). Each of a person’s beliefs, whether knowledge or opinion, is the end result of a particular thought process that continued during a particular time interval and ended at a particular time with a conclusive act—a judgment that something is the case. This work is mainly about beliefs in substantive informative propositions—not empty tautologies. We also treat objectual knowledge (knowledge of objects in the broadest sense, or “knowledge-of”), operational knowledge (abilities and skills, “knowledge-how-to”, or “know-how”), and expert knowledge (expertise). Most points made in this work have been made by previous writers, but to the best of our knowledge, they have never before been collected into a coherent work accessible to a wide audience. -/- Key words: belief, knowledge/opinion, propositional, operational, objectual, cognition, . (shrink)

Philosophy is the science of the science; it is the analysis of the assumptions underlying empirical inquiry. Given that these assumptions cannot possibly be examined or even identified on the basis of empirical data, it follows that philosophy is a non-empirical discipline. And given that our linguistic and cultural practices cannot possibly be examined or even identified except on the basis of empirical data, it follows that philosophical questions are not linguistic questions and do not otherwise concern our conventions or (...) our cultural practices. This entails that philosophical truths are not tautologous or otherwise trivial. It also entails that empiricism is false and, therefore, that Platonism is correct. Given a clear understanding of why Platonism is correct and of what this implies, a number of shibboleths of contemporary analytic philosophy are speedily demolished and are no less speedily replaced with independently corroborated and intuitively plausible alternatives. New answers are given to age-old questions concerning scientific explanation, causal and logical dependence, linguistic meaning, personal identity, the structure of the psyche, and the nature of personal responsibility. Existing answers to these question are thoroughly considered and duly extended, modified, or replaced. Every technical term is defined; every philosophy-specific concept is explained; and the positions defended are consistent with commonsense, so far as their being consistent with the relevant data allows them to be. Therefore, this book is intelligible to philosophically minded laymen. At the same time, it is appropriate for advanced scholars, given that it defends original viewpoints and given also that, even though it discusses old viewpoints, it does so in new ways. Because it is clearly written, it is intelligible to neophytes; but it is not an introductory text and it is not a textbook. There are two appendices: the first, a thorough exposition of the rudiments of formal logic, along with the conceptual underpinnings of that discipline; the second, a definition and analytic discussion of each technical term that occurs in the text. Most of the chapters are followed by study-questions and by practice tests. (shrink)