This book offers a sustained re-evaluation of the most central and perplexing themes of Leibniz's metaphysics. In contrast to traditional assessments that view the metaphysics in terms of its place among post-Cartesian theories of the world, Jan Cover and John O'Leary-Hawthorne examine the question of how the scholastic themes which were Leibniz's inheritance figure - and are refigured - in his mature account of substance and individuation. From this emerges a fresh and sometimes surprising assessment of Leibniz's views on modality, (...) the Identity of Indiscernibles, form as an internal law, and the complete-concept doctrine. As a rigorous philosophical treatment of a still-influential mediary between scholastic and modern metaphysics, their study will be of interest to historians of philosophy and contemporary metaphysicians alike. (shrink)

Graphical AbstractCephalopods provide a unique model system to investigate how organismal novelties evolve. In article number 1900073, Elena A. Ritschard et al. discuss how co-evolutionary signatures among various genomic characters have contributed to cephalopod organismal novelties and can be used to dissect their functional organization. Cover illustration by Hannah Schmidbaur.

This handbook presents a comprehensive introduction to the core areas of philosophy of education combined with an up-to-date selection of the central themes. It includes 95 newly commissioned articles that focus on and advance key arguments; each essay incorporates essential background material serving to clarify the history and logic of the relevant topic, examining the status quo of the discipline with respect to the topic, and discussing the possible futures of the field. The book provides a state-of-the-art overview of philosophy (...) of education, covering a range of topics: Voices from the present and the past deals with 36 major figures that philosophers of education rely on; Schools of thought addresses 14 stances including Eastern, Indigenous, and African philosophies of education as well as religiously inspired philosophies of education such as Jewish and Islamic; Revisiting enduring educational debates scrutinizes 25 issues heavily debated in the past and the present, for example care and justice, democracy, and the curriculum; New areas and developments addresses 17 emerging issues that have garnered considerable attention like neuroscience, videogames, and radicalization. The collection is relevant for lecturers teaching undergraduate and graduate courses in philosophy of education as well as for colleagues in teacher training. Moreover, it helps junior researchers in philosophy of education to situate the problems they are addressing within the wider field of philosophy of education and offers a valuable update for experienced scholars dealing with issues in the sub-discipline. Combined with different conceptions of the purpose of philosophy, it discusses various aspects, using diverse perspectives to do so. Contributing Editors: Section 1: Voices from the Present and the Past: Nuraan Davids Section 2: Schools of Thought: Christiane Thompson and Joris Vlieghe Section 3: Revisiting Enduring Debates: Ann Chinnery, Naomi Hodgson, and Viktor Johansson Section 4: New Areas and Developments: Kai Horsthemke, Dirk Willem Postma, and Claudia Ruitenberg. (shrink)

Niels Bohr and Philosophy of Physics: Twenty-First Century Perspectives examines the work, influences and legacy of the Nobel Prize physicist and philosopher of experiment Niels Bohr. While covering Bohr's groundbreaking contribution to quantum mechanics, this collection reveals the philosophers who influenced his work. Linking him to the pragmatist C.I. Lewis and the Danish philosopher Harald Høffding, it draws strong similarities between Bohr's philosophy and the Kantian way of thinking. Addressing the importance of Bohr's views of classical concepts, it discusses how (...) his interpretation of quantum mechanics now compares with a variety of issues that have arisen only since his lifetime, including decoherence and other non-collapse arguments. Balancing historical themes with contemporary ideas, Niels Bohrs and Philosophy of Physics reveals Bohr's on-going contribution to the philosophy of science and confirms his place in the history of philosophy. (shrink)

This chapter considers four areas in the differences between Vygotsky's concept of reason and ‘Enlightenment rationality’ in its familiar characterisation. These areas cover: (1) foundationalism and anti‐foundationalism, (2) the conception of science, (3) the conception of development and (4) idealism and materialism. The last is developed more by Ilyenkov, although, given its Hegelian and Spinozist provenance, it can be reasonably interpreted as part of the general direction of Vygotsky's work. Two indications of the importance of Hegel for understanding Vygotsky are: (...) first, the absence of an unbridgeable epistemological chasm between thought and world, and second, the conception of development as a non‐linear process embedded in historical resources. Marx's and Hegel's ideas of history and development influenced every aspect of Vygotsky's thinking on concepts. Vygotsky's work provides no blueprint for teachers and educational administrators, but it does provide a frame of ideas within which questions concerning education can fruitfully be pursued. (shrink)

Genesis: The Evolution of Biology presents a history of the past two centuries of biology, suitable for use in courses, but of interest more broadly to evolutionary biologists, geneticists, and biomedical scientists, as well as general readers interested in the history of science. The book covers the early evolutionary biologists-Lamarck, Cuvier, Darwin and Wallace through Mayr and the neodarwinian synthesis, in much the same way as other histories of evolution have done, bringing in also the social implications, the struggles with (...) our religious understanding, and the interweaving of genetics into evolutionary theory. What is novel about Sapp's account is a real integration of the cytological tradition, from Schwann, Boveri, and the other early cell biologists and embryologists, and the coverage of symbiosis, microbial evolutionary phylogenies, and the new understanding of the diversification of life coming from comparative analyses of complete microbial genomes. The book is a history of theories about evolution, genes and organisms from Lamarck and Darwin to the present day. This is the first book on the general history of evolutionary biology to include the history of research and theories about symbiosis in evolution, and first to include research on microbial evolution which were excluded from the classical neo-Darwinian synthesis. Bacterial evolution, and symbiosis in evolution are also excluded from virtually every book on the history of biology. (shrink)

