The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite (...) sets. However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)

Two strategies to infinity are equally relevant for it is as universal and thus complete as open and thus incomplete. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, thеse phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A (...) special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or “observer”, or “user” to infinity implied by Henkin’s proposition as the only consistent ones as to infinity. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

A short presentation of Rawl's theory of justice and its revision in 'Political Liberalism' with an overview of criticism by Ronald Dworkin, Robert Nozick, Alan Buchanan, Amartya Sen and John Harsanyi.

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, (...) it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

The concept of sovereignty is a recurring and controversial theme in international law, and it has a long history in western philosophy. The traditionally favored concept of sovereignty proves problematic in the context of international law. International law’s own claims to sovereignty, which are premised on traditional concept of sovereignty, undermine individual nations’ claims to sovereignty. These problems are attributable to deep-seated flaws in the traditional concept of sovereignty. A viable alternative concept of sovereignty can be derived from key concepts (...) in Friedrich Nietzsche’s views on human reason and epistemology. The essay begins by considering the problem of sovereignty from the ancient philosophical perspective inherent in the fundamental assumptions and ideas of Plato’s political philosophy and epistemology. It then considers the contemporary problem of sovereignty in the context of international law by examining Louis Henkin’s formulation of and approach to it in his essay That S-Word: Sovereignty, and Globalization, and Human Rights, Etc. Finally, the essay articulates Nietzsche’s views on intellectual conscience, discusses their merits and advantages when used in dealing the problem of sovereignty in the context of international law, and proposes a solution to this problem that draws on the philosophies of Nietzsche, Novalis, Kant and Plato. The essay illustrates the relevance and advantages of this solution by examining the issue of states’ reservations to international treaties and conventions. (shrink)

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...) method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)

