This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together the (...) fields of theoretical and experimental computer science as well as the many relevant application areas. (shrink)

Information management systems improve the retention of information in large collections. As such they act as memory prostheses, implying an ideal basis in human memory models. Since humans process information by association, and situate it in the context of space and time, systems should maximize their effectiveness by mimicking these functions. Since human attentional capacity is limited, systems should scaffold cognitive efforts in a comprehensible manner. We propose the Principles of Mnemonic Associative Knowledge (P-MAK), which describes a framework for semantically (...) identifying, organizing, and retrieving information, and for encoding episodic events by time and stimuli. Inspired by prominent human memory models, we propose associative networks as a preferred representation. Networks are ideal for their parsimony, flexibility, and ease of inspection. Networks also possess topological properties—such as clusters, hubs, and the small world—that aid analysis and navigation in an information space. Our cognitive perspective addresses fundamental problems faced by information management systems, in particular the retrieval of related items and the representation of context. We present evidence from neuroscience and memory research in support of this approach, and discuss the implications of systems design within the constraints of P-MAK’s principles, using text documents as an illustrative semantic domain. (shrink)

A volunteer effort by Artificial Intelligence researchers has shown it can deliver significant research outcomes rapidly to help tackle COVID-19. Within two months, CLAIRE’s self-organising volunteers delivered the World’s first comprehensive curated repository of COVID-19-related datasets useful for drug-repurposing, drafted review papers on the role CT/x-ray scan analysis and robotics could play, and progressed research in other areas. Given the pace required and nature of voluntary efforts, the teams faced a number of challenges. These offer insights in how better to (...) prepare for future volunteer scientific efforts and large scale, data-dependent AI collaborations in general. We offer seven recommendations on how to best leverage such efforts and collaborations in the context of managing future crises. (shrink)

We report the identification of a recurrent, 520-kb 16p12.1 microdeletion associated with childhood developmental delay. The microdeletion was detected in 20 of 11,873 cases compared with 2 of 8,540 controls and replicated in a second series of 22 of 9,254 cases compared with 6 of 6,299 controls. Most deletions were inherited, with carrier parents likely to manifest neuropsychiatric phenotypes compared to non-carrier parents. Probands were more likely to carry an additional large copy-number variant when compared to matched controls. The clinical (...) features of individuals with two mutations were distinct from and/or more severe than those of individuals carrying only the co-occurring mutation. Our data support a two-hit model in which the 16p12.1 microdeletion both predisposes to neuropsychiatric phenotypes as a single event and exacerbates neurodevelopmental phenotypes in association with other large deletions or duplications. Analysis of other microdeletions with variable expressivity indicates that this two-hit model might be more generally applicable to neuropsychiatric disease. © 2010 Nature America, Inc. All rights reserved. (shrink)

In this paper, I will give a presentation of Bradley's two main arguments against the reality of relations. Whereas one of his arguments is highly specific to Bradley's metaphysical background, his famous regress argument seems to pose a serious threat not only for ontological pluralism, but especially for states of affairs as an ontological category. Amongst the proponents of states-of-affairs ontologies two groups can be distinguished: One group holds states of affairs to be complexes consisting of their particular and universal (...) constituents alone, the other holds that there has to be a "unifying relation" of some sort to establish the unity of a given state of affairs. Bradley's regress is often conceived to be a compelling argument against the first and for the latter. I will argue that the latter approaches have no real advantage over the simpler theories—neither in the light of Bradley's regress nor in other respects. (shrink)

Summary While historians have dealt with the origins of the concept of drug receptors in the work of Paul Ehrlich (1854–1915) and John N. Langley (1852–1925) as well as with some of its applications in modern pharmaceutical research, the history of the receptor theory as such has been neglected. Discussing major developments and conceptual changes in receptor theory between about 1910 and 1960 (including relevant contributions by A. V. Hill, A. J. Clark, J. H. Gaddum, E. J. Ariëns and others), (...) this paper attempts to fill this gap in historiography. It provides a case study of the unfolding of research under a new paradigm, but it considers also contemporary criticism and scepticism. By the early 1960s, quantitative investigations of drug action and interpretations of the experimental findings in terms of the receptor concept had become constitutive of the emerging field of ‘molecular pharmacology’. Even then, however, receptors were still hypothetical entities. (shrink)

This supplement serves a double purpose. It presents, on the one hand, a selection of papers devoted to the title question “How much philosophy in the philosophy of science?”. On the other hand, it signalizes the newly established cooperation between the German Society for the Philosophy of Science and the Journal for General Philosophy of Science .The GWP was founded in Hannover in 2011 and had its inaugural conference in March 2013 [for a report on the “GWP.2013” by H. Lyre (...) see EPSA Newsletter 2 2013]. The society was launched for several reasons. Albeit the German community of philosophers of science is quite large , it is at the same time a rather distributed and dispersed community. This has to do with the university landscape in Germany, which is dispersed rather t .. (shrink)

