The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

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)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

[ENGLISH] The present article is a contribution to the development of metrological structural realism. This position of philosophy of science goes back to Matthias Neuber, who introduces it as a third variation of the main structural realisms: epistemic structural realism and ontic structural realism. Here, Neuber attempts to tackle the problems of OSR and ESR while preserving their respective strengths. Of central importance to his approach, are the concepts of invariance, structure and, especially, measurement. Starting from Eino Kaila’s „non-linguistic, (...) realist account of logical empricism“, the present article investigates the necessity of yet another position of structural realism. The established structural realisms are examined for their strengths and weaknesses. Afterwards, the requirements on MSR are formulated in a way that extends beyond Neuber’s account. These requirements are of ontological, epistemological and metrological nature. -/- [DEUTSCH] Der vorliegende Aufsatz ist ein Beitrag zur Entwicklung des Metrologischen Strukturenrealismus. Diese Wissenschaftstheoretische Position geht auf Matthias Neuber zurück, der sie als dritte Spielart zwischen den großen Strukturenrealismen – dem Epistemischen Strukturenrealismus und dem Ontischen Strukturenrealismus – ansiedelt. Neuber versucht, die wissenschaftstheoretischen Probleme von ESR und OSR anzugehen, gleichzeitig aber ihre jeweiligen Stärken beizubehalten. Dabei sind die Konzepte der Invarianz, der Struktur und besonders der Messung von zentraler Bedeutung. Ausgehend von Eino Kailas „non-linguistic, realist account of logical empiricism“ untersucht der vorliegende Aufsatz die Notwendigkeit einer weiteren strukturenrealistischen Position. Dazu werden die etablierten Strukturenrealismen auf ihre Stärken und Schwächen hin untersucht. Es folgt eine Ausformulierung der Forderungen an den MSR, die über die Darstellung bei Neuber hinaus geht. Diese Forderungen sind ontologischer, epistemischer und metrologischer Natur. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

Bilim ve din arasındaki etkileşimler hem tarihsel olarak hem de günümüzde çeşitli ve karmaşıktır. Modeller, verileri anlamlandırmak için faydalı olabilir. Bu makale, bilim-din etkileşimlerini tanımlamak için önerilen dört ana model türünü karşılaştırarak, onların güçlü ve zayıf yönlerini vurgulamaktadır. Bilimsel ve dini bilgiyi ilişkilendirme görevinde 'bütünleyici' modelin en verimli olduğu sonucuna varılmıştır.

It would be unkind but not inaccurate to say that most experimental philosophy is just psychology with worse methods and better theories. In Experimental Ethics: Towards an Empirical Moral Philosophy, Christoph Luetge, Hannes Rusch, and Matthias Uhl set out to make this comparison less invidious and more flattering. Their book has 16 chapters, organized into five sections and bookended by the editors’ own introduction and prospectus. Contributors hail from four countries (Germany, USA, Spain, and the United Kingdom) and five (...) disciplines (philosophy, psychology, cognitive science, economics, and sociology). While the chapters are of mixed quality and originality, there are several fine contributions to the field. These especially include Stephan Wolf and Alexander Lenger’s sophisticated attempt to operationalize the Rawlsian notion of a veil of ignorance, Nina Strohminger et al.’s survey of the methods available to experimental ethicists for studying implicit morality, Fernando Aguiar et al.’s exploration of the possibility of operationalizing reflective equilibrium in the lab, and Nikil Mukerji’s careful defusing of three debunking arguments about the reliability of philosophical intuitions. (shrink)

This book is inspired by a German theoretical physicist, Sabine Hossenfelder’s publication: “Lost in Mathematics”. Her book seems to question highly mathematical and a lot of abstraction in the development of physics and cosmology studies nowadays. There is clear tendency that in recent decades, the physics science has been predominated by such an advanced mathematics, which at times sounding more like acrobatics approach to a reality. Through books by senior mathematical-physicists like Unzicker and Peter Woit, we know that the answer (...) of TOE is not in superstring theories or other variations of such 26 dimensional bosonic string theory, of which none of those theories survived experimental test, but perhaps in low dimensional physics. As Alexander Unzicker suggests, perhaps it is more advisable to consider rotation in 3D space (known as SO3), or a kind of superfluid vortices version of gravitation theory. We can also reconsider proposition by the late Prof F. Winterberg (formerly professor at Univ. Nevada, Reno), that it is most likely that superfluid phonon roton theory in 3D can replace the entire superstring theories. While we don’t explore yet implications of his model to particle physics, we discuss here some published papers at several journals in the past few years. (shrink)

