What Robots Can and Can't Be (hereinafter Robots) is, as Selmer Bringsjord says "intended to be a collection of formal-arguments-that-border-on-proofs for the proposition that in all worlds, at all times, machines can't be minds" (Bringsjord, forthcoming). In his (1994) "Précis of What Robots Can and Can't Be" Bringsjord styles certain of these arguments as proceeding "repeatedly . . . through instantiations of" the "simple schema".

This book is designed to explain the technical ideas that are taken for granted in much contemporary philosophical writing. Notions like "denumerability," "modal scope distinction," "Bayesian conditionalization," and "logical completeness" are usually only elucidated deep within difficult specialist texts. By offering simple explanations that by-pass much irrelevant and boring detail, Philosophical Devices is able to cover a wealth of material that is normally only available to specialists. The book contains four sections, each of three chapters. The first section is (...) about sets and numbers, starting with the membership relation and ending with the generalized continuum hypothesis. The second is about analyticity, a prioricity, and necessity. The third is about probability, outlining the difference between objective and subjective probability and exploring aspects of conditionalization and correlation. The fourth deals with metalogic, focusing on the contrast between syntax and semantics, and finishing with a sketch of Godel's theorem. Philosophical Devices will be useful for university students who have got past the foothills of philosophy and are starting to read more widely, but it does not assume any prior expertise. All the issues discussed are intrinsically interesting, and often downright fascinating. It can be read with pleasure and profit by anybody who is curious about the technical infrastructure of contemporary philosophy."--p. 4 of cover. (shrink)

In business and government, databases contain large quantities of digital transactional data (purchases made, services used, finances transferred, benefits received, licences acquired, borders crossed, tickets purchased). The data can be understood as ongoing and dynamic measurements of the activities and doings of people. In government, numerous database devices have been developed to connect such data across services to discover patterns and identify and evaluate the performance of individuals and populations. Under the UK’s New Labour government, the development of such (...) devices was part of a broader policy known as ‘joined-up thinking and government’. Analyses of this policy have typically understood joining up as an operation of adding together distributed data about subjects, which can then be used in the service of government surveillance, the database state or informational capitalism. But rather than such technical or managerialist analytics, I argue that topological analytics capture what these database devices enact and do: they materialize the ‘individuality’ of subjects in intensified, distributed and fluctuating ways and materialize and intensify a logic of what Deleuze describes as modulating controls. Through examples of UK New Labour social policy initiatives over the past decade, I argue that topological analytics can account for these as immanent rather than exceptional properties of database devices and, as such, part and parcel of a governmental logic and ontology of subjects. (shrink)

Machine generated contents note: Preface ix -- Chapter One: Technology, Technique, and the Body 3 --Chapter Two: The First Technology: Bottle-Feeding 30 --Chapter Three: Slow Motion: Zori 51 --Chapter Four: Double Time: Athletic Shoes 75 --Chapter Five: Sitting Up Straight: Posture Chairs 104 --Chapter Six: Laid Back: Reclining Chairs 134 --Chapter Seven: Mechanical Arts: Musical Keyboards 161 --Chapter Eight: Letter Perfect?: Text Keyboards 187 --Chapter Nine: Second Sight: Eyeglasses 213 --Chapter Ten: Hardheaded Logic: Helmets 238 --Epilogue: Thumbs Up 263 (...) -- Notes 269 --Suggestionsfor Further Reading 302 --Index 305. (shrink)

Music is the carrier through which human beings express their emotions. It can clean up their hearts and seek emotional resonance. The combination of music and artificial intelligence, when music meets artificial intelligence, the mathematical logic part of data and algorithm replaces the image thinking, resulting in automatic music production. The basic principle of music creation is to use artificial intelligence technology to conduct in-depth training on a large number of songs, and then build a database. Then, within a (...) certain period of time, extract a segment from several songs, and then decompose it to form a new melody. The automatic music production is the collision of music and technology. With the flying of code and notes, it creates a different kind of beauty. Music culture is a new field of music application. With its refreshing audio-visual effect, it has made people have a new understanding of music and has become a hot topic in current mass cultural activities. The sound quality characteristics of music culture programs determine the characteristics of simple, fast and efficient design. However, the current audio and video design still stays in the traditional audio and video form design, with low design efficiency, long cycle, high cost and high requirements for designers. In view of the fact that the traditional audio and video design mode in China's music and cultural programs cannot meet the needs of performance programs at present, this paper proposes a design scheme of audio and visual effects of music and cultural programs with intelligent devices as the core, and develops a complete set of audio and visual effects aided design system on this basis. (shrink)

