Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

Many experiments with infants suggest that they possess quantitative abilities, and many experimentalists believe that these abilities set the stage for later mathematics: natural numbers and arithmetic. However, the connection between these early and later skills is far from obvious. We evaluate two possible routes to mathematics and argue that neither is sufficient: (1) We first sketch what we think is the most likely model for infant abilities in this domain, and we examine proposals for extrapolating the natural number concept (...) from these beginnings. Proposals for arriving at natural number by (empirical) induction presuppose the mathematical concepts they seek to explain. Moreover, standard experimental tests for children's understanding of number terms do not necessarily tap these concepts. (2) True concepts of number do appear, however, when children are able to understand generalizations over all numbers; for example, the principle of additive commutativity (a+b=b+a). Theories of how children learn such principles usually rely on a process of mapping from physical object groupings. But both experimental results and theoretical considerations imply that direct mapping is insufficient for acquiring these principles. We suggest instead that children may arrive at natural numbers and arithmetic in a more top-down way, by constructing mathematical schemas. (shrink)

This paper provides a new defence against the logical problem of evil, based on the naturalistic functional/teleological theory of mind (NFT). I argue that if the NFT is self-consistent then it is consistent with theism. Further, the NFT entails that it is not possible for created minds to exist in the absence of evil. It follows that if the NFT is self-consistent then the existence of God is consistent with the existence of evil.

We see no grounds for insisting that, because the concept natural number is abstract, its foundations must be innate. It is possible to specify domain general learning processes that feed into more abstract concepts of numerical infinity. By neglecting the messiness of children's slow acquisition of arithmetical concepts, Rips et al. present an idealized, unnecessarily insular, view of number development.

Even with the lack of consensus on the nature of an argument, the thesis that explanations and arguments are distinct is near orthodoxy in well-known critical thinking texts and in the more advanced argumentation literature. In this paper, I reconstruct two rationales for distinguishing arguments from explanations. According to one, arguments and explanations are essentially different things because they have different structures. According to the other, while some explanations and arguments may have the same structure, they are different things because (...) explanations are used for different purposes than arguments. I argue that both rationales fail to motivate a distinction between arguments and explanations. Since these are the only rationales for distinguishing arguments from explanations that I am prepared to take seriously, I don’t see why we should exclude explanations from being arguments. (shrink)

An account of validity that makes what is invalid conditional on how many individuals there are is what I call a conditional account of validity. Here I defend conditional accounts against a criticism derived from Etchemendy’s well-known criticism of the model-theoretic analysis of validity. The criticism is essentially that knowledge of the size of the universe is non-logical and so by making knowledge of the extension of validity depend on knowledge of how many individuals there are, conditional accounts fail to (...) reflect that the former knowledge is basic, i.e., independent of knowledge derived from other sciences. Appealing to Russell’s pre-Principia logic, I defend conditional accounts against this criticism by sketching a rationale for thinking that there are infinitely many logical objects. (shrink)

To translate the Aristotelian square of opposition into Chinese requires restructuring the Aristotelian system of genus-species into the Chinese way of classification and understanding of the focus-field relationship. The feature of the former is on a tree model, while that of the later is on the focusfield model. Difficulties arise when one tries to show contraries betweenA- type and E-type propositions in the Aristotelian square of opposition in Chinese, because there is no clear distinction between universal and particular in a (...) focus-field structure of thinking. If there could be a chance to discuss the analytic identity between the two logical systems, then it might be only constituted during a face to face conversation in the present, or, in other words, in the translation of particular propositions (singular subjective,I-type, andO-type propositions) in a particular case. The best hope for a translator is that in the actual temporally situated practice,now he or she might find a temporary way to map the concepts of one to the other with relatively little loss of structure. (shrink)

Could a Nazi soldier or terrorist be courageous? The Courage Problem asks us to answer this sort of question, and then to explain why people are reluctant to give this answer. The present paper sheds new light on the Courage Problem by examining a controversy sparked by Bill Maher, who claimed that the 9/11 terrorists’ acts were ‘not cowardly.’ It is shown that Maher's controversy is fundamentally related to the Courage Problem. Then, a unified solution to both problems is provided. (...) This solution entails that gutsy people who lack good ends are not courageous. (shrink)

I catalog several concepts associated with finite cardinals, and then invoke them to interpret and evaluate several passages in Rips et al.'s target article. Like the literature it discusses, the article seems overly quick to ascribe the possession of certain concepts to children (and of set-theoretic concepts to non-mathematicians).

