By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host of unfamiliar (...) logics. We first study the members of our class semantically, after which we present a uniform sequent calculus that is sound and complete with respect to all of them. Two further sequent calculi and \ calculus) will be considered, which serve the same purpose and which are obtained by applying general methods to construct sequent calculi for many-valued logics. Rules and proofs in the SK calculus are much simpler and shorter than those of the \ and the \ calculus, which is one of the reasons to prefer the SK calculus over the latter two. Besides favourably comparing the SK calculus to both the \ and the \ calculus, we also hint at its philosophical significance. (shrink)

We investigate the issue of aggregativity in fair division problems from the perspective of cooperative game theory and Broomean theories of fairness. Paseau and Saunders proved that no non-trivial theory of fairness can be aggregative and conclude that theories of fairness are therefore problematic, or at least incomplete. We observe that there are theories of fairness, particularly those that are based on cooperative game theory, that do not face the problem of non-aggregativity. We use this observation to argue that the (...) universal claim that no non-trivial theory of fairness can guarantee aggregativity is false. Paseau and Saunders’s mistaken assertion can be understood as arising from a neglect of the games approach to fair division. Our treatment has two further pay-offs: for one, we give an accessible introduction to the games approach to fair division, whose significance has hitherto not been appreciated by philosophers working on fairness. For another, our discussion explores the issue of aggregativity in fair division problems in a comprehensive fashion. (shrink)

Background: SNOMED CT is a large terminology system designed to represent all aspects of healthcare. Its current form and content result from decades of bottom-up evolution. Due to SNOMED CT’s formal descriptions, it can be considered an ontology. The Basic Formal Ontology (BFO) is a foundational ontology that proposes a small set of disjoint, hierarchically ordered classes, supported by relations and axioms. In contrast, as a typical top-down endeavor, BFO was designed as a foundational framework for domain ontologies in the (...) natural sciences and related disciplines. Whereas it is mostly assumed that domain ontologies should be created as extensions of foundational ontologies, a post-hoc harmonization of consolidated domain ontologies in use, such as SNOMED CT, is known to be challenging. Methods: We explored the feasibility of harmonizing SNOMED CT with BFO, with a focus on the SNOMED CT Clinical Finding hierarchy. With more than 100,000 classes, it accounts for about one third of SNOMED CT’s content. In particular, we represented typical SNOMED CT finding/disorder concepts using description logics under BFO. Three representational patterns were created and the logical entailments analyzed. Results: Under a first scrutiny, the clinical intuition that diseases, disorders, signs and symptoms form a homogeneous ontological upper-level class appeared incompatible with BFO’s upper-level distinction into continuants and occurrents. The Clinical finding class seemed to be an umbrella for all kinds of entities of clinical interest, such as material entities, processes, states, dispositions, and qualities. This suggests the conclusion that Clinical finding would not be a suitable upper-level class from an BFO perspective. On closer inspection of the taxonomic links within this hierarchy and the implicit meaning derived thereof, it became clear that Clinical finding classes do not characterize the entity (e.g. a fracture, allergy, tumor, pain, hemorrhage, seizure, fever) in a literal sense but rather the condition of a patient having that fracture, allergy, pain etc. This gives sense to the current characteristic of the Clinical Finding hierarchy, in which complex classes are modeled as subclasses of their constituents. Most of these taxonomic links are inferred, as the consequence of the ‘role group’ design pattern, which is ubiquitous in SNOMED CT and has often been subject of controversy regarding its semantics. Conclusion: Our analyses resulted in the proposal of (i) equating SNOMED CT’s ‘role group’ property with the reflexive and transitive BFO relation ‘has occurrent part’; and (ii) reinterpreting Clinical Findings as Clinical Occurrents, i.e. temporally extended entities in an organism, having one or more occurrents as temporal parts that occur in continuants. This re-interpretation was corroborated by a manual analysis of classes under Clinical Finding, as well as the identification of similar modeling patterns in other ontologies. As a result, SNOMED CT does not require any content redesign to establish compatibility with BFO, apart from this re-interpretation, and a suggested re-labeling. Regarding the feasibility of harmonizing terminologies with principled foundational ontologies post-hoc, our results provide support to the assumption that this does not necessarily require major redesign efforts, but rather a careful analysis of the implicit assumptions of terminology curators and users. (shrink)

A measure of coherence is said to be reliability conducive if and only if a higher degree of coherence (asmeasured) of a set of testimonies implies a higher probability that the witnesses are reliable. Recently, it has been proved that the Shogenji measure of coherence is reliability conducive in restricted scenarios (e.g., Olsson and Schubert, Synthese, 157:297–308, 2007). In this article, I investigate whether the Shogenji measure, or any other coherence measure, is reliability conducive in general. An impossibility theorem is (...) proved to the effect that this is not the case. I conclude that coherence is not reliability conducive. (shrink)