Reedition of papers in English spanning from 1986 to 2009 /// Historical background -- An imposed legacy -- Twentieth century contemporaneity -- Appendix: The philosophy of teaching legal philosophy in Hungary /// HISTORICAL BACKGROUND -- PHILOSOPHY OF LAW IN CENTRAL & EASTERN EUROPE: A SKETCH OF HISTORY [1999] 11–21 // PHILOSOPHISING ON LAW IN THE TURMOIL OF COMMUNIST TAKEOVER IN HUNGARY (TWO PORTRAITS, INTERWAR AND POSTWAR: JULIUS MOÓR & ISTVÁN LOSONCZY) [2001–2002] 23–39: Julius Moór 23 / István Losonczy 29 // (...) ON THE SURVIVAL OF ILMAR TAMMELO’S LETTER AND MANUSCRIPT ADDRESSED TO PROFESSOR MOÓR [2009] 41–44 // PROFESSIONAL DISTRESS AND SCARCITY: ALEXANDER HORVÁTH AND THE LEGACY OF NATURAL LAW IN HUNGARY [2005] 45–50 // HUNGARIAN LEGAL PHILOSOPHY IN THE 20TH CENTURY [2011] 51–72: I. The Pre-war Period [1. Bódog (Felix) Somló (1871–1920) 52] / II. The Inter-war Period [2. Gyula (Julius) Moór (1888–1950) 54 / 3. Barna Horváth (1896–1973) 55 / 4. József Szabó (1909–1992) 57 / 5. István Bibó (1911–1979) 58 / 6. Tibor Vas (1911–1983) 59 / 7. István Losonczy (1918–1980) 60] III. The Post-war Period (Communism) 61 [8. Imre Szabó (1912–1991) 62 / 9. Vilmos Peschka (1929–2006) 63 / 10. Kálmán Kulcsár (1928–2010) 65] IV. Contemporary Trends and Perspectives 66 [11. Csaba Varga (b. 1941) 66 / 12. András Sajó (b. 1949) 69 / 13. Béla Pokol (b. 1950) 70] V. Our Understanding of the Law Today 71 --- AN IMPOSED LEGACY -- LOOKING BACK [1999] 75–94: 1. On Ideologies and Marxism in general 75 / 2. Life of an Intellectual in Communism 79 / 3. On Marxism and its Socialist Cultivation in Particular 82 / 4. Legal Philosophising [4.1. Approaches to Law 87 / 4.2. Arriving at a Legal Ontology 91] 5. Conclusion 94 // LEGAL PHILOSOPHY OF THE MARXISM OF SOCIALISM: HUNGARIAN OVERVIEW IN AN INTERNATIONAL PERSPECTIVE [2003] 95–151: I. Development and Balance of Marxist Philosophising on Law in Hungary [1. Preliminaries (until 1948) 96 / 2. Stalinism (from the Soviet Occupation on) {a) Liquidation of the »Residues« 98 / b) Soviet-type Uniformisation [Gleichschaltung] 99 / c) Denial of the Past, with a Dual Effect 99 / d) »Socialist Legality«, Drawn from the Progressive Past of Western Europe 103 / e) Search for the Germs of Scholarly Evolution 103} 3. Institutionalisation Accompanied by Relaxation (from the 1960s) [a) Epigonism Becoming the Scholarly Ideal 104 / b) Stalinism in a Critical Self-perspective 105 / c) Disciples Diversified Launching their own Trends 107 / d) Comparatism 110 / e) (Re)discovery of the Western Legal Philosophy as a Competitor 112 / f) A Leading Mediatory Role within the »Socialist World Order« 114} 4. Disintegration (in the 1980s) {a) Attempt at Laying New Foundations for Marxism with Epigonism Exhausted 115 / b) Competitive Trends Becoming Exclusive 115 / c) Western Legal Philosophy Acknowledged as a Fellow-traveller within the Socialist Orbit Proper 116 / d) Hungarian Legal Theory Transforming into a National Corpus 118 / e) The Practical Promotion of Some Balance 119} 5. End-game for a Substitute State Religion (in the 1990s) 120] II. Marxist Legal Philosophising in an International Perspective [Ad 1: To the Preliminaries 122 / Ad 2: To Stalinism 124 / Ad 3: To Institutionalisation Accompanied by Relaxation {a) Late Separation from Vishinskiy’s Theory 125 / b) From Ideological Self-closure to an Apparently Scholarly Openness 127 / c) From Political Ideology to Genuine Scholarship 130 / d) International Recognition of Socialist Jurisprudence as an Independent Trend 135 / e) Together with Western Trends 137} Ad 4: To Disintegration {a) Loss of Attraction as Mere Epigonism 139 / b) Exclusivity of Competing Trends 139 / c) Fellowship with »Bourgeois« Trends 140 / d) An own Trend, Internationally Recognised 141 / e) A yet Progressive Role 142} Ad 5: To the Present state 143] III. A Temporary Balance 145 // AUTONOMY AND INSTRUMENTALITY OF LAW IN A SUPERSTRUCTURAL PERSPECTIVE [1986] 151–175: 1. The Strange Fate of Concepts 151 / I. A Relational Category 2. Basis and Superstructure: The Genuine Meaning 154 / 3. Exerting Social Influence as a Conceptual Minimum 156 / 4. Relationships within the Prevailing Totality 158 / 5. Attempts at Interpretation in Hungary 159 / 6. The Lukácsian Stand 162 / 7. Lukács’s Recognitions 168 / 8. Some Criticism 169 / II. The Law’s Understanding 171 / 9. Law Interpreted as Superstructure 171 / 10. Conclusions Drawn for the Law’s Understanding 173 // LEGAL THEORY IN TRANSITION (A PREFACE FROM HUNGARY) [2000] 177–186 // DEVELOPMENT OF THEORETICAL LEGAL THOUGHT IN HUNGARY AT THE TURN OF THE MILLENNIUM [2006] 187–215: 1. International Environment 188 / 2. The Situation in Hungary 190 / 3. Outlook I: The Historical-comparative Study of Legal Cultures and of the Lawyerly Way of Thinking 203 / 4. Outlook II: The Paradigmatic Enigma of the Transition to Rule of Law 207 / 5. Incongruity in Practice 213 / 6. Perspectives 214 --- TWENTIETH CENTURY CONTEMPORANEITY -- CHANGE OF PARADIGMS IN LEGAL RECONSTRUCTION: CARL SCHMITT AND THE TEMPTATION TO FINALLY REACH A SYNTHESIS [2002] 219–234: 1. Dangers of Intellectualism 219 / 2. Schmitt in Facts 221 / 3. Schmitt and Kelsen 222 / 4. On Bordering Conditions 226 / 5. With Kelsen in Transubstantiation 230 / 6. Polarisation as the Path of Theoretical Development 232 // KELSENIAN DOCUMENTS IN HUNGARY: CHAPTERS ON CONTACTS, INCLUDING THE GENESIS OF AUTOBIOGRAPHY [2006] 235–243: 1. Preludes 235 / 2. The Search for Moór’s Bequeath 235 / 3. Moór’s Collegiality 238 / 4. Bibó as a Disciple Translating 241 // THE »HART-PHENOMENON« [2002] 245–267: I. The Hart-miracle 246 [1. The Scene of Britain at the Time 247 / 2. The Personal Career 250 / 3. The Opus’ Career 252 / 4. Verbal Sociologism 255 / 5. Growing into the British Pattern 259] II. The Hart-phenomenon 260 [6. Origination of a Strange Orthodoxy 261 / 7. Mastering Periods of the 20th Century 263 / 8. Raising the Issue of Reception in Hungary 365] // LITERATURE? A SUBSTITUTE FOR LEGAL PHILOSOPHY? [2007] 269–287: 1. The Enigma of Law and its Study 269 / 2. “Law and Literature” 271 / 3. Varieties of “Law and Literature” 274 / 4. The German Study of Artistic Representations 280 / 5. Some Literary Reconsiderations 285 / 6. Conclusion 287 --- APPENDIX -- THE PHILOSOPHY OF TEACHING LEGAL PHILOSOPHY IN HUNGARY [2007] 291–320: I. Why and How to Philosophise in Law? 291 / II. The State of Teaching Legal Philosophy 294 / III. The Philosophy of Teaching Legal Philosophy 296 / IV. Programme at the Catholic University of Hungary 300 [1. Graduate Studies 300 {a) Basic Subjects 301 / b) Facultative Seminars 305 / c) Closing Subjects 309 / d) Written Memoranda and the Thesis 312} 2. Postgraduate Studies 313 / 3. Conclusion 317] V. Perspectives 318 /// Index of Subjects 321 / Index of Normative Materials 328 / Index of Names 329 . (shrink)