Truth diagrams are introduced as a novel graphical representation for propositional logic. To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive representation for PL should encompass. TDs address all the criteria whereas seven other existing representations for PL only provide partial coverage. These existing representations are: the linear formula notation, truth tables, a PL specific interpretation of Venn Diagrams, Frege’s conceptual notation, diagrams from Wittgenstein’s Tractatus, Pierce’s alpha graphs and Gardner’s shuttle diagrams. The comparison (...) of the representations succeeds in distinguishing ideas that are fundamental to PL from features of common PL representations that are somewhat arbitrary. (shrink)

Modus ponens is the argument from premises of the form If A, then B and A to the conclusion B. Nearly all participants agree that the modus ponens conclusion logically follows when the argument appears in this Basic form. However, adding a further premise can lower participants’ rate of agreement—an effect called suppression. We propose a theory of suppression that draws on contemporary ideas about conditional sentences in linguistics and philosophy. Semantically, the theory assumes that people interpret an indicative conditional (...) as a context-sensitive strict conditional: true if and only if its consequent is true in each of a contextually determined set of situations in which its antecedent is true. Pragmatically, the theory claims that context changes in response to new assertions, including new conditional premises. Thus, the conclusion of a modus ponens argument may no longer be accepted in the changed context. Psychologically, the theory describes people as capable of reasoning about broad classes of possible situations, ordered by typicality, without having to reason about individual possible worlds. The theory accounts for the main suppression phenomena, and it generates some novel predictions that new experiments confirm. (shrink)

Spider diagrams are based on Euler and Venn/Peirce diagrams, forming a system which is as expressive as monadic first order logic with equality. Rather than being primarily intended for logicians, spider diagrams were developed at the end of the 1990s in the context of visual modelling and software specification. We examine the original goals of the designers, the ways in which the notation has evolved and its connection with the philosophical origins of the logical diagrams of Euler, Venn and Peirce (...) on which spider diagrams are based. Using Peirce’s concepts and classification of signs, we analyse the ways in which different sign types are exploited in the notation. Our hope is that this analysis may be of interest beyond those readers particularly interested in spider diagrams, and act as a case study in deconstructing a simple visual logic. Along the way, we discuss the need for a deeper semiotic engagement in visual modelling. (shrink)

Fetzer famously claims that program verification is not even a theoretical possibility, and offers a certain argument for this far-reaching claim. Unfortunately for Fetzer, and like-minded thinkers, this position-argument pair, while based on a seminal insight that program verification, despite its Platonic proof-theoretic airs, is plagued by the inevitable unreliability of messy, real-world causation, is demonstrably self-refuting. As I soon show, Fetzer is like the person who claims: ‘My sole claim is that every claim expressed by an English sentence and (...) starting with the phrase “My sole claim” is false’. Or, more accurately, such thinkers are like the person who claims that modus tollens is invalid, and supports this claim by giving an argument that itself employs this rule of inference. (shrink)

We provide an underlying theory of argument by disanalogy, in order to employ it to show that cyberwarfare is fundamentally new. Once this general case is made, the battle is won: we are well on our way to establishing our main thesis: that Just War Theory itself must be modernized. Augustine and Aquinas had a stunningly long run, but today’s world, based as it is on digital information and increasingly intelligent information-processing, points the way to a beast so big and (...) so radically different, that the core of this duo’s insights needs to be radically extended. (shrink)

I articulate a novel modal argument for P=NP.

Rule systems are used every day to share experience, pre-existing knowledge, beliefs and ethical rules, and to provide instructions for future action. This article expands and builds upon an approach pioneered by Julius M. Moravcsik to argue that ethics cannot be completely codified into a rigid set of rules, because any such set lacks a misapplication-correcting sensibility. Thus, an ethics that is transferred purely by means of a rule-set is incomplete and thus cannot be used reliably to guide future action. (...) The balancing sensibility is formed out of pre-existing expert knowledge and takes account of the limitations of rule-sets in specific contexts. Moravcsik’s approach is then expanded by incorporating it into a holistic framework for the analysis, guidance and development of actions to be taken to support the emergence, selection and implementation of solutions for a sustainable future. This approach has profound implications for managers and organisers in new or critical situations. (shrink)

Do logically valid arguments necessarily preserve truth? Certain inferences involving informational modal operators and indicative conditionals suggest that truth preservation and good deductive argument come apart. Given this split, I recommend an alternative to the standard truth preservation view of logic on which validity and good deductive argument coincide: logic is a descriptive science that is fundamentally concerned not with the preservation of truth, but with the preservation of structural features of information. Along the way, I defend modus ponens for (...) the indicative against an attack by Kolodny and MacFarlane, and I present a new proof system, Info, appropriate to this informational view. (shrink)

