Au cours de la période 1740-1830, l’art classique de la rhétorique était encore largement lié à la musique. Les théoriciens du xviiie siècle ont mis l’accent sur les liens cruciaux entre la rhétorique et les arts musicaux. Chaque mode d’expression se nourrit de l’autre, avec pour objectifs communs la volonté de s’exprimer, de communiquer et de persuader. La rhétorique a guidé les compositeurs et les interprètes qui cherchaient à capter le coeur et l’esprit des auditeurs par le biais de l’expression (...) artistique. Cependant, ces principes méritent sans doute plus d’attention dans l’éducation musicale moderne et dans l›interprétation de ce répertoire. Cet article présente quelques principes de base d’une approche rhétorique de la musique du xviiie siècle à l’intention des interprètes modernes dont le travail se veut historiquement informé. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

the world of phenomena is immensely large this means we can perceive only part of the world. We see, feel and hear parts of reality, not the whole of it, and it seems that a sentence containing a verb of perception like 'John sees a house burn' is most naturally treated as saying that the subject sees an incomplete world in which the embedded sentence is true (see Barwise (1981) for this analysis). But if we want to analyse perception verbs (...) thus, we must introduce some form of incompleteness into our formal system, the.. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the (...) basic data structures, pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

Verbs such as know, believe, hope, fear, regret and desire are commonly taken to express an attitude that one may bear towards a proposition and are therefore called verbs of propositional attitude. Thus in (1) below the agent Cathy is reported to have a certain attitude.

This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language.

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...) the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

miembro del Future of Humanity Institute de la Universidad de Oxford y experto en mejoramiento humano y transhumanismo, sobre cuestiones centrales de su labor investigadora.PALABRAS CLAVETRANSHUMANISMO, MEJORAMIENTO HUMANO, ANDERS SANDBERG, BIOTECNOLOGÍAABSTRACTInterview with Anders Sandberg, member of the Future of Humanity Institute at Oxford University and expert in human enhancement and transhumanism, about central topics in his works.KEYWORDSTRANSHUMANISM, HUMAN ENHANCEMENT, ANDERS SANDBERG,BIOTECHNOLOGY.

