Perceptual symbol systems form a theoretically plausible alternative to amodal symbol systems. At this point it is unclear whether there is any truly diagnostic empirical evidence to decide between these systems. We outline some possible avenues of research in the domain of language comprehension that might yield such evidence. Language comprehension will be an important arena for tests of the two types of symbol systems.

Population counts and longitude and latitude coordinates were estimated for the 50 largest cities in the United States by computational linguistic techniques and by human participants. The mathematical technique Latent Semantic Analysis applied to newspaper texts produced similarity ratings between the 50 cities that allowed for a multidimensional scaling (MDS) of these cities. MDS coordinates correlated with the actual longitude and latitude of these cities, showing that cities that are located together share similar semantic contexts. This finding was replicated using (...) a first‐order co‐occurrence algorithm. The computational estimates of geographical location as well as population were akin to human estimates. These findings show that language encodes geographical information that language users in turn may use in their understanding of language and the world. (shrink)

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

The conditions are examined under which one theory is said to be replaceable by another, while preserving those features of the original theory which made it serviceable for a given purpose. Among such replacements, special attention is given to ones which qualify as so-called reductions of a theory, and some theorems are proved concerning the notion of a reduction.

A tongue-in-cheek send-up of certain aspects of existentialism written by a well-known logician and philosopher who had a serious affair with existentialism in his youth. It was never submitted for publication and is finally being made available here posthumously with the permission of Helen Eberle. To the best of my recollection it was written some time in the mid/late 1980s. -- Gary H. Merrill.

According to the customary view, logic is a mere subdiscipline or ad junct of philosophy in so far as it is relevant to philosophy at all, and a sub discipline of mathematics to the extent that it is not. Thus, philosophy is taken to have traditional proprietary rights on "its" logic. I would like to examine here the reverse proprietary attitude, according to which philosophy is a branch of logic.

Alonzo Church has repeatedly argued that the semantic analysis of certain contexts requires reference to abstract entities of various kinds. The problem, arising from this argument for nominalists, will be examined first. Then we shall attempt to meet Church’s challenge by constructing and informally describing a semantics which was inspired by Nelson Goodman’s distinction between primary and secondary extensions. According to that semantics, no expression of the object language will make reference to any abstract or non-actual entity while the system (...) is strong enough to lend itself to semantic analysis in Church’s sense. (shrink)

Although law is established on a strong presumption that persons younger than a certain age are not competent to consent, statutory age limits for asking children’s consent to clinical research differ widely internationally. From a clinical perspective, competence is assumed to involve many factors including the developmental stage, the influence of parents and peers, and life experience. We examined potential determining factors for children’s competence to consent to clinical research and to what extent they explain the variation in competence judgments.

This book presents a mathematical programming approach to the analysis of production frontiers and efficiency measurement. The authors construct a variety of production frontiers, and by measuring distances to them are able to develop a model of efficient producer behaviour and a taxonomy of possible types of departure from efficiency in various environments. Linear programming is used as an analytical and computational technique in order to accomplish this. The approach developed is then applied to modelling producer behaviour. By focusing on (...) the empirical relevance of production frontiers and distances to them, and applying linear programming techniques to artificial data to illustrate the type of information they can generate, this book provides a unique study in applied production analysis. It will be of interest to scholars and students of economics and operations research, and analysts in business and government. (shrink)

Ästhetik, Schönheit? beides geläufige Begriffe. Jedoch konnte die Wissenschaft die Frage nach einem universellen Prinzip Schönheit bisher nicht beantworten: Was gefällt uns? Warum ist etwas schön? Warum gibt es das Phänomen Schönheit überhaupt und wie funktionieren die Mechanismen der Schönheit? 0Dieses wissenschaftlich fundierte Buch untersucht das Phänomen mit klarem Blick und gibt Antworten auf komplizierte Fragen. Dabei werden unterschiedliche wissenschaftliche Sichtweisen zu kognitiven Modellen zusammengeführt. Von Kunst und Architektur bis hin zu Logodesign und Popkultur werden zahlreiche ästhetische Ausdrucksformen mit einbezogen. (...) 0Ausgewählte Themen aus Wissenschaft, Literatur und Philosophie liefern einen neuen Blick auf die Ästhetik. Anhand überraschender Beobachtungen und faszinierender Bildbeispiele offenbart das Buch, wie grundlegend die Ästhetik für den modernen Menschen ist und wie unser Denken und Handeln vom?Prinzip Schönheit? geprägt wird. (shrink)

Abduction is considered the most powerful, but also the most controversially discussed type of inference. Based on an analysis of Peirce’s retroduction, Lipton’s Inference to the Best Explanation and other theories, a new theory of abduction is proposed. It considers abduction not as intrinsically explanatory but as intrinsically conditional: for a given fact, abduction allows one to infer a fact that implies it. There are three types of abduction: Selective abduction selects an already known conditional whose consequent is the given (...) fact and infers that its antecedent is true. Conditional-creative abduction creates a new conditional in which the given fact is the consequent and a defined fact is the antecedent that implies the given fact. Propositional-conditional-creative abduction assumes that the given fact is implied by a hitherto undefined fact and thus creates a new conditional with a new proposition as antecedent. The execution of abductive inferences is specified by theory-specific patterns. Each pattern consists of a set of rules for both generating and justifying abductive conclusions and covers the complete inference process. Consequently, abductive inferences can be formalised iff the whole pattern can be formalised. The empirical consistency of the proposed theory is demonstrated by a case study of Semmelweis' research on puerperal fever. (shrink)

We provide first-order axioms for the theories of finite trees with bounded branching and finite trees with arbitrary (finite) branching. The signature is chosen to express, in a natural way, those properties of trees most relevant to linguistic theories. These axioms provide a foundation for results in linguistics that are based on reasoning formally about such properties. We include some observations on the expressive power of these theories relative to traditional language complexity classes.