Inhalt: TEIL I Dominik SCHMIDIG: Sprachliche Vermittlung philosophischer Einsichten nach Fichtes Frühphilosophie. Thomas Sören HOFFMANN: Die Grundlage der gesamten Wissenschaftslehre und das Problem der Sprache bei Fichte. Jere Paul SURBER: Fichtes Sprachphilosophie und der Begriff einer Wissenschaftslehre. Holger JERGIUS: Fichtes »geometrische« Semantik. TEIL II Günter MECKENSTOCK: Beobachtungen zur Methodik in Fichtes Grundlage der gesammten Wissenschaftslehre. Hartmut TRAUB: Wege zur Wahrheit. Zur Bedeutung von Fichtes wissenschaftlich- und populär-philosophischer Methode. Jürgen STAHL: System und Methode - Zur methodologischen Begründung transzendentalen Philosophierens in (...) Fichtes »Begriffsschrift«. Kunihiko NAGASAWA: Eine neue Möglichkeit der Philosophie nach der Grundlage der gesammten Wissenschaftslehre. Teil III Katsuaki OKADA: Der erste Grundsatz und die Bildlehre. Hisang RYUE: Die Differenz zwischen »Ich bin« und «Ich bin Ich«. Christian KLOTZ: Der Ichbegriff in Fichtes Erörterung der Substantialität. Alois K. SOLLER: Fichtes Lehre vom Anstoß. Nicht-Ich und Ding an sich in der Grundlage der gesamten Wissenschaftslehre. Eine kritische Erörterung. Heinz EIDAM: Fichtes Anstoß. Anmerkungen zu einem Begriff der Wissenschaftslehre von 1794. Virginia LÓPEZ-DOMÍNGUEZ: Die Deduktion des Gefühls in der Grundlage der gesammten Wissenschaftslehre. Reinhard LOOCK: Gefühl und Realität. Fichtes Auseinandersetzung mit Jacobi in der Grundlage der Wissenschaft des Praktischen. TEIL IV Marek SIEMEK: Wissen und Tun. Zur Handlungsweise der transzendentalen Subjektivität in der ersten Wissenschaftslehre Fichtes. Daniel BREAZEALE: Der fragwürdige »Primat der praktischen Vernunft« in Fichtes Grundlage der gesamten Wissenschaftslehre. Marcin POREBA: Das Problem der transzendentalen Freiheit in semantischer Formulierung. Giuseppe DUSO: Absolutheit und Widerspruch in der Grundlage der gesamten Wissenschaftslehre. Manuel JIMÉNEZ-REDONDO: Der Begriff des Grundes in Fichtes Wissenschaftslehre. TEIL V Helmut GIRNDT: Das »Ich« des ersten Grundsatzes der Grundlage der gesamten Wissenschaftslehre in der Sicht der Wissenschaftslehre von 18042. Josef BEELER-PORT: Zum Stellenwert der Grundlage aus der Sicht von 1804. Eine Interpretation des Wechsels von analytisch-synthetischer und genetischer Methode in 5 der Grundlage. (shrink)

Proponents of mechanistic explanations have recently proclaimed that all explanations in the neurosciences appeal to mechanisms. The purpose of the paper is to critically assess this statement and to develop an integrative account that connects a large range of both mechanistic and dynamical explanations. I develop and defend four theses about the relationship between dynamical and mechanistic explanations: that dynamical explanations are structurally grounded, that they are multiply realizable, possess realizing mechanisms and provide a powerful top-down heuristic. Four examples shall (...) support my points: the harmonic oscillator, the Haken–Kelso–Bunz model of bimanual coordination, the Watt governor and the Gierer–Meinhardt model of biological pattern formation. I also develop the picture of “horizontal” and “vertical” directions of explanations to illustrate the different perspectives of the dynamical and mechanistic approach as well as their potential integration by means of intersection points. (shrink)

We aim to devise a Ramsey test analysis of actual causation. Our method is to define a strengthened Ramsey test for causal models. Unlike the accounts of Halpern and Pearl ([2005]) and Halpern ([2015]), the resulting analysis deals satisfactorily with both over- determination and conjunctive scenarios.

Drawing on recent work in developmental and comparative psychology, this paper argues that demonstratives function to coordinate the interlocutors' joint focus of attention, which is one of the most basic functions of human communication. The communicative importance of demonstratives is reflected in a number of properties that together characterize them as a particular word class: In contrast to other closed-class expressions, demonstratives are universal, they are generally so old that their roots cannot be traced back to other linguistic items, they (...) are among the earliest words that children learn, and they are closely tied to a particular gesture. Moreover, demonstratives play an important role in the organization of discourse and the diachronic evolution of grammar, which arguably is also motivated by their communicative function to establish joint attention. (shrink)

