The objective of this paper is to analyze the broader significance of Frege’s logicist project against the background of Wittgenstein’s philosophy from both Tractatus and Philosophical Investigations. The article draws on two basic observations, namely that Frege’s project aims at saying something that was only implicit in everyday arithmetical practice, as the so-called recursion theorem demonstrates, and that the explicitness involved in logicism does not concern the arithmetical operations themselves, but rather the way they are defined. It thus represents the (...) attempt to make explicit not the rules alone, but rather the rules governing their following, i.e. rules of second-order type. I elaborate on these remarks with short references to Brandom’s refinement of Frege’s expressivist and Wittgenstein’s pragmatist project. (shrink)

When reusing existing ontologies for publishing a dataset in RDF (or developing a new ontology), preference may be given to those providing extensive subcategorization for important classes (denoted as focus classes). The subcategories may consist not only of named classes but also of compound class expressions. We define the notion of focused categorization power of a given ontology, with respect to a focus class and a concept expression language, as the (estimated) weighted count of the categories that can be built (...) from the ontology’s signature, conform to the language, and are subsumed by the focus class. For the sake of tractable initial experiments we then formulate a restricted concept expression language based on existential restrictions, and heuristically map it to syntactic patterns over ontology axioms (so-called FCE patterns). The characteristics of the chosen concept expression language and associated FCE patterns are investigated using three different empirical sources derived from ontology collections: first, the concept expression pattern frequency in class definitions; second, the occurrence of FCE patterns in the Tbox of ontologies; and last, for class expressions generated from the Tbox of ontologies (through the FCE patterns); their ‘meaningfulness’ was assessed by different groups of users, yielding a ‘quality ordering’ of the concept expression patterns. The complementary analyses are then compared and summarized. To allow for further experimentation, a web-based prototype was also implemented, which covers the whole process of ontology reuse from keyword-based ontology search through the FCP computation to the selection of ontologies and their enrichment with new concepts built from compound expressions. (shrink)

The paper aims to explain different cases of disobedient institutional behavior using the attitude-based model. The issue of how to analyze and capture the faces of disobedience in a simple model is approached in three steps: first, misbehavior is defined as a certain lack in normative attitudes; second, these attitudes are distinguished in terms of normative acceptance and normative guidance; and third, combinations of these attitudes represent basic types of disobedience: opposing, transgressing and conforming. These three categories constitute an analytical (...) typology of disobedient agents compatible with the theory of social institutions. (shrink)

The article provides a focused overview of the recent debates in political philosophy on the role of religious arguments (as reasons for action) in liberal democracy, as well as a preliminary defence of a particular approach to the issue. Drawing on Christopher Eberle’s typology, we distinguish three main camps – Justificatory Liberalism, basing its advocacy of a “doctrine of religious restraint” on Rawls’s account of public justification; its Liberal Critics, embracing a wholly permissive position vis-à-vis religious arguments in the public (...) sphere; and New Traditionalism, which assigns priority to the religious rationale. The article deals in more detail with the exchange between the first two camps. Upon considering their strengths and weaknesses, we argue for a more robust “third way” between exclusion from and unqualified inclusion of religious arguments in public debates in liberal democracy. Inspired by the work of Gerald Gaus and Kevin Vallier, we the outline in the closing sections a framework of such “minimal justificatory liberalism” that steers clear of several errors shared by both the defenders and the critics of justificatory liberalism. (shrink)

This paper aims to assess current theoretical findings on the origin of coordination by salience and suggests a way to clarify the existing framework. The main concern is to reveal how different coordination mechanisms rely on specific epistemic aspects of reasoning. The paper highlights the fact that basic epistemic assumptions of theories diverge in a way that makes them essentially distinctive. Consequently, recommendations and predictions of the traditional views of coordination by salience are, in principle, based on the processes related (...) to the agent’s presumptions regarding the cognitive abilities of a co-player. This finding implies that we should consider these theories as complementary, and not competitive, explanations of the same phenomenon. -/- . (shrink)

