Some earlier remarks Michael Dummett made on Gödel’s theorem have recently inspired attempts to formulate an alternative to the standard demonstration of the truth of the Gödel sentence. The idea underlying the non-standard approach is to treat the Gödel sentence as an ordinary arithmetical one. But the Gödel sentence is of a very specific nature. Consequently, the non-standard arguments are conceptually mistaken. In this paper, both the faulty arguments themselves and the general reasons underlying their failure are analysed. The analysis (...) reveals the true nature of the epistemological relation between the Gödel sentence and its numerical instances. (shrink)

We have long used mechanical devices to compensate for physical disability. Soon, however, it may be possible to augment mental capacity—to add memory or upgrade processing power. We should ponder the enormous moral implications of the machine‐assisted mind now, before it is accomplished.

Anselm: I agreed that Pegasus is a flying horse according to the stories people tell, the paintings painters paint and so on . That is, Pegasus is a flying horse in the understanding of storytellers, their readers and the artists who depict Pegasus. You asked whether flying is not an unmediated causal power . Well, it could be an unmediated causal power if you or I had it, but not if a being with only mediated powers had it. And so (...) poor Pegasus, a being whose powers are only those given him by storytellers and artists, has only the mediated power of flying that they have given him. He flies in the thoughts and depictions of beings with unmediated powers. Still, Pegasus has not only the mediated power to fly but also the mediated power to entertain us, and perhaps even inspire us. Fool: But people could tell stories about you, too, about how you sprouted wings and flew onto the roof of Canterbury Cathedral. Anselm: Alas, if it were only in stories that I could do that, then flying would not be an unmediated causal power of mine. I would still have unmediated causal powers all right, and so would be greater than Pegasus. But flying is not one of my unmediated causal powers. However, something than which nothing greater can be conceived would, and does, as I have proved in my Proslogion, have unmediated causal powers – indeed, much greater unmediated causal powers than any poor mortals like you and me.1 •↵1 For …. (shrink)

F.A.Hayek is generally considered to be a representative of what, in regard to the methodology of the human sciences, is commonly referred to as ?methodological individualism?; (MI). This paper is an attempt to determine the exact nature and significance of Hayek's own particular brand of ?individualism.?; In particular, it attempts to show that Hayek's MI is grossly misinterpreted when it is viewed as being merely another instance of the atomistic or analytic individualism characteristic of much modern thinking. The ?true?; individualism (...) that Hayek argues for is in fact one which highlights the irremediably social nature of human being that recent hermeneutical and postmodern writers have stressed. (shrink)

Reminiscences of Peter, by P. Oppenheim.--Natural kinds, by W. V. Quine.--Inductive independence and the paradoxes of confirmation, by J. Hintikka.--Partial entailment as a basis for inductive logic, by W. C. Salmon.--Are there non-deductive logics?, by W. Sellars.--Statistical explanation vs. statistical inference, by R. C. Jeffre--Newcomb's problem and two principles of choice, by R. Nozick.--The meaning of time, by A. Grünbaum.--Lawfulness as mind-dependent, by N. Rescher.--Events and their descriptions: some considerations, by J. Kim.--The individuation of events, by D. Davidson.--On properties, by (...) H. Putnam.--A method for avoiding the Curry paradox, by F. B. Fitch.--Publications (1934-1969) by Carl G. Hempel (p. [266]-270). (shrink)

Characterizations of an (∈, ∈)-neutrosophic ideal are considered. Any ideal in a BCK/BCI-algebra will be realized as level neutrosophic ideals of some (∈, ∈)-neutrosophic ideal. The relation between (∈, ∈)-neutrosophic ideal and (∈, ∈)-neutrosophic subalgebra in a BCK-algebra is discussed. Conditions for an (∈, ∈)-neutrosophic subalgebra to be a (∈, ∈)-neutrosophic ideal are provided. Using a collection of ideals in a BCK/BCI-algebra, an (∈, ∈)-neutrosophic ideal is established. Equivalence relations on the family of all (∈, ∈)-neutrosophic ideals are introduced, and (...) related properties are investigated. (shrink)

Do we directly perceive physical objects? What is the significance of the qualification ‘directly’ here? Austin famously denied that there was a unique interpretation by which we could make sense of the traditional debate in the philosophy of perception. I look here at Thompson Clarke’s discussion of G. E. Moore and surface perception to answer Austin’s scepticism.

