This article is a translation of the paper in Polish (Alfred Tarski - człowiek, który zdefiniował prawdę) published in Ruch Filozoficzny 4 (4) (2007). It is a personal Alfred Tarski memories based on my stay in Berkeley and visit the Alfred Tarski house for the invitation of Janusz Tarski.

This article is a characteristic of Alfred Tarski's profile, seen from a personal perspective after a long visit to Berkeley, at the invitation of Jan Tarski, in the house where Alfred Tarski lived. It takes into account the scientific achievements and research results of Tarski, as well as certain impressions of the author of these memories concerning the exotic life of this great Polish logician and mathematician of the 20th century.

Advancements in computing, instrumentation, robotics, digital imaging, and simulation modeling have changed science into a technology-driven institution. Government, industry, and society increasingly exert their influence over science, raising questions of values and objectivity. These and other profound changes have led many to speculate that we are in the midst of an epochal break in scientific history. -/- This edited volume presents an in-depth examination of these issues from philosophical, historical, social, and cultural perspectives. It offers arguments both for and against (...) the epochal break thesis in light of historical antecedents. Contributors discuss topics such as: science as a continuing epistemological enterprise; the decline of the individual scientist and the rise of communities; the intertwining of scientific and technological needs; links to prior practices and ways of thinking; the alleged divide between mode-1 and mode-2 research methods; the commodification of university science; and the shift from the scientific to a technological enterprise. Additionally, they examine the epochal break thesis using specific examples, including the transition from laboratory to real world experiments; the increased reliance on computer imaging; how analog and digital technologies condition behaviors that shape the object and beholder; the cultural significance of humanoid robots; the erosion of scientific quality in experimentation; and the effect of computers on prediction at the expense of explanation. -/- Whether these events represent a historic break in scientific theory, practice, and methodology is disputed. What they do offer is an important occasion for philosophical analysis of the epistemic, institutional and moral questions affecting current and future scientific pursuits. (shrink)

While moral philosophers have paid significant attention to the concept of moral supererogation, far less attention has been paid to the possibility that supererogation may also exist in other areas of normativity. Recently, though, philosophers have begun to consider the possible existence of prudential, epistemic, aesthetic, and sporting supererogation. These discussions tend to focus on aspects of our practices in these areas of normativity that suggest an implicit acceptance of the existence of supererogation. In this chapter, I will offer a (...) different kind of defense of non-moral supererogation. I will begin by considering a particular kind of argument made in support of moral supererogation. According to this line of argument, we should accept the existence of moral supererogation because a moral code which makes room for supererogation is likely to be more effective at promoting morally desirable behavior than a moral code which leaves no room for the supererogatory. I will begin by outlining this argument. I will then develop a similar line of argument for prudential, epistemic, aesthetic, and sporting norms. (shrink)

Validity of physical laws for any aspect of brain activity and strict correlation of mental to physical states of the brain do not imply, with logical necessity, that a complete algorithmic theory of the mind-body relation is possible. A limit of decodability may be imposed by the finite number of possible analytical operations which is rooted in the finiteness of the world. It is considered as a fundamental intrinsic limitation of the scientific approach comparable to quantum indeterminacy and the theorems (...) of logical undecidability. An analysis of these limits, applied to dispositions of future behaviour, suggests that limits of decodability of the psycho-physic relation may actually exist with respect to brain states with self-referential aspects, as they are involved in mental processes. Limits for an algorithmic theory of the mind-body problem suggested by this study are formally similar to other intrinsic limits of the scientific method such as quantum indeterminacy and mathematical undecidability which are also related to self-referential operations. At the metatheoretical level, hard sciences, despite their reliability, universality and objectivity, depend on metatheoretical presuppositions which allow for multiple philosophical interpretations. -/- . (shrink)

This is an English translation of my essay: Alfred Gierer Wissenschaft, Religion und die deutungsoffenen Grundfragen der Biologie. Mpi for the History of Science, preprint 388, 1-21, also in philpapers. Range and limits of science are given by the universal validity of physical laws, and by intrinsic limitations, especially in self-referential contexts. In particular, neurobiology should not be expected to provide a full understanding of consciousness and the mind. Science cannot provide, by itself, an unambiguous interpretation of the natural (...) order at the philosophical, cultural and religious level. The diversity of interpretations, however appears as a positive factor of cultural dynamics. Historically, the revival of the philosophy of nature in the middle ages included remarkable biological thoughts such as those of Eriugena and Thierry of Chartres. In this essay, emphasis is placed on basic issues of modern biology – the distinction of man and animal, the evolution of human mental capabilities, the physics of the universe as precondition for biological evolution, and the intricasies of the brain-mind-relation. They are open to agnostic as well as religious interpretations, the individual choice being mainly a matter of wisdom and not just of knowledge. -/-. (shrink)