A wide range of gene knockout experiments shows that functional stability is an important feature of biological systems. On this backdrop, we present an argument for higher‐level causation based on counterfactual dependence. Furthermore, we sketch a metaphysical picture providing resources to explain the metaphysical nature of functional stability, higher‐level causation, and the relevant notion of levels. Our account aims to clarify the role empirical results and philosophical assumptions should play in debates about reductionism and higher‐level causation. It thereby contributes to (...) the development of a philosophical foundation for systems biology. †To contact the authors, please write to: CSMN/IFIKK, University of Oslo, Box 1020 Blindern, N‐0315, Oslo, Norway; e‐mail: anders.strand@ifikk.uio.no , gry.oftedal@ifikk.uio.no. (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic. This provides a synthesis between Richard Montague's theory of natural language semantics and the work by Kamp and Heim.

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

Berg, J. Buñuels dagdröm.--Bergström, L. Pessimismens konsekvenser.--Furberg, M. Möjliga teser hos Johannes Climacus.--Halldén, S. Teckenrelationen och språkreglernas juridik.--Hedenius, I. Ett argument mot den rättsfilosofiska domstolsrealismen.--Mates, B. Om Platons argument "den tredje människan."--Marc-Wogau, K. Kant om lögnen.--Næss, A. Om filosofiske projekter som forener empirisk semantikk og metafysisk spekulasjon.--Ofstad, H. Får nazister lettere magesår enn humanister?--Prawitz, D. Om moraliska och logiska satsers sanning.--Stenius, E. Om Descartes' psykofysiska modell.--Tranøy, K. E. Filosofenes etiske ansvar.--Wright, G. H. von. En filosof ser på filosofien.

This article offers a discussion of the connection between technology and values and, specifically, I take a closer look at ethically sound design. In order to bring the discussion into a concrete context, the theory of Value Sensitive Design (VSD) will be the focus point. To illustrate my argument concerning design ethics, the discussion involves a case study of an augmented window, designed by the VSD Research Lab, which has turned out to be a potentially surveillance-enabling technology. I call attention (...) to a “positivist problem” that has to do with the connection between the design context and the use context, which VSD seems to presuppose, and I argue that it is necessary to clearly distinguish between the two, since the designers’ intentions do not always correspond with the users’ practice; in fact, the relation between design and use is very complex and principally unpredictable. Thus, a design theory must accept that foresight is limited to anticipation rather than prediction. To overcome the positivist problem, I suggest a phenomenological approach to technology inspired by Don Ihde’s concept of multistability. This argument, which is general in nature and thus applies to any theory of design ethics, is intended as a constructive criticism, which can hopefully contribute to the further development of design ethics. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

This paper develops a semantics for a fragment of English that is based on the idea of `impossible possible worlds'. This idea has earlier been formulated by authors such as Montague, Cresswell, Hintikka, and Rantala, but the present set-up shows how it can be formalized in a completely unproblematic logic---the ordinary classical theory of types. The theory is put to use in an account of propositional attitudes that is `hyperfine-grained', i.e. that does not suffer from the well-known problems involved with (...) replacing expressions by logical equivalents. (shrink)

Since the famous debate between Russell (Mind 14: 479–493, 1905, Mind 66: 385–389, 1957) and Strawson (Mind 59: 320–344, 1950; Introduction to logical theory, 1952; Theoria, 30: 96–118, 1964) linguistic intuitions about truth values have been considered notoriously unreliable as a guide to the semantics of definite descriptions. As a result, most existing semantic analyses of definites leave a large number of intuitions unexplained. In this paper, I explore the nature of the relationship between truth value intuitions and non-referring definites. (...) Inspired by comments in Strawson (Introduction to logical theory, 1964), I argue that given certain systematic considerations, one can provide a structured explanation of conflicting intuitions. I show that the intuitions of falsity, which proponents of a Russellian analysis often appeal to, result from evaluating sentences in relation to specific questions in context. This is shown by developing a method for predicting when sentences containing non-referring definites elicit intuitions of falsity. My proposed analysis draws importantly on Roberts (in: Yoon & Kathol (eds.) OSU working papers in Linguistics: vol. 49: Papers in Semantics 1998; in: Horn & Ward (eds.) Handbook of pragmatics, 2004) and recent research in the semantics and pragmatics of focus. (shrink)

Anders, Rudi The articles in AH I like best are the ones with which I disagree to a greater or lesser degree, because they force me to re-think and clarify my position. One such article was by John Perkins, titled 'Let's admit that Islam is a problem'. Although the article is very well-written, and I admire John's fact-finding regarding Islam, I think he misses the elephant in the room. Namely, Christian Europe and North America killed far more people than (...) Islam ever did. Buddhist and Shinto Japan did shocking things in the last world war. Jews in Israel ignore the rights of Palestinians. The atheist communist Soviet Union was as bad as Christian Czarist Russia. There is gross injustice in Hindu India. I don't think Islam should be singled out as a problem. I agree that religion can be a problem but the many atheist dictators, for example: Napoleon Bonaparte, Mussolini and Stalin, are also a problem, so atheism as such is not a guarantee of justice. (shrink)

Anders, Rudi Sometimes it is nice to do something totally unconnected to the usual bustle of life, such as a walk in the park. This time I visit a German Lutheran church in Melbourne; I have never entered it before. The exterior and interior consistently retain the traditional design. The bluestone gives it a sense of permanence - timelessness. I rarely like modern churches; mixing modern and traditional never works for me. This church is not large and has an (...) intimate feel to it. The people are all smiles. I like people, regardless of their beliefs. Family groups look like they feel at home, and visitors like me are made welcome. I sit and admire the skill of the craftsmen who attended to every detail in the church. They didn't have the modern machines we take for granted. (shrink)

This book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed in language. Aimed at linguists, computer scientists, and logicians with an interest in the computation of meaning, this book focuses on two main topics in recent research in computational semantics. The first topic is the definition and use of underspecified semantic representations, i.e. formal structures that represent part of the meaning of a linguistic object while leaving other parts unspecified. The (...) second topic discussed is semantic annotation. Annotated corpora have become an indispensable resource both for linguists and for developers of language and speech technology, especially when used in combination with machine learning methods. The annotation in corpora has only marginally addressed semantic information, however, since semantic annotation methodologies are still in their infancy. This book discusses the development and application of such methodologies. (shrink)

In the twenty-second series of The Logic of Sense, Gilles Deleuze references a remarkable essay by Günther (Stern) Anders. Anders’ essay, translated here as ‘The Pathology of Freedom’, addresses the sickness and health of our negotiation with the negative anthropological condition of ‘not being cut out for the world’.

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...) object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so (...) that they can interleave interpretation and coindexing in DRT’s way. (shrink)

Hegel argues that Bildung (cultivation or education) involves an ability to reflect on one’s habitual beliefs in a detached, uncommitted way. According to Hegel, the educated (gebildete) individual is able toconsider a manifold of standpoints on a given issue through awareness of the historical and cultural variability of beliefs. Hans-Georg Gadamer invokes Hegel’s account of Bildung in arguing that historicalstudy permits current presuppositions (Vorurteile) to become reflected through the awareness of cognitive plurality and change that such study brings about. The (...) paper mainly tries to show three things: (i) that Hegel is a source of inspiration for Gadamer in this regard but that there are also important differences between their accounts of Bildung; (ii) that these accounts are not unambiguous; and (iii) that Gadamer, in particular, makes somewhat elusive claims on the power of Bildung. (shrink)

Anders, Rudi They dance in view, they dance in secret. And yet they dance together...

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