No centro da filosofia moral de Kant está sem dúvida sua doutrina do imperativo categórico. Por esse motivo não é de se surpreender que a Fundamentação da Metafísica dos Costumes (1785), na qual Kant explica, em detalhes, essa doutrina pela primeira vez, tenha sido o foco da atenção por décadas. Mas há alguns anos é observável uma significativa mudança na literatura que é univocamente bem vinda: ao lado da pesquisa das Doutrinas da Virtude e do Direito publicadas por Kant nos (...) anos noventa do século 18, agora também são intensamente estudadas suas perspectivas filosófico-morais desenvolvidas antes de 1781. Nesse sentido assume uma posição de destaque o manuscrito estudantil de uma lição de ética ministrada no meio dos anos 70, que é publicada aqui, em língua portuguesa, pela primeira vez em uma tradução comentada. Ainda hoje, esta lição serve como uma introdução à ética de Kant, muito embora pareça divergir, em alguns aspectos, da doutrina crítica do imperativo categórico. As Lições de Ética são um „trabalho em andamento“. Por um lado, somos capazes de assistir Kant "pensando" e compreender como ele se reporta ao livro de Alexander Baumgarten sobre os Príncípios da Metafísica Prática (Initia philosophiae practicae primae, 1760). E, por outro lado, somos capazes de vivenciar como ele desenvolve suas próprias perspectivas filosófico-morais em contraste a Baumgarten. Para todos que se interessam pela filosofia moral de Kant e pela história da ética na época da Aufklärung, o estudo desse manuscrito é indispensável. -/- Heiner F. Klemme (Martin Luther Universität - Halle-Wittenberg) . (shrink)

Résumé Le débat holisme-réductionnisme se structure autour de trois domaines sémantiques : l 'ontologie, la méthodologie et l'épistémologie. Généralement, une méthodologie analytique s'accompagne d'une ontologie atomiste et de la réduction des lois et théorie des niveaux d'organisation supérieurs aux lois et théorie des niveaux inférieurs. Par contre, une ontologie holiste, relationnelle peut s'accorder au concept d'émergence. En conséquence dans l'élaboration des lois et théories d'un phénomène appartenant à un niveau donné la prise en compte du niveau d'organisation supérieurs se révélera (...) déterminante. Les propositions philosophiques anti-mécanicistes de précurseur tels que Bradley, S. Alexander, A.N. Whitehead, C.L. Morgan, D.C. Broad, même en restant au niveau d'une forme de proto-émergentisme représentent le fondement épistémologique à partir duquel s'est développée une méthodologie véritablement émergentiste. Abstract The holism-reductionism debate is structured around three areas of semantics: ontology, methodology and epistemology. As a general rule, an analytical methodology goes with an atomist ontology, and the reduction of laws and theories from the higher levels of organisation to the laws and theories of lower levels. On the other hand, a holistic and relational ontology can be in unison with the concept of emergence. As a consequence, in elaborating laws and theories of a phenornenon of a given level, taking into account that the higher level of organisation will be determinant. The philosophical and anti-mechanistic propositions of precursors such as F. Bradley, S. Alexander, A.N. Whitehead, C.L. Morgan, D.C. Broad, even remaining at the level of a kind of proto-emergentism represent the epistemological basis on which a true emergentist methodology has been developed. (shrink)