Modern science, based on the laws of physics, claims validity for all events in space and time. However, it also reveals its own limitations, such as the indeterminacy of quantum physics, the limits of decidability, and, presumably, limits of decodability of the mind-brain relationship. At the philosophical level, these intrinsic limitations allow for different interpretations of the relation between human cognition and the natural order. In particular, modern science may be logically consistent with religious as well as agnostic views of (...) humans and the universe. These points are exemplified through the transcript of a discussion between Kurt Gödel and Rudolf Carnap that took place in 1940. Gödel, discoverer of mathematical undecidability, took a proreligious view; Carnap, one of the founders of analytical philosophy, an antireligious view. By the time of the discussion, Carnap had liberalized his ideas on theoretical concepts of science: he believed that observational terms do not suffice for an exhaustive definition of theoretical concepts. Then, responded Gödel, one should formulate a theory or metatheory that is consistent with scientific rationality, yet also encompasses theology. Carnap considered such theories unproductive. The controversy remained unresolved, but its emphasis shifted from rationality to wisdom, not only in the Gödel-Carnap discussion but also in our time. -/- . (shrink)

The explanation of nature in theoretical terms was first postulated and initiated by Ancient Greek philosophers. With the rise of monotheistic religions, however, curiosity about our transient world was widely regarded as contributing nothing to salvation. There was a decline in natural philosophy, which lasted for several centuries and was then reversed both in Islamic philosophy and in Christian theology in the Middle Ages. At this point, the "Book of Nature" was recognized as a complement to the Book of Revelation. (...) Originally, Aristotelian philosophy played the leading part in this process, but only after Aristotelian physics was substituted by experimental mathematical mechanics did it become possible for modern science to develop. General laws of physics form the basis of the explanation of events in space and time, including life processes. However, modern science has also revealed its own limitations. The scope and limits of scientific knowledge allows for different philosophical, cultural and religious interpretations of human beings and the universe. The history of science demonstrates erratic and persistent developments, but the long-term retrospective view discredits extreme forms of relativism and structuralism. Science appears as a construct of the human mind, and yet it is capable of generating valid explanations of nature. In the book more attention than usual is given to Cusanus (Nikolas de Cusa). -/- . (shrink)

This book (in German) on "Physics, life and mind" is on the physical foundations of modern biology. The basic features of living systems, reproduction, mutation and metabolism, can be explained in terms of molecular processes involving nucleic acids as genetic material, and proteins as catalysts. The generation of structure and form in each generation results from spatiotemporal gene regulation in conjunction with the de novo formation of spatial order in which interplays of activation and inhibition play a crucial part. Brain (...) functions can be understood in terms of information processing in neural networks. Fundamental limitations of explanations of biological phenomena on the basis of physics are expected for the relation between neural and mental states, which may not be fully decodable by finite procedures. A complete algorithmic theory of the human mind encompassing all, including self-referential, aspects appears to be impossible even in principle, not only in practice. The range and limitations of explanations of life on the basis of physical laws and processes reflect the scope and limits of science in general. In contrast to the notions in circulation in the 19th century, modern science is open at the metatheoretical level to different philosophical, cultural and religious interpretations of man and the universe. -/- . (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes (...) multiple universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most of the Aristotelian corpus is not (...) about logic, whereas virtually everything written by Tarski concerns logic more or less directly. There is no doubt that Tarski wrote more on logic than any other author; he started publishing on logic in 1921 at the age of 20 and continued until his death at the age of 82. Two of his works appeared posthumously [Hist. Philos. Logic 7 (1986), no. 2, 143--154; MR0868748 (88b:03010); Tarski and Givant, A formalization of set theory without variables, Amer. Math. Soc., Providence, RI, 1987; MR0920815 (89g:03012)]. Tarski's voluminous writings were widely scattered in numerous journals, some quite rare. It has been extremely difficult to study the development of Tarski's thought and to trace the interconnections and interdependence of his various papers. Thanks to the present collection all this has changed, and it is likely that the increased accessibility of Tarski's papers will have the effect of increasing Tarski's already enormous influence. (shrink)

Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical point (...) of view. In normal English these two sentences are idiomatically taken to express the true proposition that ‘the number 3 is the number 2+1’. Another idiomatic convention that interferes with clarity about equality and identity occurs in discussion of numbers: it is usual to write ‘3 equals 2+1’ when “3 is 2+1” is meant. When ‘3 equals 2+1’ is written there is a suggestion that 3 is not exactly the same number as 2+1 but that they merely have the same value. This becomes clear when we say that two of the sides of a triangle are equal if the two angles they subtend are equal or have the same measure. -/- Acknowledgements: Robert Barnes, Mark Brown, Jack Foran, Ivor Grattan-Guinness, Forest Hansen, David Hitchcock, Spaulding Hoffman, Calvin Jongsma, Justin Legault, Joaquin Miller, Tania Miller, and Wyman Park. -/- ► JOHN CORCORAN AND ANTHONY RAMNAUTH, Equality and identity. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] The two halves of one line are equal but not identical [one and the same]. Otherwise the line would have only one half! Every line equals infinitely many other lines, but no line is [identical to] any other line—taking ‘identical’ strictly here and below. Knowing that two lines equaling a third are equal is useful; the condition “two lines equaling a third” often holds. In fact any two sides of an equilateral triangle is equal to the remaining side! But could knowing that two lines being [identical to] a third are identical be useful? The antecedent condition “two things identical to a third” never holds, nor does the consequent condition “two things being identical”. If two things were identical to a third, they would be the third and thus not be two things but only one. The plural predicate ‘are equal’ as in ‘All diameters of a given circle are equal’ is useful and natural. ‘Are identical’ as in ‘All centers of a given circle are identical’ is awkward or worse; it suggests that a circle has multiple centers. Substituting equals for equals [replacing one of two equals by the other] makes sense. Substituting identicals for identicals is empty—a thing is identical only to itself; substituting one thing for itself leaves that thing alone, does nothing. There are as many types of equality as magnitudes: angles, lines, planes, solids, times, etc. Each admits unit magnitudes. And each such equality analyzes as identity of magnitude: two lines are equal [in length] if the one’s length is identical to the other’s. Tarski [1] hardly mentioned equality-identity distinctions (pp. 54-63). His discussion begins: -/- Among the logical concepts […], the concept of IDENTITY or EQUALITY […] has the greatest importance. -/- Not until page 62 is there an equality-identity distinction. His only “notion of equality”, if such it is, is geometrical congruence—having the same size and shape—an equivalence relation not admitting any unit. Does anyone but Tarski ever say ‘this triangle is equal to that’ to mean that the first is congruent to that? What would motivate him to say such a thing? This lecture treats the history and philosophy of equality-identity distinctions. [1] ALFRED TARSKI, Introduction to Logic, Dover, New York, 1995. [This is expanded from the printed abstract.] . (shrink)