The new idea of a 'parenting contract', explicitly taking as its point of reference the United Nations Convention on the Rights of the Child, is meant primarily to protect children's rights, and specifically the right to a proper upbringing. The nature of the parent-child relationship is thus drawn into the discourse of rights and duties. Although there is much to be said for parents explicitly attending to their children's upbringing, something of the uniqueness of the parent-child relationship seems to be (...) occluded by the language of rights and duties as that relationship becomes narrowed down to the confines of a contractual agreement. What comes to be foregrounded in the parent-child relationship is a defence of the various parties'—the parents' and the child's—interests. By drawing on the work of Annette Baier, we argue that this has considerable consequences in terms of trust and distrust, and parental engagement. It is questioned whether the concept of the parenting contract brings about the positive climate of engagement which it is meant to promote. (shrink)

Elected politicians—legislators and, in some systems, members of the executive—can choose to exercise authority themselves or to delegate that authority to any number of agencies. Such delegation of power can occur at the constitutional stage, but is most common at the post-constitutional stage. Two categories of delegation can be distinguished: domestic delegation to agencies within the legislators’ jurisdiction, and international delegation to supranational or international bodies. While some research has been done on domestic delegation, especially in the context of delegation (...) to administrative agencies in the U.S., as well as on delegation to supranational bodies, especially with regard to the E.U., these activities have not been analyzed within a unified framework. This paper attempts to inquire into these issues and provide a general picture of the decision-making process regarding whether to delegate authority and to which body to transfer the authority. The past decade has been a period of rapid change in Central and Eastern Europe. Almost all of these countries have either passed entirely new constitutions or substantially modified the old ones. This is a unique situation in which constitutional delegation of powers can be performed almost simultaneously with post-constitutional delegation. The constitutional process in Israel is very different. It has been underway for fifty years. However, it can also be characterized by simultaneous constitutional and post-constitutional choices. In this paper, we examine such delegation choices in nine countries. We describe the main differences among these countries with regard to delegation of power, try to trace their origins and analyze their effects on delegation of powers. One question raised is what are the ramifications of a quasi-simultaneous constitutional and post-constitutional choice? Have constitutional rules been chosen in anticipation of the necessary compatibility with the rules of international organizations that one wants to join? Has membership in international organizations led to a boost in credibility of those governments concerned? (shrink)

The now classical idea that programmed cell death contributes to a plethora of developmental processes still has lost nothing of its impact. It is, therefore, important to establish effective three-dimensional reconstruction as well as simulation techniques to decipher the exact patterns and functions of such apoptotic events. The present study focuses on the question whether and how apoptosis promotes neurulation-associated processes in the spinal cord of Tupaia belangeri. Our 3D reconstructions demonstrate that at least two craniocaudal waves of apoptosis consecutively (...) pass through the dorsal spinal cord. The first wave appears to be involved in neural fold fusion and/or in selection processes among premigratory neural crest cells. The second one seems to assist in establishing the dorsal signaling center known as the roof plate. In the hindbrain, in contrast, apoptosis among premigratory neural crest cells progresses craniocaudally but discontinuously, in a segment-specific manner. Unlike apoptosis in the spinal cord, these segment-specific apoptotic events, however, precede later ones that seemingly support neural fold fusion and/or postfusion remodeling. Arguing with Whitehead that biological patterns and rhythms differ in that biological rhythms depend “upon the differences involved in each exhibition of the pattern” we show that 3D reconstruction and simulation techniques can contribute to distinguish between patterns and rhythms of apoptosis. By deciphering novel patterns and rhythms of developmental apoptosis, our reconstructions help to reconcile seemingly inconsistent earlier findings in chick and mouse embryos, and to create rules for computer simulations. (shrink)

Topic of the paper is Q-logic – a logic of agency in its temporal and modal context. Q-logic may be considered as a basal logic of agency since the most important stit-operators discussed in the literature can be defined or axiomatized easily within its semantical and syntactical framework. Its basic agent dependent operator, the Q-operator (also known as Δ- or cstit-operator), which has been discussed independently by F. v. Kutschera and B. F. Chellas, is investigated here in respect of its (...) relation to other temporal and modal operators. The main result of the paper, then, is a completeness result for a calculus of Q-logic with respect to a semantics defined on the tree-approach to agency as introduced and developed by, among others, F. v. Kutschera and N. D. Belnap. (shrink)

Das Werk entkräftet das Vorurteil, Kants Philosophie sei für eine Reflexion der kulturellen Welt unzureichend. Klingner entwickelt die Option einer Kulturphilosophie als Theorie technischer Vernunft mit Bezug auf den kantischen Kulturbegriff und auf seinen Philosophiebegriff. Damit erweist sich zugleich, dass eine kantische Kulturphilosophie rekonstruierbar und in ihrem Gehalt auch heute noch diskussionswürdig ist.