This paper aims to enhance security in IoT device networks through a visual tool that utilizes three projection techniques, including Beta Hebbian Learning (BHL), t-distributed Stochastic Neighbor Embedding (t-SNE) and ISOMAP, in order to facilitate the identification of network attacks by human experts. This work research begins with the creation of a testing environment with IoT devices and web clients, simulating attacks over Message Queuing Telemetry Transport (MQTT) for recording all relevant traffic information. The unsupervised algorithms chosen provide a (...) set of projections that enable human experts to visually identify most attacks in real-time, making it a powerful tool that can be implemented in IoT environments easily. (shrink)

In this paper, I argue against an influential view of Frege's writings on indexical and other context-sensitive expressions, and in favour of an alternative. The centrepiece of the influential view, due to (among others) Evans and McDowell, is that according to Frege, context-sensitive word-meaning plus context combine to express senses which are essentially first person, essentially present tense and so on, depending on the context-sensitive expression in question. Frege's treatment of indexicals thus fits smoothly with his Intuitive Criterion of difference (...) of sense. On my view, by contrast, Frege stuck by the view which he held in his unpublished 1897 'Logic', namely that the senses expressed by the combination of context-sensitive word-meaning and context could just as well be expressed by means of non-context-sensitive expressions: being first person, present tense and so on are properties, in Frege's view, only of language, not of thought. Given the irreducibility of indexicals - a phenomenon noticed by Castaneda, Perry and others - Frege's treatment of indexicals thus turns out to be inconsistent with the Intuitive Criterion. I argue that Frege was not aware of the inconsistency because he was not aware of the irreducibility of indexicals. This oversight was possible because the source of Frege's interest in indexicals, as in other context-sensitive expressions, differed from that of contemporary theorists. Whereas contemporary theorists are most often interested in indexicals (and in Frege's treatment of them) because they are interested in the indexical versions of Frege's Puzzle and their relation to psychological explanation, Frege himself was interested in them because they pose a prima facie threat to his general conception of thoughts. The only indexical expression Frege's view of which the above account does not cover is 'I' insofar as it is associated with 'special and primitive' senses, but Frege did not introduce such senses with a view to explaining the irreducibility of 'I'; his real reason for introducing them remains obscure. (shrink)

The extended pragma-dialectical argumentation theory assumes that people engaged in argumentative discourse manoeuvre strategically. In argumentative reality, the strategic manoeuvring is often carried out according to an argumentative strategy. Language users make an effort to present their strategic manoeuvres in a specific way and the analysis of the stylistic choices in actual argumentative discourse is the most important basis for identification and analysis of argumentative strategies. In this article, it is shown what requirements must be satisfied by a systematic stylistic (...) analysis of argumentative discourse, and the results of such an analysis are illustrated by means of a case study. (shrink)

It has been suggested that Russell and or Wittgenstein arrived at a truth-table device in or around 1912 [Shosky 1997], and that, since the history of its development is so complex, the best one can claim is that theirs may be the first identifiably ascribable example. However, Charles Peirce had, unbeknownst to most logicians of the time, already developed a truth table for binary connectives of his algebra of logic in 1902.

This book presents a systematic design methodology for decoding the interior structure of the Antikythera mechanism, an astronomical device from ancient Greece. The historical background, surviving evidence and reconstructions of the mechanism are introduced, and the historical development of astronomical achievements and various astronomical instruments are investigated. Pursuing an approach based on the conceptual design of modern mechanisms and bearing in mind the standards of science and technology at the time, all feasible designs of the six lost/incomplete/unclear subsystems are synthesized (...) as illustrated examples, and 48 feasible designs of the complete interior structure are presented. This approach provides not only a logical tool for applying modern mechanical engineering knowledge to the reconstruction of the Antikythera mechanism, but also an innovative research direction for identifying the original structures of the mechanism in the future. In short, the book offers valuable new insights for all readers who are interested in the Antikythera mechanism. (shrink)