Alfred Tarski was one of the greatest logicians of the twentieth century. His influence comes not merely through his own work but from the legion of students who pursued his projects, both in Poland and Berkeley. This chapter focuses on three key areas of Tarski's research, beginning with his groundbreaking studies of the concept of truth. Tarski's work led to the creation of the area of mathematical logic known as model theory and prefigured semantic approaches (...) in the philosophy of language and philosophical logic, such as Kripke's possible worlds semantics for modal logic. We also examine the paradoxical decomposition of the sphere known as the Banach–Tarski paradox. Finally we examine Tarski's work on decidable and undecidable theories, which he carried out in collaboration with students such as Mostowski, Presburger, Robinson and others. (shrink)

Is the relation ‘is a morally permissible alternative to’ transitive? The answer seems to be a straightforward yes. If Act B is a morally permissible alternative to Act A and Act C is a morally permissible alternative to B then how could C fail to be a morally permissible alternative to A? However, as both Dale Dorsey and Frances Kamm point out, there are cases where this transitivity appears problematic. My aim in this paper is to provide a solution to (...) this problem. I will then investigate Kamm’s justification for rejecting the transitivity of the ‘is a permissible alternative to’ relation. Next, I will look at Dorsey’s solution, which involves a reinterpretation of the intuitions used to generate the problem. I will argue that neither of these solutions are fully satisfying before going on to provide my own solution to the problem and arguing that it avoids these problems. (shrink)

From the very beginning of ancient Greek philosophy up to the present day a puzzling correlation is found between rationality and reality. In this study this relation is examined with emphasis on the philosophical tradition of Aristotle and Aquinas. A comparison is made with the virtual reality created by computers and actual reality of our universe. The view expressed in the scientific neopositivism of Jordan and Mach is found to be an adequate approach to avoid contradictions in the interpretation of (...) modern physics. A challenging hypothesis is made by updating the Laplacian Demon by a powerful creative intellect in line with Judeo-Christian tradition. With this hypothesis a new light is shed on several fundamental issues in modern science. (shrink)

It is commonly assumed that praiseworthiness should form part of the analysis of supererogation. I will argue that this view should be rejected. I will start by arguing that, at least on some views of the connection between moral value and praiseworthiness, it does not follow from the fact that acts of supererogation go beyond what is required by duty that they will always be praiseworthy to perform. I will then consider and dismiss what I will call the Argument from (...) Stipulation in favour of holding that acts of supererogation are always praiseworthy. Next, I will examine what I will call the Necessary Connection Argument, which posits a necessary connection between supererogation and praiseworthiness. I will argue that the intuitions used to motivate this argument are best explained by a debunking explanation. (shrink)

