This volume takes on both issues and examines the relationship between organisms and artifacts from the perspective of functionality.

This paper develops a formal framework to model a process in which the formation of individual opinions is embedded in a deliberative exchange with others. The paper opts for a low-resolution modeling approach and abstracts away from most of the details of the social-epistemic process. Taking a bird's eye view allows us to analyze the chances for the truth to be found and broadly accepted under conditions of cognitive division of labour combined with a social exchange process. Cognitive division of (...) labour means that only some individuals are active truth seekers, possibly with different capacities. Both mathematical tools and computer simulations are used to investigate the model. As an analytical result, the Funnel Theorem states that under rather weak conditions on the social process, a consensus on the truth will be reached if all individuals possess an arbitrarily small capacity to go for the truth. The Leading the pack Theorem states that under certain conditions even a single truth seeker may lead all individuals to the truth. Systematic simulations analyze how close agents can get to the truth depending upon the frequency of truth seekers, their capacities as truth seekers, the position of the truth (more to the extreme or more in the centre of an opinion space), and the willingness to take into account the opinions of others when exchanging and updating opinions. (shrink)

A pointwise version of the Howard-Bezem notion of hereditary majorization is introduced which has various advantages, and its relation to the usual notion of majorization is discussed. This pointwise majorization of primitive recursive functionals (in the sense of Gödel'sT as well as Kleene/Feferman's ) is applied to systems of intuitionistic and classical arithmetic (H andH c) in all finite types with full induction as well as to the corresponding systems with restricted inductionĤ↾ andĤ↾c.H and Ĥ↾ are closed under a generalized (...) fan-rule. For a restricted class of formulae this also holds forH c andĤ↾c.We give a new and very perspicuous proof that for each one can construct a functional such that $\tilde \Phi \alpha $ is a modulus of uniform continuity for Φ on {β1∣∧n(βn≦αn)}. Such a modulus can also be obtained by majorizing any modulus of pointwise continuity for Φ.The type structure ℳ of all pointwise majorizable set-theoretical functionals of finite type is used to give a short proof that quantifier-free “choice” with uniqueness (AC!)1,0-qf. is not provable within classical arithmetic in all finite types plus comprehension [given by the schema (C)ϱ:∨y 0ϱ∧x ϱ(yx=0⇔A(x)) for arbitraryA], dependent ω-choice and bounded choice. Furthermore ℳ separates several μ-operators. (shrink)

Ausführung in die Philosophie.--Satirisches Denken.--Zum Beispiel.--Unwissenschaftliche Wissenschaft.--Lob der unreinen Vernunft.--Das Wahre an der Wahrheit.--Aufklärung der Dialektik.--Finis religionis.--Die Hässlichkeit der Ästhetik.--Einführung in die Liebe.--Moral hat keinen Wert.--Untreue Linien.

Volume 20, Issue 6, June 2020, Page 68-70.

The so-called weak König's lemma WKL asserts the existence of an infinite path b in any infinite binary tree . Based on this principle one can formulate subsystems of higher-order arithmetic which allow to carry out very substantial parts of classical mathematics but are Π 2 0 -conservative over primitive recursive arithmetic PRA . In Kohlenbach 1239–1273) we established such conservation results relative to finite type extensions PRA ω of PRA . In this setting one can consider also a uniform (...) version UWKL of WKL which asserts the existence of a functional Φ which selects uniformly in a given infinite binary tree f an infinite path Φf of that tree. This uniform version of WKL is of interest in the context of explicit mathematics as developed by S. Feferman. The elimination process in Kohlenbach [10] actually can be used to eliminate even this uniform weak König's lemma provided that PRA ω only has a quantifier-free rule of extensionality QF-ER instead of the full axioms of extensionality for all finite types. In this paper we show that in the presence of , UWKL is much stronger than WKL: whereas WKL remains to be Π 2 0 -conservative over PRA, PRA ω ++ UWKL contains full Peano arithmetic PA. We also investigate the proof–theoretic as well as the computational strength of UWKL relative to the intuitionistic variant of PRA ω both with and without the Markov principle. (shrink)