There have been attempts to subsume Charles Darwin's theory of evolution under either one of two distinct intellectual traditions: early Victorian natural science and its descendants in political economy (as exemplified by Herschel, Lyell, or Malthus) and the romantic approach to art and science emanating from Germany (as exemplified by Humboldt and Goethe). In this paper, it will be shown how these traditions may have jointly contributed to the design of Darwin's theory. The hypothesis is that their encounter created a (...) particular tension in the conception of his theory which first opened up its characteristic field and mode of explanation. On the one hand, the domain of the explanandum was conceived of under a holistic and aesthetic view of nature that, in its combination with refined techniques of observation, was deeply indebted to Humboldt in particular. On the other hand, Darwin fashioned explanations for natural phenomena, so conceived, in order to identify their proper causes in a Herschelian spirit. The particular interaction between these two traditions in Darwin, it is concluded, paved the way for a transfer of the idea of causal laws to animate nature while salvaging the romantic idea of a complex, teleological and harmonious order of nature. Copyright © 2015 Elsevier Ltd. All rights reserved. (shrink)

Der berühmte Ameisenmann E.O. Wilson war schon immer einer meiner Helden - nicht nur ein hervorragender Biologe, sondern eine der winzigen und verschwindenden Minderheit von Intellektuellen, die es zumindest wagt, die Wahrheit über unsere Natur anzudeuten, die andere nicht verstehen oder, soweit sie es verstehen, aus politischen Gründen unermüdlich vermeiden. Leider beendet er seine lange Karriere auf äußerst schäbige Weise als Partei eines ignoranten und arroganten Angriffs auf die Wissenschaft, der zumindest teilweise durch die religiöse Inbrunst seiner Harvard-Kollegenmotiviertist. Es zeigt (...) die abscheulichen Folgen, wenn Universitäten Geld von religiösen Gruppen annehmen, Wissenschaftszeitschriften von großen Namen so bewundert sind, dass sie eine ordnungsgemäße Peer Review vermeiden und wenn Egos außer Kontrolle geraten dürfen. Es führt uns in die Natur der Evolution, die Grundlagen der wissenschaftlichen Methodik, wie Mathematik mit Wissenschaft zusammenhängt, was eine Theorie ausmacht, und sogar, welche Einstellungen zu Religion und Großzügigkeit angemessen sind, wenn wir uns unaufhaltsam dem Zusammenbruch der industriellen Zivilisation nähern. Ich fand Abschnitte in 'Conquest' mit dem üblichen prägnanten Kommentar (obwohl nichts wirklich Neues oder Interessantes, wenn man seine anderen Werke gelesen hat und auf biologie im Allgemeinen ist) in der oftgestylten Prosa, die sein Markenzeichen ist, aber war ziemlich überrascht, dass der Kern des Buches seine Ablehnung inklusiver Fitness (die seit über 50 Jahren ein Standbein der Evolutionsbiologie ist) zugunsten der Gruppenauswahl ist. Man nimmt an, dass von ihm kommen und mit den articles er bezieht sich auf veröffentlicht von sich selbst und Harvard Mathematik Kollege Nowak in großen Peer-Review-Zeitschriften wie Nature, muss es ein wesentlicher Fortschritt sein,, trotz der Tatsache, dass ich wusste, Gruppenauswahl wurde fast überall abgelehnt, da mit jeder großen Rolle in der Evolution. Ich habe zahlreiche Rezensionen im Netz gelesen und viele haben gute Kommentare, aber die, die ich am meisten sehen wollte, war, dass von renommierten Wissenschaftsautor und Evolutionsbiologe Richard Dawkins. Im Gegensatz zu den meisten von Fachleuten, die in Zeitschriften nur für diejenigen mit Zugang zu einer Universität zur Verfügung stehen, ist es leicht im Netz verfügbar, obwohlanscheinend, entschied er sich, es nicht in einer Zeitschrift zu veröffentlichen, da es angemessen abscheulich ist. Leider findet man eine vernichtende Ablehnung des Buches und den acerbic Kommentar über einen wissenschaftlichen Kollegen, den ich je von Dawkins gesehen habe -- über alles in seinem vielen Austausch mit dem verstorbenen und unbeklagten Demagogen und Pseudowissenschaftler Stephan Jay Gould. Obwohl Gould für seine persönlichen Angriffe auf seinen Harvard-Kollegen Wilson berüchtigt war, stellt Dawkins fest, dass ein Großteil von "Conquest" einen unbequem an Goulds häufige Verfehlungen in "bland, unfocussed ecumenicalis" erinnert. Dasselbe gilt mehr oder weniger für Wilsons populäres Schreiben, einschließlich seines jüngsten Buches "The Meaning of Human Existence" – eine weitere schamlose Eigenwerbung seiner diskreditierten Ideen zu Inklusiver Fitness (IF). Dawkins weist darauf hin, dass das berüchtigte 2010-Papier von Nowak, Tarnita und Wilson in Nature von über 140 Biologen, die einen Brief unterzeichnet haben, fast überall abgelehnt wurde und dass es in Wilsons Buch kein Wort darüber gibt. Auch in den folgenden 4 Jahren mit Artikeln, Vorträgen und mehreren Büchern haben sie dies nicht korrigiert. Es gibt keine andere Wahl, als Dawkins trenchant Kommentar zuzustimmen: "Für Wilson nicht zu zugeben, dass er für sich selbst gegen die große Mehrheit seiner professionellen Kollegen spricht - es schmerzt mich, dies von einem lebenslangen Helden zu sagen -- ein Akt mutwilligen Arroganz." Angesichts von Nowaks späterem Verhalten muss man ihn auch einbeziehen. Ich habe das Gefühl, dass einer der fassungslosen Menschen, die man im Fernsehen sieht, interviewt wird, nachdem der nette Mann von nebenan, der seit 30 Jahren alle Kinder babysitten, als Serienmörder entlarvt wird. Dawkins weist auch darauf hin (wie er und andere seit vielen Jahren), dass inklusive Fitness mit dem Neo-Darwinismus (d.h. logischerweise folgt) entsteht und nicht abgelehnt werden kann, ohne die Evolution selbst abzulehnen. Wilson erinnert uns erneut an Gould, der Kreationisten von der einen Seite seines Mundes anprangerte, während er ihnen Trost spendete, indem er endlosen ultraliberalen marxistisch gefärbten Kauderwelsch über Spandrels, unterbrochenes Gleichgewicht und Evolutionspsychologie von der anderen ausspeist. Die Unbestimmtheit und mathematische Opazität (für die meisten von uns) der Mathematik der Gruppen- oder Mehrebenenauswahl ist genau das, was die Sanftmütigen ihnen ermöglichen wollen, dem rationalen Denken in ihren endlosen antiwissenschaftlichen Gerüchten und (in der Wissenschaft) postmodernen Wortsalate zu entkommen. Schlimmer noch, Wilsons "Eroberung" ist ein schlecht durchdachtes und schlampig geschriebenes Durcheinander voller Nonsequiturs, vager Streifzüge, Verwirrungen und Inkohärenz. Eine gute Bewertung, die einige davon im Detail ist, dass von Absolvent Gerry Carter, die Sie im Netz finden können. Wilson hat auch nichts mit unserem gegenwärtigen Verständnis der Evolutionspsychologie (EP) zu tun (siehe z.B. die letzten 300 Seiten von Pinkers 'The Better Angels of our Nature'). Wenn Sie eine seriöse Buchlänge Bericht über die soziale Evolution und einige relevante EP von einem Experten wollen, siehe 'Principles of Social Evolution' von Andrew F.G. Bourke, oder ein nicht ganz so ernster und zugegebenermaßen fehlerhafter und irrender Bericht, aber ein Muss,das Robert Trivers dennoch lesen muss—'The Folly of Fools: The Logic of Deceit and Self-Deception in Human Life' und ältere, aber immer noch aktuelle und durchdringende Werke wie 'The Evolutionof Cooperation':Revised Edition by Robert Axelrod and 'The Biology ofMoral Systems' von Richard Alexander. (shrink)