Taking Chomsky’s Syntactic Structures as a starting point, this paper explores the use of recursive techniques in contemporary linguistic theory. Specifically, it is shown that there were profound ambiguities surrounding the notion of recursion in the 1950s, and that this was partly due to the fact that influential texts such as Syntactic Structures neglected to define what exactly constituted a recursive device. As a result, uncertainties concerning the role of recursion in linguistic theory have prevailed until the present day, and (...) some of the most common misunderstandings that have appeared in recent discussions are examined at some length. This article shows that debates about such topics are frequently undermined by fundamental misunderstandings concerning core terminology, and the full extent of the prevailing haziness is revealed. An attempt is made, for instance, to distinguish between such things as iterative constructional devices and self-similar syntactic embedding, despite the fact that these are usually both unhelpfully classified as examples of recursion. Consequently, this article effectively constitutes a plea for much greater accuracy and clarity when such important issues are addressed from a linguistic perspective. (shrink)

Prudence, if not sheer logical necessity, dictates that when discussing something, it helps to have some idea of what you are talking about. This is why even the most experienced scholars periodically discuss their terms. Those discussions rarely, if ever, settle anything more than discussants= (sometimes differing) words for a few readily recognizable regions in the relevant..

There are many real-world applications like healthcare systems, job monitoring, well-being and personal fitness tracking, monitoring of elderly and frail people, assessment of rehabilitation and follow-up treatments, affording Fall Detection (FD) and ADL (Activity of Daily Living) identification, separately or even at a time. However, the two main drawbacks of these solutions are that most of the times, the devices deployed are obtrusive (devices worn on not quite common parts of the body like neck, waist and ankle) and (...) the poor battery life. Thus, this work proposes a low-power classification algorithm based on an Ensemble of KNN and K-Means algorithms (EKMeans) to identify Falls and High-Intensity ADL events such as running, jogging and climbing up stairs. The input of EKMeans are triaxial accelerometer data gathered from wrist-wearable devices. The proposal will be validated on the Fall&ADL publicly available datasets UMAFall, UCIFall and FallAllD, considering two kinds of activity labelling: Two-Class and Multi-Class. An exhaustive comparative study between our proposal, and the baseline algorithms KNN and a feed-forward Neural Network (NN) is deployed, where EKMeans outperformed clearly the Specificity (ADL classification) of the KNN and NN for the three datasets. Finally, a comparative battery consumption study has been included deploying the analyzed algorithms in a WearOS smartwatch, where EKMeans drains the battery from 100% to 0% in 27.45 hours, saving 5% and 21% concerning KNN and NN, respectively. Keywords: Human Activity Recognition, ADL Identification, Fall Detection TS Clustering, TS Classification, Wearable Devices, Low-Power HAR. (shrink)

This article argues that many, if not most, behavior descriptions and sequencing are in essence an interpretation of signs, and are evaluated as sequences of signs by researchers. Thus, narrative analysis, as developed by Barthes and others, seems best suited to be used in behavioral/biosemiotic studies rather than mathematical modeling, and is very similar to some classic ethology methods. As our brain interprets behaviors as signs and attributes meaning to them, narrative analysis seems more suitable than mathematical modeling to describe (...) and study behavior. Mathematical models are, on many occasions, extremely reductionist and simplifying because of computational and/or numerical representation limitations that lead to errors and straitjacketing interpretations of reality. Since actual animals are not as optimal in real life as our mathematical models, here it is proposed that we should consider logical/verbal models and semantic interpretations as equally or even better suited for behavioral analysis, and refrain from enforcing mathematical modeling as the only way to study and understand biological problems, especially those of a behavioral and biosemiotic nature. (shrink)

Rice Combinational and Sequential Logic This text provides a guide to combinational and sequential logic, introducing students to the basic concepts then progressing to HND/first year undergraduate level. It has a highly practical emphasis, enabling the reader to simulate, build and test the circuits discussed in the text. Electronics Workbench files are provided for simulation, while easy-to-use XPLA software and specially designed hardware encourage the reader to build and test the circuits using programmable logic. The text itself (...) contains many self-assessment questions, complete with detailed answers, allowing students to test themselves as they learn. No previous experience of the topic is required and an abundance of practical examples helps students to apply the basic principles. The accompanying CD-ROM provides the XPLA development system software and Electronics Workbench files, as well as the Xilinx Webpack development system and 'walkthrough'. Hardware for Programmable Logic experiments can either be purchased or built following instructions from the text. Altogether, the text, software and hardware provide an interactive and stimulating teaching and learning resource. F. (shrink)