Research on language evolution is an established subject area yet permeated by terminological controversies about which topics should be considered pertinent to the field and which not. By consequence, scholars focusing on language evolution struggle in providing precise demarcations of the discipline, where even the very central notions of evolution and language are elusive. We aimed at providing a data-driven characterisation of language evolution as a field of research by relying on quantitative analysis of data drawn from 697 reviews on (...) 255 submissions from the Joint Conference on Language Evolution 2022 (Kanazawa, Japan). Our results delineate a field characterized by a core of main research topics such as iconicity, sign language, multimodality. Despite being explored within the framework of language evolution research, only very recently these topics became popular in linguistics. As a result, language evolution has the potential to emerge as a forefront of linguistic research, bringing innovation to the study of language. We also see the emergence of more recent topics like rhythm, music, and vocal learning. Furthermore, the community identifies cognitive science, primatology, archaeology, palaeoanthropology, and genetics as key areas, encouraging empirical rather than theoretical work. With new themes, models, and methodologies emerging, our results depict an intrinsically multidisciplinary and evolving research field, likely adapting as language itself. (shrink)

Post-translational histone modifications and their biological effects have been described as a ‘histone code’. Independently, Barbieri used the term ‘organic code’ to describe biological codes in addition to the genetic code. He also provided the defining criteria for an organic code, but to date the histone code has not been tested against these criteria. This paper therefore investigates whether the histone code is a bona fide organic code. After introducing the use of the term ‘code’ in biology, the criteria a (...) putative organic code such as the histone code must conform to in order to be recognised as an organic code are described. Our current knowledge of histones and their major post-translational modifications, and the specific protein binding domains that recognise and translate these into specific biological effects, is then reviewed in detail. The histone modification system is then placed in the context of an organic code and it is concluded that it fulfils all the requirements of an organic code. The marks produced on histones by processes such as acetylation and methylation act as organic signs that are translated into unique biological effects, their biological meanings. These translations are accomplished by effector proteins that consist of a binding domain that recognises a specific histone mark and a regulatory domain that mediates the biological effect. Crucially, these domains can be experimentally interchanged between different effector proteins, thus altering the rules that specify the relationships between sign and meaning. The effector proteins therefore fulfil the role of adaptor molecules. (shrink)

Examines widespread myths about transhumanism and explores the most pressing ethical issues in the debate over technologically assisted human enhancement.

"Jürgen Habermas", so schrieb der amerikanische Philosoph Ronald Dworkin zum 80. Geburtstag des grossen europäischen Denkers, "ist nicht nur der berühmteste lebende Philosoph der Welt. Sein Ruhm selbst ist berühmt." Nach mehrjährigen Forschungen, intensiver Recherche und ausführlichen Gesprächen mit Weggefährten, Zeitzeugen sowie mit Habermas selbst legt Stefan Müller-Doohm nun die erste umfassende Biographie des bedeutendsten Intellektuellen unserer Zeit vor. Sie beleuchtet sowohl das Zusammenspiel von philosophischer Reflexion und intellektueller Intervention als auch das Wechselverhältnis von Lebens- und Werkgeschichte vor dem (...) Hintergrund historischer Ereignisse. Deutlich wird so das Bild eines einzigartigen Denkers, zu dessen wichtigsten philosophischen Errungenschaften eine Theorie verständigungsorientierten Handelns gehört, der, wenn er den Eindruck gewinnt, dass die Gesellschaft hinter ihren Möglichkeiten zur Gestaltung freier und gerechter Lebensverhältnisse zurückbleibt, zum unnachgiebigen Kritiker wird. (shrink)

Recent findings indicate that the constituting digits of multi-digit numbers are processed, decomposed into units, tens, and so on, rather than integrated into one entity. This is suggested by interfering effects of unit digit processing on two-digit number comparison. In the present study, we extended the computational model for two-digit number magnitude comparison of Moeller, Huber, Nuerk, and Willmes (2011a) to the case of three-digit number comparison (e.g., 371_826). In a second step, we evaluated how hundred-decade and hundred-unit compatibility effects (...) were moderated by varying the percentage of within-hundred (e.g., 539_582) and within-hundred-and-decade filler items (e.g., 483_489). From the results we predict that numerical distance as well as compatibility effects should indeed be modulated by the relevance of tens and units in three-digit number magnitude comparison: While in particular the hundred distance effect should decrease, we predict hundred-decade and hundred-unit compatibility effects to increase with the relevance of tens and units. (shrink)

