We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia (...) theorem and the theory of modal companions to systems of multiple-conclusion rules or (finitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property. (shrink)

We show that the universally axiomatized, induction-free theory equation image is a sequential theory in the sense of Pudlák's 5, in contrast to the closely related Robinson's arithmetic.

We study the extension 123) of the theory S21 by instances of the dual weak pigeonhole principle for p-time functions, dWPHPx2x. We propose a natural framework for formalization of randomized algorithms in bounded arithmetic, and use it to provide a strengthening of Wilkie's witnessing theorem for S21+dWPHP. We construct a propositional proof system WF , which captures the Π1b-consequences of S21+dWPHP. We also show that WF p-simulates the Unstructured Extended Nullstellensatz proof system of Buss et al. 256). We prove that (...) dWPHP is equivalent to a statement asserting the existence of a family of Boolean functions with exponential circuit complexity. Building on this result, we formalize the Nisan–Wigderson construction in a conservative extension of S21+dWPHP. (shrink)

The dignity of the human being has gained prominence in recent years as a fundamental principle from which rights also considered fundamental are derived. Based on the discussion provoked by Luhmann on external resources to the right in a system defined as operatively closed and cognitively open, the paper asks if the dignity of human being may occupy this functional place. KEY WORDS – Human dignity. Fundamental rights. Legal sociology. Systems theory.

What is death: a process or a specific declaration? Is it a biological continuum of events or a decision based on medical, ethical, and legal criteria? In our view, it is both, and there are philos...

The issue of democracy is alive once more. There is a growing number of works debating the current state of democracy both in theory and practice.1 In particular a pragmatist conception of democracy has also been revived. Not only has a Deweyan version of a participatory democracy become the focus but the intricacies of a Rortian version have also come to the forefront, from both sympathetic as well as critical viewpoints.2 Thus the impression that the contemporary world is in quite (...) an exigent need of reconsidering—and perhaps even forming a novel conception of—democracy seems to be obvious, at least from a global point of view.3 Moreover, the fact that the idea or ideal of democracy still seems to be .. (shrink)

This book is a defense of the methods of analytic philosophy against a recent empirical challenge to the soundness of those methods. The challenge is raised by practitioners of “experimental philosophy” and concerns the extent to which analytic philosophy relies on intuition—in particular, the extent to which analytic philosophers treat intuitions as evidence in arguing for philosophical conclusions. Experimental philosophers say that analytic philosophers place a great deal of evidential weight on people’s intuitions about hypothetical cases and thought experiments. This (...) book argues that this view of traditional philosophical method is a myth, part of “metaphilosophical folklore.” Analytic philosophy makes regular use of hypothetical examples and thought experiments, but philosophers argue for their claims about what is true or not true in these examples and thought experiments. It is these arguments, not intuitions, that are treated as evidence for the claims. The book discusses xphi and some recent xphi studies; critiques a variety of other metaphilosophical claims; examines such famous arguments as Gettier’s refutation of the JTB theory and Kripke’s Gödel Case argument against descriptivism about proper names, and shows that they rely on reasoning rather than intuition; and finds existing critiques of xphi, the “Multiple Concepts” and “Expertise” replies, to be severely lacking. (shrink)

Keine ausführliche Beschreibung für "Religionsphilosophie evangelischer Theologie" verfügbar.

We prove that the sharply bounded arithmetic T02 in a language containing the function symbol ⌊x /2y⌋ is equivalent to PV1.

We investigate the substitution Frege () proof system and its relationship to extended Frege () in the context of modal and superintuitionistic propositional logics. We show that is p-equivalent to tree-like , and we develop a “normal form” for -proofs. We establish connections between for a logic L, and for certain bimodal expansions of L.We then turn attention to specific families of modal and si logics. We prove p-equivalence of and for all extensions of , all tabular logics, all logics (...) of finite depth and width, and typical examples of logics of finite width and infinite depth. In most cases, we actually show an equivalence with the usual system for classical logic with respect to a naturally defined translation.On the other hand, we establish exponential speed-up of over for all modal and si logics of infinite branching, extending recent lower bounds by P. Hrubeš. We develop a model-theoretical characterization of maximal logics of infinite branching to prove this result. (shrink)