Belnap–Dunn’s relevance logic, \(\textsf{BD}\), was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. \(\textsf{BD}\) is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion \(\textsf{BD2}\) of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce (...) a four-valued expansion of BD called \({\textsf{BD}^\copyright }\), obtained by adding an unary connective \({\copyright }\,\ \) which is a consistency operator (in the sense of the Logics of Formal Inconsistency, _LFI_s). In addition, this operator is the unique one with the following features: it extends to \(\textsf{BD}\) the consistency operator of LFI1, a well-known three-valued _LFI_, still satisfying axiom _ciw_ (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, _LFU_s). Moreover, \({\textsf{BD}^\copyright }\) is maximal w.r.t. LFI1, and it is proved to be equivalent to BD2, up to signature. After presenting a natural Hilbert-style characterization of \({\textsf{BD}^\copyright }\) obtained by means of twist-structures semantics, we propose a first-order version of \({\textsf{BD}^\copyright }\) called \({\textsf{QBD}^\copyright }\), with semantics based on an appropriate notion of four-valued Tarskian-like structures called \(\textbf{4}\) -structures. We show that in \({\textsf{QBD}^\copyright }\), the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for \({\textsf{QBD}^\copyright }\) is presented, proving the corresponding soundness and completeness theorems. (shrink)

This paper explores the integration of machine learning into economics and social sciences, assessing its potential impact and limitations. It introduces fundamental machine learning concepts and principles, highlighting the differences between the two disciplines, particularly the focus on causal inference in economics and prediction in machine learning. The paper discusses diverse applications of machine learning, from extracting insights from unstructured data to creating novel indicators and improving predictive accuracy, while also addressing challenges related to data quality, computational efficiency, and data (...) ownership. It emphasizes the importance of standardization, transparency, and ethical considerations in prediction tasks, recognizing that machine learning is a powerful tool but cannot replace economic theory. Ultimately, researchers remain optimistic about the transformative potential of machine learning in re-shaping research methodologies and generating new insights in economics and social sciences. (shrink)

Applies the Conformal Framework to the philosophy of logic, and, in particular, to what McCarthy calls the Interpretation Problem for Logic, i.e. the problem of characterizing the logical devices of a language, as opposed to its descriptive expressions, paradigm examples of which include observational predicates and natural kind terms, on the basis of the data provided by an interpretation of its speakers. An extension of the Conformal Framework is given that facilitates a general solution to the interpretation (...) problem: a logical constant, on McCarthy's account, is an operator whose semantic role is invariant under structure‐preserving transformations defined across situations, which are epistemically possible for the idealized intentional system interpreted. Such a characterization results in a relative determinacy: the interpretations of the logical terms in the intentional system's language are fixed by the role they play in stories describing worlds that are epistemically possible for the system, which in turn is fixed by the system's inductive method. (shrink)

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning (...) of plural constructions that result from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

As is rather generally admitted today, the terms of our language in scientific as well as in everyday use, are not completely precise, but exhibit a more or less high degree of vagueness. It is the purpose of this paper to examine the consequences of this circumstance for a series of questions which belong to the field of logic. First of all, the meaning and the logical status of the concept of vagueness will be analyzed; then we will try (...) to find out whether logical terms are free from vagueness, and whether vagueness has an influence upon the validity of the customary principles of logic; finally, the possibilities of diminishing the vagueness of scientific concepts by suitable logical devices will be briefly dealt with. As starting point for the subsequent considerations we choose the clear and stimulating analysis of the concept of vagueness which has recently been carried out by Max Black ([1]) and which has suggested the considerations of this paper. (shrink)

