We define the term ⌜\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ulcorner $$\end{document}a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view⌝\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\urcorner $$\end{document} in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important (...) being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is independent of any specific sentential-logical calculus. (shrink)

Es geht um Carnaps Konstitution der Qualitätsklassen (qual) mittels der Methode der Quasianalyse. Diese Konstitutionsmethode hat Carnap in seinem Werk Der logische Außau der Welt verwendet. Es wird gezeigt, daß Carnaps Qualitätsdefinition sowohl an technischen als auch an grundsätzlichen Mängeln scheitert. Des weiteren werden Verbesserungsvorschläge der Camapschen Methode, die von Brockhaus, Goodman, Moulines und Eberle gemacht worden sind, untersucht und als inadäquat nachgewiesen.

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.

Es geht um Carnaps Konstitution der Qualitätsklassen (qual) mittels der Methode der Quasianalyse. Diese Konstitutionsmethode hat Carnap in seinem Werk Der logische Außau der Welt verwendet. Es wird gezeigt, daß Carnaps Qualitätsdefinition sowohl an technischen als auch an grundsätzlichen Mängeln scheitert. Des weiteren werden Verbesserungsvorschläge der Camapschen Methode, die von Brockhaus, Goodman, Moulines und Eberle gemacht worden sind, untersucht und als inadäquat nachgewiesen.

In many of his writings Russell developed a theory of time, highly interesting both from a philosophical and from a logical point of view. Strangely enough, this has not acquired general attention. The most important relational properties of the duration and points of time will be presented. In addition, Russell's considerations on the existence and density of time points will be critically analysed and systematically reconstructed. A. G. Walker's explication of the concept of time point is unlike that of Russell. (...) His theory of time reflects the Dedekindian concept of cut. Walker's constructions will be modified in a suitable way and supplemented so that it becomes possible to prove the continuity of the temporal series. (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 dem Aufsatz werden zwei wichtige Paradigmen für "kontinuierliche" empirische Reihen behandelt: erstens Reihen, deren Glieder stufenlos ineinander übergehende, wahrnehmbare Qualitäten sind, und zweitens Reihen von aufeinanderfolgenden Zeitpunkten. Dabei geht es vor allem um die Frage, welche logischen Voraussetzungen erforderlich sind, um derartige Reihen formal zu explizieren.Im ersten Teil wird Körners Auffassung untersucht, wonach die klassische, zweiwertige Logik keine adäquate Explikationsbasis für Qualitätsreihen darstellt. Körner bezieht sich dabei besonders auf den Begriff der empirischen Vagheit und den der empirischen Kontinuität. Es (...) wird gezeigt, daß Körners Position infolge zahlreicher logischer Schwierigkeiten zur Lösung der vorliegenden Probleme nicht ausreicht.Im zweiten Teil geht es hauptsächlich um Russells Zeittheorie. Insbesondere wird das Problem der Reduzierbarkeit von Zeitpunkten auf Zeitspannen und das Problem der Existenz von Zeitpunkten behandelt. Weiterhin werden einige Voraussetzungen angegeben, mit deren Hilfe die Dichte der Zeitreihe beweisbar is. (shrink)

In dem Aufsatz werden zwei wichtige Paradigmen für "kontinuierliche" empirische Reihen behandelt: erstens Reihen, deren Glieder stufenlos ineinander übergehende, wahrnehmbare Qualitäten sind, und zweitens Reihen von aufeinanderfolgenden Zeitpunkten. Dabei geht es vor allem um die Frage, welche logischen Voraussetzungen erforderlich sind, um derartige Reihen formal zu explizieren.Im ersten Teil wird Körners Auffassung untersucht, wonach die klassische, zweiwertige Logik keine adäquate Explikationsbasis für Qualitätsreihen darstellt. Körner bezieht sich dabei besonders auf den Begriff der empirischen Vagheit und den der empirischen Kontinuität. Es (...) wird gezeigt, daß Körners Position infolge zahlreicher logischer Schwierigkeiten zur Lösung der vorliegenden Probleme nicht ausreicht.Im zweiten Teil geht es hauptsächlich um Russells Zeittheorie. Insbesondere wird das Problem der Reduzierbarkeit von Zeitpunkten auf Zeitspannen und das Problem der Existenz von Zeitpunkten behandelt. Weiterhin werden einige Voraussetzungen angegeben, mit deren Hilfe die Dichte der Zeitreihe beweisbar is. (shrink)