When agents violate norms, they are typically judged to be more of a cause of resulting outcomes. In this paper, we suggest that norm violations also affect the causality attributed to other agents, a phenomenon we refer to as "causal superseding." We propose and test a counterfactual reasoning model of this phenomenon in four experiments. Experiments 1 and 2 provide an initial demonstration of the causal superseding effect and distinguish it from previously studied effects. Experiment 3 shows that this causal (...) superseding effect is dependent on a particular event structure, following a prediction of our counterfactual model. Experiment 4 demonstrates that causal superseding can occur with violations of non-moral norms. We propose a model of the superseding effect based on the idea of counterfactual sufficiency. (shrink)

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)

Holograms reached popular consciousness during the 1960s and have since left audiences alternately fascinated, bemused or inspired. Their impact was conditioned by earlier cultural associations and successive reimaginings by wider publics. Attaining peak public visibility during the 1980s, holograms have been found more in our pockets (as identity documents) and in our minds (as video-gaming fantasies and “faux hologram” performers) than in front of our eyes. The most enduring, popular interpretations of the word “hologram” evoke the traditional allure of magic (...) and galvanize hopeful technological dreams. This article explores the mutating cultural uses of the term “hologram” as marker of magic, modernity and optimism. (shrink)

In the large grey area between science and technology, specialisms emerge with associated specialists. But some specialisms remain ‘peripheral sciences’, never attaining the status of disciplines ensconced in universities, and their specialists do not become recognised professionals. A major social component of such side-lined sciences – one important grouping of techno-scientific workers – is the research-technology community. An important question concerning research-technology is to explain how the grouping survives without specialised disciplinary and professional affiliations. The case discussed illustrates the dynamics (...) of one such community. (shrink)