Belnap–Dunn’s relevance logic, \(\textsf{BD}\), was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. \(\textsf{BD}\) is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion \(\textsf{BD2}\) of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce (...) a four-valued expansion of BD called \({\textsf{BD}^\copyright }\), obtained by adding an unary connective \({\copyright }\,\ \) which is a consistency operator (in the sense of the Logics of Formal Inconsistency, _LFI_s). In addition, this operator is the unique one with the following features: it extends to \(\textsf{BD}\) the consistency operator of LFI1, a well-known three-valued _LFI_, still satisfying axiom _ciw_ (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, _LFU_s). Moreover, \({\textsf{BD}^\copyright }\) is maximal w.r.t. LFI1, and it is proved to be equivalent to BD2, up to signature. After presenting a natural Hilbert-style characterization of \({\textsf{BD}^\copyright }\) obtained by means of twist-structures semantics, we propose a first-order version of \({\textsf{BD}^\copyright }\) called \({\textsf{QBD}^\copyright }\), with semantics based on an appropriate notion of four-valued Tarskian-like structures called \(\textbf{4}\) -structures. We show that in \({\textsf{QBD}^\copyright }\), the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for \({\textsf{QBD}^\copyright }\) is presented, proving the corresponding soundness and completeness theorems. (shrink)

A logic of questions and answers exists within the logic of statements, if we make the following identifications (roughly): "Whether" questions are identified with true exclusive disjunctions, and "which" questions are identified with true existential quantifications. The question-and-answer process is interpreted as an information-matching game. The question mark is not needed except as a device of abbreviation. Complete and partial answers can be distinguished and various relations of relevance, independence, and resolution defined.

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

Deflationists about truth seek to undermine debates about the nature of truth by arguing that the truth predicate is merely a device that allows us to express a certain kind of generality. I argue that a parallel approach is available in the case of logical consequence. Just as deflationism about truth offers an alternative to accounts of truth's nature in terms of correspondence or justification, deflationism about consequence promises an alternative to model-theoretic or proof-theoretic accounts of consequence's nature. I then (...) argue, against considerations put forward by Field and Beall, that Curry's paradox no more rules out deflationism about consequence than the liar paradox rules out deflationism about truth. (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)

Many criticisms of epistemic logic have centered around its use of devices such as idealized knowers with logical omniscience and perfect self-knowledge. One possible response to such criticisms is to say that these idealizations are normative devices, and that epistemic logic tells us how agents ought to behave. This paper will take a different approach, treating epistemic logic as descriptive, and drawing the analogy between its formal models and idealized scientific models on that basis. Treating (...) it as descriptive matches the way in which some philosophers, including one of its founders, Jaako Hintikka, have thought about epistemic logic early in its history. Further, the analogy between the two fields will give us a way to defuse criticisms that see epistemic logic as unrealistic. For example, criticizing models of epistemic logic in which agents know all propositional tautologies as being unrealistic would be like criticizing frictionless planes in physics for being unrealistic. Each one would certainly be an unsuitable model for studying some kinds of phenomena, but is entirely appropriate for others. After outlining the analogy between epistemic and scientific models, we will discuss some ways in which idealizations are used by different research programs in epistemic logic. (shrink)

An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negation-inconsistent yet non-overcomplete; paracomplete logics are (...) negation-incomplete yet non-overcomplete. A paranormal logic is simply a logic that is both paraconsistent and paracomplete. -/- Despite being perfectly consistent and complete with respect to classical negation, nearly every normal modal logic, in its ordinary language and interpretation, admits to some latent paranormality: It is paracomplete with respect to a negation defined as an impossibility operator, and paraconsistent with respect to a negation defined as non-necessity. In fact, as it will be shown here, even in languages without a primitive classical negation, normal modal logics can often be alternatively characterized directly by way of their paranormal negations and related operators. So, instead of talking about ‘necessity’, ‘possibility’, and so on, modal logics could be seen just as devices tailored for the study of (modal) negation. This paper shows how and to what extent this alternative characterization of modal logics can be realized. (shrink)

In this sequel to "The logic and meaning of plurals. Part I", I continue to present an account of logic and language that acknowledges limitations of singular constructions of natural languages and recognizes plural constructions as their peers. To this end, I present a non-reductive account of plural constructions that results from the conception of plurals as devices for talking about the many. In this paper, I give an informal semantics of plurals, formulate a formal characterization of (...) truth for the regimented languages that results from augmenting elementary languages with refinements of basic plural constructions of natural languages, and account for the logic of plural constructions by characterizing the logic of those regimented languages. (shrink)