The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970's, provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points raised by (...) Tymoczko and some Wittgensteinian topics in the philosophy of mathematics such as the importance of the surveyability as a criterion for distinguishing mathematical proofs from empirical experiments. Our aim is to show that the “characteristic Wittgensteinian invention” (Mühlhölzer 2006) – the strong distinction between proofs and experiments – can shed some light in the conceptual confusions surrounding the Four-Colour Theorem. (shrink)

The main experiments concerning the Aharonov–Bohm phase shifts, seen in an electron interference pattern, and their Boyer semiclassical explanations are reviewed. A new experiment is also presented which emphasizes the subtleties involved in the interpretations of the magnetic Aharonov–Bohm phase shift as a result of a non-dispersive or dispersive effect.

Conventional rockets are not a suitable technology for interstellar missions. Chemical rockets require a very large weight of propellant, travel very slowly compared to light speed, and require significant energy to maintain operation over periods of years. For example, the 722 kg Voyager spacecraft required 13,600 kg of propellant to launch and would take about 80,000 years to reach the nearest star, Proxima Centauri, about 4.3 light years away. There have been various attempts at developing ideas on which one might (...) base a spacecraft that would permit interstellar travel, such as spacewarps. In this paper we consider another suggestion from science fiction and explore how the quantum vacuum might be utilized in the creation of a novel spacecraft. The spacecraft is based on the dynamic Casimir effect, in which electromagnetic radiation is emitted when an uncharged mirror is properly accelerated in vacuum. The radiative reaction produces a dissipative force on the mirror that tends to resist the acceleration of the mirror. This force can be used to accelerate a spacecraft attached to the mirror. We also show that, in principle, one could obtain the power to operate the accelerated mirror in such a spacecraft using energy extracted from the quantum vacuum using the standard Casimir effect with a parallel plate geometry. Unfortunately the method as currently conceived generates a miniscule thrust, and is no more practical than a spacewarp, yet it does provide an interesting demonstration of our current understanding of the physics of the quantized electromagnetic field in vacuum. (shrink)

Questions of shaping in the youth the qualities that make one a patriot and internationalist are constantly at the center of attention in the Komsomol organization of the republic. A structured system of bringing ideological and political influences to bear has come into being in the practical activity of committees of the Communist Youth League of the Ukraine. Their effectiveness was particularly evident in the years of preparation for the fiftieth anniversary of the USSR, and it continues to increase today.

(No abstract is available for this citation).

Etudes sur la philosophie, la théorie politique et la littérature des Lumières en Europe, sur le thème de la reconnaissance dans le roman et le théâtre français du XVIIIe siècle, etc.

This chapter provides a summary of the lessons that the Austrian theory of capital holds for the field of development economics. It provides an introduction to the concepts of the structure of production and time preference and a brief overview of how the rate of time preference limits both the available pool of savings and the extent of capital formation. The implications that this uniquely Austrian insight holds for the theory of economic growth are spelled out, in particular the fact (...) that what constrains the growth of developing countries is not the availability of technology but the availability of savings to undertake investment. The chapter also provides a brief exposition of the concept of capital heterogeneity and its implications for the impossibility of economic calculation under a system of central planning. A critique of some popular models that advocate planning as a means of economic development is also provided. (shrink)

According to Thomas Aquinas, a sovereign government may legitimately execute sinners in pursuance of the common good. Aquinas outlines his defence of Capital Punishment in the Summa Theologica 2–2, q.64, a.2 and the Summa Contra Gentiles, Book 3, Chapter 146. Aquinas's stance on this issue is well known and his argument in favour of CP has been extensively discussed. This article will focus instead on the objections Aquinas raises to the institution of CP in the ST and SCG, along with (...) his responses to these objections. After providing a brief sketch of Aquinas's account of legal punishment, Aquinas's argument for the legitimacy of CP will then be outlined. The objections which Aquinas raises to CP will then be individually examined, along with his reply to each. After examining the underpinnings of Aquinas's objections and responses, the outline of a critique will be offered which draws upon the thought of Augustine and Karl Barth. (shrink)

At present a broad consensus may be discerned on Aquinas' ‘five ways' for proving the existence of God: either he is responding to atheism per se by means of five rational arguments, or he is not responding to any formal denial of God's existence. Both of these approaches ignore the two specific objections Aquinas raises prior to the five ways: evil is incompatible with the existence of an infinite goodness , and the world does not require an external explanation . (...) While some have speculated on the structural significance of the second objection, the first has been universally regarded as irrelevant. This, I argue, is an oversight; Aquinas' first objection is central to the quinque viae. Seen in this light, while Aquinas' five ways are not responses to atheism per se, they do address, and ultimately subvert, a specific form of disbelief. (shrink)