This paper concerns exchangeable analogical predictions based on similarity relations between predicates, and deals with a restricted class of such relations. It describes a system of Carnapian λγ rules on underlying predicate families to model the analogical predictions for this restricted class. Instead of the usual axiomatic definition, the system is characterized with a Bayesian model that employs certain statistical hypotheses. Finally the paper argues that the Bayesian model can be generalized to cover cases outside the restricted class of similarity (...) relations. (shrink)

This volume provides a critical roadmap through the major historical sources of legal semiotics as we know them today. The history of legal semiotics, now at least a century old, has never been written (a non-event itself pregnant with semiotic possibility). As a consequence, its sources are seldom clearly exposed and, as word, object and meaning change, are sometimes lost. They reach from an English translation of the 1916 inaugural lecture of the first Chair in Legal Significs at the Amsterdam (...) University, via mid 20th century studies on "property" or "contract," to equally fascinating essays on contemporary semiotic problems produced by former students of the Roberta Kevelson Semiotics Roundtable Seminar at Penn State University 2012 and 2013. Together, the materials in this book weave the fabric of semiotics and significs, two names for the unfolding of semiotics in law and legal discourse at least until the second half of the 20th century, and both of which covered a lawyer's focus on sign and meaning in law. The latter is embedded within the cultural imperatives of the civilization that gave these terms meaning and made them an effective tool for the dissection of law, its reconstitution as an instrument to be used by the lawyer to advance the interests of her clients, and for judges as a means to restructure language as a narrative of law whose power could bend behavior to its strictures. Legal semiotics has become an indispensible part of the elite lawyer's toolkit and a fundamental approach to analysis of legal texts. Two previous volumes published in 2011 and 2012 explored the conceptual, methodological and epistemological progress in the field of legal semiotics, the modern forms of semiotics study, and the mechanics of meaning making processes by lawyers. Yet the great lessons of semiotics requires a focus on the origins of the concepts and frameworks that would become contemporary legal semiotics, its origins as an object of the consciousness of meaning making-one whose roots, as lessons for the oracular conversations of law, are expanded in this volume. (shrink)

In the static field configuration, a spatially-Variable Speed of Light (VSL) scalar gravity model with Lorentz-Poincaré interpretation was shown to reproduce the phenomenology implied by the Schwarzschild metric. In the present development, we effectively cover configurations with source kinematics due to an induced sweep velocity field w. The scalar-vector model now provides a Hamiltonian description for particles and photons in full accordance with the first Post-Newtonian (1-PN) approximation of General Relativity Theory (GRT). This result requires the validity of Poincaré’s Principle (...) of Relativity, i.e. the unobservability of ‘preferred’ frame movement. Poincaré’s principle fixes the amplitude of the sweep velocity field of the moving source, or equivalently the ‘vector potential’ ξ of GRT (e.g.; S. Weinberg, Gravitation and cosmology, [1972]), and provides the correct 1-PN limit of GRT. The implementation of this principle requires acceleration transformations derived from gravitationally modified Lorentz transformations. A comparison with the acceleration transformation in GRT is done. The present scope of the model is limited to weak-field gravitation without retardation and with gravitating test particles. In conclusion the model’s merits in terms of a simpler space, time and gravitation ontology—in terms of a Lorentz-Poincaré-type interpretation—are explained (e.g. for ‘frame dragging’, ‘harmonic coordinate condition’). (shrink)

In this paper I discuss probabilistic models of experimental intervention, and I show that such models elucidate the intuition that observations during intervention are more informative than observations per se. Because of this success, it seems attractive to also cast other problems addressed by the philosophy of experimentation in terms of such probabilistic models. However, a critical examination of the models reveals that some of the aspects of experimentation are covered up rather than resolved by probabilistic modelling. I end by (...) drawing a number of general lessons on the use of formal methods in the philosophy of science. (shrink)

