Theory of Mind (ToM), the cognitive capacity to attribute internal mental states to oneself and others, is a crucial component of social skills. Its formal study has become important, witness recent research on reasoning and information update by intelligent agents, and some proposals for its formal modelling have put forward settings based on Epistemic Logic (EL). Still, due to intrinsic idealisations, it is questionable whether EL can be used to model the high-order cognition of ‘real’ agents. This manuscript proposes (...) a framework that takes visibility, memory, perspective and communication as the main factors underpinning mental attributions. This is more in-line with findings in cognitive science and allows us to model well-known False-Belief Tasks that are typically used in testing people's ToM. We discuss some of the framework's technical features, arguing why it does justice to empirical observations. (shrink)

With the same intellectual goals as the first edition, this innovative introductory logic textbook explores the relationship between natural language and logic, motivating the student to acquire skills and techniques of formal logic. This new and revised edition includes substantial additions which make the text even more useful to students and instructors alike. Central to these changes is an Appendix, 'How to Learn Logic', which takes the student through fourteen compact and sharply directed lessons with (...) exercises and answers. (shrink)

A protean look at the science establishment-as well as the personalities behind the scenes-in such fields as behavioral psychology, linguistics, and economics.

"With the same intellectual goals as the first edition, this innovative introductory logic textbook explores the relationship between natural language and logic, motivating the student to acquire skills and techniques of formal logic. This new and revised edition includes substantial additions which make the text even more useful to students and instructors alike. Central to these changes is an Appendix, 'How to Learn Logic', which takes the student through fourteen compact and sharply directed lessons with (...) exercises and answers"--Google books viewed Feb. 19, 2021. (shrink)

The two-volume set LNCS 1842/1843 constitutes the refereed proceedings of the 6th European Conference on Computer Vision, ECCV 2000, held in Dublin, Ireland in June/July 2000. The 116 revised full papers presented were carefully selected from a total of 266 submissions. The two volumes offer topical sections on recognitions and modelling; stereoscopic vision; texture and shading; shape; structure from motion; image features; active, real-time, and robot vision; segmentation and grouping; vision systems engineering and evaluation; calibration; medical image understanding; and visual (...) motion. (shrink)

SummaryCarnap tried to overcome metaphysics through a distinction between empirical and conceptual truths. The distinction has since been challenged, but not on the basis of a systematic logical analysis of language. It is suggested here that the logical theory of identifiability based on the author's interrogative model will provide the tools for such a systematic analysis. As an example of what the model can do, a criticism is offered of Quine's and Chomsky's implicit assumption that language learning is (...) based on atomistic “answers” .RésuméCarnap a essayé de dépasser la métaphysique par une distinction entre des vérités empiriques et des vérités conceptuelles. Cette distinction a ensuite été contestée, mais non sur la base ?une analyse systematique du langage. On suggére ici que la théorie logique de ľidentifiabilité basée sur le modéle interrogatif de ľauteur fournira les outils ?une telle analyse systématique. Comme exemple de ce que peut faire ce modéle, on présente une critique de la supposition implicite de Quine et de Chomsky selon laquelle ľapprentissage du langage repose sur des ≫réponses≪ atomiques .ZusammenfassungCarnap versuchte Metaphysik durch eine Unterscheidung zwischen empirischen und konzep‐tuellen Wahrheiten zu iiberwinden. Seither wurde die Unterscheidung immer wieder angegriffen, jedoch nicht auf der Basis einer systematischen logischen Analyse der Sprache. In vorliegendem Artikel wird vorgeschlagen, dass eine logische Theorie der Identifizierbarkeit, welche auf dem Frage‐Antwort‐Modell des Autors grilndet, die Instrumente fur eine solche logische Analyse bereitstellt. Als Beispiel dafiir, was das Modell leisten kann, dient eine Kritik an Quines und Chomskys impliziter Voraussetzung, dass das Erlernen von Sprache auf atomaren ≫Antworten≪ aufbaut. (shrink)