The paper discusses some logical problems concerning analogy. The traditional understanding of analogy as _proportion_ (proportion) is inadequate, at least if proportionality is taken in mathematical sense. This situation is clear if we considered various special cases of analogy for instance _analogia legis_ and _analogia juris._ Since analogy assumes a similarity of analogata (items being or investigated) as analogical, a general analysis of analogical relation must begin with the concept of similarity. It can be defined as possessing a common property. (...) This idea is formalized by devices borrowed from logic and set theory. (shrink)

ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles (...) of propositional logic; 4. Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)

The logic of academic writing is the argumentative strategy on which our papers, our sections, and our paragraphs are based. It is a strategy, as it is a plan that connects different steps and has a specific goal, namely convincing the audience of an original and important idea. And it is argumentative, for two reasons. First, we can defend our idea and we can convince our audience only through arguments, which only in very few disciplines are formal deductions. In (...) most cases, the arguments that we use are based on premises accepted by a community and the conclusions are drawn from principles that in the ancient dialectics were called “maxims,” principles shared by everyone. Second, a paper is a dialogue between the author and his or her readers. An idea can be considered as interesting and worth reading only when it addresses a topic that is perceived as important by the readers and tackles a problem that is open and needs to be solved. Our arguments are acceptable when they start from the premises of our community of readers, avoiding repeating what is obvious for them or taking for granted what is obscure or unknown to them. In this book, we present the argumentative approach to academic writing that we used in classroom. What characterizes it and makes it unique is the perspective that is adopted. We do not start from preexisting ideas that only need to be presented in a way that is suitable to an academic public. We intend to show that writing academically is a consequence of thinking academically, or rather “strategically.” We want to explain how the linguistic and presentational devices are the result of a much deeper plan underlying them, and how mastering the logic of a paper leads to understanding and even developing academic styles. The logic of academic writing is not aimed at teaching how to use language and write texts academically, but at enabling readers to create their own style based on their own argumentative strategies. (shrink)

The logical character of I is obligatorily deictic. Some variant devices have obligatory anaphoric reference, some are free, and some again have obligatory deictic reference. It is by singling out individuals made salient in the extra-sentential context that uses of this third sort refer. Substitution instances reveal and matching constraints confirm that each use of I must fall into this third category.

Wonder Woman wields a number of magical Amazonian devices: her bulletproof bracelets, her invisible plane, and most importantly for this chapter, her golden lasso of truth. The first thing to notice about the golden lasso is that evildoers bound by it are not only compelled to tell the truth if and when they answer questions, but also compelled to answer Wonder Woman's questions in the first place. The second thing to notice is that answering truthfully does not, in this (...) context, necessarily mean uttering a true sentence. Rather, if a person is tied up with the golden lasso, then they are compelled to answer questions with what they believe is the truth. The chapter shows the examples that contemplating Wonder Woman's golden lasso, and Bizarra's golden lasso, can provide us with a wealth of interesting and entertaining paradoxes and puzzles. (shrink)

Even in mathematical logic the proposition as an arbitrary technical device can be eliminated and replaced by the constative. The items of experience of the external world—objects, properties, relationships, and the like— are processed in consciousness on the basis of a situational demand that defines the situational context which in turn elicits a particular constatival attitude. The output of this mental processing is the appropriate pragmatic constatival response that generally is publicly communicated.

It has been claimed that counterpart theory cannot support a theory of actuality without rendering obviously invalid formulas valid or obviously valid formulas invalid. We argue that these claims are not based on logical flaws of counterpart theory itself, but point to the lack of appropriate devices in first-order logic for “remembering” the values of variables. We formulate a mildly dynamic version of first-order logic with appropriate memory devices and show how to base a version of (...) counterpart theory with actuality on this. This theory is, in special cases, equivalent to modal first-order logic with actuality, and apparently does not suffer from the logical flaws that have been mentioned in the literature. (shrink)

This book is a consideration of the differences between Aristotelian and symbolic logic (and the metaphysical assumptions they come packaged with) and the consequences these have for how we view the world. What Veatch propose is to try to exhibit with respect to several of the key logical tools and devices – propositions, inductive and deductive arguments, scientific and historical explanations, definitions, etc. – how these several instruments are differently conceived, both as to their natures and their functions, (...) in each of these respective logics. (shrink)