The research presented in this article is motivated by the increasing importance of complex human relations in linked data, either extracted from social networks, or found in existing databases. The FOAF vocabulary, targeted in our research, plays a central role in those data, and is a model for lightweight ontologies largely used in linked data, such as the DBpedia ontology and schema-org. We provide an overview of FOAF and other approaches for describing human relations, followed by a detailed analysis and (...) critique of the FOAF Relationship Vocabulary, the most important FOAF extension. We propose an explicit formal axiomatization of this vocabulary, and an ontological analysis concerning the properties used to describe human relationships. We analyze the distribution of human relations based on their epistemological status, and define an ontoepistemic meta-property as characteristic of some of these predicates. Our analysis is generalizable to semantic modeling of social networks. Additionally, the modeling patterns used in other relevant linked data vocabularies are analyzed for comparison. (shrink)

In an effort to inform the discussion surrounding existential risks from AI, we formulate Extinction-level Goodhart’s Law as “Virtually any goal specification, pursued to the extreme, will result in the extinction of humanity”, and we aim to understand which formal models are suitable for investigating this hypothesis. Note that we remain agnostic as to whether Extinction-level Goodhart’s Law holds or not. As our key contribution, we identify a set of conditions that are necessary for a model that aims to be (...) informative for evaluating specific arguments for Extinction-level Goodhart’s Law. Since each of the conditions seems to significantly contribute to the complexity of the resulting model, formally evaluating the hypothesis might be exceedingly difficult. This raises the possibility that whether the risk of extinction from artificial intelligence is real or not, the underlying dynamics might be invisible to current scientific methods. (shrink)

There has been a growing concern over establishing norms that ensure the ethically acceptable and scientifically sound conduct of clinical trials. Among the leading norms internationally are the World Medical Association's Declaration of Helsinki, guidelines by the Council for International Organizations of Medical Sciences, the International Conference on Harmonization's standards for industry, and the CONSORT group's reporting norms, in addition to the influential U.S. Federal Common Rule, Food and Drug Administration's body of regulations, and information sheets by the Department of (...) Health and Human Services. There are also many norms published at more local levels by official agencies and professional groups.Any account of international standards should cover both scientific and ethical norms at once – the two are conceptually intertwined. Recent sources recognize that “[s]cientifically unsound research on human subjects is unethical in that it exposes research subjects to risks without possible benefit.”. (shrink)

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

This paper focuses on invasive therapeutic procedures, defined as procedures requiring the introduction of hands, instruments, or devices into the body via incisions or punctures of the skin or mucous membranes performed with the intent of changing the natural history of a human disease or condition for the better. Ethical and methodological concerns have been expressed about studies designed to evaluate the effects of invasive therapeutic procedures. Can such studies meet the same standards demanded of those, for example, evaluating pharmaceutical (...) agents? This paper describes a research project aimed at examining the interplay and sometimes apparent conflict between ethical standards for human research and standards for methodological rigor in trials of invasive procedures. The paper discusses how the authors plan to develop a set of consensus standards that, if met, would result in substantial and much-needed improvements in the methodological and ethical quality of such trials. (shrink)

Arnošt Kolman (1892–1979) was a Czech mathematician, philosopher and Communist official. In this paper, we would like to look at Kolman’s arguments against logical positivism which revolve around the notion of the fetishization of mathematics. Kolman derives his notion of fetishism from Marx’s conception of commodity fetishism. Kolman is aiming to show the fact that an entity (system, structure, logical construction) acquires besides its real existence another formal existence. Fetishism means the fantastic detachment of the physical (...) characteristics of real things or phenomena from these things. We identify Kolman’s two main arguments against logical positivism. In the first argument, Kolman applied Lenin’s arguments against Mach’s empiricism-criticism onto Russell’s neutral monism, i.e. mathematical fetishism is internally related to political conservativism. Kolman’s second main argument is that logical and mathematical fetishes are epistemologically deprived of any historical and dynamic dimension. In the final parts of our paper we place Kolman’s thinking into the context of his time, and furthermore we identify some tenets of mathematical fetishism appearing in Alain Badiou’s mathematical ontology today. (shrink)

Recenze: Vojtěch Hladký - Radim Kočandrle - Zděněk Kratochvíl, Evoluce před Darwinem. Červený Kostelec: Pavel Mervart 2012, 248 s.