This has been made available gratis by the publisher. -/- This piece gives the raison d'etre for the development of the converters mentioned in the title. Three reasons are given, one linguistic, one philosophical, and one practical. It is suggested that at least /two/ independent converters are needed. -/- This piece ties together the extended paper "Abstracts from Logical Form I/II," and the short piece providing the comprehensive theory alluded to in the abstract of that extended paper in "Pragmatics, Montague, (...) and 'Abstracts from Logical Form'" by motivating the entire project from beginning to end. (shrink)

The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: (...) token-level and type-level. As such, it takes into account the dual – token and type – ontological character of linguistic entities. The basic notions of the theory: language communication, meaning and interpretation are introduced on the second, type-level of formalization, and their required prior formalization of some of the notions introduced on the first, token-level; among others, the notion of an act of communication. Owing to the theory, it is possible to address the problems of adequacy of both empirical acts of communication and of language communication in general. All the conditions of adequacy of communication discussed in the presented paper, are valid for one-way communication (sender-recipient); nevertheless, they can also apply to the reverse direction of language communication (recipient-sender). Therefore, they concern the problem of two-way understanding in language communication. (shrink)

Between the end of the nineteenth century and the first twenty years of the twentieth century, stimulated by the impetuous development of logical studies and taking inspiration from Leibniz's idea of a characteristica universalis, the three founding fathers of the analytic tradition in philosophy, i.e., Frege, Russell, and Wittgenstein, started to talk of a logically perfect language, as opposed to natural languages, all feeling that the latter were inadequate to their (different) philosophical purposes. In the second half of the (...) twentieth century, however, the very idea of a logically perfect language ceased for various reasons to seem attractive to analytic philosophers. Thus, it might appear that this idea could be classified together with the many other bizarre ideas that from time to time surface in the history of philosophy-an idea that perhaps had a beneficial impact on the development of twentieth century logic, but which can now be put to rest. In this brief note, I contend that this conclusion may be too hasty. Indeed, if a well-known empirical hypothesis advanced in 1975 by Jerry Fodor turns out to be true, then there is a logically perfect language, after all. More precisely, I argue that, if it exists, Fodor's language of thought possesses the main characteristics a logically perfect language is required to have. (shrink)

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the (...) universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language. (shrink)

In this paper, I fill out the received view of logical positivism within professional philosophy against which Thomas Kuhn’s Structure appeared. To do this, I look at the methodological dimensions of ordinary language criticisms of logical positivist analysis from P.F. Strawson and J.L. Austin. While no one would confuse Strawson and Austin for philosophers of science, I look to their criticisms given the general porousness of sub-disciplinary boundaries in mid-20th century philosophy, the prominence of ordinary language philosophy in (...) the 1950s, and also because Kuhn was likely aware of their criticisms via Stanley Cavell. Their main charge is that the positivists base their ideal language analysis on an impoverished, yet overreaching account of meaning because they ignore ordinary linguistic practices. I then show how these methodological criticisms run parallel to points Kuhn makes against logical positivist approaches to the study of scientific knowledge. The parallels I draw emphasize methodological, rather than doctrinal dissatisfaction in mid-20th century philosophy with logical positivism’s perceived neglect of linguistic and scientific practices. An insight shared by these parallel criticisms is that logical positivists cannot declare linguistic and scientific practices irrelevant to their philosophical aims without an antecedent investigation of the practices under question. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations (...) about the properties of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

Arguments from the Logical Problem of Language Acquisition suggest that since linguistic experience provides few negative data that would falsify overgeneral grammatical hypotheses, innate knowledge of the principles of Universal Grammar must constrain learners hypothesis formulation. Although this argument indicates a need for domain-specific constraints, it does not support their innateness. Learning from mostly positive data proceeds unproblematically in virtually all domains. Since not every domain can plausibly be accorded its own special faculty, the probative value of the argument (...) in the linguistic case is dubious. In ignoring the holistic and probablistic nature of theory construction, the argument underestimates the extent to which positive data can supply negative evidence and hence overestimates the intractability of language learning in the absence of a dedicated faculty. While nativism about language remains compelling, the alleged Logical Problem contributes nothing to its plausibility and the emphasis on the Problem in the recent acquisition literature has been a mistake. (shrink)