The book on "Science and the image of man" pursues different pathways by way of which science contributes to the understanding of human beings as a species: the scope and limits of human cognition are revealed by the history and the mental structure of science in a more precise manner than by any other cultural effort. Insights into the evolution and function of the human brain elucidate the origin and the range of general human capabilities, such as language, self-representation and (...) strategic thought. These capabilities are the products of biological evolution as well as preconditions of cultural development, which is based on traditions rather than on genetic inheritance. At the metatheoretical level, modern science reveals its own intrinsic limitations and is open to different cultural and philosophical interpretations. Human consciousness is a product of evolution of the human brain, and yet it may not be possible to decode the mind-brain relation fully by finite procedures. One of the specifically human capabilities is cognition-based empathy; it may have evolved in conjunction with strategic thought, because it facilitates the prediction of the behaviour of others, but it also motivates altruistic behaviour. Stereotyped controversies between sociologists and social biologists on human ethics appear somewhat outdated; there is a biological basis in humans not only for egoism but, to a limited extent, also for cooperativity and solidarity. Ethical demands should respect the biological conditions of the human species. They imply that cooperativeness is a real but limited resource. It requires activation, but excessive moralism is counterproductive. -/- -/-. (shrink)

It has become increasingly popular for sports fans, pundits, coaches and players to appeal to ideas of ‘sporting integrity’ when voicing their approval or disapproval of some aspect of the sporting world. My goal in this paper will be to examine whether there is any way to understand this idea in a way that both makes sense of the way in which it is used and presents a distinctly ‘sporting’ form of integrity. I will look at three recent high-profile sporting (...) incidents that caused sporting integrity to be called into question. I will then examine three different ways in which philosophers have sought to understand integrity and examine whether any of these accounts can provide us with a plausible account of sporting integrity. I will argue that such an account can be given and show how this helps us to understand the three cases. (shrink)

A network of gene regulation organized in a hierarchical and combinatorial manner is crucially involved in the development of the neural network, and has to be considered one of the main substrates of genetic change in its evolution. Though qualitative features may emerge by way of the accumulation of rather unspecific quantitative changes, it is reasonable to assume that at least in some cases specific combinations of regulatory parts of the genome initiated new directions of evolution, leading to novel capabilities (...) of the brain. These notions are applied, in this paper, to the evolution of the capability of cognition-based human empa­thy. It is suggested that it has evolved as a secondary effect of the evolution of strategic thought. Development of strategies depends on abstract representations of one’s own pos­sible future states in one’s own brain to allow assessment of their emotional desirability, but also on the representation and emotional evaluation of possible states of others, allowing anticipation of their behaviour. This is best achieved if representations of others are con­nected to one’s own emotional centres in a manner similar to self-representations. For this reason, the evolution of the human brain is assumed to have established representations with such linkages. No group selection is involved, because the quality of strategic thought affects the fitness of the individual. A secondary effect of this linkage is that both the actual states and the future perspectives of others elicit vicarious emotions, which may contribute to the motivations of altruistic behaviour. (shrink)

Full applicability of physics to human biology does not necessarily imply that one can uncover a comprehensive, algorithmic correlation between physical brain states and corresponding mental states. The argument takes into account that information processing is finite in principle in a finite world. Presumbly the brain-mind-relation cannot be resolved in all essential aspects, particularly when high degrees of abstraction or self-analytical processes are involved. Our conjecture plausibly unifies the universal validity of physics and a logical limitation of human thought, and (...) it does not regard consciousness -the most basic human experience - as a marginal phenomenon. (shrink)

Biological evolution and technological innovation, while differing in many respects, also share common features. In particular, implementation of a new technology in the market is analogous to the spreading of a new genetic trait in a population. Technological innovation may occur either through the accumulation of quantitative changes, as in the development of the ocean clipper, or it may be initiated by a new combination of features or subsystems, as in the case of steamships. Other examples of the latter type (...) are electric networks that combine the generation, distribution, and use of electricity, and containerized transportation that combines standardized containers, logistics, and ships. Biological evolution proceeds, phenotypically, in many small steps, but at the genetic level novel features may arise not only through the accumulation of many small, common mutational changes, but also when distinct, relatively rare genetic changes are followed by many further mutations. In particular, capabilities of biologically modern man may have been initiated, perhaps some 150 000 years ago, by one or few accidental but distinct combinations of modules and subroutines of gene regulation which are involved in the generation of the neural network in the cerebral cortex. It is even conceivable that it was one primary genetic event that initiated the evolution of biologically modern man, introducing some novel but subtle feature of connectivity into the cerebral cortex which allowed for meta-levels of abstraction and upgraded modes of information processing. This may have set the stage for the evolution of integrated but diverse higher capabilities such as structured language, symbolic thought, strategic thought, and cognition based empathy. (shrink)

Probably the most challenging issue in science and advanced technology is the ever increasing complexity. The term complexity refers to the experience that the complex whole is more than the sum of the parts. Emergence of new properties is observed at all levels, from relatively simple physical systems up to high-end evolution in biology or state-of-the-art microprocessors in technology. In this study an effort is made to arrive at an understanding of the underlying ontological basis in terms of the classical (...) philosophy of Aristotle and Aquinas. In addition, the value of philosophy is emphasized as a means to develop the capacity for intuition. Only with this capacity it is possible to acquire an understanding of the great variety of concepts needed in the multidisciplinary approach to complex systems. (shrink)

