In this paper we prove some results about the complexity of proofs. We consider proofs in Hilbert-style formal systems such as in [17]. Thus a proof is a sequence offormulas satisfying certain conditions. We can view the formulas as being strings of symbols; hence the whole proof is a string too. We consider the following measures of complexity of proofs: length , depth and number of steps For a particular formal system and a given formula A we consider the shortest (...) length of a proof of A , the minimal depth of a proof of A and the minimal number of steps in a proof of A . The main results are the following: a bound on the depth in terms of the number of steps: Theorem 2.2, a bound on the depth in terms of the length: Theorem 2.3, a bound on the length in terms of the number of steps for restricted systems: Theorem 3.1. These results are applied to obtain several corollaries. In particular we show: a bound on the number of steps in a cut-free proof, some speed-up results, bounds on the number of steps in proofs of Paris-Harrington sentences. Some papers related to our research are listed in the references. We were especially influenced by Parikh's paper [17] on the famous conjecture of Kreisel . Many important problems in this field remain open. We hope that our paper will contribute to progress in this area. It should be noted that some results of this paper can be equally well obtained using unification theory , by translating a complexity-of-proof problem into a unification problem. A unification algorithm solving the unification problem can then be constructed and the complexity of the unification algorithm analyzed. As pointed out by the referee this method can be used to solve the problem stated in Section 3 for some non-simple schematic systems. (shrink)

Evaluating clinical ethics support services has been hailed as important research task. At the same time, there is considerable debate about how to evaluate CESS appropriately. The criticism, which has been aired, refers to normative as well as empirical aspects of evaluating CESS. In this paper, we argue that a first necessary step for progress is to better understand the intervention in CESS. Tools of complex intervention research methodology may provide relevant means in this respect. In a first step, we (...) introduce principles of “complex intervention research” and show how CESS fulfil the criteria of “complex interventions”. In a second step, we develop a generic “conceptual framework” for “ethics consultation on request” as standard for many forms of ethics consultation in clinical ethics practice. We apply this conceptual framework to the model of “bioethics mediation” to make explicit the specific structural and procedural elements of this form of ethics consultation on request. In a final step we conduct a comparative analysis of two different types of CESS, which have been subject to evaluation research: “proactive ethics consultation” and “moral case deliberation” and discuss implications for evaluating both types of CESS. To make explicit different premises of implemented CESS interventions by means of conceptual frameworks can inform the search for sound empirical evaluation of CESS. In addition, such work provides a starting point for further reflection about what it means to offer “good” CESS. (shrink)

What's wrong with joining corona parties? In this article, I defend the idea that reasons to avoid such parties come in degrees. I approach this issue from a participation-based perspective. Specifically, I argue that the more people are already joining the party, and the more likely it is that the virus will spread among everyone, the stronger the participation-based reason not to join. In defense of these degrees, I argue that they covary with the expression of certain attitudes.

Ukazano relacje Polaków dotyczące przyrody południowoafrykańskiej z perspektywy ponad 400 lat. Afryka Południowa, praktycznie do naszych czasów, jawiła się im zawsze jako kraj nie tylko bardzo odległy, ale też egzotyczny i interesujący. Determinowało to w poważnym stopniu charakter relacji. Podkreślały one przede wszystkim różnorodność i bogactwo przyrody południowoafrykańskiej. Przyrodę południowoafrykańską postrzegano również przez pryzmat wielkich możliwości łowieckich. Wielu Polaków odwiedzających Afrykę Południową wyrażało zdziwienie z obecności w tym kraju dwóch wykluczających się w zasadzie światów – nietkniętej przyrody i cywilizacji (...) europejskiej. Najczęściej opisywanym miejscem Afryki Południowej był Przylądek Dobrej Nadziei oraz okolice dzisiejszego Kapsztadu. Pierwszego dokładnego zapisu interior dokonał Antoni Rehman w latach siedemdziesiątych XIX wieku. Rzeczowo i ze znawstwem pisali o przyrodzie południowoafrykańskiej polscy uczeni, którzy uczestniczyli w XV Międzynarodowym Kongresie Geologicznym w Pretorii w 1929 roku: Walery Goetel, Jan Lewiński, Józef Morozewicz i Jerzy Loth. Dość liczne relacje odnośnie przyrody południowoafrykańskiej pojawiły się współcześnie w kontekście złożonej sytuacji społeczno- politycznej Afryki Południowej. (shrink)

Of all the attitudes and theories associated with or identified as "pacifism," only the doctrine that everyone ought not to resist violence with force is of philosophical interest, And it is logically incoherent. Pacifism's popularity rests on confusions about what the doctrine really is. If we have rights, We have the right to prevent infringements upon them. We have the right to use force to protect our rights, And in the degree necessary to accomplish that end. (staff).