Dennis Gabor devised a new concept for optical imaging in 1947 that went by a variety of names over the following decade: holoscopy, wavefront reconstruction, interference microscopy, diffraction microscopy and Gaboroscopy. A well-connected and creative research engineer, Gabor worked actively to publicize and exploit his concept, but the scheme failed to capture the interest of many researchers. Gabor’s theory was repeatedly deemed unintuitive and baffling; the technique was appraised by his contemporaries to be of dubious practicality and, at best, constrained (...) to a narrow branch of science. By the late 1950s, Gabor’s subject had been assessed by its handful of practitioners to be a white elephant. Nevertheless, the concept was later rehabilitated by the research of Emmett Leith and Juris Upatnieks at the University of Michigan, and Yury Denisyuk at the Vavilov Institute in Leningrad. What had been judged a failure was recast as a success: evaluations of Gabor’s work were transformed during the 1960s, when it was represented as the foundation on which to construct the new and distinctly different subject of holography, a re-evaluation that gained the Nobel Prize for Physics for Gabor alone in 1971. This paper focuses on the difficulties experienced in constructing a meaningful subject, a practical application and a viable technical community from Gabor’s ideas during the decade 1947-1957. (shrink)

The development of a professional identity is particularly interesting for those occupations that have a troubled emergence. The hinterland between science and technology accommodates many such ‘in-between’ subjects, which appear to have distinct attributes. Some of these specialisms disappear in the face of culturally stronger occupations. Others endure, their technical expertise becoming appropriated or mutated to serve the needs of different professional groups. This chapter is concerned with one extreme of these interstitial specialisms. Chemical engineering – a subject that by (...) its very name is between the science of chemistry and the technology of engineering – did eventually become a profession, in at least some countries. It had a relatively easy time becoming established in America in the first third of this century, but chemical engineering remained largely unrecognised in Germany until the 1960s, and has attracted a smaller professional community there. In Britain, the chemical engineering profession has evinced distinct transitions over a period of a century. It emerged to become an influential contributor to western economies and one of the ‘big four’ engineering professions (along with civil, mechanical and electrical engineering) after the second world war, due in large part to the unmindful aid of an influential, if capricious, sponsor: the state. Yet chemical engineers had a long and troubled history of contestation with other professions. Because of this, the British case is particularly appropriate for examining the continual re-casting of the professional identity in response to external and internal pressures. (shrink)

Given a subject so imbued with contention and conflicting theoretical stances, it is remarkable that automated instruments ever came to replace the human eye as sensitive arbiters of color specification. Yet, dramatic shifts in assumptions and practice did occur in the first half of the twentieth century. How and why was confidence transferred from careful observers to mechanized devices when the property being measured – color – had become so closely identified with human physiology and psychology? A fertile perspective on (...) the problem is via the history of science and technology, paying particular attention to social groups and disciplinary identity to determine how those factors affected their communities’ cognitive territory. There were both common and discordant threads motivating the various technical groups that took on the problems of measuring light and color from the late nineteenth century onwards, and leading them towards the development of appropriate instruments for themselves. The transition from visual to photoelectric methods could be portrayed as a natural evolution, replacing the eye by an alternative roviding more sensitivity and convenience – indeed, this is the conventional positivist view propounded by technical histories. However, the adoption of new measurement technologies seldom is simple, and frequently has a significant cultural component. Beneath this slide towards automation lay a raft of implicit assumptions about objectivity, the nature of the observer, the role of instruments, and the trade-offs between standardization and descriptive power. While espousing rational arguments for a physical detector of color, its proponents weighted their views with tacit considerations. The reassignment of trust from the eye to automated instruments was influenced as much by the historical context as by intellectual factors. I will argue that several distinct aspects were involved, which include the reductive view of color provided by the trichromatic theory; the impetus provided by its association with photometry; the expanding mood for a quantitative and objective approach to scientific observation; and, the pressures for commercial standardization. As suggested by these factors, there was another shift of authority at play: from one technical specialism to another. The regularization of color involved appropriation of the subject by a particular set of social interests: communities of physicists and engineers espousing a ‘physicalist’ interpretation, rather than psychologists and physiologists for whom color was conceived as a more complex phenomenon. Moreover, the sources for automated color measurement, and instrumentation for measuring color, were primarily from the industrial sphere rather than from academic science. To understand these shifts, then, this chapter explores differing views of the importance of observers, machines and automation. (shrink)

The nuclear engineer emerged as a new form of recognised technical professional between 1940 and the early 1960s as nuclear fission, the chain reaction and their applications were explored. The institutionalization of nuclear engineering—channelled into new national laboratories and corporate design offices during the decade after the war, and hurried into academic venues thereafter—proved unusually dependent on government definition and support. This paper contrasts the distinct histories of the new discipline in the USA and UK (and, more briefly, Canada). In (...) the segregated and influential environments of institutional laboratories and factories, historical actors such as physicist Walter Zinn in the USA and industrial chemist Christopher Hinton in the UK proved influential in shaping the roles and perceptions of nuclear specialists. More broadly, I argue that the State-managed implantation of the new subject within further and higher education curricula was shaped strongly by distinct political and economic contexts in which secrecy, postwar prestige and differing industrial cultures were decisive factors. (shrink)

In this paper, I examine Alston's arguments for doxastic involuntarism. Alston fails to distinguish (i) between volitional and executional lack of control, and (ii) between compatibilist and libertarian control. As a result, he fails to notice that, if one endorses a compatibilist notion of voluntary control, the outcome is a straightforward and compelling case for doxastic voluntarism. Advocates of involuntarism have recently argued that the compatibilist case for doxastic voluntarism can be blocked by pointing out that belief is never intentional. (...) In response to this strategy, I distinguish between two types of intentionality and argue that belief is no less intentional than action is. (shrink)