Was heißt es, einen literarischen Text zu interpretieren? Wie können Interpretationen begründet werden? Können wir mit Interpretationen Anspruch auf Erkenntnis erheben? Können Interpretationen wahr sein? In welcher Weise fließt das Wissen von Interpreten in ihre Interpretationen ein? Aus der Perspektive verschiedener Disziplinen suchen die Beiträge dieses Bandes Antworten auf diese und andere fundamentale Fragen, die sich mit der Interpretation von Literatur verbinden. Der einleitende Beitrag gibt einen Überblick über wichtige Themen und Probleme, die gegenwärtig im Hinblick auf die Theorie und (...) Praxis der Literaturinterpretation diskutiert werden. Die in den folgenden vier Sektionen versammelten Studien widmen sich unter anderem Fragen nach dem Interpretationsbegriff, der Geltung und der methodisch geleiteten Begründung von Interpretationen, den kognitiven Operationen beim Verstehen und Interpretieren von Literatur sowie den Problemen, die sich in der Praxis der Literaturinterpretation angesichts der spezifischen Beschaffenheit literarischer Texte ergeben. Vertreten sind die Fachgebiete der deutschsprachigen Literaturwissenschaft, Philosophie, Linguistik, Mediävistik, Anglistik und Computerphilologie. [What does it mean to interpret a work of literature? How can interpretations be justified? Can interpretations serve as a source of knowledge? Is it possible for interpretations to be true? How does the knowledge of interpreters contribute to their interpretations? The essays comprised in this volume look for answers to these and other fundamental questions regarding the interpretation of literature. The introduction provides an overview of the main issues and problems in contemporary debates on the theory and practice of interpretation. The articles are grouped into four sections and cover topics like the concept of interpretation, the validity of interpretations, the methods for justifying interpretations, the cognitive processes that are involved in understanding and interpreting literature, and address problems that arise in the practice of interpretation and in light of the specific characteristics of literary texts. The contributors to this volume come from a variety of disciplines such as literary studies, philosophy, linguistics, and the digital humanities.]. (shrink)

BackgroundExpanded access is the use of investigational drugs (IDs) outside of clinical trials. Generally it is performed in patients with serious and life-threatening diseases who cannot be treated satisfactorily with authorized drugs. Legal regulations of expanded access to IDs have been introduced among others in the USA, the European Union (EU), Canada and Australia. In addition, in the USA an alternative to expanded access is treatment under the Right-to-Try law. However, the treatment use of IDs is inherently associated with a (...) number of ethically relevant problems.Main textThe objective of this article is to present a coherent framework made up of eight requirements which have to be met for any treatment use of an ID to be ethical. These include a justified need for the use of an ID, no threat to clinical development of the ID, adequate scientific evidence to support the treatment, patient’s benefit as the primary goal of the use of an ID, informed decision of a patient, fair access of patients to IDs, independent review, as well as the dissemination of treatment results.ConclusionsWhile this framework is essentially consistent with the legal regulations of expanded access of the USA, the EU, Canada and Australia, it is substantially wider in scope because it addresses some important issues that are not covered by the regulations. Overall, the framework that we developed minimizes the risks and threats, and maximizes potential benefits to each of the four key stakeholders involved in the treatment use of IDs including patients, doctors, drug manufacturers, and society at large. (shrink)

In this paper we study a notion of a κ -covering set in connection with Bernstein sets and other types of non-measurability. Our results correspond to those obtained by Muthuvel in [7] and Nowik in [8]. We consider also other types of coverings.

Radically reorienting our understanding of the Enlightenment, this book explores the complex relations between "englightened" values and the making of scientific knowledge. Here monsters and automata, barometers and botanical gardens, polite academics and boisterous clubs, plans for violent wars and for universal peace, are all relocated in the landscape of enlightened Europe. The contributors show how changing forms of discipline, machinery, and instrumentation affected the emergence of new kinds of knowledge; consider how institutions of public rate taste and conversation helped (...) provide a common frame for the study of human and nonhuman natures; and explore the regional operations of scientific culture at the geographical fringes of Europe. Covering a wide range of scientific disciplines, both in the principal European countries and in areas peripheral to Europe, the book also includes ample illustrations and an extensive bibliography. Implicated in the rise of both fascism and liberal secularism, the moral and political values that shaped the Enlightenment remain controversial today. Through careful scrutiny of how these values influenced and were influenced by the concrete practices of its sciences, this book gives us an entirely new sense of the Enlightenment. -- from back cover. (shrink)

Land registration systems are used throughout the world in order to store information on the ownership of land, rights attached to it, and burdens affecting it. A smoothly functioning land registration system guarantees the security of land transfer operations. However, there are significant differences in the way national land registration systems are run due to their historical development and divergent legislative approaches to land registration. Consequently, the need arises to compare different systems so as to find both common ground and (...) discrepancies between them. The paper contains such a comparative analysis which has been carried out with translation in mind: to discover the best ways of transferring land registration legal concepts expressed in one linguistic framework and characteristic of a given legal culture into target legal spaces using other linguistic frameworks. The comparison in question has taken place in a third space, a space where selected aspects of selected legal systems mingle revealing more or less clear similarities and more or less distinct differences between them. The juxtaposition of source and target legal cultures in a third space has resulted in finding translation equivalents that do not abuse the original ideas or—if this has been unavoidable—abuse them to the smallest extent possible. The analysis has covered the Polish land registration system and equivalent systems in English- and German-speaking countries and has been conducted from the point of view of a Polish-English and Polish-German translator. (shrink)