It has often been said that discourse ethics as developed by Jürgen Habermas can be understood as a dialogical continuation of the monological ethics developed by Immanuel Kant, as formulated in the categorical imperative in Grounding for the Metaphysics of Morals. Like Kant’s categorical imperative, Habermas’ principle of universalization specifies a rule for impartial testing of norms for their moral worthiness. This article will substantiate that discourse ethics develops a dialogical version of the categorical imperative, and will make this explicit. (...) This is done by presenting a new interpretation of the Kantian ethics. Renewing the traditional understanding, four instead of two or three formulations of the categorical imperative are identified. Finally it is shown how this interpretation relates to Jürgen Habermas’ discourse ethics. This analysis shows that one must specify which formulation of the categorical imperative one is talking about when discussing it. (shrink)

Anders, Rudi When I see a colourful sunset, my mind goes to a spectacular purple sunset I saw near the Mexican border many years ago. That memory stops me from being fully aware of the scene in front of me. No two sunsets are the same and my memory is stopping me from fully appreciating the spectacle before my eyes. Famous and spectacular places don't work for me because expectations and memories get in the way, but when I walk (...) alone in nature I find my mind stops chattering and I begin to effortlessly notice the shades of green in the foliage, the patterns in the bark on the trees and the sounds and fragrances. It sometimes feels as if am absorbed by the surroundings. When this happens I don't bother with the names of birds or flowers because even that distracts from direct experience. (shrink)

Anders, Rudi A Melbourne suburb A short speech Congratulations..

Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously has no (...) subjectpredicate form and in fact has no single constituent that corresponds to the verb phrase ‘exists’ in the surface sentence. ∃x∀y The importance of Russell’s analysis becomes clear when we consider ‘The king of France does not exist’. If this sentence would attribute non-existence to the king it should entail that there is someone who does not exist, just as ‘Mary doesn’t like bananas’ entails that there is someone who doesn’t like bananas. Thus the idea that all sentences have subject-predicate form has led some philosophers to the view that there are objects that lack existence. This embarrassing position can be avoided once Russell’s analysis is accepted: if ‘The king of France does not exist’ is formalised as the negation of formula, no unwanted consequences follow. (shrink)

New technologies and practices, such as drug testing, genetic testing, and electronic surveillance infringe upon the privacy of workers on workplaces. We argue that employees have a prima facie right to privacy, but this right can be overridden by competing moral principles that follow, explicitly or implicitly, from the contract of employment. We propose a set of criteria for when intrusions into an employee''s privacy are justified. Three types of justification are specified, namely those that refer to the employer''s interests, (...) to the interests of the employee her- or himself, and to the interests of third parties such as customers and fellow workers. For each of these three types, sub-criteria are proposed that can be used to determine whether a particular infringement into an employee''s privacy is morally justified or not. (shrink)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we propose to (...) tackle both syntactic and semantic underspecification using descriptions. (shrink)

In this paper it is shown how a formal theory of interpretation in Montague’s style can be reconciled with a view on meaning as a social construct. We sketch a formal theory in which agents can have their own theory of interpretation and in which groups can have common theories of interpretation. Frege solved the problem how different persons can have access to the same proposition by placing the proposition in a Platonic realm, independent from all language users but accessible (...) to all of them. Here we explore the alternative of letting meaning be socially constructed. The meaning of a sentence is accessible to each member of a linguistic community because the way the sentence is to be interpreted is common knowledge among the members of that community. Misunderstandings can arise when the semantic knowledge of two or more individuals is not completely in sync. (shrink)

Inference has long been a concern in epistemology, as an essential means by which we extend our knowledge and test our beliefs. Inference is also a key notion in influential psychological or philosophical accounts of mental capacities, from perception via utterance comprehension to problem-solving. Consciousness, on the other hand, has arguably been the defining interest of philosophy of mind over recent decades. Comparatively little attention, however, has been devoted to the significance of consciousness for the proper understanding of the nature (...) and role of inference. It is commonly suggested that inference may be either conscious or unconscious. Yet how unified are these various supposed instances of inference? Does either enjoy explanatory priority in relation to the other? In what ways or senses, can an inference be conscious, or fail to be conscious, and how does this matter? This book brings together original essays from established scholars and emerging theorists that illustrate how several current debates in epistemology, philosophy of psychology, and philosophy of mind can benefit from reflections on these and related questions about the significance of consciousness for inference. Contributors include: Kirk Ludwig and Wade Munroe; Michael Rescorla; Federico Bongiorno and Lisa Bortolotti; Berit Brogaard; Nicholas Allott; Jake Quilty-Dunn and Eric Mandelbaum; Corine Besson; Anders Nes; David Henderson, Terry Horgan, and Matjaž Potrč; Elijah Chudnoff; and Ram Neta. (shrink)

Biographical note: Christina Ada Anders, Christian-Albrechts-Universität zu Kiel.