A natural language argument may be valid in at least two nonequivalent senses: it may be interpretationally or representationally valid (Etchemendy in The concept of logical consequence. Harvard University Press, Cambridge, 1990). Interpretational and representational validity can both be formally exhibited by classical first-order logic. However, as these two notions of informal validity differ extensionally and first-order logic fixes one determinate extension for the notion of formal validity (or consequence), some arguments must be formalized by unrelated nonequivalent formalizations in order (...) to formally account for their interpretational or representational validity, respectively. As a consequence, arguments must be formalized subject to different criteria of adequate formalization depending on which variant of informal validity is to be revealed. This paper develops different criteria that formalizations of an argument have to satisfy in order to exhibit the latter’s interpretational or representational validity. (shrink)

The Univalent Foundations project constitutes what is arguably the most serious challenge to set-theoretic foundations of mathematics since intuitionism. Like intuitionism, it differs both in its philosophical motivations and its mathematical-logical apparatus. In this paper we will focus on one such difference: Univalent Foundations’ reliance on an intensional rather than extensional logic, through its use of intensional Martin-Löf type theory. To this, UF adds what may be regarded as certain extensionality principles, although it is not immediately clear how these principles (...) are to be interpreted philosophically. In fact, this framework gives an interesting example of a kind of border case between intensional and extensional mathematics. Our main purpose will be the philosophical investigation of this system, and the relation of the concepts of intensionality it satisfies to more traditional philosophical or logical concepts such as those of Carnap and Quine. (shrink)

When modeling informal proofs like that of Euclid’s Elements using a sound logical system, we go from proofs seen as somewhat unrigorous – even having gaps to be filled – to rigorous proofs. However, metalogic grounds the soundness of our logical system, and proofs in metalogic are not like formal proofs and look suspiciously like the informal proofs. This brings about what I am calling here the groundedness problem: how can we decide with certainty that our metalogical proofs are rigorous (...) and sustain our logical system? In this paper, I will expose this problem. I will not try to solve it here. (shrink)

One of us has previously argued that the Church-Turing Thesis (CTT), contra Elliot Mendelson, is not provable, and is — light of the mind’s capacity for effortless hypercomputation — moreover false (e.g., [13]). But a new, more serious challenge has appeared on the scene: an attempt by Smith [28] to prove CTT. His case is a clever “squeezing argument” that makes crucial use of Kolmogorov-Uspenskii (KU) machines. The plan for the present paper is as follows. After covering some necessary preliminaries (...) regarding the nature of CTT, and taking note of the fact that this thesis is “intrinsically cognitive” (§2), we: sketch out, for context, an open-minded position on CTT and related matters (§3); explain the formal structure of squeezing arguments (§4); after a review of KU-machines, formalize Smith’s case (§5); give our objections to certain assumptions in Smith’s argument (§6); support these objections with some evidence from general but limited-agent problem solving (§7); and explain why Smith’s argument is inconclusive (§8). We end with some brief, concluding remarks, some of which point toward near-future work that will build on the present paper (§9). (shrink)

Scientific discourse leaves implicit a vast amount of knowledge, assumes that this background knowledge is taken into account – even taken for granted – and treated as undisputed. In particular, the terminology in the empirical sciences is treated as antecedently understood. The background knowledge surrounding a theory is usually assumed to be true or approximately true. This is in sharp contrast with logic, which explicitly ignores underlying presuppositions and assumes uninterpreted languages. We discuss the problems that background knowledge may cause (...) for the formalization of scientific theories. In particular, we will show how some of these problems can be addressed in the context of the computational representation of scientific theories. (shrink)

According to the so-called ‘standard theory’ of conditions, the conditionship relation is converse, that is, if A is a sufficient condition for B, B is a necessary condition for A. This theory faces well-known counterexamples that appeal to both causal and other asymmetric considerations. I show that these counterexamples lose their plausibility once we clarify two key components of the standard theory: that to satisfy a condition is to instantiate a property, and that what is usually called ‘conditionship relation’ is (...) an inferential relation. Throughout the paper this way of interpreting the standard theory is compared favourably over an alternative interpretation that is outlined in causal terms, since it can be applied to all counterexamples without losing its intuitive appeal. (shrink)

Basin-Matthews-Viganò approach to construction of labelled deduction systems for normal modal logics is adapted to „Fitch proof-format“, and it is applied to the language of deontic-praxeological logic. Segerberg's suggestion on how to asses the adequacy of a logic for Kanger's theory of rights is being formally explicated and it is proved that herewith proposed system of labelled deduction satisfies Segerberg's criteria of adequacy. For the purpose of building the proof a semantics is given, which connects „the simplest semantics of action“ (...) with standard semantics of deontic logic. Soundness and completeness of the proposed labelled deduction with respect to aforementioned semantics is proved. (shrink)