Studying consciousness requires contrasting conscious and unconscious perception. While many studies have reported unconscious perceptual effects, recent work has questioned whether such effects are genuinely unconscious, or whether they are due to weak conscious perception. Some philosophers and psychologists have reacted by denying that there is such a thing as unconscious perception, or by holding that unconscious perception has been previously overestimated. This article has two parts. In the first part, I argue that the most significant attack on unconscious perception (...) commits the criterion content fallacy: the fallacy of interpreting evidence that observers were conscious of something as evidence that they were conscious of the task-relevant features of the stimuli. In the second part, I contend that the criterion content fallacy is prevalent in consciousness research. For this reason, I hold that if unconscious perception exists, scientists studying consciousness could routinely underestimate it. I conclude with methodological recommendations for moving the debate forward. (shrink)

Some moral value is transparent just in case an agent with average mental capacities can feasibly come to know whether some entity does, or does not, possess that value. In this paper, I consider whether legitimacy—that is, the property of exercises of political power to be permissible—is transparent. Implicit in much theorising about legitimacy is the idea that it is. I will offer two counter-arguments. First, injustice can defeat legitimacy, and injustice can be intransparent. Second, legitimacy can play a critical (...) function in our practical thought, which sometimes requires intransparency. (shrink)

Opponents to consciousness in fish argue that fish do not feel pain because they do not have a neocortex, which is a necessary condition for feeling pain. A common counter-argument appeals to the multiple realizability of pain: while a neocortex might be necessary for feeling pain in humans, pain might be realized differently in fish. This paper argues, first, that it is impossible to find a criterion allowing us to demarcate between plausible and implausible cases of multiple realization of pain (...) without running into a circular argument. Second, opponents to consciousness in fish cannot be provided with reasons to believe in the multiple realizability of pain. I conclude that the debate on the existence of pain in fish is impossible to settle by relying on the multiple realization argument. (shrink)

To study (un)conscious perception and test hypotheses about consciousness, researchers need procedures for determining whether subjects consciously perceive stimuli or not. This article is an introduction to a family of procedures called ‘confidence-based procedures’, which consist in interpreting metacognitive indicators as indicators of consciousness. I assess the validity and accuracy of these procedures, and answer a series of common objections to their use in consciousness research. I conclude that confidence-based procedures are valid for assessing consciousness, and, in most cases, accurate (...) enough for our practical and scientific purposes. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

Increasingly, empirically minded moral philosophers are using data from cognitive science and neuroscience to resolve some longstanding philosophical questions about moral motivation, such as whether moral beliefs require the presence of a desire to motivate. These empirical approaches are implicitly committed to the existence of folk psychological mental states like beliefs and desires. However, data from the neuroscience of decision-making, particularly cellular-level work in neuroeconomics, is now converging with data from cognitive and social neuroscience to explain the processes through which (...) agents are moved to act on the basis of decisions, including decisions about social and moral norms. I argue that these developments are beginning to cast doubt on the prospect of finding nontrivial physical 'realizers' for the FP states invoked in the Humeanism dispute by posing two distinctive challenges that tend to work against each other: belief-desire directionality and causal relevance. (shrink)

Author argues that an emerging interest group, especially one that seeks to reverse past discrimination against its predecessors in the public arena, is entitled to enhanced consideration as a means of achieving long denied but merited rights. First this thesis is defended by identifying both practical need and theoretical support for emerging interest groups. Then these findings are applied specifically to the rights of women as an emerging interest group. (Publisher left off last word of title: 'Groups'.).

Whether the prefrontal cortex is part of the neural substrates of consciousness is currently debated. Against prefrontal theories of consciousness, many have argued that neural activity in the prefrontal cortex does not correlate with consciousness but with subjective reports. We defend prefrontal theories of consciousness against this argument. We surmise that the requirement for reports is not a satisfying explanation of the difference in neural activity between conscious and unconscious trials, and that prefrontal theories of consciousness come out of this (...) debate unscathed. (shrink)

The current global COVID-19 pandemic has led to a deep and multidimensional crisis across all sectors of society. As countries contemplate their mobility and social-distancing policy restrictions, we have a unique opportunity to re-imagine the deliberative frameworks and value priorities in our food systems. Pre-pandemic food systems at global, national, regional and local scales already needed revision to chart a common vision for sustainable and ethical food futures. Re-orientation is also needed by the relevant sciences, traditionally siloed in their disciplines (...) and without adequate attention paid to how the food system problem is variously framed by diverse stakeholders according to their values. From the transdisciplinary perspective of food ethics, we argue that a post-pandemic scheme focused on bottom-up, regional, cross-sectoral and non-partisan deliberation may provide the re-orientation and benchmarks needed for not only more sustainable, but also more ethical food futures. (shrink)

As for most measurement procedures in the course of their development, measures of consciousness face the problem of coordination, i.e., the problem of knowing whether a measurement procedure actually measures what it is intended to measure. I focus on the case of the Perceptual Awareness Scale to illustrate how ignoring this problem leads to ambiguous interpretations of subjective reports in consciousness science. In turn, I show that empirical results based on this measurement procedure might be systematically misinterpreted.

