Why should we seek and tell the truth? Does anyone know what truth is? Many are skeptical about the relevance of truth. Truth Matters endeavours to show why truth is important in a world where the very idea of truth is contested. Putting philosophers in conversation with educators, literary scholars, physicists, political theorists, and theologians, Truth Matters ranges across both analytic and continental philosophy and draws on the ideas of thinkers such as Aquinas, Balthasar, Brandom, Davidson, Dooyeweerd, Gadamer, Habermas, Kierkegaard, (...) Plantinga, Ricoeur, and Wolterstorff. Some essays attempt to provide a systematic account of truth, while others wrestle with the question of how truth is told and what it means to live truthfully. Contributors address debates between realists and anti-realists, explore issues surrounding relativism and constructivism in education and the social sciences, examine the politics of truth telling and the ethics of authenticity, and consider various religious perspectives on truth. Most scholars agree that truth is propositional, being expressed in statements that are subject to proof or disproof. This book goes a step farther: yes, propositional truth is important, but truth is more than propositional. To recognize how it is more than propositional is crucial for understanding why truth truly matters. Contributors include Doug Blomberg (ICS), Allyson Carr (ICS), Jeffrey Dudiak (King’s University College), Olaf Ellefson (York University), Gerrit Glas (VU University Amsterdam), Gill K. Goulding (Regis College), Jay Gupta (Mills College), Clarence Joldersma (Calvin College), Matthew J. Klaassen (ICS), John Jung Park (Duke University), Pamela J. Reeve (St. Augustine’s Seminary), Amy Richards (World Affairs Council of Western Michigan), Calvin Seerveld (ICS), Ronnie Shuker (ICS), Adam Smith (Brandeis University), John Van Rys (Redeemer University College), Darren Walhof (Grand Valley State University), Matthew Walhout (Calvin College), and Lambert Zuidervaart (ICS). (shrink)

to appear in Lambert, E. and J. Schwenkler (eds.) Transformative Experience (OUP) -/- L. A. Paul (2014, 2015) argues that the possibility of epistemically transformative experiences poses serious and novel problems for the orthodox theory of rational choice, namely, expected utility theory — I call her argument the Utility Ignorance Objection. In a pair of earlier papers, I responded to Paul’s challenge (Pettigrew 2015, 2016), and a number of other philosophers have responded in similar ways (Dougherty, et al. 2015, Harman (...) 2015) — I call our argument the Fine-Graining Response. Paul has her own reply to this response, which we might call the Authenticity Reply. But Sarah Moss has recently offered an alternative reply to the Fine-Graining Response on Paul’s behalf (Moss 2017) — we’ll call it the No Knowledge Reply. This appeals to the knowledge norm of action, together with Moss’ novel and intriguing account of probabilistic knowledge. In this paper, I consider Moss’ reply and argue that it fails. I argue first that it fails as a reply made on Paul’s behalf, since it forces us to abandon many of the features of Paul’s challenge that make it distinctive and with which Paul herself is particularly concerned. Then I argue that it fails as a reply independent of its fidelity to Paul’s intentions. (shrink)

L'analyse d'une cinétique de croissance y est conduite à partir du modèle logistique généralisé de Richards-Nelder. On distingue 2 types de processus dits mono- et multi-logistique. Dans le cas mono-logistique, le phénomène est correctement décrit par une seule fonction logistique. La cinétique de croissance est alors caractérisée par lea propriétés de chacune des phases G 1 à G 4, délimitées par les points singuliers Γmax, V max et Γmin. On appelle structure de croissance la contribution relative de ces différentes phases (...) à l'expression de la croissance totale. Cette distribution temporelle de l'activité de croissance est une représentation discrétisée de la trajectoire y 0 → y max. On appelle processus multi-logistique toute cinétique de croissance correspondant à une somme de 2 ou plusieurs logistiques généralisées. II existe alors un plus grand nombre de points singuliers et donc un plus grand nombre de phases G i que dans le cas monologistique. La structure de croissance définit avec précision la cinetique du phénomène, ainsi que l'importance relative des différentes composantes logistiques au cours du temps. Une application en est donnée avec le grandissement des cellules pleuridiophores de l'Algue Antithamnion plumula. L'allongement de ces cellules est toujours de type bi-logistique. Les caractéristiques de la structure de croissance permettent une discrimination nette du sporophyte et des gametophytes mâle et femelle. Tandis que la composante 1 est pen différente, la composante 2 varie fortement selon la ploïdie du thalle. En revanche, il y a pen de différences entre les deux gamétophytes. Cette notion de structure de croissance est ainsi susceptible d'apporter des résultats originaux. Audelà de cet example, cette approche est proposée comme une méthode de caractérisation simple mais précise de toute cinétique de croissance basée sur lea variations temporelles de l'activité de croissance [couple ]. (shrink)