А necessary and sllmcient condilion that а given proposition (о Ье provable in such а theory that allows (о Ье assigned to the proposition а Gödеl пunbег fог containing Реanо arithmetic is that Gödеl number itself. This is tlle sense о[ Martin LöЬ's theorem (1955). Now wе сan рut several philosophpllical questions. Is the Gödеl numbег of а propositional formula necessarily finite or onthe contrary? What would the Gödel number of а theorem be containing Реanо arithmetic itself? That is the (...) case of the so-called first incolnpleteness theorem (Gбdеl 1931). What would the Gödеl питЬег of а self-referential statement be? What w'ould the Gödеl пumbег оГ such а proposition Ье (its Реanо arithmetic expression after encoding contains itself as ап operand)? What is the Gödеl numbег оГ Gödеl's proposition [R(q); q] that states its ргоper imргоvаbility? It is the key statement for his proving of the first incompleteness theorem. Is Реапо arithmetic available in it (ог in the ones similar to it) as а single symbol, Ьу which actual infinity would bе introduced, ог as а constructively infinite set of primary signs? Jn fact, the Gödel number оГ the first incompleteness theorem should Ье infinite in that last case. If the Gödеl number of а statement is infinite, then сап it bе accepted as а theorem? What would the Gбdеl numbeг of its negation bе? Is the infinite Gбdеl numbeг of а statement equivalent to its irresolvability? Respectively, is Ihe following statement valid: irresolvable pгopositions with finite Gбdеl numbers (еуеп in anу encoding) do поl exist? (shrink)

Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k be an inaccessible cardinal then ~Con(ZFC+∃k),[10],11].

Abstract. Intelligent Tutoring System Builder (ITSB) is an authoring tool designed and developed to aid teachers in constructing intelligent tutoring systems in a multidisciplinary fields. The teacher is needed to create a set of pedagogical fundamentals, which, in line, are inured to automatically build up a broad tutor framework and construct an intelligent tutoring system. In this paper an explanation of the theory and the architecture of the tool is outlined. A presentation of several system components, the requirements of the (...) different components, integration of these components in ITSB tool are shown. Furthermore, implanting of requirements, cognitive principle, and common design fundamentals in the tool to ease the use of teachers. A variety of design matters, an example of building an intelligent tutoring system for teaching Java language using ITSB tool and an evaluation are presented. (shrink)

Persons think. Bodies, time-slices of persons, and brains might also think. They have the necessary neural equipment. Thus, there seems to be more than one thinker in your chair. Critics assert that this is too many thinkers and that we should reject ontologies that allow more than one thinker in your chair. I argue that cases of multiple thinkers are innocuous and that there is not too much thinking. Rather, the thinking shared between, for example, persons and their bodies is (...) exactly what we should expect at the intersection of part sharing and the supervenience of the mental on the physical. I end by responding to the overcrowding objection, the personhood objection, the personal-pronoun reference problem and the epistemic objection. (shrink)

There is an increase in the use of in-door wireless networking solutions via Wi-Fi and this increase infiltrated and utilized Wi-Fi enable devices, as well as smart mobiles, games consoles, security systems, tablet PCs and smart TVs. Thus the demand on Wi-Fi connections increased rapidly. Rule Based System is an essential method in helping using the human expertise in many challenging fields. In this paper, a Rule Based System was designed and developed for diagnosing the wireless connection problems and attain (...) a precise decision about the cause of the problem. SL5 Object expert system language was used in developing the rule based system. An Evaluation of the rule based system was carried out to test its accuracy and the results were promising. (shrink)

Historically, republicans were of different minds about markets: some, such as Rousseau, reviled them, while others, like Adam Smith, praised them. The recent republican resurgence has revived this issue. Classical liberals such as Gerald Gaus contend that neo-republicanism is inherently hostile to markets, while neo-republicans like Richard Dagger and Philip Pettit reject this characterization—though with less enthusiasm than one might expect. I argue here that the right republican attitude toward competitive markets is celebratory rather than acquiescent and that republicanism demands (...) such markets for the same reason it requires the rule of law: because both are essential institutions for protecting individuals from arbitrary interference. I reveal how competition restrains—and in the limit, even eradicates—market power and thereby helps us realize “market freedom,” i.e., freedom as non-domination in the context of economic exchange. Finally, I show that such freedom necessitates “Anglo-Nordic” economic policies. (shrink)

The research aims to identify the trends of Palestinian higher educational institutions in Gaza Strip as learning organizations from the perspective of senior management in the Palestinian universities in Gaza Strip. The researchers used descriptive analytical approach and used the questionnaire as a tool for information gathering. The questionnaires were distributed to senior management in the Palestinian universities. The study population reached (344) employees in senior management is dispersed over (3) Palestinian universities. A stratified random sample of (182) employees from (...) the Palestinian universities was selected and the recovery rate was (69.2%). Statistical analysis (SPSS) program was used for analysis and processing the data. The study found the following results: There is an agreement about: the importance of the focus of "organizational structure" with an average approval, the importance of "technological infrastructure" axis with high approval, and the importance of "strategic" with an average approval. The results concluded that the study sample agree on the importance of "organizational dimension" highly. The results showed that the sample believe that the "strategic leadership" level in the universities got medium-approval. There is a fair level agreement about the axis of interest "teams / committees". There is an agreement about the importance of the "human dimension" moderately. The results showed that the sample is highly agreed about the importance of focus of the "knowledge management", and the focus of the "continuing education". They agreed weakly to somewhat about the importance of the focus of "scientific research", moderately agree about the importance of the center of "institutional culture", agree moderately on the importance of "cognitive dimension". The results showed that the sample largely agree on the importance of the focus of "strategic partnerships and alliances". They agree highly on the axis "keep up with the labor market" and on the focus of the importance of "technology incubators". The results showed that the sample moderately agree about the importance of the theme on "consulting and training", the importance of the focus of "social responsibility", and the focus of the "Community dimension". The study found a group of recommendations including: there is a need to provide suitable environment that achieve learning organizations. There is a need to develop the technological infrastructure (hardware, software, networks, databases, and human skills) because of the great advantages that they offer. The universities need to adopt knowledge management in the academic and administrative departments because knowledge is the core of the work of these departments. The establishment of technology incubators in universities to adopt outstanding university research projects, to protect, to supports, and to market them; furthermore, to develop the capabilities and skills of employees in the field of information technology. (shrink)

The study’s goal was to provide an educational intervention in Algebra through GeoGebra that would boost students’ confidence, improve their learning, and correct their most minor mastered skills, allowing them to improve their Algebra performance. The research design was quasi-experimental, with 40 nonrandomly chosen participants comprising the GeoGebra and control groups. Mean and standard deviation was employed to describe the algebra performance and confidence of the respondents. At the same time, independent and dependent t-tests were used to determine the students’ (...) significant difference in algebra performance and confidence in the pre-and post-test between the control and GeoGebra groups. GeoGebra effectively improved algebra confidence, enhanced learning, and remedied the students’ least mastered skills. GeoGebra is recommended as an instructional material in teaching and learning Algebra and can be extended to other mathematics content areas. (shrink)

One critique of the early Daoist texts associated with Laozi and Zhuangzi is that they neglect the human and lack a proper sense of ethical personhood in maintaining the primacy of an impersonal dehumanizing “way.” This article offers a reconsideration of the appropriateness of such negative evaluations by exploring whether and to what extent the ethical sensibility unfolded in the Zhuangzi is aporetic, naturalistic, and/or religious. As an ethos of cultivating life and free and easy wandering by performatively enacting openness (...) and responsiveness to things in an immanent this-worldly context, the Zhuangzi is oriented toward the relational attunement of disposition and practice rather than toward metaphysics or religion in a transcendent sense. It consequently suggests an immanent anarchic ethics without principles while neither forgetting nor reifying the sacred and the mundane in its playful illumination of the biospiritual dynamics of cultivating life. (shrink)

As the debate between realists and empiricists in the philosophy of science drags on, one point of consensus has emerged: no one wants to be a manifestationalist. The manifestationalist is a kind of radical empiricist who argues that science provides theories that aim neither at a true picture of the entire world, nor even an empirically adequate picture that captures the world in all its observable respects. For manifestationalists, science aims only at providing theories that are true to the observed (...) aspects of reality. If the guiding idea of empiricism is that experience, and experience alone, provides us with knowledge about the world, then manifestationalism is an exceptionally strict empiricist perspective on science. Manifestationalism has primarily served within a reductio: certain empiricist views and arguments, when taken to their logical conclusion, lead to manifestationalism and so cannot be correct. The reductio works only because manifestationalism is widely agreed to be a non-starter. However, this consensus against manifestationalism is based on a single argument. We contest this assessment of manifestationalism and show that the primary argument against manifestationalism fails to hit its target. We do not intend to offer a manifesto for manifestationalism. Rather, we aim to vindicate it from a false accusation. Manifestationalism may not be the correct view of science, but the objections levied against it so far can be met. (shrink)

Current debate and policy surrounding the use of genetic editing in humans often relies on a binary distinction between therapy and human enhancement. In this paper, we argue that this dichotomy fails to take into account perhaps the most significant potential uses of CRISPR-Cas9 gene editing in humans. We argue that genetic treatment of sporadic Alzheimer’s disease, breast- and ovarian-cancer causing BRCA1/2 mutations and the introduction of HIV resistance in humans should be considered within a new category of genetic protection (...) treatments. We find that if this category is not introduced, life-altering research might be unnecessarily limited by current or future policy. Otherwise ad hoc decisions might be made, which introduce a risk of unforeseen moral costs, and might overlook or fail to address some important opportunities. (shrink)

I want to argue that self-deception is a species of a more general phenomenon, which I shall call pseudorationality, which in turn is necessitated by what I shall describe as our highest-order disposition to literal self-preservation. By "literal self-preservation," I mean preservation of the rational intelligibility of the self, in the face of recalcitrant facts that invariably threaten it.

Five arguments are presented in favour of the proposal that people who opt in as organ donors should receive a tax break. These arguments appeal to welfare, autonomy, fairness, distributive justice and self-ownership, respectively. Eight worries about the proposal are considered in this paper. These objections focus upon no-effect and counter-productiveness, the Titmuss concern about social meaning, exploitation of the poor, commodification, inequality and unequal status, the notion that there are better alternatives, unacceptable expense, and concerns about the veto of (...) relatives. The paper argues that none of the objections to the proposal is very telling. (shrink)

The aim of this critical commentary is to distinguish and analytically discuss some important variations in which legal moralism is defined in the literature. As such, the aim is not to evaluate the most plausible version of legal moralism, but to find the most plausible definition of legal moralism. As a theory of criminalization, i.e. a theory that aims to justify the criminal law we should retain, legal moralism can be, and has been, defined as follows: the immorality of an (...) act of type A is a sufficient reason for the criminalization of A, even if A does not cause someone to be harmed. In what follows, I critically examine some of the key definitions and proposals that have, unfortunately, not always been carefully distinguished. Finally, I propose a definition that seems to capture the essence of what many philosophers refer to when they talk about legal moralism, while also providing more clarity. (shrink)

We present a deductive theory of space-time which is realistic, objective, and relational. It is realistic because it assumes the existence of physical things endowed with concrete properties. It is objective because it can be formulated without any reference to cognoscent subjects or sensorial fields. Finally, it is relational because it assumes that space-time is not a thing but a complex of relations among things. In this way, the original program of Leibniz is consummated, in the sense that space is (...) ultimately an order of coexistents, and time is an order of succesives. In this context, we show that the metric and topological properties of Minkowskian space-time are reduced to relational properties of concrete things. We also sketch how our theory can be extended to encompass a Riemannian space-time. (shrink)

In this paper a Knowledge-Based System (KBS) for determining the appropriate students major according to his/her preferences for sophomore student enrolled in the Faculty of Engineering and Information Technology in Al-Azhar University of Gaza was developed and tested. A set of predefined criterions that is taken into consideration before a sophomore student can select a major is outlined. Such criterion as high school score, score of subject such as Math I, Math II, Electrical Circuit I, and Electronics I taken during (...) the student freshman year, number of credits passed, student cumulative grade point average of freshman year, among others, were then used as input data to KBS. KBS was designed and developed using Simpler Level Five (SL5) Object expert system language. KBS was tested on three generation of sophomore students from the Faculty of Engineering and Information Technology of the Al-Azhar University, Gaza. The results of the evaluation show that the KBS is able to correctly determine the appropriate students major without errors. (shrink)

As the journal is effectively defunct, I am uploading a full-text copy, but only of my abstract and article, and some journal front matter. -/- Note that the pagination in the PDF version differs from the official pagination because A4 and 8.5" x 11" differ. -/- Traditionally, imperatives have been handled with deontic logics, not the logic of propositions which bear truth values. Yet, an imperative is issued by the speaker to cause (stay) actions which change the state of affairs, (...) which is, in turn, described by propositions that bear truth values. Thus, ultimately, imperatives affect truth values. In this paper, we put forward an idea that allows us to reason with imperatives using classical logic by constructing a one-to-one correspondence between imperatives and a particular class of declaratives. (shrink)

This paper initiates a dialogue between classical Islamic philosophy and late modern European thought, by focusing on two peripheral, ‘heretical’ figures within these traditions: Abū Bakr Muḥammad ibn Zakariyāʾ al-Rāzī and Friedrich Nietzsche. What affiliates these thinkers across the cultural and historical chasm that separates them is their mutual fascination with, and profound indebtedness to, ancient Greek and Hellenistic philosophy. Given the specific themes, concerns and doctrines that they appropriate from this common source, I argue that al-Rāzī and Nietzsche should (...) be read as Epicureans and seen in relation to their predecessor as part of the subterranean tradition of philosophical naturalism. However, while each figure appropriates the philosophy of Epicurus, they ultimately transform it in important ways: al-Rāzī offers us a qualified “Platonic” Epicureanism, while Nietzsche forges a radicalized “Dionysian” Epicureanism. The point of such a comparative examination is twofold. First, analyzing the divergent paths of these “wayward” Epicureans sheds new light on the historical trajectory of naturalism as a philosophical stance (as well as its current prospects and limitations). Second, by initiating a dialogue between the classical Islamic and modern European philosophical traditions, we can better understand the antagonisms and shared concerns between these two horizons, as well as the ambiguities and self-questioning that occur within them. (shrink)

As these opening quotes acknowledge, the Prisoner’s Dilemma (PD) represents a core puzzle within the formal mathematics of game theory.3 Its rise in conspicuity is evident figure 2.1 above demonstrating a relatively steady rise in incidences of the phrase’s usage between 1960 to 1995, with a stable presence persisting into the twenty first century. This famous two-person “game,” with a stock narrative cast in terms of two prisoners who each independently must choose whether to remain silent or speak, each advancing (...) self-interest at the expense of the other and thereby achieving a mutually suboptimal outcome, mires any social interaction it is applied to into perplexity. The logic of this game proves the inverse of Adam Smith’s invisible hand: individuals acting on self interest will achieve a mutually suboptimal outcome. However, as this chapter illuminates, the assumptions underlying game theory drive this conclusion. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. Burgess and G. (...) Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

This has been made available gratis by the publisher. -/- This piece gives the raison d'etre for the development of the converters mentioned in the title. Three reasons are given, one linguistic, one philosophical, and one practical. It is suggested that at least /two/ independent converters are needed. -/- This piece ties together the extended paper "Abstracts from Logical Form I/II," and the short piece providing the comprehensive theory alluded to in the abstract of that extended paper in "Pragmatics, Montague, (...) and 'Abstracts from Logical Form'" by motivating the entire project from beginning to end. (shrink)

I want to examine the implications of a metaphysical thesis which is presupposed in various objections to Rawls' theory of justice.Although their criticisms differ in many respects, they concur in employing what I shall refer to as the continuity thesis. This consists of the following claims conjointly: (1) The parties in the original position (henceforth the OP) are, and know themselves to be, fully mature persons who will be among the members of the well-ordered society (henceforth the WOS) which is (...) generated by their choice of principles of justice. (2) The OP is a conscious event among others, integrated (compatibly with the constraints on knowledge and motivation imposed on the parties) into the regular continuity of experience that comprises each of their ongoing constitutes lives. (3) The parties in the OP thus are, and regard themselves as, psychologically continuing persons, partially determined in personality and interests by prior experiences, capable of recollection and regret concerning the past, anticipation and apprehensiveness regarding the future, and so on. Although the continuity thesis as stated above is not at odds with any of the conditions that define the OP, its exegetical validity is a matter for discussion. I shall be concerned to argue that if it is indeed contained in or a consequence of Rawls' theory, then it casts into doubt the capacity of the OP to generate or justify any principles of justice at all. On the other hand, if the continuity thesis is viewed as dispensable and unnecessary to the Rawlsian enterprise, then Rawls is correct in maintaining the irrelevance of the question of personal identity to the construction of his moral theory. In this case, the contract-theoretic, instrumentalist justification for the two principles of justice (henceforth the 2PJ) needs to be supplanted by a modified conception of wide reflective equilibrium. The considerations that form the bulk of this discussion then may be understood as providing a rationale for Rawls' recent revisions in the model of justification on which his theory of justice rests, and for his increasing emphasis on us as moral mediators between the OP and the WOS. Now I want to consider the question of whether or not, given the textual evidence, anything like the continuity thesis is stated or implied by Rawls, and what problems for his theory, if any, turn on a positive or negative answer to this question. -/- . (shrink)

De burgemeester van Etterbeek liet tijdens de afgelopen periode van vrieskou daklozen van straat halen. Soms tegen hun wil in. Omdat het soms nodig is om mensen tegen zichzelf te beschermen.

Western philosophy has been defined through the exclusion of non-Western forms of thought as non-philo-sophical. In this paper, I place the notion of what is “properly” philosophy into question by contrasting the essence/appearance paradigm governing Western metaphysics and its deconstructive critics with the more fluid, dynamic, and participatory forms of encountering and performatively enacting the world that are articulated in Chinese thinking and made apparent in Chinese painting. In this hermeneutical contrast, Western and Chinese thinking themselves are interpeted as co-relational (...) rather than as discrete, mutually indifferent or ethnocentrically nativist traditions. (shrink)

As the journal is effectively defunct, I am uploading a full-text copy, but only of my abstract and article, and some journal front matter. -/- Note that the pagination in the PDF version differs from the official pagination because A4 and 8.5" x 11" differ. -/- Note also that this is not a mere repetition of the argument in /Mind/, nor merely an application of it; there are subtle differences. -/- Finally, although Christians are likely to take this as applicable (...) to a God who can enter time, Jewish readers who wish a full understanding of its intent are referred to M.R. II:13:3. Note that /some/ free will, however miniscule, must remain, exactly as argued. Also, Maimonides speaks differently, albeit metaphorically, elsewhere, and nothing here contradicts his statements. (shrink)

Two arguments against the compatibility of epistemic internalism and content externalism are considered. Both arguments are shown to fail, because they equivocate on the concept of justification involved in their premises. To spell out the involved equivocation, a distinction between subjective and objective justification is introduced, which can also be independently motivated on the basis of a wide range of thought experiments to be found in the mainstream literature on epistemology. The subjective/objective justification distinction is also ideally suited for providing (...) new insights with respect to central issues within epistemology, including the internalism/externalism debate and the New Evil Demon intuition. (shrink)

Uses erotetic logic to model the courtroom objection "Improper Cross!". -/- Readers downloading the article should also please download the erratum et corrigendum, which is locally available.

In the first part of this article we briefly describe the design and development of a Consciousness Studies concentration at Goddard College, a student centered, progressive educational institution in the northeastern United States. We emphasize the tensions we experienced between different orientations in Consciousness Studies and especially the one related to the scientific and transpersonal ends of the spectrum of consciousness. In the second part, we relate the scientific‐transpersonal issue that we experienced at Goddard to the broader theory and practice (...) of Consciousness Studies. We also link the latter to the so‐called explanatory gap between third and first person forms of consciousness and the call for first person methods of exploring consciousness. Our conclusion is that the scientific approach has the edge and is at risk of assimilating other approaches to the detriment of Consciousness Studies. In our view, the future development of Consciousness Studies, both in theory and practice, requires several different approaches from the scientific to the transpersonal and privileging one is to narrow the field of possibilities and to risk falling prey to one‐sidedness. (shrink)

This paper deals with Austinian ifs of every stripe within classical logic. It is argued that they are truth-functional and the theory of conditional elements is used. Ellipsis is key. Corrects an error in Fulda (2010) in translation and therefore scope. -/- The PDF is made available gratis by the Publisher.