Three experiments investigated the processing of the implicature associated with some using a “gumball paradigm.” On each trial, participants saw an image of a gumball machine with an upper chamber with 13 gumballs and an empty lower chamber. Gumballs then dropped to the lower chamber and participants evaluated statements, such as “You got some of the gumballs.” Experiment 1 established that some is less natural for reference to small sets and unpartitioned sets compared to intermediate sets. Partitive some of was (...) less natural than simple some when used with the unpartitioned set. In Experiment 2, including exact number descriptions lowered naturalness ratings for some with small sets but not for intermediate size sets and the unpartitioned set. In Experiment 3, the naturalness ratings from Experiment 2 predicted response times. The results are interpreted as evidence for a Constraint-Based account of scalar implicature processing and against both two-stage, Literal-First models and pragmatic Default models. (shrink)

Polygamy is a highly controversial topic and the object of serious political contestation in Indonesia. Although all major Muslim organizations consider polygamy is allowed under Islamic Law, the practice is not without stigma. In 1974 when Indonesia adopted its current Marriage Law, the Indonesian parliament decided to tie polygamy to strict conditions. This law however failed to prevent the practice of unregistered polygamous marriages. Women in unregistered polygamous marriages formally hold no rights as lawful wife in case of a divorce (...) or death of the husband. The question is what arrangements the second, third or fourth wife in unregistered polygamous marriages have made with their husband in view of the lack of legal recognition of their rights as wife. What are the consequences of non-recognition of their marriage for these women? Does legal insecurity in practice also mean economic and social insecurity? Does the husband fulfill his obligations and responsibilities towards his wives and their families? This article aims at answering those questions by looking in-depth at a selection of three case studies, which were collected during a total of nine months of research in Jakarta in 2015 and 2016. This article is part of the socio-legal domain, combining legal analysis with anthropological approaches. The starting point of the research is a legal one: the disadvantaged legal position of women whose polygamous marriage has not been registered, but a large part of the research is based on anthropological methods. Through the experiences of these women the paper will reveal a range of personal reasons and underlying causes for unregistered Islamic polygamous marriages as well as their consequences–including legal ones. The paper will depict a great diversity in legal reasoning, socio-economic considerations, religious reflections and daily life dilemmas of these individual women living in unregistered polygamous marriages. (shrink)

Two visual world experiments investigated the processing of the implicature associated with some using a “gumball paradigm.” On each trial, participants saw an image of a gumball machine with an upper chamber with orange and blue gumballs and an empty lower chamber. Gumballs dropped to the lower chamber, creating a contrast between a partitioned set of gumballs of one color and an unpartitioned set of the other. Participants then evaluated spoken statements, such as “You got some of the blue gumballs.” (...) Experiment 1 investigated the time course of the pragmatic enrichment from some to not all when the only utterance alternatives available to refer to the different sets were some and all. In Experiment 2, the number terms two, three, four, and five were also included in the set of alternatives. Scalar implicatures were delayed relative to the interpretation of literal statements with all only when number terms were available. The results are interpreted as evidence for a constraint-based account of scalar implicature processing. (shrink)

The systems Kα of transfinite cumulative types up to α are extended to systems K∞α that include a natural infinitary inference rule, the so-called limit rule. For countable α a semantic completeness theorem for K∞α is proved by the method of reduction trees, and it is shown that every model of K∞α is equivalent to a cumulative hierarchy of sets. This is used to show that several axiomatic first-order set theories can be interpreted in K∞α, for suitable α.

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...) great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

In recent literature, it has been suggested that Lange’s social and political philosophy is separate from his neo-Kantian program. Prima facie, this interpretation makes sense given that Lange argues for an account of social norms that builds on Darwin and Smith rather than on Kant. Still, this paper argues that elements of psychophysiological transcendentalism can be found in Lange’s social and political philosophy. A detailed examination of the second edition of the History of Materialism, Schiller’s Poems, and the second edition (...) of The Worker’s Question reveals that Lange sought to develop a systematic foundation of psychophysiological transcendentalism that is presupposed in his social and political philosophy. This allows for a more detailed understanding of Lange’s practical philosophy and assures him a position in the tradition of neo-Kantian socialism. (shrink)

I wish to thank Klaus Kühnle who streamlined in [8] several of my definitions and proofs concerning the subject matter of this paper. Some ideas and results arose from discussions with Klaus Leeb. Jan Johannsen discovered some mistakes in an earlier version.