Rorty, Pragmatism, and Confucianism, a collection of twelve essays on the work of Richard Rorty and its relation to Confucian thought, arose out of a conference in Shanghai in 2004, where participants were granted access to several of Rorty’s unpublished manuscripts. In his introduction, the editor Yong Huang states his desire to outline areas of shared interest in Rortian and Confucian thought. He notes, for example, the similarities between Rorty’s view that sentiment is “central to the moral consciousness” (p. (...) 2) and the early Confucian tradition’s stress on the enhancement and appropriate directing of feeling; in Rorty’s words, a more moral world is best created by telling a “long, sad, sentimental .. (shrink)

Meinong's theory of impossible objects is defended against a number of objections, in particular against Karel Lambert's argument (see Impossible Objects?, Inquiry, Vol. 17 [1974], pp. 303?14) that no objects are impossible.

Contents include Language as a Means of Mental Culture and International Communication (1853; 2 vols) by Claude Marcel; The Mastery of Languages, or the Art of Speaking Foreign Tongues Idiomatically (1864) by Thomas Prendergast; Introduction to the Teaching of Living Languages without Grammar or Dictionary (1874) by Lambert Sauveur; and The Art of Teaching and Studying Languages (1880; English translation 1892) by Francois Goiun.

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Now available in English for the first time, The Visibility of the Image explores the development of an influential aesthetic tradition through the work of six figures. Analysing their contribution to the progress of formal aesthetics, from its origins in Germany in the 1880s to semiotic interpretations in America a century later, the six chapters cover: Robert Zimmermann (1824-1898), the first to separate aesthetics and metaphysics and approach aesthetics along the lines of formal logic, providing a purely syntactic way of (...) using signs, regardless of objective content; Alois Riegl (1858-1905), who went on to further develop aesthetics on the model of formal logic, creating a theory of style in response to Zimmermann's call for an aesthetics oriented toward formal logic; Heinrich Wölfflin (1864-1945), who represents a step toward an understanding of consciousness by using pictures as cognitive tools; Konrad Fiedler (1841-1895), the Saxon philosopher who considered the possibility that some kinds of images are made and viewed not for what they show, but for their visibility's sake alone; Maurice Merleau-Ponty (1908-1961), responsible for taking up the connections between the problems of reducing the range of potential meanings and contexts of a given image down to just the picture surface; Charles William Morris (1901-1979), who set out to establish whether a picture with no objective reference, such as an abstract painting, still counts as a sign, and if so, in what sense. Bringing these thinkers together and interlinking their ideas, Lambert Wiesing presents an engaging history of formal aesthetics, while reconstructing the philosophical foundations for the appearance of new image forms in the 20th century, including the video-clip, abstract collage, digital simulation and virtual reality. Using this original approach, The Visibility of the Image introduces the rise of modern image theory and provides a valuable account of our engagement with pictures in the 21st century. (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)