How should academics respond to the work of immoral intellectuals? This question appears to be one that is of increasing concern in academic circles but has received little attention in the academic literature. In this paper, we will investigate what our response to immoral intellectuals should be. We begin by outlining the cases of three intellectuals who have behaved immorally or at least have been accused of doing so. We then investigate whether it is appropriate to admire an immoral person (...) for their intellectual contributions. We will argue that such admiration can be a fitting response to the intellectual achievements of an immoral person but only if the person has indeed done something important. However, we then identify two moral reasons against openly admiring immoral intellectuals. First, that such admiration may give the appearance of condoning the immoral acts of the intellectual. Second, that such admiration may lead to emulation of the intellectual’s problematic ideals. This may be enough to persuade us of the moral reasons to avoid engaging with the work of unimportant and easily replaceable intellectuals in our research and our teaching. However, for more important intellectual figures we have weighty educational reasons to cite them and include them in our courses. This leads to a tension, which we attempt to resolve by proposing ways to accommodate the moral reasons against admiring immoral intellectuals and the intellectual reasons to include them in our courses, though we conclude on the pessimistic note that this tension may not be entirely resolvable. (shrink)

The continuing interest in the book of S. Hawking "A Brief History of Time" makes a philosophical evaluation of the content highly desirable. As will be shown, the genre of this work can be identified as a speciality in philosophy, namely the proof of the existence of God. In this study an attempt is given to unveil the philosophical concepts and steps that lead to the final conclusions, without discussing in detail the remarkable review of modern physical theories. In order (...) to clarify these concepts, the classical Aristotelian-Thomistic proof of the existence of God is presented and compared with Hawking's approach. For his argumentation he uses a concept of causality, which in contrast to the classical philosophy neglects completely an ontological dependence and is reduced to only temporal aspects. On the basis of this temporal causality and modern physical theories and speculations, Hawking arrives at his conclusions about a very restricted role of a possible creator. It is shown, that neither from the philosophical nor the scientific view his conclusions about the existence of God are strictly convincing, a position Hawking himself seems to be aware of. (shrink)

The continuing interest in the book of S. Hawking "A Brief History of Time" makes a philosophical evaluation of the content highly desirable. As will be shown, the genre of this work can be identified as a speciality in philosophy, namely the proof of the existence of God. In this study an attempt is given to unveil the philosophical concepts and steps that lead to the final conclusions, without discussing in detail the remarkable review of modern physical theories. In the (...) first place the concept of causality used by Hawking is analyzed in terms of the classical four aspects of cause, that is causa formalis, materialis, efficiens and finalis. Thereafter the classical Aristotelian-Thomistic proof of the existence of God is presented and compared with Hawking's approach. In his argumentation he uses a concept of causality, which in contrast to the classical philosophy neglects completely an ontological dependence and is reduced to only temporal aspects. On the basis of this temporal causality and modern physical theories and speculations, Hawking arrives at his conclusions about a very restricted role of a possible creator. It is shown, that neither from the philosophical nor the scientific view his conclusions about the existence of God are strictly convincing, a position Hawking himself seems to be aware of. (shrink)

Ancient Greek philosophers were the first to postulate the possibility of explaining nature in theoretical terms and to initiate attempts at this. With the rise of monotheistic religions of revelation claiming supremacy over human reason and envisaging a new world to come, studies of the natural order of the transient world were widely considered undesirable. Later, in the Middle Ages, the desire for human understanding of nature in terms of reason was revived. This article is concerned with the fundamental reversal (...) of attitudes, from “undesirable” to “desirable”, that eventually led into the foundations of modern science. One of the earliest, most ingenious and most interesting personalities involved was Eriugena, a theologian at the Court of Charles the Bald in the 9th century. Though understanding what we call nature is only one of the several aspects of his theological work, his line of thought implies a turn into a pro-scientific direction: the natural order is to be understood in abstract terms of ‘primordial causes’; understanding nature is considered to be the will of God; man encompasses the whole of creation in a physical as well as a mental sense. Basically similar ideas on the reconciliation of scientific rationality and monotheistic religions of revelation were conceived, independently and nearly simultaneously, by the Arab philosopher al-Kindi in Bagdad. Eriugena was more outspoken in his claim that reason is superior to authority. This claim is implicit in the thought of Nicholas of Cusa with his emphasis on human mental creativity as the image of God’s creativity; and it is the keynote of Galileo’s ‘Letter to the Grand Duchess Christina’ some 800 years later, the manifesto expressing basic attitudes of modern science. -/- This article in English is based on the monography (in German): A. Gierer “Eriugena, al-Kindi, Nikolaus von Kues - Protagonisten einer wissenschaftsfreundlichen Wende im philosophischen und theologischen Denken”, Acta Historica Leopoldina 29 (1999), Barth Verlag in MVH Verlage Heidelberg, ISBN: 3-335-00652-6, which is also available online on this server. -/- -/- . (shrink)