Epigenetic modifications, such as DNA methylation and post‐translation modifications of histones, have been shown to play an important role in chromatin structure, promoter activity, and cellular reprogramming. Large protein complexes, such as Polycomb and trithorax, often harbor multiple activities which affect histone tail modification. Nevertheless, the mechanisms underlying the deposition of these marks, their propagation during cell replication, and the alteration on their distribution during transformation still require further study. Here we review recent data on those processes in both normal (...) and cancer cells, and we propose that the unscheduled expression of oncogenic transcription factors causes reprogramming of normal cells into cancer stem cells. (shrink)

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...) a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (shrink)

A simple explanation of theoreticity says that a term is theoretical if and only if it refers to nonobservational entities. Paradigmatic examples of such entities are electrons, neutrinos, gravitational forces, genes etc. There is yet another explanation of theoreticity: a theoretical term is one whose meaning becomes determined through the axioms of a scientific theory. The meaning of the term ‘force’, for example, is seen to be determined by Newton’s laws of motion and further laws about special forces, such as (...) the law of gravitation. Theoreticity is a property that is commonly applied to both expressions in the language of science, and referents and concepts of such expressions. Objects, relations and functions as well as concepts thereof may thus qualify as theoretical in a derived sense. (shrink)

In this paper, we propose a regularity theory of causation. The theory aims to be reductive and to align with our pre‐theoretic understanding of the causal relation. We show that our theory can account for a wide range of causal scenarios, including isomorphic scenarios, omissions, and scenarios which suggest that causation is not transitive.

The European Commission has suggested that the use of joint audits should lead to improved auditor skepticism and—by extension—audit quality, through increased accountability. However, archival research does not find support for improved audit quality in a joint audit setting. To better understand the relationship between accountability in different review regimes and auditors’ judgments, we examine the behavioral effect of implementing a joint audit relative to other review regimes based on a 1 × 3 experimental design. Forty-seven senior auditors and partners (...) from a Big Four firm performed a going concern evaluation task under one of three review regimes: the joint audit, the internal review, and the no review regime. Notwithstanding the difference in the audiences to which auditors are accountable, there is no difference in the judgment process. In terms of their judgment outcome, however, auditors in the joint audit setting were the least skeptical in their judgment of the going concern assumption. Overall, we suggest that the joint audit may lead to unintended behavioral consequences. (shrink)

Als Wissenschaftslogik bezeichnet Carnap jene Disziplin, welche die Nachfolge der traditionellen Philosophie im 20. Jahrhundert antreten sollte. Den zentralen Bezugspunkt von Carnaps wissenschaftslogischen Arbeiten bildet die von Frege und Russell entwickelte mathematische Logik. Dies gilt auch für die Zweistufenkonzeption, mit der Carnap ein allgemeines Schema zur Analyse der Bedeutung von Begriffen nichtmathematischer Theorien entwirft. Dabei wird die Abhängigkeit der begrifflichen Bedeutung von den Aussagen der jeweiligen Theorie explizit anerkannt, was eine Überwindung der Dogmen des Empirismus innerhalb des Logischen Empirismus einschlieβt. (...) Allerdings geht Carnap in seinen Arbeiten zur Semantik formaler Sprachen auf die spezifischen Eigenschaften von theoretischen Termen nicht ein, so daβ die Überwindung der Dogmen des Empirismus unvollständig bleibt. Darauf gründet sich die wesentliche Aufgabe der vorliegenden Untersuchung, welche darin besteht, die Deutung von theoretischen Termen durch Postulate im Rahmen der mathematischen Logik exakt zu beschreiben. (shrink)

This research examines the ethical orientations of students (ethical idealism, ethical relativism and Machiavellianism) towards their attitude to plagiarize. It also examines the moderating effect of religious orientation on the relationship of the independent variables toward students’ attitude towards plagiarism. Data was collected from 160 business diploma and undergraduate students from a local private college and a local public university in Malaysia. Results from the hierarchical regression analysis showed that ethical relativism and Machiavellianism had a positive relationship with students’ attitude (...) towards plagiarism whilst ethical idealism was negatively related to students’ attitude towards plagiarism. Religious orientation was found to have no moderating effect on the relationship between the three independent variables: ethical idealism, ethical relativism and Machiavellianism and the dependent variable, students’ attitude towards plagiarism. (shrink)

Platonic Patterns is a reprint collection of many of Holger Thesleff's studies in Plato—spanning from 1967 to 2003. It includes three books, four articles and a new introduction by the author, which sets the general outline of his interpretation of Plato. Whereas much of the scholarship on Plato has tended to operate within the frame of one language and/or a single school of thought, Thesleff constructively combines several discoveries and theories of various scholars with his own research, focusing on (...) how Plato can be understood in his own context. The work represents small but significant breakthroughs in research on Plato from an internationally inclusive standpoint. Having previously been published mainly in Finland by scholarly societies, availability outside the Nordic countries has, up until now, been minimal. Thesleff employs his singular expertise of Greek language and literature to make innovative contributions to the study and interpretation of Plato. He thematically stresses the significance of the less overt elements found in Plato's dialogues, such as Plato's use of humor and his linguistic expression, while taking into account the chronology and/or the intended audience. (shrink)