Fichte wie auch später Sartre gewinnen vergleichbare Resultate auf der theoretischen Ebene hinsichtlich der ethischen Fundierung der Intersubjektivität im Selbstbewusstsein. Die Rolle der Ästhetik wird von beiden Denkern aufgrund ethischer Implikationen so bestimmt, dass sie die durch sie bestimmte Intersubjektivität auf praktischer Ebene zum Vorschein bringt. Die Ästhetik stellt bei beiden Autoren nicht einen Selbstzweck dar, sondern spielt eine herausragende Rolle für die Bildung der Menschen. Sartre wie auch Fichte brauchen die Ästhetik, um die Ethik zu fundieren. Während Sartre ein (...) unmittelbar lebensbezogenes ästhetisches Denken hat, in dem er ethische Aspekte in seiner Literatur anhand konkreter Beispiele verarbeitet, geht es Fichte in seinen Ausführungen zur Ästhetik vornehmlich um die Frage nach der Bedingung der Möglichkeit des ästhetischen Bewusstseins und darum, dieses als Voraussetzung des ethischen Bewusstseins zu bestimmen. Sartres Ethik offenbart sich vor allem in seinem ästhetischen Schaffen. Dem ästhetischen Moment in Sartres Ethik kommt die zentrale Aufgabe für die Entwicklung des ethischen Individualismus des Menschen und der gesamten Menschheit zu. Die Analogie zu Fichtes transzendentalkritischem Idealismus liegt in der Fundierungsrolle der Ästhetik für die Ethik in beiden philosophischen Konzeptionen, woraus eine aussagefähige Ethik in Sartres Existenzphilosophie resultiert. So zeigt sich In Sartres Literatur der direkte Wechselbezug zwischen praktischer Ethik und produktiver Ästhetik. Die Funktion der Ästhetik wird von Sartre dadurch bestimmt, dass in seinem Konzept mittels der Ästhetik die Vermittlung zwischen theoretischer und praktischer Vernunft geleistet wird. (shrink)

Faszination ist eine zentrale Form ästhetischen Erlebens in der Gegenwart, deren Merkmale und historisches Profil bislang nur ansatzweise beschrieben sind. Ausgehend vom modernen Verständnis von Faszination entwickelt die begriffsgeschichtlich breit fundierte Untersuchung einen formalen Begriff dieser ästhetischen Emotion, der für zwei bedeutende Epochen der ästhetischen, poetologischen und semiotischen Theoriebildung -- die griechische Antike und das 18. Jahrhundert -- diskutiert wird. In der Auseinandersetzung mit antiken Konzepten der Metapher und des Erhabenen sowie mit ästhetischen Positionen bei Addison, Mendelssohn, Klopstock, Hamann, Kant, (...) Stewart und Goethe werden grundlegende Erklärungskomponenten für die Entstehung und Wirkung sprachlich induzierter Faszination aufgezeigt. Ästhetische Faszination ist kein Pathos-, sondern ein Tiefenkonzept. Sie resultiert aus einer Divergenzerfahrung in der Prozessierbarkeit von Sinnlichkeit und Bedeutung. Faszination bewirkt keine Verabschiedung, sondern eine Stimulierung des Intelligiblen. (shrink)

Das onto-logische Sechseck ist eine Erweiterung des (aristotelischen) onto-logischen Vierecks um singuläre und universelle Sachverhalte. Beide Vielecke inkorporieren ontische, logische und ontisch-logische Relationen. Dies ist der Grund für die Bindestrichschreibung "ontologisch". Das onto-logische Sechseck liefert die Grundlage für eine neue Definition der Wahrheit eines Satzes.

Das onto-logische Sechseck ist eine Erweiterung des (aristotelischen) onto-logischen Vierecks um singuläre und universelle Sachverhalte. Beide Vielecke inkorporieren ontische, logische und ontisch-logische Relationen. Dies ist der Grund für die Bindestrichschreibung "ontologisch". Das onto-logische Sechseck liefert die Grundlage für eine neue Definition der Wahrheit eines Satzes.

Contemporary policymakers, as their predecessors, continue to view nomadic people as a weak minority, and their way of life and raising livestock as a backward and inefficient paradigm. Wherever nomads are not the dominant group, the trend to settle them continues even today as in the past. This book describes the changes forced upon formerly nomadic groups and how they still attempt to maintain their traditional, social, and cultural practices in their new settings. The book deals with the several modes (...) of livelihood of these communities, including entrepreneurship, and demonstrates the impact of investment-oriented urbanization policies leading to eviction from ancestral lands, and hurdles for nomadic mobility, ultimately threatening their survival. The book illustrates how some groups like the Borana and the Maasai practice livelihood diversity and raise productive livestock, and how other groups migrate to urban centers in search of employment and remit money to family members left in the rural areas. The book aims to raise awareness among the research community, especially those who work on regional and demographic labor policies. It helps in understanding why society needs to help build business and livelihood strategies without harming the values of nomadic groups. (shrink)

We shall investigate certain statements concerning the rigidity of unary functions which have connections with forms of the axiom of choice.

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In a set theory which allows Urelements, however, there (...) will be ontological relations between these Urelements which the set-theoretic machinery cannot capture. In contrast to standard modelling and representation formalisms, GOL provides a machinery for representing and analysing such ontologically basic relations. GOL is thus a genuine extension of KIF and of similar languages. In GOL entities are divided into sets and Urelements, the latter being divided in their turn into individuals and universals. Foremost among the individuals are things or substances, tropes or moments, and situoids: entities containing facts as components. (shrink)

We investigate infinitary sequent calculi which generate the finitely valid sentences of first-order logic, of simple type theory and of transitive closure logic, respectively.

The modern term >fascination fascination force divided self< allow to indicate them as prototypical descriptions of fascination. References to Plato by Marsilio Ficin and Friedrich Nietzsche expose the importance of Socrates in the conceptual history of fascination.