The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others (...) analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wójcicki, Murawski and Rojszczak. The volume presents entirely new biographical material on Tarski, both from his Polish period and on his influential career in the United States: at Harvard, in Princeton, at Hunter, and at the University of California at Berkeley. The high point of the analysis involves Tarski's influence on Carnap's evolution from a narrow syntactical view of language, to the ontologically more sophisticated but more controversial semantical view. Another highlight involves the interchange between Tarski and Gödel on the connection between truth and proof and on the nature of metalanguages. The concluding part of Yearbook 6 includes documentation, book reviews and a summary of current activities of the Institute Vienna Circle. Jan Tarski introduces letters written by his father to Gödel; Paolo Parrini reports on the Vienna Circle's influence in Italy; several reviews cover recent books on logical empiricism, on Gödel, on cosmology, on holistic approaches in Germany, and on Mauthner. (shrink)

We define the notion of a combinatorics of a first order structure, and a relation of covering between first order structures and propositional proof systems. Namely, a first order structure M combinatorially satisfies an L-sentence Φ iff Φ holds in all L-structures definable in M. The combinatorics Comb(M) of M is the set of all sentences combinatorially satisfied in M. Structure M covers a propositional proof system P iff M combinatorially satisfies all Φ for which the associated sequence of propositional (...) formulas 〈Φ〉 n , encoding that Φ holds in L-structures of size n, have polynomial size P-proofs. That is, Comb(M) contains all Φ feasibly verifiable in P. Finding M that covers P but does not combinatorially satisfy Φ thus gives a super polynomial lower bound for the size of P-proofs of 〈Φ〉 n . We show that any proof system admits a class of structures covering it; these structures are expansions of models of bounded arithmetic. We also give, using structures covering proof systems R * (log) and PC, new lower bounds for these systems that are not apparently amenable to other known methods. We define new type of propositional proof systems based on a combinatorics of (a class of) structures. (shrink)

Analytical philosophy begins with the first mathematical and philosophical works of Bolzano published between 1804 and 1817. There, Bolzano set out a project for the global reform of mathematics by means of the axiomatic method. Having completed the Wissenschaftslehre, Bolzano wrote a summary of his logic for the Größenlehre, which he sent to Exner in 1833. The correspondence between Bolzano and Exner covered some of the main subjects treated by analytical philosophy: the status of abstract objects (propositions and objective ideas), (...) intuitions, objectless ideas, the concept of object and many others. While Bolzano argued in favor of abstract entities independent of mind and of language, Exner considered them as abstractions obtained from the subjective judgments and representations. During the XlXth century, Bolzano's philosophy spread over Bohemia and Austria through manuscripts and through the first edition of Zimmermann's textbook of philosophy. The most important Brentanians, Kerry, Twardowski, Meinong and Husserl, discussed his doctrines which may also have influenced Wittgenstein and the Polish school. (shrink)

Analytical philosophy begins with the first mathematical and philosophical works of Bolzano published between 1804 and 1817. There, Bolzano set out a project for the global reform of mathematics by means of the axiomatic method. Having completed the Wissenschaftslehre, Bolzano wrote a summary of his logic for the Größenlehre, which he sent to Exner in 1833. The correspondence between Bolzano and Exner covered some of the main subjects treated by analytical philosophy: the status of abstract objects (propositions and objective ideas), (...) intuitions, objectless ideas, the concept of object and many others. While Bolzano argued in favor of abstract entities independent of mind and of language, Exner considered them as abstractions obtained from the subjective judgments and representations. During the XlXth century, Bolzano's philosophy spread over Bohemia and Austria through manuscripts and through the first edition of Zimmermann's textbook of philosophy. The most important Brentanians, Kerry, Twardowski, Meinong and Husserl, discussed his doctrines which may also have influenced Wittgenstein and the Polish school. (shrink)

List and Pettit have stated an impossibility theorem about the aggregation of individual opinion states. Building on recent work on the lottery paradox, this paper offers a variation on that result. The present result places different constraints on the voting agenda and the domain of profiles, but it covers a larger class of voting rules, which need not satisfy the proposition-wise independence of votes.

In this study of Robert Boyle's epistemology, Jan W. Wojcik reveals the theological context within which Boyle developed his views on reason's limits. After arguing that a correct interpretation of his views on 'things above reason' depends upon reading his works in the context of theological controversies in seventeenth-century England, Professor Wojcik details exactly how Boyle's three specific categories of things which transcend reason - the incomprehensible, the inexplicable, and the unsociable - affected his conception of what a natural philosopher (...) could hope to know. Also covered in detail is Boyle's belief that God had deliberately limited the human intellect in order to reserve a full knowledge of both theology and natural philosophy for the afterlife. (shrink)