This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics of importance in applications of logic in (...) computer science. The Language of First-order Logic contains hundreds of problems and exercises for the user to work through. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

In this paper is constructed an analogue of the square of opposition for propositions about relations between two non-empty sets. Unlike the classical square of opposition, the proposed scheme uses all logically possible syllogistic constants, formulated in V.I. Markin’s universal language for traditional positive syllogistic theories. This scheme can be called “Logical lantern”. The basic constants of this language are representing the five basic relations between two non-empty sets: equity, strict inclusion, reversed strict inclusion, intersection and exclusion (considered (...) are only the relations between sets, but not the relations of the sets to the universe). The other relations between sets are combinations (disjunctions) of the basic ones. There are 32 constants and 32 respective propositions, and the proposed diagram expresses and/or allows to deduce the logical relations among those propositions. The constructed scheme, making it possible to visually see the logical relations among propositions about relations between two non-empty sets, allows us to suggest considering logical relations not discussed previously: many-place Aristotelian-like logical relations among propositions: exhaustive _n_-place contrariety and exhaustive _n_-place subcontrariety (_n_ is a natural number, $$n>2$$). (shrink)

Is there a relation of logical consequence in natural language? Logicality, in the philosophical literature, has been conceived of as a restrictive phenomenon that is at odds with the unbridled richness and complexity of natural language. This article claims that there is a relation of logical consequence in natural language, and moreover, that it is the subject matter of the bulk of current theories of formal semantics. I employ the framework of _semantic constraints_ (Sagi in Log Anal (...) 57(227):259–276, 2014), which generalizes the Tarskian definition of logical consequence. I apply the widely accepted criterion of invariance under isomorphisms (Sher in J. Symb Log 61(2):653–686, 1996) generalized to the framework of semantic constraints (Sagi in Bull Symb Log 28(1):104–132, 2022b), combined with a theory of Glanzberg (in Metasemantics: new essays on the foundations of meaning, 2014) to delineate the relation of logical consequence in natural language. (shrink)

Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, (...) we argue that it is possible to capture the naive concepts of truth and validity without losing any of the valid inferences of classical logic. This approach is called the Buenos Aires plan. We present the logic of truth and validity, $$\mathsf {STTV}_{\omega }$$ based on the hierarchy of logics $$\textsf{ST}_{\omega }$$, whose validity predicate has the same semantic conditions as the material conditional. We argue that $$\mathsf {STTV}_{\omega }$$ is capable of blocking the problematic results while keeping the deductive power of classical logic as much as possible and offering an adequate semantic theory. On the other hand, one could object that it is not possible to reason with $$\mathsf {STTV}_{\omega }$$ because it is not closed under its logical principles. We respond to this objection and argue that the local characterization of validity shows how to make inferences using the logic $$\textsf{ST}_{\omega }$$. (shrink)

The Thousands of Problems for Theorem Provers (TPTP) World is a well-established infrastructure that supports research, development and deployment of automated theorem proving systems. This paper provides an overview of the logic languages of the TPTP World, from classical first-order form (FOF), through typed FOF, up to typed higher-order form, and beyond to non-classical forms. The logic languages are described in a non-technical way and are illustrated with examples using the TPTP language.

A discussion of the relation of dialectical transitions in Hegel's speculative logic to changes in categories and grammar in the empirical historical languages.

Natural language is full of patterns that appear to fit with general linguistic rules but are ungrammatical. There has been much debate over how children acquire these “linguistic restrictions,” and whether innate language knowledge is needed. Recently, it has been shown that restrictions in language can be learned asymptotically via probabilistic inference using the minimum description length (MDL) principle. Here, we extend the MDL approach to give a simple and practical methodology for estimating how much linguistic data (...) are required to learn a particular linguistic restriction. Our method provides a new research tool, allowing arguments about natural language learnability to be made explicit and quantified for the first time. We apply this method to a range of classic puzzles in language acquisition. We find some linguistic rules appear easily statistically learnable from language experience only, whereas others appear to require additional learning mechanisms (e.g., additional cues or innate constraints). (shrink)