The elementary arithmetic operations +,·,≤\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${+,\cdot,\le}$$\end{document} on integers are well-known to be computable in the weak complexity class TC0, and it is a basic question what properties of these operations can be proved using only TC0-computable objects, i.e., in a theory of bounded arithmetic corresponding to TC0. We will show that the theory VTC0 extended with an axiom postulating the totality of iterated multiplication proves induction for quantifier-free formulas in the language ⟨+,·,≤⟩\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle{+,\cdot,\le}\rangle}$$\end{document}, and more generally, minimization for Σ0b\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma_{0}^{b}}$$\end{document} formulas in the language of Buss’s S2. (shrink)

This paper considers the view that the basis of equality is the range property of being a moral person. This view, suggested by John Rawls in his A Theory of Justice (1971), is commonly dismissed in the literature. By defending the view against the criticism levelled against it, I aim to show that this dismissal has been too quick. The critics have generally failed to fully appreciate the fact that Rawls's account is restricted to the domain of distributive justice. On (...) Rawls's view distributive justice is a matter of the fair terms of cooperation among the participants of a system of social cooperation. I argue that this understanding of distributive justice can provide a compelling rationale for considering moral personality as the basis of equality for this domain of morality. That moral persons are indeed equal is further supported by an intuitive argument concerning the irrelevance of morally arbitrary factors, giving us reasons to believe that varying capacities among moral persons does not result in an unequal moral status. The dismissal of Rawls's account of equality has thus been premature, and it remains an important view to consider. (shrink)

In his Mathesis rationis Leibniz discounted out of hand four categorical propositions that would have considerably broadened the resultant syllogistic logic. He did this despite the facts both that he had devised a suitable manner for expressing the latent quantification over terms, and that he had reasoned adequately to determine which of the syllogisms in the resulting broadened logic were valid. Leibniz's reasons for discounting these non-standard propositions are shown to be inadequate, and the resultant syllogistic logic is outlined.

Einleitung. Die logik des wertens in der geschichtsphilosophie des deutschen idealismus.--Die logischen voraussetzungen von Kants und Hegels rationalismus und die einordnung Fichtes in den entwicklungsgang der deutschen spekulation.--Fichtes rationalismus und die irrationalität des empirischen.--Fichtes geschichtsphilosophie.

The "Practice Turn" in the Contemporary Socio-Human Sciences The paper provides an overview of the current situation in the socio-human sciences, which is characterised by attempts to overcome traditional one-sided approaches and look for new alternatives. One of the latest alternatives to traditional approaches in the philosophy and methodology of the social sciences is the "practice turn". It is the turn to another, non-traditional approach to practice but also to Aristotelian phronesis. The author gives an account of three main tenets (...) of this turn with reference to both ancient Greek and modern conceptions of practice. (shrink)

In this article, Emil Sætra examines how teachers and students construct and experience aims and goods in classroom discussions of controversial issues. This study is situated within the emerging tradition of empirical ethics, and the research strategy comprised two main steps. First, Sætra used interview data to analyze, via the experiences of teachers and students, the following two empirical questions: (1) What goods normatively constitute educative discussions of controversial issues? (2) How are these goods constructed in time and space? (...) Second, in the concluding discussion, Sætra makes explicit some normative implications of the empirical findings and discusses theses in relation to previous research. In brief, what emerges from the conjoined experiences of teachers and students is the notion that practice comprises multiple aims and drives. Moreover, because aims and drives are multiple, decisions regarding priorities will sometimes have to be made, and teachers may be subject to conflicting expectations. This means that practitioners must be able to make reflective judgments about what comprises acceptable ends, what projects should be undertaken to achieve those ends, and what actions ought to be performed as part of those projects. (shrink)