My aim in this paper is to propose a way to study the role of perspectives in both the production and justification of experimental knowledge claims. My starting point for this will be Anjan Chakravartty’s claim that Ronald Giere’s perspectival account of the role of instruments in the production of such claims entails relativism in the form of irreducibly incompatible truths. This led Michela Massimi to argue that perspectivism, insofar as it wants to form a realist position, is only concerned (...) with the justification of such claims: whether they are produced reliably is, on her view, a perspective-independent fact of the matter. Following a suggestion by Giere on how scientists handle incompatible experimental results, I will then argue that Massimi’s perspectivism can be extended to also cover the production of such claims, without falling into relativism. I will elaborate this suggestion by means of Uljana Feest’s work on how scientists handle incompatible experimental results. I will argue that, if we reconceptualize perspectives as embodied and situated ways of going about in experimentation that can be made explicit through interpretation, we can obtain a fruitful understanding of the role of perspectives in both the production and justification of experimental knowledge. While this role is primarily exploratory, it can still allow for a substantial form of realism. (shrink)

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

Debate continues regarding the purpose and practice of music in relation to participation, cultural origin, and education internationally. A Darwinian approach that sees musical vocalization as the adaptive bridge between animal communication and human language remains hotly disputed where such a model does not suit the prevailing political or social agenda. The two books under review present contrasting viewpoints and evidence, while their concurrent publication illustrates the rich potential for developments in this field. Friedmann’s edited book presents separate chapters by (...) sixteen independent authors cover­ing a range of specialisms and topics. Wood’s monograph is, by contrast, an encyclopaedic exploration of the earliest writings on musical theory from China, Greece, and India and their influence on the world’s music over the last 4,000 years. Read both separately and comparatively, these two publications offer a valuable contribution to our understanding of the phenomenon of music and its practice today. (shrink)