Philosophische Mythen und Modelle. Unzufriedenheit auf höchstem Niveau ; Der Mythenvorwurf in der Philosophie ; Modellierende Philosophie : eine contradictio in adjecto ; Der Mythos des Gegebenen ; Vom Mythos desGegebenen zum Mythos des Mittelbaren ; Interpretationismus und Wahrnehmungsphilosophie ; Transzendentaler Interpretationismus ; Die Verbindung des Mythos des Gegebenen mit dem Mythos des Mittelbaren : Repräsentationalismus ; Das Paradigma des Zugangs -- Phänomenologie : die Philosophie ohne Modell. Phänomenale Gewißheit ; Vom cartesischen Cartesianismus zum phänomenologischen Cartesianimus ; Intentionalität : das (...) fundamentum inconcussum relationalis ; Zu den Sachen und zurück zur Sprache ; Phänomenologische Protreptik ; Eidetische Variation -- Das Mich der Wahrnehmung. Von den Bedingungen der Möglichkeit zu den Folgen der Wirklichkeit ; Vom Primat des Wahrnehmenden zum Primat der Wahrnehmung ; Vom Ich zum Mich der Wahrnehmung ; Die Zumutung dauernder Anwesenheit ; Die Beschreibung der Anwesenheitszumutung : der Gehalt der Wahrnehmung ; Die Qualität der Wahrenmung und der Auffassungssinn ; Sich sicher sein, daß etwas der Fall ist : Wissen und Gewißheit ; Die unmögliche Epoché ; Vom Eindruck zum Ausdruck zur Teilhabe ; Transzendentale Ästhetik und die Unterstellung von Anschauungsformen ; Die Leiblichkeit des Wahrnehmenden : eine folge der Wahrnehmung ; Die Kontinuität des Wahrgenommenen ; Das Wahrgenommene und die Ursache der Wahrnehmung ; Die Zumutung der Öffentlichkeit ; Die Identität des Mich -- Die Partizipationspause. Pause versus Unterbrechung ; Die drei Paradigmen der Bildwahrnehmungstheorie ; Das besondre Objekt der Bildwahrnehmung ; Die besonderen Folgen der Bildwahrnehmung ; Zum Zuschauen gezwungen ; Die optische Entindividualisierung des Mich ; Zur Teilnahme entschieden. (shrink)

pt. 1. Text -- pt. 2. Notes, bibliography and indices.

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The authors contend that most contemporary logic textbooks fail the average student because they emphasize the evaluation of arguments over their clarification, assuming that the student already understands what motivations underlie logic.

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)