Few bioethicists are educated with a view into nursing. Thus, much of the conceptual and empirical research on ethical issues in nursing practice has been conducted by nurse ethicists themselves and, to a lesser degree, by individuals with a strong interest in nursing ethics. Although this work has internally shaped nursing practice, education, and policy, the broader field of bioethics has seldom examined and acknowledged the everyday ethical concerns of practicing nurses and their important contributions to bioethics discourse. In this (...) special report of the Hastings Center Report —the first to focus on nursing—Christine Grady, Ann Hamric, and I, along with consulting editor Nancy Berlinger, strive to give voice to the contributions of nurses in addressing some of our obstinate everyday ethics and health policy challenges. (shrink)

In this note we show that the so-called weakly extensional arithmetic in all finite types, which is based on a quantifier-free rule of extensionality due to C. Spector and which is of significance in the context of Gödel"s functional interpretation, does not satisfy the deduction theorem for additional axioms. This holds already for Π0 1-axioms. Previously, only the failure of the stronger deduction theorem for deductions from (possibly open) assumptions (with parameters kept fixed) was known.

LetA H be the Herbrand normal form ofA andA H,D a Herbrand realization ofA H. We showThere is an example of an (open) theory ℐ+ with function parameters such that for someA not containing function parameters Similar for first order theories ℐ+ if the index functions used in definingA H are permitted to occur in instances of non-logical axiom schemata of ℐ, i.e. for suitable ℐ,A In fact, in (1) we can take for ℐ+ the fragment (Σ 1 0 -IA)+ (...) of second order arithmetic with induction restricted toΣ 1 0 -formulas, and in (2) we can take for ℐ the fragment (Σ 1 0,b -IA) of first order arithmetic with induction restricted to formulas VxA(x) whereA contains only bounded quantifiers.On the other hand, $$PA^2 \vdash A^H \Rightarrow PA \vdash A,$$ wherePA 2 is the extension of first order arithmeticPA obtained by adding quantifiers for functions andA∈ℒ(PA). This generalizes to extensional arithmetic in the language of all finite types but not to sentencesA with positively occurring existential quantifiers for functions. (shrink)

Existe uma tendência evidente de computadorizar cada vez mais atividades do dia-a-dia. Ferramentas de IA, de tomada de decisão e aprendizado de máquina são algumas destas tecnologias. Neste artigo analisamos como a modelagem de aplicações de bancos de dados deve evoluir para atender a estes requisitos. Coisas estruturais e ocorrêncais adequadas são consideradas e, para cada conceito, têm que ser definidas regras que garantem a integridade do sistema como um todo. Caracteristicas específicas de sistemas complexos ativos e/ou reativos, questões de (...) autonomia, aspectos espaciais e temporais, assim como informações imprecisas, devem ser levados em consideração. (shrink)

Our understanding of epithelial development in Drosophila has been greatly improved in recent years. Two key regulators of epithelial polarity, Crumbs and DE‐cadherin, have been studied at the genetic and molecular levels and a number of additional genes are being analyzed that contribute to the differentiation of epithelial cell structure. Epithelial architecture has a profound influence on morphogenetic movements, patterning and cell‐type determination. The combination of embryological and genetic/molecular tools in Drosophila will help us to elucidate the complex events that (...) determine epithelial cell structure and how they relate to morphogenesis and other developmental processes. (shrink)

