本文通过对德国著名汉学家、翻译家卫礼贤的最后一部哲学论著《中国哲学导 论》(1929)的翻译和研究,整理归纳了卫礼贤对中国哲学的核心词“道”的五种不同译法, 深入剖析了他如何用“一词多译”的方法,对中国哲学史上不同文本、不同哲学家、不同时代 及不同思想维度中的“道”进行诠释。同时,本文以术语学(Terminologie)为研究方法,聚焦 于卫礼贤用来翻译“道”的几个德语哲学术语,并对这些词汇进行溯源。以此为切入点, 本文 分析了卫礼贤作为对中国哲学与德国哲学均有深刻理解的汉学家,有意识地从跨文化比较哲学 的角度出发,将“道”转换为德国哲学中与之相匹配的哲学概念,并将其介绍给德国思想界的 路径。重新审视卫礼贤对“道”的“一词多译”,在加强当今中外文化互鉴和中文著作外译方面 具有积极且重要的作用。[This contribution is based on the translation and study of the book Chinesische Philosophie: Eine Einführung (Chinese Philosophy: An Introduction, 1929). It is the last philosophy-related work by the famous German sinologist and translator Richard Wilhelm. The article provides a compilation, summary, and in-depth analysis concerning Wilhelm's handling of the translation of "Dao", the "Urwort" (Heidegger) of Chinese philosophy. The study provides insight into how Wilhelm has used (...) a poly-perspective method to interpret the word “Dao" by using five different translation terms in relation to divergent texts, various philosophers, and different periods in the history of Chinese philosophy. Some of the German philosophical terms that were applied in these translations are investigated by tracing their etymological origins and general semantics. Richard Wilhelm was a sinologist with a deep understanding of both Chinese and German philosophical traditions. He deliberately imparted the different philosophical meanings of "Dao" in a way that was compatible with the context of the contemporary German intellectual community. In parts, he presented this semantic field from the perspective of transcultural philosophy. We believe that a re-examination of Richard Wilhelm's variational approaches to translate the term "Dao" can provide important methodological inspirations for the translation of complex Chinese texts as well as concerning the improvement of mutual cultural understanding between Chinese and other cultures.]. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Heidegger’s “Evening Conversation: In a Prisoner of War Camp in Russia, between a Younger and an Older Man”, one of three dialogues composed by Heidegger after the defeat of National Socialist Germany published in Country Path Conversations explores the being-historical situation and fate of the German people by turning to the early Daoist text of the Zhuangzi. My article traces how Heidegger interprets fundamental concepts from the Zhuangzi, mediated by way of Richard Wilhelm’s translation Das wahre Buch vom (...) südlichen Blütenland, such as naturalness, letting/releasement, the unnecessary and the useless in the context of his hermeneutical and political situation. I consider to what extent this dialogue, along with his other discussions of the Zhuangzi and intensive engagement with the Daodejing from 1943 to 1950, constitute a “Daoist turn” in Heidegger’s thinking that helped shape his Postwar thought. (shrink)

This paper traces the ancestry of a familiar historiographical narrative, according to which early modern philosophy was marked by the development of empiricism, rationalism, and their synthesis by Immanuel Kant. It is often claimed that this narrative became standard in the nineteenth century, due to the influence of Thomas Reid, Kant and his disciples, or German Hegelians and British Idealists. The paper argues that the narrative became standard only at the turn of the twentieth century. This was not due to (...) the influence of Reid, German Hegelians, or British Idealists as they did not endorse the narrative, although Thomas Hill Green may have facilitated its uptake. The narrative is based on Kant’s historiographical sketches, as corrected and integrated by Karl Leonhard Reinhold. It was first fleshed out into full-fledged histories by two Kantians, Wilhelm Gottlieb Tennemann and Johann Gottlieb Buhle. Numerous historians, several of whom were not Kantians, spread it in the English-speaking world. They include Kuno Fischer, Friedrich Ueberweg, Richard Falckenberg, and Wilhelm Windelband. However, the wide availability of their works did not suffice to make the narrative standard because, until the 1890s, the Hegelian account was at least as popular as theirs. Among the factors that allowed the narrative to become standard are its aptness to be adopted by philosophers of the most diverse persuasions, its simplicity and suitability for teaching. (shrink)

