Semantic Analysis of some Variants of Anderson-like Ontological Proofs

The aim of this paper is to prove strong completeness theorems for several Anderson-like variants of Gödels theory wrt. classes of modal structures, in which: (i). 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii). 2nd order terms receive non-rigid extensions in preselected world-relative objectual domains of 2nd order and rigid intensions in the constant conceptual 2nd order domain.     

Casuistry and Principlism: The Convergence of Method in Biomedical Ethics

Casuistry and principlism are two of the leading contenders to be considered the methodology of bioethics. These methods may be incommensurable since the former emphasizes the examination of cases while the latter focuses on moral principles. Conversely, since both analyze cases in terms of mid-level principles, there is hope that these methods may be reconcilable or complementary. I analyze the role of principles in each and thereby show that these theories are virtually identical when interpreted in a certain light. That is, if the gaps in each method are filled by a concept of judgment or Aristotelian practical wisdom, these methods converge.     

Practical-theoritical argumentation

This essay explores the dialectics of theory and practice in terms of argumentation theory. Adapting Jonsen and Toulmin's (1988) notion of a Theory-Practice spectrum, it conceives Theory and Practice as extreme ends of a continuum and discourses as falling at various points along the continuum. Every theoritical discourse has essential practical aspects, and every practical discourse has essential theoretical aspects. Practices are theorized to varying degrees but every practice is thorized to some degree. Reflective discourse, which is discourse about practice, moves to and fro along the Theory-Practice continuum. Reflective discourse involves argumentation. Practical argumentation connects theory to practice; it appeals to general warrants, which may be simple or may tap into elaborate conceptual structures, in order to establish grounds for practical judgments. A practical discipline is a relatively coherent intellectual-professional enterprise that cultivates a field of social practice by engaging within itself and with practitioners in a reflective discourse. The argumentation of a practical discipline, like ordinary practical reflection, moves to and fro along the Theory-Practice continuum but in more methodical steps informed by systematic methodological reflection on the reflective process itself.     

实践美学视野中的自然鉴赏观

Appreciating nature may at its best feature have three levels of experience according to practical aesthetics. The first level is more sensuous as it largely pleases the ear and eye, the second level is more psychological as it chiefly pleases the mind and mood, and the third level is more sublimate as it mainly pleases the will and spirit. In Chinese culture the affinity between man and nature can be traced back to the traditional conception of tian ren he yi 天人合一 as heaven-human oneness, which will be ultimately conducive to the artistic realm or aesthetic state of being. This paper was delivered at the XVI International Congress of Aesthetics on “Changes in Aesthetics” held during 18–23 July 2004 in Rio De Janiero, Brazil.     

Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants

This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of `proof"; (2) Kreisel"s explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of can be easily and safely ameliorated; (4) the definition of in terms of `proofs from premises" results in a loss of the inductive character of the definitions of and and (5) the same occurs with the definition of in terms of `proofs with free variables".     

A Proof System for Contact Relation Algebras

Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa and Sikorski (1963) for relation algebras generated by a contact relation.     

The Moral-Psychology of the Common Agent – A Reply to Ido Geiger

Ido Geiger's paper ‘What it is the Use of the Universal Law Formula of the Categorical Imperative?’ is part of a growing trend in Kant scholarship, which stresses the significance of the rational competence of ordinary human beings. I argue that this approach needs to take into account that the common agent is an active reasoner who has the means to find out what she ought to do. The purpose of my paper is to show how universality already figures in the active reasoning of pre-theoretical agents in the form of a common universalization test. I present textual evidence for this test, and argue that this conception does not present pre-theoretical moral cognition in an overly intellectualistic or mechanistic way. Finally, I discuss how, on the pre-theoretical level, universalization relates to humanity or a rational agent's special status. Universalization is present to common agents in the form of procedures or questions that we ask ourselves, humanity as an awareness of certain particularly blatant violations of duty. These two different modes of cognition of duty are reflected in two different formulae of the Categorical Imperative.