Consider those many-valued logic models in which the truth values are a lattice that supplies interpretations for the logical connectives of conjunction and disjunction, and which has a De Morgan involution supplying an interpretation for negation. Assume that the set of designated truth values is a prime filter in the lattice. Each of these structures determines a simple many-valued logic. We show that there is a single Smullyan-style signed tableau system appropriate for all of the logics these structures (...) determine. Differences between the logics are confined entirely to tableau branch closure rules. Completeness, soundness, and interpolation can be proved in a uniform way for all cases. Since branch closure rules have a limited number of variations, in fact all the semantic structures determine just four different logics, all well-known ones. Asymmetric logics such as strict/tolerant, ST, also share all the same tableau rules, but differ in what constitutes an initial tableau. It is also possible to capture the notion of antivalidity using the same set of tableau rules. Thus a simple set of tableau rules serves as a unifying and classifying device for a natural and simple family of many-valued logics. (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)

Tense logic is a branch of contemporary logic which includes formal devices that allow us to deal with the temporal relations between propositions. The aim of our paper is threefold: 1) to reveal how Aristotelian philosophical ideas about time, truth, possibility and necessity were reinterpreted by the founder of contemporay tense logic Arthur Prior; 2) to discuss what novel solutions to the classical problem of future contingents are available using Priorean invention; 3) to describe how the (...) tools of tense logic have transcended their original theoretical purposes. (shrink)

This article disrupts the logic of the “just-a-tool” argument, a powerful rhetorical device commonly offered as a rationale for using computers in education (and health care and other areas of society). Although this argument is articulated in many ways, its essence is the contention that computers are merely instructional tools, like blackboards or pencils, that can be used to enhance learning and therefore should be used in classrooms. The just-a-tool argument is difficult to challenge because it automatically constructs counterarguments (...) as illogical; they necessarily become arguments against using technology to improve the human condition. However, an analysis of the just-a-tool argument reveals that far from being logical and unassailable, it is both invalid and unsound. This “techno-illogic,” as the author calls it, arises when wisdom is subjugated to the dictates of technological “rationality,” and it is something that people must learn to recognize and defend against. (shrink)

Kaplan (1989a) insists that natural languages do not contain displacing devices that operate on character—such displacing devices are called monsters. This thesis has recently faced various empirical challenges (e.g., Schlenker 2003; Anand and Nevins 2004). In this note, the thesis is challenged on grounds of a more theoretical nature. It is argued that the standard compositional semantics of variable binding employs monstrous operations. As a dramatic first example, Kaplan’s formal language, the Logic of Demonstratives, is shown to (...) contain monsters. For similar reasons, the orthodox lambda-calculus-based semantics for variable binding is argued to be monstrous. This technical point promises to provide some far-reaching implications for our understanding of semantic theory and content. The theoretical upshot of the discussion is at least threefold: (i) the Kaplanian thesis that “directly referential” terms are not shiftable/bindable is unmotivated, (ii) since monsters operate on something distinct from the assertoric content of their operands, we must distinguish ingredient sense from assertoric content (cf. Dummett 1973; Evans 1979; Stanley 1997), and (iii) since the case of variable binding provides a paradigm of semantic shift that differs from the other types, it is plausible to think that indexicals—which are standardly treated by means of the assignment function—might undergo the same kind of shift. (shrink)

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau (...) proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area. (shrink)

This book is a consideration of the differences between Aristotelian and symbolic logic and the consequences these have for how we view the world. What Veatch propose is to try to exhibit with respect to several of the key logical tools and devices propositions, inductive and deductive arguments, scientific and historical explanations, definitions, etc. how these several instruments are differently conceived, both as to their natures and their functions, in each of these respective logics.

In a number of publications A.N. Prior considered the use of what he called ‘metric tense logic’. This is a tense logic in which the past and future operators P and F have an index representing a temporal distance, so that Pnα means that α was true n -much ago, and Fn α means that α will be true n -much hence. The paper investigates the use of metric predicate tense logic in formalising phenomena ormally treated by (...) such devices as multiple indexing or quantification over times. (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)

Shapiro (Philos Q 61:320–342, 2011) argues that, if we are deflationists about truth, we should be deflationists about logical consequence. Like the truth predicate, he claims, the logical consequence predicate is merely a device of generalisation and more substantial characterisation, e.g. proof- or model-theoretic, is mistaken. I reject his analogy between truth and logical consequence and argue that, by appreciating how the logical consequence predicate is used as well as the goals of proof theory and model theory, we can be (...) deflationists about truth but not logical consequence. (shrink)