This chapter presents the perceptual reality monitoring theory of consciousness (PRM). PRM is a higher-order theory of consciousness. It holds that consciousness involves monitoring the reliability of one’s own sensory signals. I explain how a perceptual reality monitoring mechanism computes the higher order representations that are crucial for consciousness. While PRM accounts for the difference between conscious and unconscious states, it does not explain, on its own, why experiences feel the way they do—the phenomenal character of experience. PRM is compatible (...) with multiple theories of phenomenal character. Here, I show how to combine it with ‘Mental Quality Space’ theory. I finish by presenting empirical evidence for PRM, as well as some of its predictions. (shrink)

Some European countries legally recognise a “right to roam”—a right to freely traverse across land, even if privately owned. Political philosophers have paid little attention to the right, and have often conceptualised property rights to include strong claim-rights to exclude others. I offer an account of the right to roam, and consider whether it can be philosophically justified on a left-liberal account of property. After finding a defence in terms of the interests served by the right lacking, I suggest that (...) the most promising defence of the right to roam is that it serves as a symbolic reminder of a fundamental type of social equality. (shrink)

In our contemporary world, the rights of nature have become an important legal device for environmental protection. Some of the most influential rights of nature frameworks can be found in non-Western contexts and have been strongly influenced by ecocentric accounts of nature. This article addresses the question of whether rights of nature can be implemented in Western contexts as well, focusing in particular on Europe. It first examines ecocentric justifications of the rights of nature and discusses two possible non-ecocentric alternatives. (...) Second, two models for implementing rights of nature—the nature’s rights model and the legal personhood model—are compared to demonstrate how different combinations of elements from both models can fit different socio-cultural contexts, including Western ones. (shrink)

Any intermediate propositional logic can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus. The first and second $\varepsilon $ -theorems for classical logic establish conservativity of the $\varepsilon $ -calculus over its classical base logic. It is well known that the second $\varepsilon $ -theorem fails for the intuitionistic $\varepsilon $ -calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon $ - (...) and $\tau $ -formulas and using the translation of quantifiers into $\varepsilon $ - and $\tau $ -terms to intermediate logics. It is shown that conservativity over the propositional base logic also holds for such intermediate ${\varepsilon \tau }$ -calculi. The “extended” first $\varepsilon $ -theorem holds if the base logic is finite-valued Gödel–Dummett logic, and fails otherwise, but holds for certain provable formulas in infinite-valued Gödel logic. The second $\varepsilon $ -theorem also holds for finite-valued first-order Gödel logics. The methods used to prove the extended first $\varepsilon $ -theorem for infinite-valued Gödel logic suggest applications to theories of arithmetic. (shrink)

Is perceptual processing in dedicated sensory areas sufficient for conscious perception? Localists say ‘Yes—given some background conditions.’ Prefrontalists say ‘No: conscious perceptual experience requires the involvement of prefrontal structures.’ I review the evidence for prefrontalism. I start by presenting correlational evidence. In doing so, I answer the ‘report argument’, according to which the apparent involvement of the prefrontal cortex in consciousness stems from the requirement for reports. I then review causal evidence for prefrontalism and answer the ‘lesion argument’, which purports (...) to show that prefrontalism is wrong because lesions to the prefrontal cortex do not abolish consciousness. I conclude that multiple sources of evidence converge toward the view that the prefrontal cortex plays a significant role in consciousness. (shrink)

In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...) at any given time be adequately described by a single subjective probability function. We show that monistic Bayesians cannot provide an adequate solution to the new Tweety puzzle, because this requires one to refer to a frequency-based probability function. We conclude that monistic Bayesianism cannot be a fully adequate theory of epistemic states. In the second part we describe an empirical study, which provides support for the thesis that monistic Bayesianism is also inadequate as a descriptive theory of cognitive states. In the final part of the paper we criticize Bayesian approaches in cognitive science, insofar as their monistic tendency cannot adequately address the new Tweety puzzle. We, further, argue against monistic Bayesianism in cognitive science by means of a case study. In this case study we show that Oaksford and Chater’s (2007, 2008) model of conditional inference—contrary to the authors’ theoretical position—has to refer also to a frequency-based probability function. (shrink)

We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.

Consciousness is scientifically challenging to study because of its subjective aspect. This leads researchers to rely on report-based experimental paradigms in order to discover neural correlates of consciousness (NCCs). I argue that the reliance on reports has biased the search for NCCs, thus creating what I call 'methodological artefacts'. This paper has three main goals: first, describe the measurement problem in consciousness science and argue that this problem led to the emergence of methodological artefacts. Second, provide a critical assessment of (...) the NCCs put forward by the global neuronal workspace theory. Third, provide the means of dissociating genuine NCCs from methodological artefacts. (shrink)

To study consciousness, scientists need to determine when participants are conscious and when they are not. They do so with consciousness detection procedures. A recurring skeptical argument against those procedures is that they cannot be calibrated: there is no way to make sure that detection outcomes are accurate. In this article, I address two main skeptical arguments purporting to show that consciousness scientists cannot calibrate detection procedures. I conclude that there is nothing wrong with calibration in consciousness science.

In this book review, I summarize the main argument of Tilo Wesche's book "Die Rechte der Natur: Vom nachhaltigen Eigentum" (The rights of Nature: On sustainable ownership) and conclude with a critical appraisal.

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (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.