George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians Wilhelm Traugott Krug and Wilhelm Esser, among others. In his 1854 work An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Boole argues that the laws of (...) thought acquire normative force when constrained to mathematical reasoning. Boole’s motivation is, first, to address issues in the foundations of mathematics, including the relationship between arithmetic and algebra, and the study and application of differential equations (Durand-Richard, van Evra, Panteki). Second, Boole intended to derive the laws of logic from the laws of the operation of the human mind, and to show that these laws were valid of algebra and of logic both, when applied to a restricted domain. Boole’s thorough and flexible work in these areas influenced the development of model theory (see Hodges, forthcoming), and has much in common with contemporary inferentialist approaches to logic (found in, e.g., Peregrin and Resnik). (shrink)

This book presents new research into key areas of the work of German philosopher and mathematician Gottfried Wilhelm Leibniz (1646-1716). Reflecting various aspects of Leibniz's thought, this book offers a collection of original research arranged into four separate themes: Science, Metaphysics, Epistemology, and Religion and Theology. With in-depth articles by experts such as Maria Rosa Antognazza, Nicholas Jolley, Agustín Echavarría, Richard Arthur and Paul Lodge, this book is an invaluable resource not only for readers just beginning to discover (...) Leibniz, but also for scholars long familiar with his philosophy and eager to gain new perspectives on his work. (shrink)

A new advanced systems theory concerning the emergent nature of the Social, Consciousness, and Life based on Mathematics and Physical Analogies is presented. This meta-theory concerns the distance between the emergent levels of these phenomena and their ultra-efficacious nature. The theory is based on the distinction between Systems and Meta-systems (organized Openscape environments). We first realize that we can understand the difference between the System and the Meta-system in terms of the relationship between a ‘Whole greater than the sum of (...) the parts’ and a ‘Whole less than the sum of its parts’, i.e., a whole full of holes (like a sponge) that provide niches for systems in the environment. Once we understand this distinction and clarify the nature of the unusual organization of the Meta-system, then it is possible to understand that there is a third possibility which is a whole exactly equal to the sum of its parts that is only supervenient like perfect numbers. In fact, there are three kinds of Special System corresponding to the perfect, amicable, and sociable aliquot numbers. These are all equal to the sum of their parts but with different degrees of differing and deferring in what Jacques Derrida calls “differance”. All other numbers are either excessive (systemic) or deficient (metasystemic) in this regard. The Special Systems are based on various mathematical analogies and some physical analogies. But the most important of the mathematical analogies are the hypercomplex algebras, which include the Complex Numbers, Quaternions, and Octonions, with the Sedenions corresponding to the Emergent Meta-system. However, other analogies are the Hopf fibrations between hyperspheres of various dimensions, nonorientable surfaces, soliton solutions, etc. These Special Systems have a long history within the tradition since they can be traced back to the imaginary cities of Plato. The Emergent Meta-system is a higher order global structure that includes the System with the three Special Systems as a cycle. An example of this from our tradition is in the Monadology of Gottfried Wilhelm von Leibniz. There is a conjunctive relationship between the System schema and the Special Systems that produce the Meta-system schema cycle. The Special Systems are a meta-model for the relationship between the emergent levels of Consciousness (Dissipative Ordering based on the theory of negative entropy of Prigogine), Living (Autopoietic Symbiotic based on the theory of Maturana and Varela), and Social (Reflexive based on the theory of John O’Malley and Barry Sandywell). These different special systems are related to the various existenitals identified by Martin Heidegger in Being and Time and various temporal reference frames identified by Richard M. Pico. We also relate the special systems to morphodynamic and teleodynamic systems of Terrence Deacon in Incomplete Nature to which we add sociodynamic systems to complete the series of Special Systems. (shrink)

