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)

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)

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...

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

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.

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.

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)

According to John Rawls’s famous Liberal Principle of Legitimacy, the exercise of political power is legitimate only if it is justifiable to all citizens. The currently dominant interpretation of what is justifiable to persons in this sense is an internalist one. On this view, what is justifiable to persons depends on their beliefs and commitments. In this paper I challenge this reading of Rawls’s principle, and instead suggest that it is most plausibly interpreted in externalist terms. On this alternative view, (...) what is justifiable to persons is not in any way dependent on, or relativized to, their beliefs and commitments. Instead, what is justifiable to all in the relevant sense is what all could accept as free and equal. I defend this reinterpretation of the view by showing how it is supported by Rawls’s account of the freedom and equality of persons. In addition, a considerable advantage of this suggestion is that it allows for an inclusive account of to whom the exercise of political power must be made justifiable. (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)

The redundant-signals paradigm (RSP) is designed to investigate response behavior in perceptual tasks in which response-relevant targets are defined by either one or two features, or modalities. The common finding is that responses are speeded for redundantly compared to singly defined targets. This redundant-signals effect (RSE) can be accounted for by race models if the response times do not violate the race model inequality (RMI). When there are violations of the RMI, race models are effectively excluded as a viable account (...) of the RSE. The common alternative is provided by co-activation accounts, which assume that redundant target signals are integrated at some processing stage. However, ‘co-activation’ has mostly been only indirectly inferred and the accounts have only rarely been explicitly modeled; if they were modeled, the RSE has typically been assumed to have a decisional locus. Yet, there are also indications in the literature that the RSE might originate, at least in part, at a non-decisional or motor stage. In the present study, using a distribution analysis of sequential-sampling models (ex-Wald and Ratcliff Diffusion model), the locus of the RSE was investigated for two bimodal (audio-visual) detection tasks that strongly violated the RMI, indicative of substantial co-activation. Three model variants assuming different loci of the RSE were fitted to the quantile reaction time proportions: a decision, a non-decision, and a combined variant both to vincentized group as well as individual data. The results suggest that for the two bimodal detection tasks, co-activation has a shared decisional and non-decisional locus. These findings point to the possibility that the mechanisms underlying the RSE depend on the specifics (task, stimulus, conditions, etc.) of the experimental paradigm. (shrink)

The paper provides an account of the pragmatist philosophical conception of reciprocity and altruism based on the ontology of “panrelationalism”. The Deweyan concepts of transaction and cooperation are also outlined in some detail as well as the pragmatist (Rortyan) idea of justice. The author attempts to show that altruism is not necessarily just reciprocal but demands as its supplement (at least) altruism without reciprocation.

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.

In this paper I will deal with the question of the religious education in the public schools in Romania, from the point of view of the relationship between Church and State. My quantitative and qualitative analysis of the bills concerning religious education, the way in which law has been applied and some of the consequences of this application wants to circumscribe the meaning of some concepts such as religious liberty and the new religious forms. The basic consequence of this I (...) hope will be the redefining of the notion of public space and of the role played by religion with its characteristic aspects: the relationship between state and religious organizations. This will clearly show the essential bond between two main aspects of religious liberty: the formal aspect - legal and institutional - and the informal aspect – an aspect connected to the personal and social attitudes regarding the new forms of religious behaviour. (shrink)