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)

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)

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.

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.

Zusammenfassung Während der Fahrt der Flotte Alexanders durch den Indischen Ozean sichteten seine Seeleute angeblich ein Seeungeheuer. Die an der Unternehmung beteiligten Autoren Nearchos, Onesikritos und Orthagoras nahmen die ungewöhnliche Begegnung in ihre Werke auf, gaben diese aber in unterschiedlicher Weise wieder. Obwohl es sich dabei um eine in mehrerer Hinsicht interessante Episode handelt, besitzt sie einen besonders hohen Quellenwert, um Rückschlüsse über Alexanders Positionierung gegenüber den altorientalischen Kontexten seiner Herrschaft anzustellen. Schließlich behaupteten bereits die neuassyrischen Herrscher, auf dem Meer (...) am Rande der Welt Seeungeheuer gesichtet zu haben, womit ein allumfassender Herrschaftsanspruch einherging. Die achaimenidischen Großkönige benutzten dasselbe Argument, um Universalherrschaft und dadurch legitime Herrschaft zu kommunizieren. Kontextualisiert man die Sichtung des Seeungeheuers in den Fragmenten der Werke der Feldzugsteilnehmer in den Diskurs um Universalherrschaft des ersten Jahrtausends v. Chr., so lassen sich Alexanders Bestrebungen feststellen, sich zu den Konzepten legitimer Herrschaft nicht-makedonischer Prägung zu positionieren und sich in einer Weise als rechtmäßiger Herrscher zu präsentieren, die auch für seine asiatischen Untertanen verständlich war. Die am Alexanderzug teilnehmenden Autoren nahmen die hierfür benutzten Ideologeme in ihre Werke auf, passten sie aber entsprechend ihrer literarischen Absichten an. (shrink)

For each regular cardinal κ, we set up three systems of infinitary type logic, in which the length of the types and the length of the typed syntactical constructs are $\Sigma _{}$, the global system $\text{g}\Sigma _{}$ and the τ-system $\tau \Sigma _{}$. A full cut elimination theorem is proved for the local systems, and about the τ-systems we prove that they admit cut-free proofs for sequents in the τ-free language common to the local and global systems. These two results (...) follow from semantic completeness proofs. Thus every sequent provable in a global system has a cut-free proof in the corresponding τ-systems. It is, however, an open question whether the global systems in themselves admit cut elimination. (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.

New work is used as a general term to summarize professional developments in contemporary work style, structure and modus of organizations and society—this means collaborative work and flexible working hours on individual levels, and flat hierarchies and participatory decision-making on organizational levels. Contemporary corporations strive to orient toward the concept of new work to keep up with stakeholder demands, for instance in their branding strategies as an employer. However, studies on organizational practices indicate that alongside explicit values and agendas, organizations (...) tend to slyly exert power to secure their interests. Constructive dismissal is one such instance where contractually protected employees are made to resign their positions because the work environment is altered to become increasingly unbearable. This research analyzes two case studies to explicate routine dismissal procedures at the managerial level in two internationally operating German corporations. Both corporations explicitly profile as new work environments and are structured according to democratic principles including flat hierarchies, feature institutionalized diversity management including control committees for equal opportunities, and emphasize values such as workplace dignity, employee agency, and equality. The data contain long-term participatory observation collected over a 6-month period from two managers of 5 and 8 years of experience in managerial duties. The content analysis of data reveals characteristics of everyday processes in these organizations especially in terminating managers. The findings are presented as the ‘model of the silent dismissal,’ containing seven types of managerial termination carried out by implicit power and symbolic conventions that circumvent subject participation and litigation in an effortless manner. After exposing the model’s mechanisms, we turn to discuss its meaning for both terminated and surviving subjects against a critical theoretical framework of neoliberalism, democracy, and power. (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.

We translate Socrates’ famous saying I know that I know nothing into the arithmetical sentence I prove that I prove nothing. Then it is easy to show that this translated saying is formally undecidable in formal arithmetic, using Gödel’s Second Incompleteness Theorem. We investigate some variations of this Socrates-Gödel sentence. In an appendix we sketch a ramified epistemic logic with propositional quantifiers in order to analyze the Socrates-Gödel sentence in a more logical way, separated from the arithmetical context.

We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.