Bu kitap, Carl Schmitt'in demokrasi ve diktatörlük üzerine düşüncelerini politik felsefenin sorgu sahasında ele almayı amaçlayarak Schmitt'i kendi döneminin polemikleri arasında konumlandırmaktadır. Bu amaçla Weimar dönemi hukukçuları üzerinde önemli etkisi olan Carl Friedrich Wilhelm von Gerber ve Paul Laband'ın anayasa düşünceleri ekseninde Alman İmparatorluğu'nun hukuk mirası incelenmiştir. Weimar Cumhuriyeti'nin krizlerle şekillenen politik atmosferi, politik felsefe açısından verimli tartışmaların ortaya çıkmasını sağlamıştır. Bu tartışmaların izi; dönemin hukukçularından Gerhard Anschütz, Richard Thoma, Georg Jellinek, Hans Kelsen ve Hermann Heller'ın demokrasi ve (...) diktatörlük tartışmasına kaynaklık eden düşünceleri üzerinden sürülmüştür. Schmitt, çoğunluğu 1920'li yıllara denk gelen anayasa hukuku çalışmaları ile Weimar dönemi hukuk tartışmaları arasında belirleyici bir yerde durmaktadır. Schmitt ile anayasanın koruyuculuğu ve parlamentarizm hakkında polemiğe giren düşünürler, kitabın ayrı bir bölümünün konusunu oluşturmaktadır. Politik felsefenin güncel bir uğrağı olmayı sürdüren Schmitt'in demokrasi ve diktatörlük üzerine düşünceleri, çağdaş dünyanın karşı karşıya kaldığı demokrasi sorunlarının derinleştirilmesinde verimli bir kaynaktır. Bu kitabın amaçları arasında, kendi tarihsel bağlamı içerisinde Schmitt'in devlet düşüncesinin spesifik bir incelemesini yapmanın yanında, kendisini diktatörlüğün karşısında konumlandıran liberal demokrasi anlayışını tartışmaya açmak da bulunmaktadır. (shrink)

Considerations of dynamic inconsistency have figured prominently in debates over the rationality of preferences that violate the separability conditions characteristic of expected utility theory. These debates have mostly focused on risk- and ambiguity averse preferences, but analogous considerations apply to preferences for fairness. We revisit these debates in the context of a specific hypothesis regarding the violations of separability by such preferences, namely that they are potentially both explained and rationalised by attitudes to the chances of goods that motivate a (...) preference for equality in the distribution of chances across people and possible events. Our main aim is to argue that, first, when these violations of static separability are motivated by such attitudes to chances, then they need not result in dynamically inconsistent behaviour. Second, and more generally, considerations of dynamic consistency do not, we argue, undermine the rationality of such attitudes towards the distribution of chances, despite the fact that such attitudes give rise to violations of the static separability assumptions of expected utility theory. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

Maimonides’ Latin translation of Moreh Nevukhim | Guide for the Perplexed, was the most influential Jewish work in the last millennia (Di Segni, 2019; Rubio, 2006; Wohlman, 1988, 1995; Kohler, 2017). It marked the beginning of scholasticism, a daughter of Judaism raised by Jewish thinkers, according to historian Heinrich Graetz (Geschichte der Juden, L. 6, Leipzig 1861, p. xii). Printed by Gutenberg's first mechanical press, its influence in the West went as far as the Fifth Lateran Council (1512 — 1517) (...) "where scholars were encouraged to remove the difficulties which seemed to divide the whole of theology and philosophy (Leibniz, Théodicée, 11)." For centuries, the Guide revolutionized the curriculum of school instruction by reintegrating the natural laws of thought in the sphere of faith (the fourth of which became Leibniz’ Principle of sufficient reason). This complete collection of notes expounds the ideas of the Guide and features all the passages selected and rewritten by Leibniz. This first complete annotated bilingual translation of the original manuscripts in Latin serves as an entry point to the faith in conformity with Reason. This complete collection of notes expounds the ideas of the Guide as selected and rewritten by Leibniz, the famous mathematician inventor of computer arithmetic, considered the last universal genius. The first complete bilingual translation in three centuries features on the front cover Rembrandt's Philosopher in meditation, and a recommendation from Leibniz's himself on the back: "Rabbi Maimonides' excellent book, A Guide for the Perplexed, is more philosophical than I imagined and worthy of careful reading." According to Malbim’s translator, Noah Rosenbloom, the book’s epigraph indicates that nineteenth-century Rabbi Leibush ben Yehiel Michel Wisser, also known as Malbim, was familiar with Leibniz’ Theodicy. In Leibniz’ anthology of the Guide, the reader can get a detailed glimpse of Leibniz' impressions of Maimonides. The Foreword by Leibniz' translator Lloyd Strickland suggests that there were sympathies and perhaps even overlaps between the thoughts of both universal luminaries. -/- . (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