This paper explores the fact that linear opinion pooling can be represented as a Bayesian update on the opinions of others. It uses this fact to propose a new interpretation of the pooling weights. Relative to certain modelling assumptions the weights can be equated with the so-called truth-conduciveness known from the context of Condorcet's jury theorem. This suggests a novel way to elicit the weights.

Hilbert's axiomatization program of physical theories met an interesting challenge when it confronted the rise of quantum mechanics in the mid-twenties. The novelty of the mathematical apparatus of the then newly born theory was to be matched only by its substantial lack of any definite physical interpretation. The early attempts at axiomatization, which are described here, reflect all the difficulty of the task faced by Jordan, Hilbert, von Neumann and others. The role of von Neumann is examined in considerable detail (...) as he can be viewed here as the most outstanding of Hilbert's heirs. Von Neumann, especially in his work devoted to the proof of the impossibility of hidden variables, not only continued Hilbert's program but pushed it to its very limits, blending axiomatic rigor and interpretative commitment. (shrink)

This paper discusses ἐπιβολαὶ τῆς διανοίας, which later Epicureans are supposed to have elevated to a fourth criterion of truth to complement perceptions, preconceptions and feelings. By examining Epicurus’ extant writings, the paper distinguishes three different senses of the term: ‘thought in general’, ‘act of attention’ and ‘mental perception’. It is argued that only the sense ‘mental perception’ yields a plausible reading of ἐπιβολαί as a criterion of truth. The paper then turns to the textual evidence on ἐπιβολαί in later (...) authors. While the term ἐπιβολή is not used by Cicero, Lucretius and Philodemus in the sense of mental perception, it is argued that this still is the most plausible way of understanding ἐπιβολή as a criterion of truth. (shrink)

Die leitende These der Untersuchung lautet, dass der von Berkeley inaugurierte und uneingeschränkt verteidigte Idealismus bei Kant und Schopenhauer eine spannungsreiche Bewegung der Problematisierung und Kritik freisetzt. In der bisherigen Forschung wurden die Positionen George Berkeleys, Immanuel Kants und Arthur Schopenhauers noch nicht systematisch miteinander verglichen. Die Entwicklungsgeschichte des Idealismus erstmals anhand dieser drei Referenzautoren zu dokumentieren, bildet das zentrale Thema der Untersuchung, das die detaillierten Einzeluntersuchungen organisch verbindet. Darüber hinaus ist es ein eminentes Beweisziel der vorliegenden Monographie, Berkeley als (...) einen beeindruckend konsequenten Denker zu erschließen, dessen Immaterialismus sowohl argumentationstheoretisch wie historisch rekonstruiert wird. Insgesamt möchte die Monographie dazu beitragen, die gängige Oppositionsbildung zwischen dem britischen Empirismus auf der einen Seite und der deutschsprachigen Transzendentalphilosophie auf der anderen Seite zu hinterfragen. Die Relevanz und Originalität des Buches beruht dabei nicht nur in der Zusammenführung dieser bislang separat behandelten Traditionslinien, sondern zugleich in der Profilierung einer idealistischen Metaphysik. (shrink)

In the literature, regress arguments often take one of two different forms: either they conclude that a given solution fails to solve any problem of a certain kind (the strong conclusion), or they conclude that a given solution fails to solve all problems of a certain kind (the weaker conclusion). This gives rise to a logical problem: do regresses entail the strong or the weaker conclusion, or none? In this paper I demonstrate that regress arguments can in fact take both (...) forms, and clearly set out the logical difference between them. Throughout the paper, I confine myself to metaphysical examples from the early Russell. Only now that we know they are valid can we start to discuss whether they are sound. (shrink)

The focus of this article is a question that has been neglected in debates about digitalization: Could machines replace human scientists? To provide an intelligible answer to it, we need to answer a further question: What is it that makes (or constitutes) a scientist? I offer an answer to this question by proposing a new demarcation criterion for science which I call “the discoverability criterion”. I proceed as follows: (1) I explain why the target question of this article is important, (...) and (2) show that it leads to a variant of the demarcation problem of science. (3) By arguing that it is probably an essential feature of science that we can make scientific discoveries, I suggest a novel way of dealing with this problem by proposing a new demarcation criterion. Before introducing it, (4) I analyze an exemplary case of a real scientific discovery, and (5) argue that scientific discovery processes have a general underlying structure. (6) I introduce my discoverability criterion for science and present my master argument that helps us understand which criteria have to be fulfilled in order to decide whether machines can replace human scientists or not. (7) I conclude by answering the article’s target question and bringing forward a take-home message. (shrink)