A common assumption among philosophers is that every language has at most denumerably many expressions. This assumption plays a prominent role in many philosophical arguments. Recently formal systems with indenumerably many elements have been developed. These systems are similar to the more familiar denumerable first-order languages. This similarity makes it appear that the assumption is false. We argue that the assumption is true.

By a fragment of a natural language, we understand a collection of sentences forming a naturally delineated subset of that language and equipped with a semantics commanding the general assent of its native speakers. By the semantic complexity of such a fragment, we understand the computational complexity of deciding whether any given set of sentences in that fragment represents a logically possible situation. In earlier papers by the first author, the semantic complexity of various fragments of English involving (...) at most transitive verbs was investigated. The present paper considers various fragments of English involving ditransitive verbs and determines their semantic complexity. (shrink)

It is widely assumed that human learning and the structure of human languages are intimately related. This relationship is frequently suggested to derive from a language-specific biological endowment, which encodes universal, but communicatively arbitrary, principles of language structure (a Universal Grammar or UG). How might such a UG have evolved? We argue that UG could not have arisen either by biological adaptation or non-adaptationist genetic processes, resulting in a logical problem of language evolution. Specifically, as the processes (...) of language change are much more rapid than processes of genetic change, language constitutes a both over time and across different human populations, and, hence, cannot provide a stable environment to which language genes could have adapted. We conclude that a biologically determined UG is not evolutionarily viable. Instead, the original motivation for UG arises because language has been shaped to fit the human brain, rather than vice versa. Following Darwin, we view language itself as a complex and interdependent which evolves under selectional pressures from human learning and processing mechanisms. That is, languages themselves are shaped by severe selectional pressure from each generation of language users and learners. This suggests that apparently arbitrary aspects of linguistic structure may result from general learning and processing biases deriving from the structure of thought processes, perceptuo-motor factors, cognitive limitations, and pragmatics. (shrink)

This book is intended, along with the computer program, to introduce the user to some of the most important concepts and tools of logic, including learning a new computer language.

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted (...) on knowledge representation came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

This text offers an innovative approach to the teaching of logic, which is rigorous but entirely non-symbolic. By introducing students to deductive inferences in natural language, the book breaks new ground pedagogically. Cannon focuses on such topics as using a tableaux technique to assess inconsistency; using generative grammar; employing logical analyses of sentences; and dealing with quantifier expressions and syllogisms. An appendix covers truth-functional logic.

What is the relationship between syntax and logic? Is the former autonomous and independent of the latter? If it is not, what kind of logic syntax interfaces with? These questions are not unheard of, having been around for quite some time, along with different answers. In the generative tradition, for example, logic cannot provide a model for linguistic behaviour. Conversely, according to the logicality of language hypothesis logical considerations are relevant to syntactic formation and explain the (...) ungrammaticality of certain constructions. This note offers a brief overview of the logicality of language hypothesis and proposes new evidence that seems to indicate that accepting the said hypothesis does not necessarily require assuming a “natural” logic. (shrink)

An original and comprehensive study of the history, symbols and languages of the common law tradition.

Recent developments in game theory have shown that the mathematical models of action so widely admired in the study of economics are in fact only particular instantiations of a more general theoretical framework. In the same way that Aristotelian logic was ‘translated’ into the more general and expressive language of predicate logic, the basic action theoretic underpinnings of modern economics have now been articulated within the more comprehensive language of game theory. But precisely because of its (...) greater generality and expressive power, game theory has again revived the temptation to apply formal models of action to every domain of social life. This movement has been fuelled by some notable successes. Game theory has provided useful insights into the logic of collective action in the theory of public goods, and strategic models of voting have illustrated important aspects of institutional decision-making. But this extension of formal models into every area of social interaction has also encountered significant difficulties, despite the fact that contemporary decision theory has weakened its basic assumptions to the point where it teeters constantly on the brink of vacuity. (shrink)