In dem Aufsatz werden zwei wichtige Paradigmen für "kontinuierliche" empirische Reihen behandelt: erstens Reihen, deren Glieder stufenlos ineinander übergehende, wahrnehmbare Qualitäten sind, und zweitens Reihen von aufeinanderfolgenden Zeitpunkten. Dabei geht es vor allem um die Frage, welche logischen Voraussetzungen erforderlich sind, um derartige Reihen formal zu explizieren.Im ersten Teil wird Körners Auffassung untersucht, wonach die klassische, zweiwertige Logik keine adäquate Explikationsbasis für Qualitätsreihen darstellt. Körner bezieht sich dabei besonders auf den Begriff der empirischen Vagheit und den der empirischen Kontinuität. Es (...) wird gezeigt, daß Körners Position infolge zahlreicher logischer Schwierigkeiten zur Lösung der vorliegenden Probleme nicht ausreicht.Im zweiten Teil geht es hauptsächlich um Russells Zeittheorie. Insbesondere wird das Problem der Reduzierbarkeit von Zeitpunkten auf Zeitspannen und das Problem der Existenz von Zeitpunkten behandelt. Weiterhin werden einige Voraussetzungen angegeben, mit deren Hilfe die Dichte der Zeitreihe beweisbar is. (shrink)

We define the term \a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view\ in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is (...) independent of any specific sentential-logical calculus. (shrink)

Die gängige Unterscheidung zwischen 'Modellen von etwas' und 'Modellen für etwas' basiert weitgehend auf der Zuordnung der einen zu den Wissenschaften, der anderen zu den Künsten und den entwerfenden Disziplinen. Diese Aufteilung hält einer näheren Untersuchung nicht Stand. Zudem hat sie die Einsicht vereitelt, dass und wie Forschen und Entwerfen im Modell ineinander verflochten sind.

Measurement instruments assessing multiple emotions during epistemic activities are largely lacking. We describe the construction and validation of the Epistemically-Related Emotion Scales, which measure surprise, curiosity, enjoyment, confusion, anxiety, frustration, and boredom occurring during epistemic cognitive activities. The instrument was tested in a multinational study of emotions during learning from conflicting texts. The findings document the reliability, internal validity, and external validity of the instrument. A seven-factor model best fit the data, suggesting that epistemically-related emotions should be conceptualised in terms (...) of discrete emotion categories, and the scales showed metric invariance across the North American and German samples. Furthermore, emotion scores changed over time as a function of conflicting task information and related significantly to perceived task value and use of cognitive and metacognitive learning strategies. (shrink)

Sustainable development (SD) – that is, “Development that meets the needs of current generations without compromising the ability of future generations to meet their needs and aspirations” – can be pursued in many different ways. Stakeholder relations management (SRM) is one such way, through which corporations are confronted with economic, social, and environmental stakeholder claims. This paper lays the groundwork for an empirical analysis of the question of how far SD can be achieved through SRM. It describes the so-called SD–SRM (...) perspective as a distinctive research approach and shows how it relates to the wider body of stakeholder theory. Next, the concept of SD is operationalized for the microeconomic level with reference to important documents. Based on the ensuing SD framework, it is shown how SD and SRM relate to each other, and how the two concepts relate to other popular concepts such as Corporate Sustainability and Corporate Social Responsibility. The paper concludes that the significance of societal guiding models such as SD and of management approaches like CSR is strongly dependent on their footing in society. (shrink)

English summary: The wide-ranging work of Ernst Fraenkel lead to the foundation of postwar political science. In his role as "American in Berlin," Fraenkel helped shape the foundation of modern comparative government theory. Fraenkel's impressive, and in retrospect exemplary, biography, from being a Jewish labor lawyer in the Third Reich to an emigrant to the United States, allowed for him to be described as a commanding figure of the young field of political science of the Adenauer era. Reinhard Dorn (...) illuminates Fraenkel's integrative state and constitutional understanding in two parts. In the first section, he presents foundations and individual components of constitutional-sociological thought, whereby he focuses particular attention on sociological and policy-sociological aspects. The second section documents the performance range of Fraenkel's constitution sociology by comparing Anglo-American and continental European constitutional thinking with its respective constitutional reality, all based on his own interdisciplinary analysis. German text. German description: Die Beschaftigung mit dem breit gefacherten Werk von Ernst Fraenkel fuehrt zu den Grundlagen der Nachkriegs-Politikwissenschaft. In seiner Rolle als Amerikaner in Berlin hat Fraenkel das Fundament der modernen vergleichenden Regierungslehre mitgestaltet. Dabei hat Fraenkels beeindruckende und im Rueckblick exemplarisch wirkende Biographie vom juedischen Arbeitsrechtler und Rechtsanwalt im Dritten Reich ueber den Emigranten in die USA zur Portalfigur der jungen Politikwissenschaft der Adenauer-Ara seine Verfassungsvergleiche erst ermoglicht.In zwei Teilen beleuchtet Reinhard Dorn Fraenkels integratives Staats- und Verfassungsverstandnis: Im ersten Abschnitt stellt er Grundlagen und einzelne Bestandteile seines verfassungssoziologischen Denkens dar, wobei er insbesondere auf soziologische und politiksoziologische Aspekte eingeht. Der zweite Abschnitt dokumentiert die Leistungsbreite von Fraenkels Verfassungssoziologie, indem - ausgehend von dessen eigenen interdisziplinaren Analysen - angloamerikanisches und kontinentaleuropaisches Verfassungsdenken der jeweiligen Verfassungsrealitat gegenuebergestellt wird. (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.