Non-invasive brain stimulation promises innovative experimental possibilities for psychology and neurosci- ence as well as new therapeutic and palliative measures in medicine. Because of its good risk–benefit ratio, non-invasiveness and reversibility as well as its low effort and cost it has good chances of becoming a wide- spread tool in science, medicine and even in lay use. While most issues in medical and research ethics such as informed consent, safety, and potential for misuse can be handled with manageable effort, the (...) real promise of brain stimulation does raise one prominent moral worry: it may lay the foundation of reliable, precise and stable manipulations of the mind. This article addresses this worry and concludes that it is not the possibility of manipulation, but the shift in our understanding of our mind which stands in need of careful consideration. (shrink)

There is a wide spectrum in reading Michael Ondaatje’s novel Anil’s Ghost, ranging from thinkers who explore literary, historical, to ethico-ontological and political aspects. I confine the study by strictly retrieving the subjectivity of the human rights victim as not rested in its being a subject and victim, hence as a specter that haunts or ‘retaliates’ into exposing its victimization. This article attempts to read the spectral nature of this victim using Derrida and Žižek. The Derridean reading grounds the central (...) spectrality on his hauntology and what it says about the victim’s ghostly character. Later, I expound on the act of haunting from a Žižekean standpoint by hinging on the notion of ‘drive’ that exposes the nature of victimization as depoliticizing the subject. (shrink)

Experienced time is real time, the only time we know anything about and how we can go about to make it a scientific measure of natural processes.

In this paper we study the relativized Lascar Galois group of a strong type. The group is a quasi-compact connected topological group, and if in addition the underlying theory T is G-compact, then the group is compact. We apply compact group theory to obtain model theoretic results in this note. -/- For example, we use the divisibility of the Lascar group of a strong type to show that, in a simple theory, such types have a certain model theoretic property that (...) we call divisible amalgamation. -/- The main result of this paper is that if c is a finite tuple algebraic over a tuple a, the Lascar group of stp(ac) is abelian, and the underlying theory is G-compact, then the Lascar groups of stp(ac) and of stp(a) are isomorphic. To show this, we prove a purely compact group-theoretic result that any compact connected abelian group is isomorphic to its quotient by every finite subgroup. -/- Several (counter)examples arising in connection with the theoretical development of this note are presented as well. For example, we show that, in the main result above, neither the assumption that the Lascar group of stp(ac) is abelian, nor the assumption of c being finite can be removed. (shrink)

The article investigates how two different conceptions of the edifying potential of education attempt to take into account the normative dimension of scientific knowledge. In the first conception it is the demand for truth that is edifying, whereas in the second concept it is a distinctively ethical demand. It is argued that the first concept in the end implies the subjection of education to the ‘brutality of facticity’, under which it risks losing its critical point. The second conception, drawing on (...) Levinas and Arendt, tries to safeguard this critical point. It conceives education as a process through which scientific knowledge is made subject to reflection, and is thus confronted with the ethical challenges and demands of society. (shrink)

The main goal of this dissertation is to provide a solid foundation for a formalization of Inference to the Best Explanation (IBE). This foundation consists of three major components. First, an intuitively adequate and formally precise model of causal explanation. Secondly, an intuitively adequate and formally precise measure of (causal) explanatory power. And third, an intuitively adequate and formally precise criterion of proportionality that is able to identify the most appropriate level of specificity for a causal explanation. While the first (...) component makes it possible to generate and identify causal explanations reliably, the second and third components make it possible to evaluate the strength or quality of causal explanations, which is crucial for identifying the best of a set of competing causal explanations. (shrink)

An inquiry into the bioethical or ethical component of post-humanism can be through the question of sex. Following from Manoj’s idea of a cyborg as having a “sexless” possibility, this paper presents other arguments that advance the possibility of asexuality in the posthuman. First, I begin with a discussion of Žižek’s point concerning the cessation or voiding of sexual difference. Second, I will continue such an argument through the selfreplicating possibilities of cloning and full cyberspace immersion, the later as prototyped (...) by Pokémon. And finally, there seems to be an inevitable thread that begs to link the concept of the posthuman to Nietzsche; so I will explore some of the arguments that include or exclude Nietzschean ethics in this prospect. (shrink)