Ancient Greek philosophers were the first to postulate the possibility of explaining nature in theoretical terms and to initiate attempts at this. With the rise of monotheistic religions of revelation claiming supremacy over human reason and envisaging a new world to come, studies of the natural order of the transient world were widely considered undesirable. Later, in the Middle Ages, the desire for human understanding of nature in terms of reason was revived. This article is concerned with the fundamental reversal (...) of attitudes, from "undesirable" to "desirable", that eventually led into the foundations of modern science. One of the earliest, most ingenious and most interesting personalities involved was Eriugena, a theologian at the Court of Charles the Bald in the 9th century. Though understanding what we call nature is only one of the several aspects of his philosophical work, his line of thought implies a turn into a pro-scientific direction: the natural order is to be understood in abstract terms of "primordial causes"; understanding nature is considered to be the will of God; man encompasses the whole of creation in a physical as well as a mental sense. Basically similar ideas on the reconciliation of scientific rationality and monotheistic religions of revelation were conceived, independently and nearly simultaneously, by the Arab philosopher al-Kindi in Bagdad. Eriugena was more outspoken in his claim that reason is superior to authority. This claim is implicit in the thought of Nicholas of Cusa with his emphasis on human mental creativity as the image of God's creativity; and it is the keynote of Galileo's "Letter to the Grand Duchess Christina" some 800 years later, the manifesto expressing basic attitudes of modern science. (shrink)

In this contribution an attempt is made to analyze an important mathematical discovery, the theorem of Gödel, and to explore the possible impact on the consistency of metaphysical systems. It is shown that mathematics is a pointer to a reality that is not exclusively subjected to physical laws. As the Gödel theorem deals with pure mathematics, the philosopher as such can not decide on the rightness of this theorem. What he, instead can do, is evaluating the general acceptance of this (...) mathematical finding and reflect on the consistency between consequences of the mathematical theorem with consequences of his metaphysical view. The findings of three mathematicians are involved in the argumentation: first Gödel himself, then the further elaboration by Turing and finally the consequences for the human mind as worked out by Penrose. As a result one is encouraged to distinguish two different types of intellectual activity in mathematics, which both can be carried out by humans. The astonishing thing is not the distinction between a formalized, logic approach on the one side and intuition, mathematical insight and meaning on the other. Philosophically challenging, however, is the claim that principally only one of these intellectual activities can be carried out by objects exclusively bound to the laws of physical reality. (shrink)

The four antinomies of Zeno of Elea continue to be provoking issues that remain relevant for the foundation of science. Aristotle used this antinomy to arrive at a deeper understanding of movement : it is a fluent continuum that he considers to be a whole. The parts, if any, are only potentially present. Similarly, quantum mechanics states that movement is quantized ; things move or change in nonreducible steps, the so-called quanta. This view is in contrast to classical mechanics, where (...) infinitesimally small steps are permitted. The objective of the present study is to show the merits of the Aristotelian approach. Examples from modern science serve to illustrate the philosophical statements. (shrink)

This paper constitutes one extended argument, which touches on various topics of Critical Rationalism as it was initiated by Karl Popper and further developed in his aftermath. The result of the argument will be that critical rationalism either offers no solution to the problem of induction at all, or that it amounts, in the last resort, to a kind of Critical Rationalist Inductivism as it were, a version of what I call Good Old Induction. One may think of David Miller (...) as a contemporary representative of what I consider as the ‘no solution’ version of critical rationalism, while Alan Musgrave stands for the version of ‘critical rationalist induction’. Popper’s own writings admit of either interpretation. (shrink)

The title of the present book suggests that scientific results obtained in mathematics and quantum physics can be in some way related to the question of the existence of God. This seems possible to us, because it is our conviction that reality in all its dimensions is intelligible. The really impressive progress in science and technology demonstrates that we can trust our intellect, and that nature is not offering us a collection of meaningless absurdities. We first of all intend to (...) show with results taken from mathematics and quantum physics: Mathematical Undecidability: man will never have a universal method to solve any mathematical problem. In arithmetic there always will be unsolved, solvable problems. Quantum Nonlocality: certain phenomena in nature seem to imply the existence of correlations based on faster-than-light influences. These influences, however, are not accessible to manipulation by man for use in, for example, faster than light communication. In the various contributions pieces of a puzzle are offered, which suggest that there exists more than the world of phenomena around us. The results discussed point to intelligent and unobservable causes governing the world. One is led to perceive the shade of a reality which many people would call God. (shrink)

Alfred Tarski was a nominalist. But he published almost nothing on his nominalist views, and until recently the only sources scholars had for studying Tarski’s nominalism were conversational reports from his friends and colleagues. However, a recently-discovered archival resource provides the most detailed information yet about Tarski’s nominalism. Tarski spent the academic year 1940-41 at Harvard, along with many of the leading lights of scientific philosophy: Carnap, Quine, Hempel, Goodman, and (for the fall semester) Russell. (...) This group met frequently to discuss logical and philosophical topics of shared interest. At these meetings, Carnap took dictation notes, which are now stored in the Archives of Scientific Philosophy. Interestingly, and somewhat surprisingly, the plurality of notes covers a proposal Tarski presents for a nominalist language of unified science. This chapter addresses the following questions about this project. What, precisely, is Tarski’s nominalist position? What rationales are given for Tarski’s nominalist stance—and are these rationales defensible? Finally, how is Tarskian nominalism of 1941 related to current nominalist projects? (shrink)