For the first time in his Doctrine of Right, Kant employs an expanded, three dimensional concept of public law. In addition to constitutional law, it also includes international law and cosmopolitan law. Each of these concepts of law is assigned its own principle of reason: constitutional law declares that a republic is the only rightful constitution for an individual state; international law requires at least an association of states with higher level instruments of coercion; and cosmopolitan law primarily defines the (...) basic rights of stateless peoples or individuals with respect to existing states. For the principles of reason for constitutional and international law, Kant formulates permissive laws, which allow for imperfections in an effort to promote the optima which the legal principles of reason dictate. Kant justifies these less perfect solutions not only with pragmatic considerations but also with reasons relating to the theory of the sovereignty of nations. Kants Rechtslehre verwendet erstmals einen erweiterten, dreidimensionalen Begriff des öffentlichen Rechts, der neben dem Staatsrecht nun auch das Völkerrecht und das Weltbürgerrecht umfaßt. Jeder dieser Begriffssphären wird ein eigenes vernunftrechtliches Prinzip zugeordnet: das Staatsrecht erklärt die Republik zur einzig rechtmäßigen Verfassung, während das Völkerrecht mindestens eine Staatenassoziation mit höherstufiger Zwangsgewalt erfordert und das Weltbürgerrecht in der Hauptsache die elementaren Rechte von staatslosen Völkern oder Einzelpersonen gegenüber Staaten definiert. Für das staatsrechtliche und das völkerrechtliche Prinzip formuliert Kant Erlaubnisgesetze, die zur Beförderung der vernunftrechtlichen Optima Minderformen zulassen, zu deren Rechtfertigung Kant nicht allein pragmatische, sondern ebenso volkssouveränitätstheoretische Gründe anführt. (shrink)

Modern science is, to a large extent, a model-building activity. But how are models contructed? How are they related to theories and data? How do they explain complex scientific phenomena, and which role do computer simulations play here? These questions have kept philosophers of science busy for many years, and much work has been done to identify modeling as the central activity of theoretical science. At the same time, these questions have been addressed by methodologically-minded scientists, albeit from a different (...) point of view. While philosophers typically have an eye on general aspects of scientific modeling, scientists typically take their own science as the starting point and are often more concerned with specific methodological problems. There is, however, also much common ground in middle, where philosophers and scientists can engage in a productive dialogue, as the present volume demonstrates. (shrink)

Summary A new reply to the old question as to meaning and foundations of the Lorentz transformations is given by passing over to non-linear equations. Thus, it is possible to show that the theory of special relativity can be based upon the Galilei transformations, i. e. on the classical assumptions concerning space and time, if terms of the fourth order are neglected. The new theory will probably give rise to a revision of relativistic mechanics.

The author makes the claim that human rights have become an important institution of international relations, their inherent powerlessness notwithstanding. In the first step of the analysis, the author discusses the positive correlation between a nationâs socioeconomic well-being and the safe guarantee of human rights. However, the social and political disembeddedness of human rights and their universalist character actually constitute their inherent weakness, which is analyzed in the second part. In the third part, which deals with the future development of (...) human rights, the author makes the claim that the process of globalization does not only create the functional networks of economic, political, and military power elites, but also offers hope for the emergence of a global moral community in which the idea of human rights may become an essential institutional pillar. (shrink)

Summary Boltzmann's principle is part of classical physics, and one of the corner-stones of Planck's quantum theory. It is shown, why Planck's theory of radiation can be derived from this principle without abandoning classical physics, if due regard is taken of atomism. Finally, there is given an outline of a quantum theory completely based on statistical axioms without any appeal to nonclassical physical principles.

By way of mathematical demonstration proof is given that the Lorentz transformations can completely be based upon the theory of absolute time, i. e. upon the Galilei transformations . Thus, it becomes evident that the theory of special relativity does not imply a revolution of classical kinematics, let alone of idealistic theory of knowledge.

It is well-known (due to C. Parsons) that the extension of primitive recursive arithmeticPRA by first-order predicate logic and the rule ofΠ 2 0 -inductionΠ 2 0 -IR isΠ 2 0 -conservative overPRA. We show that this is no longer true in the presence of function quantifiers and quantifier-free choice for numbersAC 0,0-qf. More precisely we show that ℐ :=PRA 2 +Π 2 0 -IR+AC 0,0-qf proves the totality of the Ackermann function, wherePRA 2 is the extension ofPRA by number (...) and function quantifiers andΠ 2 0 -IR may contain function parameters. This is true even forPRA 2 +∑ 1 0 -IR+Π 2 0 -IR −+AC 0,0-qf, whereΠ 2 0 -IR − is the restriction ofΠ 2 0 -IR without function parameters. (shrink)