Arousal is one of the dimensions of core affect and frequently used to describe experienced or observed emotional states. While arousal ratings of facial expressions are collected in many studies it is not well understood how arousal is displayed in or interpreted from facial expressions. In the context of socioemotional disorders such as Autism Spectrum Disorder, this poses the question of a differential use of facial information for arousal perception. In this study, we demonstrate how automated face-tracking tools can be (...) used to extract predictors of arousal judgments. We find moderate to strong correlations among all measures of static information on one hand and all measures of dynamic information on the other. Based on these results, we tested two measures, average distance to the neutral face and average facial movement speed, within and between neurotypical individuals and individuals with autism. Distance to the neutral face was predictive of arousal in both groups. Lower mean arousal ratings were found for the autistic group, but no difference in correlation of the measures and arousal ratings could be found between groups. Results were replicated in an high autistic traits group. The findings suggest a qualitatively similar perception of arousal for individuals with and without autism. No correlations between valence ratings and any of the measures could be found, emphasizing the specificity of our tested measures. Distance and speed predictors share variability and thus speed should not be discarded as a predictor of arousal ratings. (shrink)

This book deals with the history of the problem whether or not time can fully exist without the mind. This has been a vital issue in the philosophy of time, with intriguing arguments and solutions, from Aristotle to the present.

Die nicht erst seit dem Herbst 2015 andauernden Migrationsbewegungen nach Europa und auch innerhalb Europas lassen es angeraten erscheinen, den damit aufgeworfenen ethischen und rechtlichen Fragen auch in einem Themenschwerpunkt des Jahrbuchs näher nachzugehen. Der vorliegende Band stellt dabei in einem ersten Teil die rechtsethischen Grundfragen der Migration zur Diskussion. In einem zweiten Teil werden demgegenüber rechtliche Spezialfragen der Migration untersucht. Das Jahrbuch enthält wieder ein »Diskussionsforum«, in dem in diesem Jahr Fragen des Zusammenspiels von logischer Analyse und juristischer Argumentation (...) zur Debatte stehen. Es schließt mit einem Berichts- und Rezensionsteil. (shrink)

This book interprets and reflects on the conception of God that is implied by the Lord’s Prayer. It explains the epistemic status and ontological implications of the Christian faith in God and proposes a non-essentialist account of central identity-defining attributes of God.

This paper investigates the distinction between determining and modifying expressions that played an important role in the Brentano School. The focus lies on how the distinction is applied to adjectives by Anton Marty and Kazimierz Twardowski. In ‘heavy gun’, ‘heavy’ plays a determining role: heavy guns are guns; in ‘fake gun’, ‘fake’ plays a modifying role: fake guns are no guns at all. According to Marty and Twardowski, when a modifying adjective is combined with a noun, it shifts the meaning (...) of the noun. This paper rejects this proposal and proposes a better account which was developed by Bernard Bolzano: the difference between determining and modifying adjectives must be understood in terms of how their meanings figure in meaning analyses of adjective-noun combinations. (shrink)

Contrary to widespread assumptions, post-truth politicians formally adopt a rhetoric of ‘truth’ but turn it against established experts. To explain one central factor behind this destructive strategy and its success with voters, I consider Walter Lippmann and Friedrich Hayek, who from 1922 onwards helped develop and popularize a political rhetoric of ‘truth’ in terms of scientific expertise. In Hayek’s influential version, market economics became the crucial expert field. Consequently, the 2008 financial crisis impacted attitudes towards experts more generally. But even (...) sweeping rejection of experts continues to use the rhetoric, by now dominant, of expert truth. Paradoxically, this bipartisan language fuels division as opponents accuse each other of disregarding ‘truth itself’. Against the underlying metaphysics of context-free ‘facts’, John Dewey and Alfred Schutz recommend understanding truth as ‘presumptive’ knowledge produced within human practices, which can be robust but requires a readiness to engage in pluralistic and open-ended processes of (re-)contextualization. (shrink)

In the present world, where the sphere of knowledge and social relations have become extremely complex, the problem of insufficient competency and inability to manage efficiently the accumulation and distribution process of various professional skills, has grown very urgent. Paradoxically, the insufficient knowledge,lacking skill or competence may be advantageous. To a certain extent, it reduces the threat of arrogant technocracy and meritocracy, while supporting innovation and creative search process, in which the burden of excessive erudition has often slowed down progress. (...) I will focus on some fallacies common in many countries undergoing modernization process, connected to the lack of clear awareness of the reasonably expected results of the medical university education(not quite professional if related to the background of the scientific state of the matter), to the dangerous “dissemination” of responsibility for a patient in the medical bureaucracy as well as to the overrepresentation of doctors among the managerial staff. To take advantage from some portion of ignorance in the medical life it needs to be acknowledged and reflected on. (shrink)