: This paper examines two features of Kant’s 1768 critique of Leibniz’ conception of space. Firstly, Leibniz’ proposed geometrical calculus called ‘analysis situs’; secondly, Leibniz’ relational conception of space. The main thesis of the paper is that Kant’s arguments are more powerful than generally recognized. With regard to the analysis situs, I will show that Kant was quite well informed about this proposed science and that his arguments severely undermine Leibniz’ claims to what it could perform. With regard to the (...) relational theory of space, Kant’s argument would require Leibniz to present a complex story about the relation between God’s act of creation and our spatial experience to defend his relational view, rather than using the simple principle of sufficient reason. (shrink)

This article investigates corporate governance reform in South Africa in the context of the country’s international links with Anglo-American corporate governance and domestic pursuit of socioeconomic development. Two key questions are evaluated. (a) How has divergence within the Anglo-American model influenced corporate governance reform in South Africa? (b) Can South Africa’s historical closeness to the Anglo-American model be combined with increasing attention to stakeholder issues to produce a hybrid “African model” of corporate governance? Evaluating these questions, the following issues are (...) explored in turn: the contrast between shareholder and stakeholder models, divergence between U.S. and U.K. approaches to corporate governance as exemplified by Sarbanes-Oxley, locating a South African approach in context of the Anglo-American model, the King reports and an emerging “African” model of corporate governance, and the role of international and domestic factors in shaping South Africa’s ongoing reform process. (shrink)

More than 50 years ago, Bongard introduced 100 visual concept learning problems as a challenge for artificial vision systems. These problems are now known as Bongard problems. Although they are well known in cognitive science and artificial intelligence, only very little progress has been made toward building systems that can solve a substantial subset of them. In the system presented here, visual features are extracted through image processing and then translated into a symbolic visual vocabulary. We introduce a formal language (...) that allows representing compositional visual concepts based on this vocabulary. Using this language and Bayesian inference, concepts can be induced from the examples that are provided in each problem. We find a reasonable agreement between the concepts with high posterior probability and the solutions formulated by Bongard himself for a subset of 35 problems. While this approach is far from solving Bongard problems like humans, it does considerably better than previous approaches. We discuss the issues we encountered while developing this system and their continuing relevance for understanding visual cognition. For instance, contrary to other concept learning problems, the examples are not random in Bongard problems; instead they are carefully chosen to ensure that the concept can be induced, and we found it helpful to take the resulting pragmatic constraints into account. (shrink)

Summary The typology of scientific research is of considerable importance for the development of the methodology of science. Apart from the typology accepted by UNESCO, the author introduces a new typology of scientific research, distinguishing the following types of research: diagnostic and generalizing, chronological and systematic, heuristic and justificatory, universalist and specialist, theoretical and practical, explanatory and descriptive and others.

Musikalische Werke sind keine Personen. Dennoch sagen wir zum Beispiel, ein Werk sei melancholisch, drucke Freude aus oder verbreite eine zuversichtliche Stimmung. Doch mit welchem Recht? Die Beantwortung dieser Frage ist grundlegend fur die Musikphilosophie. In der Monographie wird systematisch das Wesen und, auf den Resultaten dieses ersten Teils aufbauend, im zweiten Teil der Wert der Expressivitat von Musik untersucht. Dabei wird ein historisch und empirisch informierter, integrativer Ansatz musikalischer Expressivitat ausgearbeitet. Die Untersuchung tragt so zu einem besseren Verstandnis des (...) Mediums Musik und seiner Bedeutung fur das menschliche Dasein bei. (shrink)

The operative nucleus of peer review processes has largely remained a ‘black box’ to analytical empirical research. There is a lack of direct insights into the communicative machinery of peer review, i.e., into ‘gatekeeping in action’. This article attempts to fill a small part of this huge research gap. It is based on an ethnographic case study about peer review communication in a sociological journal. It looks at the final phase of the peer review process: the decisions taken in the (...) oral communication of editors’ meetings. The article describes this meeting as an instrumented talk, supported by written tools and constrained by necessary procedural outcomes. It analyzes examples of interactive negotiations of manuscripts and, in the end, it discusses the procedural rationality of peer review as a public sphere for professional judgment. (shrink)

In the following pages I intend to bring to attention the way in which the concrete effort of comprehension (as sensitive yet lucid grasping of a state of affairs) becomes critical reflection. I am constantly referring to several of Aurel Codoban’swritings, using as a departure point his 2001 book, Sign and intepretation. A postmodern introduction in semiotics and hermeneutics, whose pages might serve as a good guide for such a discussion. I remark than that criticalreflection manifests in several ways: as (...) a reflexive philosophical exercise (when the conscience of the self is assuming her actual philosophical condition), as a careful examination of the phenomenon of communication and of our world of signs and, lastly, as hermeneutical ontology. This is a type of reflections that leaves space to critical judgement, sharp irony and free, relaxed meditation, in equal proportion. Such an effort is always laudable in a philosophical community and, consequently, worthy of appreciation. (shrink)