The essays in this volume are based on addresses presented during a colloquium on free logic, modal logic and related areas held at the University of California at Irvine, in May of 1968. With the single exception of Dagfinn F011esdal, whose revised address is included in a recent issue of Synthese honoring W. V. Quine, all of the speakers at the Irvine colloquium are contributors to this volume. Thanks are due to Professor A. I. Melden, Chairman of the Department of (...) Philosophy at Irvine, for his enthusiastic support of the colloquium, and to Drs. Gordon Brittan and Daniel Dennett for their help in the administration of the colloquium. Finally. I should also like to thank Professor Ralph W. Gerard, Dean of the Graduate Division of the University of California at Irvine, for the financial support which made the colloquium possible. KAREL LAMBERT Laguna Beach, California, 1969 TABLE OF CONTENTS PREFACE V KAREL LAMBERT and BAS C. VAN FRAASSEN/ Meaning Relations, Possible Objects, and Possible Worlds 1 JAAKKO HINTIKKA / Existential Presuppositions and Uniqueness Presuppositions 20 RICHMOND H. THOMASON / Some Completeness Results for Modal Predicate Calculi 56 H. LEBLANC and R. K. MEYER / Truth-Value Semantics for the Theory of Types 77 J. M. VICKERS / Probability and Non Standard Logics 102 PETER W. WOODRUFF / Logic and Truth Value Gaps 121 DANA SCOTT / Advice on Modal Logic 143 INDEX OF NAMES 175 KAREL LAMBER T AND BAS C. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:136 JOURNAL OF THE HISTORY OF PHILOSOPHY 28" 1 JANUARY 199 ~ to the principle of acting for the common good are played down by Grant in her discussion of Locke. Nevertheless, Grant advances the important proposition with respect to the tradition of liberalism as a political doctrine that "Locke's political theory contains two tendencies that are not entirely harmonious." That is, there is an uneasy blend of radical (...) and conservative elements in Lockean liberalism, and "this ambivalent attitude is an expression of the central axis of conflict within liberal theory generally" (204). For those who seek to understand Locke's role as a progenitor of liberalism and the persistence of certain types of arguments and problems which retain their significance for thinkers who identify themselves with that political theory, therefore, John Locke's Liberalism provides an excellent starting point. RICHARD ASHCRAFT Universityof California, Los Angeles Fabio Todesco. Riforma della metafisica e sapere scientifico. Saggio suJ. H. Lambert (z 7281777 ). CoUana di Filosofia, vol. x5. Milan: Franco Angeli, 1987. Pp. 348- L 3o,ooo. Voltaire expressed his view of Wolffian metaphysics in a letter to Prince Frederick of Prussia: "Ce sont des 6clairs au milieu d'une nuit profonde; c'est tout ce qu'on peut esp~rer, je crois, de la m~taphysique. "~ Voltaire's attitude towards metaphysics was not shared by Condillac, who in his Essai sur l'origine des connoissances humaines (1746) distinguishes two kinds of metaphysics: one, ambitious and obscure of itself, pretends to discuss the essences of beings and the inscrutable causes of things; the other, more circumspect, confines itself to the analysis of knowledge, and so provides the only possible basis for a clarification of mind; it is "la science qui contribue le plus ~ rendre l'esprit lumineux, precis et 6tendu, et qui, par cons6"quent, doit le preparer ~ l'6tude de toutes les autres." It started with Locke, and is to be treated with the same exactitude as geometry in order to give a clear and invariable meaning to the words used, and a simple and easy order to the propositions." Maupertuis, who in 1746 became the President of the newly re-founded Berlin Acad~mie Royale des Sciences, hoped for the application of mathematics to metaphysics; nevertheless, he didn't expect the same degree of certitude from the latter as from the former. 3 In 1761 the Berlin Academy proposed a prize question as to whether metaphysics were capable of the same degree of evidence as mathematics. Lambert answered the question by claiming that geometrical demonstrations might be applied to metaphysics. 4 Four years afterwards (January 1765) Lambert was enrolled as a merei Letter of 1 September 1736, in Voltaire'sCorrespondence,ed. Theodore Besterman (Geneva: Librairie E. Droz, 1954), 5: 232. " Oeuw-esPhilosophiquesde Condillac,ed. Georges Le Roy (Paris: P.U.F., 19~7), 1:3. DesDevoirsde l'Acadg, micien, in Histoirede l'AcademieRoyaledesSciencesetBelles-Lettres,~5 vols. (Berlin, 1746-71), 1 (1746): 142-43. 4 "Llber die Methode, die Metaphysik, Theologie und Moral richtiger zu beweisen.... "ed. K. Bopp, Kantstud,en, suppl. 4~ (1918). BOOK REVIEWS a37 ber of the Berlin Academy; in the speech he delivered on that occasion he maintained that the simple concepts first formulated by Locke were the basis of human knowledge. From these simple concepts were drawn axiomata and postulata, the starting points of demonstrations that were necessarily and strictly to follow "l'ordre et le rigueur g~ometrique. ''~ In his own research, Lambert's point of departure was the philosophy of Christian Wolff, who had applied geometrical method to philosophy and provided demonstrations of its propositions, and definitions of all its constituent terms. The result Lambert obtained is very different from that of Wolff's metaphysics, which was constructed by deduction from the most general concept of ens, elaborated through a series of classifications per genera et species. Lambert abandoned this Wolffian system of classification in order to follow the anatomical method introduced by Locke, and by which the fundamental constituent elements of thought might be reached. The metaphysics of Lambert is a reversal of that of Wolff: it is built up from simple ideas derived immediately from sense perception: these simple ideas, being indivisible, are... (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

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.