This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...) the field even compared his work to a `Rube Goldberg machine.' Muskens' work does away with such unnecessary complexities, obtains a streamlined version of the theory, shows how partialising the theory automatically provides us with the most central concepts of Situation Semantics, and offers a simple logical treatment of propositional attitude verbs, perception verbs and proper names. (shrink)

Friedrich Nietzsche has emerged as one of the most important and influential modern philosophers. For several decades, the book series Monographien und Texte zur Nietzsche-Forschung (MTNF) has set the agenda in a rapidly growing and changing field of Nietzsche scholarship. The scope of the series is interdisciplinary and international in orientation reflects the entire spectrum of research on Nietzsche, from philosophy to literary studies and political theory. The series publishes monographs and edited volumes that undergo a strict peer-review process. The (...) book series is led by an international team of editors, whose work represents the full range of current Nietzsche scholarship. (shrink)

The Studiengruppe für Systemforschung was dissolved in 1974. Several members of the group moved to the Research Centre Karlsruhe. There, despite their new institutional surroundings, they remained faithful to the Studiengruppe’s conceptual foundations, and developed a new Institute for Technology Assessment and Systems Analysis. This has since become the leading technology assessment group in Germany.

The term “vagueness” describes a property of natural concepts, which normally have fuzzy boundaries, admit borderline cases, and are susceptible to Zeno's sorites paradox. We will discuss the psychology of vagueness, especially experiments investigating the judgment of borderline cases and contradictions. In the theoretical part, we will propose a probabilistic model that describes the quantitative characteristics of the experimental finding and extends Alxatib's and Pelletier's () theoretical analysis. The model is based on a Hopfield network for predicting truth values. Powerful (...) as this classical perspective is, we show that it falls short of providing an adequate coverage of the relevant empirical results. In the final part, we will argue that a substantial modification of the analysis put forward by Alxatib and Pelletier and its probabilistic pendant is needed. The proposed modification replaces the standard notion of probabilities by quantum probabilities. The crucial phenomenon of borderline contradictions can be explained then as a quantum interference phenomenon. (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)

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.

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)

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.

Cet article a pour objectif d’éclairer la critique de médias développée par Günther Anders dans les deux tomes de L’Obsolescence de l’homme. Il s’agit de souligner qu’Anders a, le premier, mis en évidence le devenir spectaculaire de notre société : les médias modernes que sont la télévision et la radio ont entraîné une transformation ontologique du monde réduit à l’état de fantôme entre réalité et apparence, et un bouleversement psychologique du sujet placé dans des états schizophréniques. Notre hypothèse est que (...) cette critique des médias d’Anders se fonde sur et se comprend par une phénoménologie de la « médialité » des actes sensoriels entre activité et passivité, médialité qui va être subvertie par l’ambiguïté ontologique et épistémologique que créent les médias de masse. (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)

Non-therapeutic circumcision violates boys’ right to bodily integrity as well as to self-determination. There is neither any verifiable medical advantage connected with the intervention nor is it painless nor without significant risks. Possible negative consequences for the psychosexual development of circumcised boys (due to substantial loss of highly erogenous tissue) have not yet been sufficiently explored, but appear to ensue in a significant number of cases. According to standard legal criteria, these considerations would normally entail that the operation be deemed (...) an ‘impermissible risk’—neither justifiable on grounds of parental rights nor of religious liberty: as with any other freedom right, these end where another person's body begins. Nevertheless, after a resounding decision by a Cologne district court that non-therapeutic circumcision constitutes bodily assault, the German legislature responded by enacting a new statute expressly designed to permit male circumcision even outside of medical settings. We first criticise the normative foundations upon which such a legal concession seems to rest, and then analyse two major flaws in the new German law which we consider emblematic of the difficulty that any legal attempt to protect medically irrelevant genital cutting is bound to face. (shrink)