It is now a quarter of a century ago that Wolfgang Stegmfiller wrote his monograph 'Das Wahrheitsproblem und die Idee der Semantik' (1957) which dealt with Tarski's and Carnap's foundational work in the field of semantics. While this book is about the definition of the basic semantical concepts in artificial formal languages there is an article written a year earlier (1956) in which Stegmfiller addresses himself specifically to the relation between logic and natural language. Here he gives a (...) logical analysis of the standard structural expressions in language that are still of primary concern for current semantics: quantifiers, pronouns, articles, etc. The motives for such an analysis at that time were mainly philosophical: the aim was to expose the misconceptions and pitfalls of traditional philosophy arising from the disregard of various systematic semantic ambiguities in everyday language. Or as Stegmfiller puts it: Ober sie [i.e. einige nicht triviale F~ille von Vagheit in der A11tagssprache] Klarheit zu gewinnen, ist schon deshalb yon auBerordentlicher Bedeutung, weil Unkenntnis fiber sie zu schwersten philosophischen Verirrungen ffihren kann, namlich entweder der Unterlassung von berechtigten Fragestellungen, oder, was weit h~ufiger vorgekommen ist, der Formulierung yon falsch gestellten Fragen, denen gegenfiber man dann nur die Wahl hat, entweder fiberhaupt keine oder nur sinnlose Antworten zu geben. So logic was to regiment language. Sentences involving the copula and the above-mentioned structure words are assigned one or more unambiguous formal representations in an already interpreted formal language, usually the first order predicate calculus. The natural language expressions thereby receive a precise meaning, since the semantics of the formal language has been specified in advance, as is always assumed. This procedure has, of course, always been common practice, witness the typical syntactical argot of the mathematicians. It carries, however, an obvious methodological presupposition: it is the idea that the logic of our choice to which the formal representations belong is in some sense an adequate framework to express our thoughts. (shrink)

The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.

Christiansen & Chater (C&C) argue persuasively that Universal Grammar (UG) could not have arisen through evolutionary processes. I provide additional suggestions to strengthen the argument against UG evolution. Further, I suggest that C&C's solution to the logical problem of language evolution faces several problems. Widening the focus to mechanisms of general cognition and inclusion of animal communication research might overcome these problems.