The present paper is a kind of selective summary of my book The Genesis of Yogācāra-Vijñānavāda. [1.–2.] It deals with questions of origin and early development of three basic concepts of this school, viz., the ‘idealist’ thesis that the whole world is mind only or manifestation only, the assumption of a subliminal layer of the mind, and the analysis of phenomena in terms of the “Three Natures”. [3.] It has been asserted that these three basic concepts are logically inseparable and (...) therefore must have been introduced conjointly. [4.] Still, from Vasubandhu onward treatises have been written in which only one of the three concepts is advocated or demonstrated to be indispensable, without any reference to the other two being made. Likewise, in most of the earlier Yogācāra treatises, the three concepts occur in different sections or contexts, or are even entirely absent, as vijñaptimātra in the Yogācārabhūmi and ālayavijñāna in the Mahāyānasūtrālaṁkāra and Madhyāntavibhāga. [5.] It is therefore probable that the three concepts were introduced separately and for different reasons. [5.1.] As regards the concept of the “Three Natures”, I very hypothetically suggest that it was stimulated by the Tattvārthapaṭala of the Bodhisatvabhūmi. [5.2.1.] In the case of ālayavijñāna, I still think that my hypothesis that the concept originated from a problem emerging in connection with the “attainment of cessation” holds good and has not been conclusively refuted, but I admit that Prof. Yamabe?s hypothesis is a serious alternative. [5.2.2.] An important point is that in the Yogācārabhūmi we come across two fundamentally different concepts of ālayavijñāna, the starting point for the change being, probably, the fifth chapter of the Saṁdhinirmocanasūtra. [5.3.] As for ‘idealism’, we may have to distinguish two strands, which, however, tend to merge. [5.3.1.] The earlier one uses the concept cittamātra and emerges as early as in the Pratyutpanna-buddha-saṁmukhāvasthita-samādhi-sūtra in connection with an interpretation of visions of the Buddha Amitāyus. [5.3.2.] The later strand introduces the concept vijñaptimātra and seems to have originated in the eighth chapter of the Saṁdhinirmocanasūtra in connection with a reflection on the images perceived in insight meditation. [5.3.3.] In texts like the Mahāyānasūtrālaṁkāra, concepts from other Mahāyānasūtra strands become prominent in this connection, and it is only in the Mahāyānasaṁgraha that the use of vijñaptimātra is finally established. (shrink)

This paper surveys the main attitudes toward intentional explanation in recent psychology. Specifically, the positions of reductionistic behaviorism, materialism and replacement behaviorism are critically examined. Finally, an assessment of the current state of the controversy is presented.

This paper surveys the main attitudes toward intentional explanation in recent psychology. Specifically, the positions of reductionistic behaviorism, materialism and replacement behaviorism are critically examined. Finally, an assessment of the current state of the controversy is presented.

This paper surveys the main attitudes toward intentional explanation in recent psychology. Specifically, the positions of reductionistic behaviorism, materialism and replacement behaviorism are critically examined. Finally, an assessment of the current state of the controversy is presented.

Die Studien zur Philosophie des Bildes verfolgen eine doppelte Absicht: Sie bemühen sich einerseits um einen Überblick über die grundlegenden Positionen innerhalb der gegenwärtigen Bildwissenschaft und versuchen andererseits stets einen systematischen Hauptgedanken zu verteidigen: Bilder präsentieren; nur Bilder ermöglichen die artifizielle Präsenz von ausschließlich sichtbaren Dingen, die den Gesetzen der Physik enthoben sind. Vor dem Hintergrund dieses Bildbegriffs wird die Verwendung von Bildern als Zeichen aus einer phänomenologischen Sicht beschrieben, Platons Mimesis-Begriff anhand seiner kanonischen Bildvorstellungen rekonstruiert und die besondere Bedeutung (...) extremer Bildtypen - wie die virtuelle Realität, Benutzeroberflächen oder die Abstrakte Fotografie - für die philosophische Arbeit am Bildbegriff vorgeführt. (shrink)

These phenomenological studies on the philosophy of the image review contemporary image theory while defending the fundamental insight that images alone make the artificial presence of things possible.

pt. 1 Text -- pt. 2 Notes, bibliography and indices.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

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)