We define a class of productive σ-ideals of subsets of the Cantor space 2 ω and observe that both σ-ideals of meagre sets and of null sets are in this class. From every productive σ-ideal I we produce a σ-ideal I κ , of subsets of the generalized Cantor space 2 κ . In particular, starting from meagre sets and null sets in 2 ω we obtain meagre sets and null sets in 2 κ , respectively. Then we investigate additivity, (...) covering number, uniformity and cofinality of I κ . For example, we show that non(I = non(I ω 1 ) = non(I ω 2 ). Our results generalizes those from [5]. (shrink)

This study analyzes conscience as a specific cognition, as an axiological consciousness of a human act. The doctrine of Thomas Aquinas plays an important role here: He assumes conscience to be a cognition; his concept of conscience is quite significant and had great influence on philosophical thinking. Nevertheless, this doctrine on conscience is not satisfying enough from the viewpoint of epistemology and, therefore, it requires a complement. Such a complement is found in phenomenological analyses, especially in those concerning consciousness. Underlying (...) the main problem of the study--which is conscience as cognition--is the question of enriching Thomism with phenomenology."--Page 4 of cover. (shrink)

The formalism of abstracted quantum mechanics is applied in a model of the generalized Liar Paradox. Here, the Liar Paradox, a consistently testable configuration of logical truth properties, is considered a dynamic conceptual entity in the cognitive sphere (Aerts, Broekaert, & Smets, [Foundations of Science 1999, 4, 115–132; International Journal of Theoretical Physics, 2000, 38, 3231–3239]; Aerts and colleagues[Dialogue in Psychology, 1999, 10; Proceedings of Fundamental Approachs to Consciousness, Tokyo ’99; Mind in Interaction]. Basically, the intrinsic contextuality of the truth-value (...) of the Liar Paradox is appropriately covered by the abstracted quantum mechanical approach. The formal details of the model are explicited here for the generalized case. We prove the possibility of constructing a quantum model of the m-sentence generalizations of the Liar Paradox. This includes (i) the truth–falsehood state of the m-Liar Paradox can be represented by an embedded 2m-dimensional quantum vector in a (2m) m -dimensional complex Hilbert space, with cognitive interactions corresponding to projections, (ii) the construction of a continuous ‘time’ dynamics is possible: typical truth and falsehood value oscillations are described by Schrödinger evolution, (iii) Kirchoff and von Neumann axioms are satisfied by introduction of ‘truth-value by inference’ projectors, (iv) time invariance of unmeasured state. (shrink)

The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others (...) analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wójcicki, Murawski and Rojszczak. The volume presents entirely new biographical material on Tarski, both from his Polish period and on his influential career in the United States: at Harvard, in Princeton, at Hunter, and at the University of California at Berkeley. The high point of the analysis involves Tarski's influence on Carnap's evolution from a narrow syntactical view of language, to the ontologically more sophisticated but more controversial semantical view. Another highlight involves the interchange between Tarski and Gödel on the connection between truth and proof and on the nature of metalanguages. The concluding part of Yearbook 6 includes documentation, book reviews and a summary of current activities of the Institute Vienna Circle. Jan Tarski introduces letters written by his father to Gödel; Paolo Parrini reports on the Vienna Circle's influence in Italy; several reviews cover recent books on logical empiricism, on Gödel, on cosmology, on holistic approaches in Germany, and on Mauthner. (shrink)

Collecting papers read at a conference with the same title at Harris Manchester College, Oxford, in 1997, the present volume bears eloquent witness to the growing interest in idealistic philosophy. In his introduction, the editor, Bill Mander, provides historical sketches of the idealists covered, but the historical scholarship signalled by the title is interwoven throughout with — mostly idealist — philosophizing in the present. Staying short for the most part of broader historical perspectives, some papers highlight important aspects of the (...) intellectual context in which idealism, as reconsidered today, necessarily finds itself, and point to its possible contributions, while others continue an idealistic discourse very much on its own terms. Properly enough in the idealistic context however, most of the contributors seem to be aware that history and present philosophizing cannot be wholly separated. If they do not directly address it, most contributions at least illustrate abundantly what is presently, and what was during the historical period covered, taking place on the modern scene as set by broader and deeper cultural forces, the proper understanding of which, as will soon become clear, I think in some cases holds a key to the assessment of important aspects of their subject-matter. Mention will be made of all papers, but since in-depth analyses of each are here impossible, while being in this case at the same time desirable, I choose to discuss about one third of the contributions in greater detail. (shrink)

Collecting papers read at a conference with the same title at Harris Manchester College, Oxford, in 1997, the present volume bears eloquent witness to the growing interest in idealistic philosophy. In his introduction, the editor, Bill Mander, provides historical sketches of the idealists covered, but the historical scholarship signalled by the title is interwoven throughout with — mostly idealist — philosophizing in the present. Staying short for the most part of broader historical perspectives, some papers highlight important aspects of the (...) intellectual context in which idealism, as reconsidered today, necessarily finds itself, and point to its possible contributions, while others continue an idealistic discourse very much on its own terms. Properly enough in the idealistic context however, most of the contributors seem to be aware that history and present philosophizing cannot be wholly separated. If they do not directly address it, most contributions at least illustrate abundantly what is presently, and what was during the historical period covered, taking place on the modern scene as set by broader and deeper cultural forces, the proper understanding of which, as will soon become clear, I think in some cases holds a key to the assessment of important aspects of their subject-matter. Mention will be made of all papers, but since in-depth analyses of each are here impossible, while being in this case at the same time desirable, I choose to discuss about one third of the contributions in greater detail. (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

The problem of induction belongs to the most controversial issues in philosophy of science. If induction is understood widely, it covers every fallible inference, that is, such that its conclusion is not logically entailed by its premises. This paper analyses so-called reductive induction, that is, reasoning in which premises follow from the conclusion, but the reverse relation does not hold. Two issues are taken into account, namely the definition of reductive inference and its justification. The analysis proposed in the paper (...) employs metalogical tools. The author agrees with the view that a quantitative account of degree of confirmation for universal theories via logical probability is problematic. However, prospect for a qualitative approach look as more promising. Using the construction of maximally consistent sets allows to distinguish good and worthless induction as well as shows how to understand induction in a semantic way. A closer analysis of deductivism in the theory of justification shows that it is a hidden inductivism. (shrink)

Poland has played an enormous role in the development of mathematical logic. Leading Polish logicians, like Lesniewski, Lukasiewicz and Tarski, produced several works related to philosophical logic, a field covering different topics relevant to philosophical foundations of logic itself, as well as various individual sciences. This collection presents contemporary Polish work in philosophical logic which in many respects continue the Polish way of doing philosophical logic. This book will be of interest to logicians, mathematicians, philosophers, and linguists.

Terms do not always cover the same meaning all the time. While translating into another language we have to take care of possible shifts in meaning in each of both languages. Some examples have been shown here from the new translation of Locke‘s Essay into Czech.

In cognitive science, the dynamical systems theory (DST) has recently been advocated as an approach to cognitive modeling that is better suited to the dynamics of cognitive processes than the symbolic/computational approaches are. Often, the differences between DST and the symbolic/computational approach are emphasized. However, alternatively their commonalities can be analyzed and a unifying framework can be sought. In this paper, the possibility of such a unifying perspective on dynamics is analyzed. The analysis covers dynamics in cognitive disciplines, as well (...) as in physics, mathematics and computer science. The unifying perspective warrants the development of integrated approaches covering both DST aspects and symbolic/computational aspects. The concept of a state-determined system, which is based on the assumption that properties of a given state fully determine the properties of future states, lies at the heart of DST. Taking this assumption as a premise, the explanatory problem of dynamics is analyzed in more detail. The analysis of four cases within different disciplines (cognitive science, physics, mathematics, computer science) shows how in history this perspective led to numerous often used concepts within them. In cognitive science, the concepts desire and intention were introduced, and in classical mechanics the concepts momentum, energy and force. Similarly, in mathematics a number of concepts have been developed to formalize the state-determined system assumption [e.g. derivatives (of different orders) of a function, Taylor approximations]. Furthermore, transition systems - a currently popular format for specification of dynamical systems within computer science - can also be interpreted from this perspective. One of the main contributions of the paper is that the case studies provide a unified view on the explanation of dynamics across the chosen disciplines. All approaches to dynamics analyzed in this paper share the state-determined system assumption and the (explicit or implicit) use of anticipatory state properties. Within cognitive science, realism is one of the problems identified for the symbolic/computational approach - i.e. how do internal states described by symbols relate to the real world in a natural manner. As DST is proposed as an alternative to the symbolic/computational approach, a natural question is whether, for DST, realism of the states can be better guaranteed. As a second main contribution, the paper provides an evaluation of DST compared to the symbolic/computational approach, which shows that, in this respect (i.e. for the realism problem), DST does not provide a better solution than the other approaches. This shows that DST and the symbolic/computational approach not only have the state-determined system assumption and the use of anticipatory state properties in common, but also the realism problem. (shrink)

During the last decades, Ingvar Johansson has made a formidable contribution to the development of philosophy in general and perhaps especially to the development of metaphysics. This volume consists of original papers written by 50 philosophers from all over the world in honour of Ingvar Johansson to celebrate his 70th birthday. The papers cover traditional issues in metaphysics and the philosophy of mind, applied ethics and applied metaphysics, the nature of human rights, the philosophy of economics and sports. Some of (...) the papers study the philosophy of Ingvar Johansson.All of them studies subjects which he has shown an interest in. The variety of subjects covered, testifies to the extraordinary wide range of issues his thought has had a bearing on. (shrink)

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

The present book is the result of the conference 'Renovatio, inventio, absentia imperii. From the Roman Empire to Contemporary Imperialism', held in Brussels at the occasion of the 75th anniversary of the Academia Belgica in Rome (September 11-13, 2014). At the heart of the conference was the 'reception', 'Nachleben' or 'permanence' of the Roman Empire, of an idea and a historical paradigm which since classical Antiquity has supported the most widespread claims to obtain and consolidate power. The volume's focus is (...) on culture in a broad sense, i.e. including besides the arts, philosophy, religion and, most importantly, discourse. As such, a wide array of themes are subjected to academic scrutiny. Whereas the main focus is on Europe and North America, some contributors also reach out towards non-Western contexts, whether or not directly related to the Roman example. A theoretical and sociological dimension is also added thanks to the discussion on methodological issues. More specifically, the following question(s) receive particular attention: what is our position as researchers, embedded in a contemporary, often Western, democratic and capitalist context; what about the notion of empire itself, its constituent elements and the kind of ideological prerogatives to which it is generally subjected; in other words, apart from the many historical variants and instances of reception of empire, through which filters can, and inevitably do, we approach this topic? A question that has become ever more pregnant since the beginning of the twenty-first century, after the dissolution of the Soviet Union, the events of September 11, which have revivified what could be called American 'imperialism', and at a time when an essentially economic variant, driven by 'emerging' powers such as China, has increasingly contested existing power structures."--Page [4] of cover. (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

Psychometrically sound short scales are required to comprehensively and yet economically assess fundamental motives in research settings such as large-scale assessments. In order to provide such a time- and cost-efficient instrument, we conducted three studies to develop further and validate 16 German scales with three items each assessing fundamental motives [16 motives research scales ]. In Study 1, we applied a top–down construction process to develop a preliminary item pool on the basis of a thorough revision of existing construct definitions. (...) In Study 2, we chose an approach that allowed us to balance the optimization of psychometric properties with content coverage to select three-item scales for each of the 16 motives. For the item selection process, we combined exploratory factor analyses, confirmatory factor analyses, ant colony optimization algorithm, and Mokken scale analyses. In Study 3, we cross-validated the results obtained in Study 2 and placed the 16mrs in a nomological network consisting of Big Five traits and Power, Achievement, Affiliation, Intimacy, and Fear motives. The results of these studies indicate that the 16mrs can be used to reliably and validly assess fundamental motives that represent a level of personality that differs from the Big Five and covers motivational aspects beyond the well-established Power, Achievement, Affiliation, Intimacy, and Fear motives. Limitations concerning the reliability of the Autonomy scale and the empirical discrimination of the Dominance and Status scales are discussed. In addition to the validated German version, we also provide the English translation of the items, which, however, need to be validated before use. (shrink)

This edited collection showcases some of the best recent research in the philosophy of science. It comprises of thematically arranged papers presented at the 5th conference of the European Philosophy of Science Association (EPSA15), covering a broad variety of topics within general philosophy of science, and philosophical issues pertaining to specific sciences. The collection will appeal to researchers with an interest in the philosophical underpinnings of their own discipline, and to philosophers who wish to study the latest work on the (...) themes discussed. (shrink)

Unsere Diskussion soil eine Alternative zu der allgemein anerkannten Interpretation der Leibnizschen Auffassung von De-re-Modalitat verteidigen. Insbesondere versuchen wir zu zeigen, dafi Leibniz nicht die Lehre von der Weltgebundenheit der Einzelsubstanzen akzeptierte, obwohl er annahm, dafi die inneren Bestimmungen den Dingen wesentlich zukommen. Wir versuchen weiterhin zu erweisen, dafl Leibniz eine duplikat-theoretische Behandlung des ublichen modalen Diskurses vornahm und dafi dies in keiner Weise seinen Ansichten iiber zwischenweltliche Identitat widerspricht. Im ersten Teil skizzieren wir kurz die allgemein anerkannte Interpretation, wahrend (...) wir im zweiten Teil unsere Alternative dazu verteidigen.Dabei nehmen wir besondere Riicksicht auf Robert C. Sleigh Jr. s Interpretation von Leibnizens Modaltheorie. (shrink)

Authenticity is a formidable word, a dangerous word, a word whereby fortunes, careers, and reputations can be won or lost. But what has authenticity to do with art? The essays in this book focus on their turbulent relationship ranging across the fields of literature and the visual arts and philosophy, and covering topics as diverse as fictional biography, portraiture, copies and forgeries, war photography, letters as testimony and texts in translation. The reader encounters erasmus, Rousseau, Heidegger, Beckett, Borges, and Houellebecq; (...) engages with subjects as varied as Sir Gawain and the Green Knight, da Vinci's La Belle Ferronniere, and Million Dollar Baby. (shrink)

Bernard Bolzano is increasingly recognized as one of the greatest nineteenth-century philosophers. A philosopher and mathematician of rare talent, he made ground-breaking contributions to logic, the foundations and philosophy of mathematics, metaphysics, and the philosophy of religion. Many of the larger features of later analytic philosophy first appear in his work: for example, the separation of logic from psychology, his sophisticated understanding of mathematical proof, his definition of logical consequence, his work on the semantics of natural kind terms, or his (...) anticipations of Cantor's set theory, to name but a few. To his contemporaries, however, he was best known as an intelligent and determined advocate for reform of Church and State. Based in large part on a carefully argued utilitarian practical philosophy, he developed a program for the non-violent reform of the authoritarian institutions of the Hapsburg Empire, a program which he himself helped to set in motion through his teaching and other activities. Rarely has a philosopher had such a great impact on the political culture of his homeland. Persecuted in his lifetime by secular and ecclesiastical authorities, long ignored or misunderstood by philosophers, Bolzano's reputation has nevertheless steadily increased over the past century and a half. Much discussed and respected in Central Europe for over a century, he is finally beginning to receive the recognition he deserves in the English-speaking world. This book provides a comprehensive and detailed critical introduction to Bolzano, covering both his life and works. (shrink)

The basic claims of traditional truth-conditional semantics are that the semantic interpretation of a sentence is connected to the truth of that sentence in a situation, and that the meaning of the sentence is derived compositionally from the semantic values meaning of its constituents and the rules that combine them. Both claims have been subject to an intense debate in linguistics and philosophy of language. The original research papers collected in this volume test the boundaries of this classic view from (...) a linguistic and a philosophical point of view by investigating the foundational notions of composition, values and interpretation and their relation to the interfaces to other disciplines. They take the classical theories one step further and closer to a realistic semantic theory that covers speaker’s intentions, the knowledge of discourse participants, meaning of fiction and literature, as well as vague and paradoxical utterances. (shrink)

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more generalizable statements. Lower bounds for lengths of proofs, often regarded as the key issue in (...) proof complexity, are of course covered in detail. However, upper bounds are not neglected: this book also explores the relations between bounded arithmetic theories and proof systems and how they can be used to prove upper bounds on lengths of proofs and simulations among proof systems. It goes on to discuss topics that transcend specific proof systems, allowing for deeper understanding of the fundamental problems of the subject. (shrink)

This edited collection showcases some of the best recent research in the philosophy of science. It comprises of thematically arranged papers presented at the 5th conference of the European Philosophy of Science Association, covering a broad variety of topics within general philosophy of science, and philosophical issues pertaining to specific sciences. The collection will appeal to researchers with an interest in the philosophical underpinnings of their own discipline, and to philosophers who wish to study the latest work on the themes (...) discussed. (shrink)

The following text is the first ever translation into English of a writing by German phenomenologist Hermann Schmitz (*1928). In it, Schmitz outlines and defends a non-mentalistic view of emotions as phenomena in interpersonal space in conjunction with a theory of the felt body’s constitutive involvement in human experience. In the first part of the text, Schmitz gives an overview covering some central pieces of his theory as developed, for the most part, in his massive System of Philosophy, published in (...) German in a series of volumes between 1964 and 1980. Schmitz’s System is centred on the claim that the contemporary view of the human subject is the result of a consequential historical process: A reductionist and ‘introjectionist’ objectification of lived experience culminating in the ‘invention’ of the mind (or ‘soul’) as a private, inner realm of subjective experience and in a corresponding ‘grinding down’ of the world of lived experienced to a meagre, value-neutral ‘objective reality’. To counter this intellectualist trend, Schmitz puts to use his approach to phenomenology with the aim of regaining a sensibility for the nuanced realities of lived experience—hoping to make up for what was lost during the development of Western intellectual culture. Since both this text and the overall style of Schmitz’s philosophising are in several ways unusual for a contemporary readership, a brief introduction is provided by philosophers Jan Slaby and Rudolf Owen Müllan, the latter of whom translated Schmitz’s text into English. The introduction emphasises aspects of Schmitz’s philosophy that are likely to be of relevance to contemporary scholars of phenomenological philosophy and to its potential applications in science and society. (shrink)