Existential a prioris are fundamental elements of the a priori structure of one's being-in-the-world. They relate to Heidegger's existentials, although in psychiatry the analysis is mainly at the ontic level of concrete existence. The English term "existential" does not discriminate between the German "existenziell" and "existenzial". Here we mean with "existential" what in German is called "existenziell". In this paper schizophrenic delusions and hallucinations are considered secondary phenomena, being founded in a primary alteration of the existential a prioris. In schizophrenia (...) the alteration of the existential a prioris is recognized as a certain mode of being, different from ours, which is evident in the alteration of spatialization and temporalization, being-with others and bodily being. This is discussed by the so-called technical delusions and hallucinations, which are psychotic symptoms experienced as being infl uenced by means of technical instruments. The recognition of the alteration of these basic pre-objective structures is very important for the understanding and therapy of people with schizophrenia. (shrink)

A pair of compatibilists, John Fischer (2012: ch. 6; n.d.) and Manuel Vargas (2012) have responded to a problem about luck that Alfred Mele (2005, 2006) posed for incompatibilist believers in free will and moral responsibility. They offer assistance to libertarians - at least on this front. In this paper, we assess their responses and explain why what they offer is inadequate for libertarian purposes.

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

The article describes the background of Roman Ingarden's 1922 review of Leon Chwistek's book Wielość rzeczywistości, and the back-and-forth that followed. Despite the differences, the two shared some interesting similarities. Both authors had important ties to the intellectual happenings outside Poland and were not considerd mainstream at home. In the end, however, it is these connections that allowed them to gain recognition. Ingarden, who had been a student of Husserl, became the leading phenomenologist in the postwar Poland. For Chwistek, a (...) painter, philosopher, and logician interested in Russell’s work, such connections meant that he won the competition for a professorship at the university in Lwów over Alfred Tarski. Until recently, Chwistek’s place in Polish logic remains unclear and Ingarden’s interactions with Polish logic and the Vienna Circle have not been investigated extensively. A deeper look at this intellectual fracas between Ingarden and Chwistek helps one in the study of the complicated mesh of alliances within the Lwów-Warsaw School. The article also identifies the origins of the split between phenomenology and the analytic philosophical tradition in Poland. The article is also accompanied by the translations of the reviews. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at (...) more than one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

Statistics play a critical role in biological and clinical research. To promote logically consistent representation and classification of statistical entities, we have developed the Ontology of Biological and Clinical Statistics (OBCS). OBCS extends the Ontology of Biomedical Investigations (OBI), an OBO Foundry ontology supported by some 20 communities. Currently, OBCS contains 686 terms, including 381 classes imported from OBI and 147 classes specific to OBCS. The goal of this paper is to present OBCS for community critique and to describe a (...) number of use cases designed to illustrate its potential applications. The OBCS project and source code are available at http://obcs.googlecode.com. (shrink)

Education is a developmental process that may be improved by using a range of strategies to develop engaging classes. It stands for the educators' personal philosophy and utmost aspiration. This study aimed to assess and identify the strategies, methods, and trends of teaching-learning on students’ perspectives and their effectiveness in the new normal of education. The study employed the descriptive approach with a quantitative research design in analyzing the strategies, methods, and trends of teaching-learning. The participants of the study are (...) the professional teachers in the selected 2 public schools in the Agusan del Sur division under the San Luis District, particularly at San Luis National High School and San Mariano Elementary School. Based on the findings, it was gleaned from the findings, it was definitely concluded that the overall weighted mean value was 4.08 with a descriptive level of observation and interpretation of very satisfied based on the results. Additionally, it was revealed that the z-computed value in the result obtained with 105.329 is greater than the z-critical value of 1.87, which definitely resulted in the rejection of the hypothesis of the study. Thus, there is a statistically significant difference in the strategies, methods, and trends of teaching in the new normal learning perspective as observed by the participants of the study. Therefore, the strategies, methods, and trends in teaching shows to lay the foundation of why and how to conduct the class and helps set expectations by the students at school, also creating a shared class culture where students take more responsibility and understanding for their class participation. (shrink)

Education is a developmental process that may be improved by using a range of strategies to develop engaging classes. It stands for the educators' personal philosophy and utmost aspiration. This study aimed to assess and identify the strategies, methods, and trends of teaching-learning on students’ perspectives and their effectiveness in the new normal of education. The study employed the descriptive approach with a quantitative research design in analyzing the strategies, methods, and trends of teaching-learning. The participants of the study are (...) the professional teachers in the selected 2 public schools in the Agusan del Sur division under the San Luis District, particularly at San Luis National High School and San Mariano Elementary School. Based on the findings, it was gleaned from the findings, it was definitely concluded that the overall weighted mean value was 4.08 with a descriptive level of observation and interpretation of very satisfied based on the results. Additionally, it was revealed that the z-computed value in the result obtained with 105.329 is greater than the z-critical value of 1.87, which definitely resulted in the rejection of the hypothesis of the study. Thus, there is a statistically significant difference in the strategies, methods, and trends of teaching in the new normal learning perspective as observed by the participants of the study. Therefore, the strategies, methods, and trends in teaching shows to lay the foundation of why and how to conduct the class and helps set expectations by the students at school, also creating a shared class culture where students take more responsibility and understanding for their class participation. (shrink)