There are two kinds of logical errors. Either you use a non-valid scheme of an argument or your analysis of the premises is mistaken. No extensional or intensional theory can solve the following problem connected with analyzing NL expressions: The Leibniz principle of substituting identical for identical contains the condition a = b. Extensional as well as intensional systems (at least if intensions are defined as functions from possible worlds) analyzing this condition as formulated in natural language are happy (...) if a is contingently or logically or analytically equivalent with b, while this may be insufficient for applying Leibniz. Examples are adduced that show the absurdity of applying Leibniz in such cases. A following remedy is thinkable: one could try to formulate some axioms or perhaps meta-formulated rules that would eliminate the critical cases. This would mean however that a new theory came into being just to shield us from incorrectly applying Leibniz rule. Instead a procedural analysis of NL expressions is offered that makes it possible to unambiguously determine their sense and so their denotation in such a way that the above mentioned critical cases cannot set in. It is shown that the hyperintensional system defined by Transparent intensional logic is able to generally solve the main problems connected with using NL expressions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Diacritics 29.3 (1999) 22-39 [Access article in PDF] Review Article Language, or No Language Daniel Heller-Roazen Werner Hamacher. Maser: Bemerkungen im Hinblick auf Hinrich Weidemanns Bilder. Berlin: Gallerie Max Hetzler, 1998. All translations from this text are my own. [M] ________. pleroma--Reading in Hegel. Trans. Nicholas Walker and Simon Jarvis. Stanford: Stanford UP, 1998. [pl] ________. Premises: Essays on Philosophy and Literature from Kant to Celan. Trans. (...) Peter Fenves. Cambridge, MA: Harvard UP, 1996. [P] Trans. of Entferntes Verstehen: Studien zu Philosophie und Literatur von Kant bis Celan. Frankfurt am Main: Suhrkamp, 1998. [EV] 1. The Rest of Language When Aristotle, at the opening of his treatise on interpretation, defines the nature and function of language, he does so by referring "the things in the voice [ta en tei phonei]" to impressions on the soul (pathe¯mata), which, in turn, he refers to "things [pragmata]" [De interpretatione 16a4 ff.]. Aristotle's text establishes, in this way, that vocal utterances are signs of things. The philosophical significance of this gesture could not be more decisive. Once De interpretatione determines the canonical form of the statement as a "meaningful sentence [logos se¯mantikos]" and, more precisely, as a "proposition [logos apophantikos]" bearing truth or falsity, and once it asserts that truth and falsity reside in the composition (synthesis) of elements [16a10-15], 1 the consequence is inevitable: the paradigmatic form of true speech must be that of the "statement of one thing concerning another thing [legein ti kata tinos]" [17a25]. 2 Here it matters little whether the relation of speech to things is grasped as one of imitation or constitution, reproduction or production; it matters little, moreover, whether the things at issue--that which language means--are understood as sensible objects or supersensuous entities, material beings or logical idealities. In every utterance, speech, by virtue of its very form, is necessarily capable of being dissolved into those things of which it speaks. Indeed, the Aristotelian principle of analysis (literally, "loosening up") demands this [End Page 22] dissolution as the end toward which all speech, insofar as it is both assertive and predicative, ultimately tends. Language is thus posited only in order to be effaced; its specific constituents are identified only to be returned, in the end, to the world of things. When Augustine writes, in a lapidary formula at the start of his De doctrina christiana, that "things are learned by signs [res per signa discuntur]" [1.2.2.20], he simply summarizes what is already stated in the Aristotelian locus classicus: words, the elements of language, function in the service of things; when words show what exists, their task is accomplished.Werner Hamacher's works constitute perhaps the most powerful contemporary attempt to delineate and interrogate this aporetic structure, by which language, in its classical philosophical and theoretical elaboration, is simultaneously constructed and effaced, identified as such and destituted of all propriety. The implications of this structure, which are both logical and metaphysical, extend not only to the Aristotelian, but even to the most modern theories of language and its operation. "At the end of every semantic theory of language and its truth," Hamacher thus writes in Premises: Essays on Philosophy and Literature from Kant to Celan, "stands the aporetic verdict: language does not speak; it has nothing to say" [P 338; EV 325]. When language is determined by its "semantic and referential functions," we read, it follows that at "the end and thus the site of its destination, it no longer means anything and no longer refers to anything" [P 338; EV 325]. If Hamacher's texts often take as their point of departure contemporary doctrines of literary production and language, it is because, in the field of literary studies, the invocation of the semantic determination of language thus leads thought to eliminate the very element that might have been its subject of examination: language. The one discipline that might have resisted the apophantic dissolution of language proves itself not to be, as the German term has it, a "science of literature [Literaturwissenschaft]" but, rather, "more or less clandestinely a science against literature" [P... (shrink)

Similar to learning the grammatical structures of a foreign language, one problem that students face in learning logic is that many of the operations and concepts they need to learn require more practice to fully master. To solve this problem, the author proposes the use of “repetitive exercises”, exercises that aim to develop a familiarity with a concept or operation through repeatedly focusing on that concept or operation. According to the author, the best method for implementing these exercises (...) is the use of on-line teaching environments, specifically WebCT, which allows instructors to develop exercises that they deem appropriate and allows for mechanical grading. Finally, the paper provides an overview of why WebCT is preferable to the use of Blackboard, and notes that the major drawback to the online solution is its poor support for the symbols used in propositional and predicate logic. (shrink)

This book's purpose is to detail the anatomy of linguistic meaning, showing how the various elements of meaning fit together. part 1 defends the truth-theoretic conception of semantics, taking the notion of a sentence's truth-condition as the core of meaning. part 2 explores the complex interconnections between syntax, semantics and various pragmatic notions and attempts to reconcile the apparent differences between natural and formal language. part 3 examines the relation between semantics and psychology.