I propose an account of probability in the Everett interpretation of quantum mechanics. According to the account, probabilities are objective chances of centered propositions. As I show, the account solves a number of problems concerning the role of probability in the Everett interpretation. It also challenges an implicit assumption, concerning the aim and scope of fundamental physical theories, that is made throughout the philosophy of physics literature.

I formulate a theory of groups based on pluralities and counterparts: roughly put, a group is a plurality of entities at a time. This theory comes with counterpart-theoretic semantics for modal and temporal sentences about groups. So this theory of groups is akin to the stage theory of material objects: both take the items they analyze to exist at a single time, and both use counterparts to satisfy certain conditions relating to the modal properties, temporal properties, and coincidence properties of (...) those items. (shrink)

I show that centered propositions—also called de se propositions, and usually modeled as sets of centered worlds—pose a serious problem for various versions of Lewis's Principal Principle. The problem, put roughly, is that in scenarios like Elga's `Sleeping Beauty' case, those principles imply that rational agents ought to have obviously irrational credences. To solve the problem, I propose a centered version of the Principal Principle. My version allows centered propositions to be objectively chancy.

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

According to the Best System Account of lawhood, laws of nature are theorems of the deductive systems that best balance simplicity and strength. In this paper, I advocate a different account of lawhood which is related, in spirit, to the BSA: according to my account, laws are theorems of deductive systems that best balance simplicity, strength, and also calculational tractability. I discuss two problems that the BSA faces, and I show that my account solves them. I also use my account (...) to illuminate the nomological character of special science laws. (shrink)

The literature on the history of electricity production have studied the evolution of electricity in both developed and developing countries and its impact on their economies. Some have laid foundations upon which other works are carried out. A close examination of historiography and multidisciplinary research on electricity production in Ghana shows that more efforts are required to improve the electric power landscape in Ghana. From the colonial era, the increasing demand for electricity has been the biggest challenge plaguing the energy (...) sector. Respective governments have made significant strides in ensuring reliable and universal access to electricity throughout Ghana, yet such efforts have been accompanied by different levels of challenges. The study uses a qualitative and exploratory research approach to trace the activities that helped, in many other ways to the creation of a sustainable electric power provision to household and industry in Ghana, particularly in two of Ghana’s cities; Accra and Kumasi, within the period 1900 to the1960s. The work focused mainly on archival sources in its quest to arrive at how indigenous Ghanaians provided power for industrial activities and for household purposes. Results from the study show that local and cottage industries relied predominantly on wood, fuel, and biomass for their operations even before the introduction of the more sophisticated means of power generation. Also, the study revealed that in finding solutions to the challenges of electricity production, policymakers have focused more on current issues with little or no effort to trace the historical foundation of electricity production. This notwithstanding, the little efforts that have been made examined the history of energy production, with a limited focus on the immediate post-independence era. (shrink)

Women have always been central concerning the provision of healthcare. The transitions into the modern world have been very slow for women because of how societies classify women. Starting from lay care, women provided healthcare for their family and sometimes to the members of the community in which they lived. With no formal education, women served as midwives and served in other specialised fields in medicine. They usually treated their fellow women because they saw ‘women’s medicine’ as women’s business. They (...) were discriminated against by the opposite sex and by the church, which regarded it as a taboo to allow women to practice medicine. This study points to a Ghanaian context on how the charismas of women have made them excel in their efforts to provide healthcare for their people. The study also focused on the role of indigenous practitioners who are mostly found in the rural areas and modern practitioners who are mostly found in the peri-urban, urban areas and larger cities in Ghana. (shrink)

Roughly put, explanatory circles — if any exist — would be propositions such that (i) each explains the next, and (ii) the last explains the first. In this paper, I give two arguments for the view that there are explanatory circles. The first argument appeals to general relativistic worlds in which time is circular. The second argument appeals to special science theories that describe feedback loops. In addition, I show that three standard arguments against explanatory circles are unsuccessful.

This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...) neither provable nor refutable. The first theorem is general in the sense that it applies to any axiomatic theory, which is ω-consistent, has an effective proof procedure, and is strong enough to represent basic arithmetic. Their importance lies in their generality: although proved specifically for extensions of system, the method Gödel used is applicable in a wide variety of circumstances. Gödel's results had a profound influence on the further development of the foundations of mathematics. It pointed the way to a reconceptualization of the view of axiomatic foundations. (shrink)

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...) at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)

I present and explain the Bohmian account of collapse in quantum mechanics.

I explore the relationship between a prominent analysis of intrinsic properties, due to Langton and Lewis, and the phenomenon of quantum entanglement. As I argue, the analysis faces a puzzle. The full analysis classifies certain properties of entangled particles as intrinsic. But when combined with an extremely plausible assumption about duplication, the main part of the analysis classifies those properties as non-intrinsic instead. I conclude that much of Lewis’s metaphysics is in trouble: Lewis based many of his metaphysical views—his thesis (...) of Humean supervenience, for instance, and his account of recombination—on an analysis of intrinsicality which does not sit well with quantum phenomena. (shrink)

The effort of Fichte’s Foundations of the Entire Science of Knowledge is to ground the whole of the science in so called principles. This aim is a specific expression of the project of self-assurance of human being characterizing the important movement of modern metaphysics. The movement towards self-assurance even culminates here: it gets a form of showing human being as an entity founding itself and in totality with itself the whole of actuality. The foundation of science is therefore in this (...) Fichte’s work completely subordinated to the project of explicit self-constitution of human being based in practical-theoretical mastering of consciousness of its own ontological-ontical priority. (shrink)

There are various philosophical approaches and theories describing the intimate relation people have to artifacts. In this paper, I explore the relation between two such theories, namely distributed cognition and distributed morality theory. I point out a number of similarities and differences in these views regarding the ontological status they attribute to artifacts and the larger systems they are part of. Having evaluated and compared these views, I continue by focussing on the way cognitive artifacts are used in moral practice. (...) I specifically conceptualise how such artifacts (a) scaffold and extend moral reasoning and decision-making processes, (b) have a certain moral status which is contingent on their cognitive status, and (c) whether responsibility can be attributed to distributed systems. This paper is primarily written for those interested in the intersection of cognitive and moral theory as it relates to artifacts, but also for those independently interested in philosophical debates in extended and distributed cognition and ethics of (cognitive) technology. (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

This study is a phenomenological inquiry into several relatively unexplored phenomena, including certain key methodological issues. It seeks to elicit and explicate the grounds of free-fantasy variation, which Husserl insists contains his “fundamental methodological insight” since it articulates “the fundamental form of all particular transcendental methods…” In the course of pursuing the full sense of this method and its grounds, the essay also uncovers the origins and eventual presence of “self” and explores the multiple connections among self, mental life, embodiment (...) and the surrounding world. To that end, it is necessary to take seriously Husserl’s otherwise odd declaration that “‘feigning’ [‘Fiktion’] makes up the vital element of phenomenology as of every other eidetic science…”, and thus that every philosopher must “fertilize” his or her “fantasy” through works of art and history as well as other areas and practices of human life. The essay offers an in-depth probing of several striking but largely unexplored phenomena: exemplifying and possibilizing, and concludes with an exploration of one of the most pervasive themes in phenomenological inquiry: intersubjectivity. (shrink)

A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.

An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

In this article, I outline various ways in which artifacts are interwoven with autobiographical memory systems and conceptualize what this implies for the self. I first sketch the narrative approach to the self, arguing that who we are as persons is essentially our life story, which, in turn, determines our present beliefs and desires, but also directs our future goals and actions. I then argue that our autobiographical memory is partly anchored in our embodied interactions with an ecology of artifacts (...) in our environment. Lifelogs, photos, videos, journals, diaries, souvenirs, jewelry, books, works of art, and many other meaningful objects trigger and sometimes constitute emotionally laden autobiographical memories. Autobiographical memory is thus distributed across embodied agents and various environmental structures. To defend this claim, I draw on and integrate distributed cognition theory and empirical research in human-technology interaction. Based on this, I conclude that the self is neither defined by psychological states realized by the brain nor by biological states realized by the organism, but should be seen as a distributed and relational construct. (shrink)