Education is a developmental process that may be improved by using a range of strategies to develop engaging classes. It stands for the educators' personal philosophy and utmost aspiration. This study aimed to assess and identify the strategies, methods, and trends of teaching-learning on students’ perspectives and their effectiveness in the new normal of education. The study employed the descriptive approach with a quantitative research design in analyzing the strategies, methods, and trends of teaching-learning. The participants of the study are (...) the professional teachers in the selected 2 public schools in the Agusan del Sur division under the San Luis District, particularly at San Luis National High School and San Mariano Elementary School. Based on the findings, it was gleaned from the findings, it was definitely concluded that the overall weighted mean value was 4.08 with a descriptive level of observation and interpretation of very satisfied based on the results. Additionally, it was revealed that the z-computed value in the result obtained with 105.329 is greater than the z-critical value of 1.87, which definitely resulted in the rejection of the hypothesis of the study. Thus, there is a statistically significant difference in the strategies, methods, and trends of teaching in the new normal learning perspective as observed by the participants of the study. Therefore, the strategies, methods, and trends in teaching shows to lay the foundation of why and how to conduct the class and helps set expectations by the students at school, also creating a shared class culture where students take more responsibility and understanding for their class participation. (shrink)

Wittgenstein's Nachlass: The Bergen Electronic Edition is the only CD-ROM to give you instant facsimile and text access to the 20,000 pages of the philosopher's Nachlass as catalogued by Professor von Wright in his 1982 publication The Wittgenstein Papers. -/- The result of 10 years of academic research and editorial work by the Wittgenstein Archives at the University of Bergen this electronic edition is the first scholarly resource to apply a uniform, well-documented, consistent set of editorial principles to the (...) writings. The CD-ROM is a joint publication between Oxford University Press and the Wittgenstein Archives and is published in Text & Facsimile and Text Only formats. (shrink)

Education is a developmental process that may be improved by using a range of strategies to develop engaging classes. It stands for the educators' personal philosophy and utmost aspiration. This study aimed to assess and identify the strategies, methods, and trends of teaching-learning on students’ perspectives and their effectiveness in the new normal of education. The study employed the descriptive approach with a quantitative research design in analyzing the strategies, methods, and trends of teaching-learning. The participants of the study are (...) the professional teachers in the selected 2 public schools in the Agusan del Sur division under the San Luis District, particularly at San Luis National High School and San Mariano Elementary School. Based on the findings, it was gleaned from the findings, it was definitely concluded that the overall weighted mean value was 4.08 with a descriptive level of observation and interpretation of very satisfied based on the results. Additionally, it was revealed that the z-computed value in the result obtained with 105.329 is greater than the z-critical value of 1.87, which definitely resulted in the rejection of the hypothesis of the study. Thus, there is a statistically significant difference in the strategies, methods, and trends of teaching in the new normal learning perspective as observed by the participants of the study. Therefore, the strategies, methods, and trends in teaching shows to lay the foundation of why and how to conduct the class and helps set expectations by the students at school, also creating a shared class culture where students take more responsibility and understanding for their class participation. (shrink)

Western philosophy and science have a strongly dualistic tradition regarding the mental and physical aspects of reality, which makes it difficult to understand their possible causal relations. In recent debates in cognitive neuroscience it has been common to claim on the basis of neural experiments that conscious experiences are causally inefficacious. At the same time there is much evidence that consciousness does play an important role in guiding behavior. The author explores whether a new way of understanding the causal role (...) of mental states and consciousness could be provided by the ontological interpretation of the quantum theory (Bohm and Hiley, Phys. Rep. 144:323–348, 1987; Bohm and Hiley, The undivided universe: An ontological interpretation of quantum theory. Routledge: London, 1993). This interpretation radically changes our notion of matter by suggesting that a new type of active information plays a causal role at the quantum level of reality. The author thus considers to what extent the alleged causal powers of consciousness involve information, and then moves on to consider whether information in (conscious) mental states can be connected to the information at the level of quantum physics. In this way he sketches how quantum theory might help to throw light upon one of the grand challenges facing the social sciences and the humanities, namely the question of whether consciousness plays any genuine causal role in the physical world. (shrink)

CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI’S COLLECTED PAPERS Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable (...) in volume, but most of the Aristotelian corpus is not about logic, whereas virtually everything written by Tarski concerns logic more or less directly. There is no doubt that Tarski wrote more on logic than any other author; he started publishing on logic in 1921 at the age of 20 and continued until his death at the age of 82. (shrink)