Discussions of modes of analysis, as well as the received wisdom about which categories to place scholars in, often obscure the breadth and nature of inquiry a particular figure engaged in. This examination of Reinhard Bendix's various uses of comparison suggests that, beyond the sociohistorical comparison he was known for, one should also consider his reflexive works, his work on the role of social science and claims for knowledge, and his reflections on the history of ideas, the need for (...) conceptual clarification of terms, and the search for regularities and universals. (shrink)
There is concern that the use of neuroenhancements to alter character traits undermines consumer's authenticity. But the meaning, scope and value of authenticity remain vague. However, the majority of contemporary autonomy accounts ground individual autonomy on a notion of authenticity. So if neuroenhancements diminish an agent's authenticity, they may undermine his autonomy. This paper clarifies the relation between autonomy, authenticity and possible threats by neuroenhancements. We present six neuroenhancement scenarios and analyse how autonomy accounts evaluate them. Some cases are considered (...) differently by criminal courts; we demonstrate where academic autonomy theories and legal reasoning diverge and ascertain whether courts should reconsider their concept of autonomy. We argue that authenticity is not an appropriate condition for autonomy and that new enhancement technologies pose no unique threats to personal autonomy. (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.
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 (the noun phrase ‘the king of France’) and a predicate (the verb phrase ‘exists’), the underlying logical form, according (...) to Russell, is the formula given in (1). 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. (1) ∃x∀y(Ky ↔ 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 (e.g. Meinong) 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 (1), no unwanted consequences follow. (shrink)
Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...) of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (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.
While the enormous influence of Martin Heidegger's thought in Japan and China is well documented, the influence on him from East-Asian sources is much lesser known. This remarkable study shows that Heidegger drew some of the major themes of his philosophy--on occasion almost word for word--from German translations of Chinese Daoist and Zen Buddhist classics.
Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach (...) would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language. (shrink)
The semantics of a sentence containing a perception verb such as see or hear depends to a high degree on the exact syntactic form of the perception verb’s complement. Let us compare sentence (1), where the complement is tenseless, with (2), where the complement is a tensed clause.
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 uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (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)
In many of his writings Russell developed a theory of time,highly interesting bothfrom a philosophical and from a logical point of view.Strangely enough, this has not acquired generalattention. The most important relational propertiesof the duration and points of time will be presented.In addition, Russell''s considerations on the existenceand density of time points will becritically analysed and systematically reconstructed.A. G. Walker''s explication of the concept of timepoint is unlike that of Russell. His theory oftime reflects the Dedekindian concept of cut.Walker''s constructions (...) will be modified in a suitableway and supplemented so that it becomes possileto prove the continuity of the temporal series. (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..
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)
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. Some alternative scopings may boil down to the same reading. The relative order in (...) which we scope two existentially quantified noun phrases, for example, will not matter if no other material intervenes. But all in all the growth of possibilities will be so fast that generating readings first and testing their acceptability afterwards will not be feasible. (shrink)
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.
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)
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.
A logic is called higher order if it allows for quantification (and possibly abstraction) over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic (often also called type theory or the Theory of Types) 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)
There have been two different schools of thought on the evolution of dominance. On the one hand, followers of Wright [Wright S. 1929. Am. Nat. 63: 274–279, Evolution: Selected Papers by Sewall Wright, University of Chicago Press, Chicago; 1934. Am. Nat. 68: 25–53, Evolution: Selected Papers by Sewall Wright, University of Chicago Press, Chicago; Haldane J.B.S. 1930. Am. Nat. 64: 87–90; 1939. J. Genet. 37: 365–374; Kacser H. and Burns J.A. 1981. Genetics 97: 639–666] have defended the view that dominance (...) is a product of non-linearities in gene expression. On the other hand, followers of Fisher [Fisher R.A. 1928a. Am. Nat. 62: 15–126; 1928b. Am. Nat. 62: 571–574; Bürger R. 1983a. Math. Biosci. 67: 125–143; 1983b. J. Math. Biol. 16: 269–280; Wagner G. and Burger R. 1985. J. Theor. Biol. 113: 475–500; Mayo O. and Reinhard B. 1997. Biol. Rev. 72: 97–110] have argued that dominance evolved via selection on modifier genes. Some have called these “physiological” versus “selectionist,” or more recently [Falk R. 2001. Biol. Philos. 16: 285–323], “functional,” versus “structural” explanations of dominance. This paper argues, however, that one need not treat these explanations as exclusive. While one can disagree about the most likely evolutionary explanation of dominance, as Wright and Fisher did, offering a “physiological” or developmental explanation of dominance does not render dominance “epiphenomenal,” nor show that evolutionary considerations are irrelevant to the maintenance of dominance, as some [Kacser H. and Burns J.A. 1981. Genetics 97: 639–666] have argued. Recent work [Gilchrist M.A. and Nijhout H.F. 2001. Genetics 159: 423–432] illustrates how biological explanation is a multi-level task, requiring both a “top-down” approach to understanding how a pattern of inheritance or trait might be maintained in populations, as well as “bottom-up” modeling of the dynamics of gene expression. (shrink)
Zusammenfassung Im folgenden Beitrag wird ein neuartiger Vorschlag zur Lösung des Antinomienproblems untersucht. Die Untersuchung ergibt, daà der Vorschlag in toto untauglich ist. Weiterhin wird die Unhaltbarkeit gewisser Argumente gegen den Beweis des ersten Gödelschen Unvollständigkeitstheorems nachgewiesen.
We give an overview of recent results in ordinal analysis. Therefore,we discuss the different frameworks used in mathematical proof-theory, namely subsystem of analysis including reversemathematics, Kripke–Platek set theory, explicitmathematics, theories of inductive definitions,constructive set theory, and Martin-Löfs typetheory.
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)
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.
This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation . It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda term representing its manifestation, (...) but also to a lambda term representing its semantics. (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.
Machine generated contents note: List of figures; List of tables; Editors; Contributors; Editors' acknowledgements; Part I. The Conceptual Challenge of Researching Trust Across Different 'Cultural Spheres': 1. Introduction: unraveling the complexities of trust and culture Graham Dietz, Nicole Gillespie and Georgia Chao; 2. Trust differences across national-societal cultures: much to do or much ado about nothing? Donald L. Ferrin and Nicole Gillespie; 3. Towards a context-sensitive approach to researching trust in inter-organizational relationships Reinhard Bachmann; 4. Making sense of trust (...) across cultural contexts Alex Wright and Ina Ehnert; Part II. Trust Across Different 'Cultural Spheres': Inter-Organizational Studies: 5. Examining the relationship between trust and culture in the consultant-client relationship Stephanos Avakian, Timothy Clark and Joanne Roberts; 6. Checking, not trusting: trust, distrust and cultural experience in the auditing profession Mark R. Dibben and Jacob M. Rose; 7. Trust barriers in cross-cultural negotiations: a social psychological analysis Roderick M. Kramer; 8. Trust development in German-Ukrainian business relationships: dealing with cultural differences in an uncertain institutional context Guido Möllering and Florian Stache; 9. Culture and trust in contractual relationships: a French-Lebanese cooperation Hèla Yousfi; 10. Evolving institutions of trust: personalized and institutional bases of trust in Nigerian and Ghanaian food trading Fergus Lyon and Gina Porter; Part III. Trust Across Different 'Cultural Spheres': Intra-Organizational Studies: 11. The role of trust in international cooperation in crisis areas: a comparison of German and US-American NGO partnership strategies L. Ripley Smith and Ulrike Schwegler; 12. Antecedents of supervisor trust in collectivist cultures: evidence from Turkey and China S. Arzu Wasti and Hwee Hoon Tan; 13. Trust in turbulent times: organizational change and the consequences for intra-organizational trust Veronica Hope-Hailey, Elaine Farndale and Clare Kelliher; 14. The implications of language boundaries on the development of trust in international management teams Jane Kassis Henderson; 15. The dynamics of trust across cultures in family firms Isabelle Mari; Part IV. Conclusions and Ways Forward: 16. Conclusions and ways forward Mark N. K. Saunders, Denise Skinner and Roy J. Lewicki; Index. (shrink)
There are many strains in Heidegger’s thought to which he often refers, but one that he never mentions, Taoism. Otto Pöggeler has noted that Heidegger’s engagement with Chinese philosophy, and in particular with the Tao Te Ching of Lao-tzu, exerted a decisive effect on the form and direction of his later thinking. With Reinhard May’s careful comparisons of passages from Heidegger’s major texts with translations of the Tao Te Ching and various Zen Buddhist texts, there is now general agreement (...) on Heidegger’s indebtedness to Chinese philosophy. The recurrent themes of his later lectures can all be found in Taoist texts. Often these are points on which he is labeled a mystic or an irrationalist and taken to task by his Western critics. This essay examines some key facets of his thought and compares his position to that of the Tao Te Ching so as to determine the extent to which Heidegger has departed from the Western tradition to become a Taoist. (shrink)
Our work supports synchronization for binding within Phillips & Singer's “contextual field” (CF) as well as the type of its lateral interaction they propose. Both firmly agree with our “association field” (AF) and its modulatory influences (Eckhorn et al. 1990). However, the CF connections seem to produce anticorrelation among assemblies representing unrelated structures, whereas experimental evidence indicates decoupling. Finally, it is unclear how the cortex can have access to the logistic function used in the “coherent infomax” approach.
In (van Benthem 1986) it was observed that the Curry-Howard correspondence between proofs and λ-terms can be exploited to obtain a very elegant and principled match between Lambek Categorial Grammar and Montague Semantics. The correspondence associates each proof of the calculus with a λ-term and Van Benthem shows how such terms can be used as a recipe for obtaining the meaning of a complex expression in terms of the meanings of its parts. The method is easily extended to various other (...) forms of Lambek calculi, including multimodal calculi (see (Moortgat 1997) and references therein). (shrink)
Taking the lead from orthodox quantum theory, I will introduce a handy generalization of the Boolean approach to propositions and questions: the orthoalgebraic framework. I will demonstrate that this formalism relates to a formal theory of questions (or ‘observables’ in the physicist’s jargon). This theory allows formulating attitude questions, which normally are non-commuting, i.e., the ordering of the questions affects the answer behavior of attitude questions. Further, it allows the expression of conditional questions such as “If Mary reads the book, (...) will she recommend it to Peter?”, and thus gives the framework the semantic power of raising issues and being informative at the same time. In the case of commuting observables, there are close similarities between the orthoalgebraic approach to questions and the Jäger/Hulstijn approach to question semantics. However, there are also differences between the two approaches even in case of commuting observables. The main difference is that the Jäger/Hulstijn approach relates to a partition theory of questions whereas the orthoalgebraic approach relates to a ‘decorated’ partition theory (i.e. the elements of the partition are decorated by certain semantic values). Surprisingly, the orthoalgebraic approach is able to overcome most of the difficulties of the Jäger/Hulstijn approach. Furthermore, the general approach is suitable to describe the different types of (non-commutative) attitude questions as investigated in modern survey research. Concluding, I will suggest that an active dialogue between the traditional model-theoretic approaches to semantics and the orthoalgebraic paradigm is mandatory. (shrink)
In (Jäger and Blutner 1999), Gerhard Jäger and Reinhard Blutner (henceforth J&B) have launched a forceful attack against the account of the adverb wieder “again” I presented in (Stechow 1995) and (Stechow 1996) There I defended a classical account of the repetitive/restitutive ambiguity exhibited by the adverb wieder, which is very close to early proposals found in the Generative Semantics literature, notably (Morgan 1969) and (McCawley 1971). I argued that German surface syntax shows that something in the style of (...) this old decomposition analysis must be correct. (shrink)
Are human rights universal, and, if so, in what sense? Starting with the opposition between "foundational" universalism (as articulated in modern natural law and rationalist liberalism) and "antifoundational" skepsis or relativism (from Jeremy Bentham to Richard Rorty) and steering a path beyond this dichotomy, an inquiry is made into the "rightness" of rights-claims, a question that calls for situated, prudential judgment. With specific reference to "Asian values," Henry Rosemont's emphasis is followed on the need to differentiate between "concept clusters" and (...) reflecting different modes of human flourishing--clusters that are neither radically incommensurable nor blandly uniform and exchangeable. What this emphasis suggests is that the globalism or universalism of human rights is not a pre-given premise but rather a challenge and practical task--requiring intensive inter-human and cross-cultural learning and (what Tu Wei-ming calls) the ongoing "humanization" of humankind. (shrink)
Veel Nederlandse woorden (dans, zet, oordeel, assertie, ...) duiden zowel een handeling aan als het resultaat van die handeling. Het fenomeen doet zich in vrijwel alle talen voor en het lijkt erop dat het menselijke cognitieve apparaat er niet zoveel moeite mee heeft te wisselen tussen een statisch perspectief dat resultaten ziet en een dynamisch perspectief dat vooral gericht is op de processen die tot die resultaten geleid hebben. De filosofie heeft meer moeite met het wisselen tussen een statisch en (...) een dynamisch perspectief. Na een veelbelovende start waarbij Heraclites zei dat alles vloeit, maar Zeno en Parmenides bewezen dat alles integendeel stilstaat, lijkt de statische invalshoek toch de overhand te hebben gekregen. Oordelen betreffen statische proposities en redeneren vindt zijn neerslag in statische bewijzen. (shrink)
Exploring the pre-political en pre-legal spiritual infrastructure from which modern, liberal democracies in the West live, but cannot guarantee, this book ...
Byrne & Hilbert (B&H) conceive of color perception as the representation of a physical property “out there.” In our view, their approach does not only have various internal problems, but is also apt to becloud both the intricate and still poorly understood role that “color” plays within perceptual architecture, and the complex coupling to the “external world” of the perceptual system as an entirety. We propose an alternative perspective, which avoids B&H's misleading dichotomy between a purely subjective and (...) a realist conception of “color.”. (shrink)
In the tradition of Denotational Semantics one usually lets program constructs take their denotations in reflexive domains, i.e. in domains where self-application is possible. For the bulk of programming constructs, however, working with reflexive domains is an unnecessary complication. In this paper we shall use the domains of ordinary classical type logic to provide the semantics of a simple programming language containing choice and recursion. We prove that the rule of {\em Scott Induction\/} holds in this new setting, prove soundness (...) of a Hoare calculus relative to our semantics, give a direct calculus ${\cal C}$ on programs, and prove that the denotation of any program $P$ in our semantics is equal to the union of the denotations of all those programs $L$ such that $P$ follows from $L$ in our calculus and $L$ does not contain recursion or choice. (shrink)
The effects of utterances such as cue phrases, keep-turn markers, and grounding signals cannot be characterized as changes to a shared record of the propositions under discussed: the simplest (and arguably most natural) way of characterizing the meaning of these utterances is in terms of a theory in which the conversational score is seen as a record of the discourse situation, or at least of the speech acts that have been performed. The problem then becomes to explain how discourse entities (...) are accessible. We consider three hypotheses about the dynamics of a speech act-based theory of the conversational score, and argue that they could be implemented with relatively minor modifications to the technical tools already introduced in theories such as Compositional DRT. (shrink)
There is a gap between two different modes of computation: the symbolic mode and the subsymbolic (neuron-like) mode. The aim of this paper is to overcome this gap by viewing symbolism as a high-level description of the properties of (a class of) neural networks. Combining methods of algebraic semantics and non-monotonic logic, the possibility of integrating both modes of viewing cognition is demonstrated. The main results are (a) that certain activities of connectionist networks can be interpreted as non-monotonic inferences, and (...) (b) that there is a strict correspondence between the coding of knowledge in Hopfield networks and the knowledge representation in weight-annotated Poole systems. These results show the usefulness of non-monotonic logic as a descriptive and analytic tool for analyzing emerging properties of connectionist networks. Assuming an exponential development of the weight function, the present account relates to optimality theory – a general framework that aims to integrate insights from symbolism and connectionism. The paper concludes with some speculations about extending the present ideas. (shrink)
underspecified syntactic representation and its com- Descriptions in our theory model three kinds of inpletions is to let the underspecified representation formation. First, there are input descriptions, which correspond to a logical description and the comple-.
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)
In standard Montague Semantics we find a very close correspondence between syntactic and semantic rules (the ‘Rule-to-Rule Hypothesis’). This is attractive from a processing point of view, as we like to think of syntactic and semantic processing as being done in tandem, with information flowing in both directions, from parsing to interpretation and vice versa. The parsing procedure erects the necessary scaffolding for interpretation, while semantics (and via semantics context and world knowledge) ideally rules out wrong parses at an early (...) stage. (shrink)
No formal system can be a satisfactory vehicle for natural language interpretation unless it allows for some degree of underdefinedness. We are finite beings, our capacities for perceiving our surroundings are limited and since 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 system must be able to deal with partial information. (shrink)
Representing and Reconstructing: A Hermeneutical Reply to Ian Hacking. Hacking published in 1983 Representing and Intervening which has provoked, particularly in the US, the so called realism/anti-realism debate which is still alive today. He lays claim to anti-realism for theory and to realism for the experiment. Following him, only that which can be used for manipulating something (e.g., the path of an electon) is realistic. H. Putnam is a severe critic of this dualism. In my paper I am (...) going to take the Hacking-Putnam controversy as a starting-point for the problem about the determination of the relation between theory and experiment in the natural sciences. I shall then follow M. Schlick's discussion of this problem and the current solution to the problem as offered by H. Pietschmann. The differing interpretation of Kant according to the three perspectives shall be the guideline for the argumentation. The goal of my argumentation is that theory and experiment do not live their own lives, that in experimenting one always continues traditional chains of action, and that natural science cannot be regarded independently of the life world it takes place in. This insight into the representing and reconstructing overturns in natural science, due to the necessity of human decisions, opens up their hermeneutical dimension. (shrink)
The truth-conditions of these two sentences are different. Each can be true without the other being true. Joe may have heard the red-haired girl lie thinking that she was speaking the truth and in that case (1) is true but.
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)
We give a reading of binary necessity statements of the form “ϕ is necessary for ψ” in terms of proofs. This reading is based on the idea of interpreting such statements as “Every proof of ψ uses ϕ”.
