The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)
Representing species-specific proteins and protein complexes in ontologies that are both human and machine-readable facilitates the retrieval, analysis, and interpretation of genome-scale data sets. Although existing protin-centric informatics resources provide the biomedical research community with well-curated compendia of protein sequence and structure, these resources lack formal ontological representations of the relationships among the proteins themselves. The Protein Ontology (PRO) Consortium is filling this informatics resource gap by developing ontological representations and relationships among proteins and their variants and modified forms. Because (...) proteins are often functional only as members of stable protein complexes, the PRO Consortium, in collaboration with existing protein and pathway databases, has launched a new initiative to implement logical and consistent representation of protein complexes. We describe here how the PRO Consortium is meeting the challenge of representing species-specific protein complexes, how protein complex representation in PRO supports annotation of protein complexes and comparative biology, and how PRO is being integrated into existing community bioinformatics resources. The PRO resource is accessible at http://pir.georgetown.edu/pro/. (shrink)
The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.
We will outline the contributions of A.V. Kuznetsov to modal logic. In his research he focused mainly on semantic, i.e. algebraic, issues and lattices of extensions of particular modal logics, though his proof of the Full Conservativeness Theorem for the proof-intuitionistic logic KM (Theorem 17 below) is a gem of proof-theoretic art.
According to the 2002 census, the Muslim population of Russia was 14.5 million people. During the past decade, the idea of a Muslim demographic "threat" has spread, discussed most often by politicians with nationalist views, along with journalists and some writers. Islam remains a factor that regulates relations in society. The current revival of Islam is contradictory and diverse in terms of its consequences. Its main result is that we are dealing with a new Islam and new Muslims.
The paper focuses on the representation of pedagogical and political communication between (and around) Plato, Dion and Dionysius II in Plutarch's Life of Dion. Plutarch's narrative invokes both the Platonic critique of writing as an inadequate medium for teaching philosophy, and the polarity between free oral speech and writing as a symptom of tyranny. It is argued that the Life espouses but also complicates and implicitly interrogates the opposition between writtenness and orality across the philosophical and the political domain, thus (...) constituting a rich intertextual response, from an Imperial Platonist author, to the Platonic concerns about the written word. (shrink)
Collerton et al. propose that one and the same mechanism (PAD) underlies recurrent complex visual hallucinations (RCVH) in various disorders, including schizophrenia, dementia, and eye disease. The present commentary offers an alternative account of RCVH and other recurrent complex hallucinations specific to schizophrenia and related disorders only. The proposed account is consistent with the bias of schizophrenic RCVH contents toward animate, socially active entities.
This book is a translation of W.V. Quine's Kant Lectures, given as a series at Stanford University in 1980. It provide a short and useful summary of Quine's philosophy. There are four lectures altogether: I. Prolegomena: Mind and its Place in Nature; II. Endolegomena: From Ostension to Quantification; III. Endolegomena loipa: The forked animal; and IV. Epilegomena: What's It all About? The Kant Lectures have been published to date only in Italian and German translation. The present book is filled out (...) with the translator's critical Introduction, "The esoteric Quine?" a bibliography based on Quine's sources, and an Index for the volume. (shrink)
This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields, and formalizing these techniques within various subsystems of second-order Peano arithmetic allows one to put upper and lower bounds on the interpretability strength of these theories and hence to compare these theories to the canonical subsystems of second-order arithmetic. The main results of this paper (...) are: (i) there is a consistent extension of the hyperarithmetic fragment of Basic Law V which interprets the hyperarithmetic fragment of second-order Peano arithmetic, and (ii) the hyperarithmetic fragment of Hume's Principle does not interpret the hyperarithmetic fragment of second-order Peano arithmetic, so that in this specific sense there is no predicative version of Frege's Theorem. (shrink)
The study delves into the foreign policy plans of Alexei Navalny, the Russian politician who is currently commonly regarded as the most prominent opposition leader and the sole plausible alternative to Vladimir Putin. Drawing on his interviews, public speeches, media publications and electoral manifestos, the author analyses his foreign policy views alongside three topics, that is, Russia’s policies towards disputed lands and states in the post-Soviet area (Crimea, Donbas, Abkhazia, South Ossetia, Transnistria), the country’s foreign policy orientation and priorities (...) (especially regarding relations with the West) and assessment of the Putin regime’s foreign policy. Following this, the author speculates on the likely foundations of Russia’s foreign policy under Navalny’s possible presidency and their implications for the West. (shrink)
The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...) issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (shrink)
We consider relational databases organized over an ordered domain with some additional relations — a typical example is the ordered domain of rational numbers together with the operation of addition. In the focus of our study are the first-order queries that are invariant under order-preserving “permutations” — such queries are called order-generic. It has recently been discovered that for some domains order-generic FO queries fail to express more than pure order queries. For example, every order-generic FO query over rational numbers (...) with + can be rewritten without +. For some other domains, however, this is not the case.We provide very general conditions on the FO theory of the domain that ensure the collapse of order-generic extended FO queries to pure order queries over this domain: the Pseudo-finite Homogeneity Property and a stronger Isolation Property. We further distinguish one broad class of domains satisfying the Isolation Property, the so-called quasi-o-minimal domains. This class includes all the o-minimal domains, but also the ordered group of integer numbers and the ordered semigroup of natural numbers, and some other domains.An important difference of this paper from the recent series of related papers is that we generalize all the notions to the case of finitely representable database states — as opposed to finite states — and develop a general lifting technique that, essentially, allows us to extend any result of the kind we are interested in, from finite to finitely representable states. We show, however, that these results cannot be transfered to arbitrary infinite states. (shrink)
The ‘continuous’ and the ‘discrete’ in nature and in science live and fight forever. The questionnaires and the Lickert scales are indispensable and widely used tools in social sciences research. Vougiouklis & Vougiouklis bar is a new tool introduced as an alternative to Lickert scales. We believe that such an alternative might offer some solutions to problems that crop up during the fight between continuous and discrete. Nevertheless, the greatest contribution of the V&V bar is that it offers the researchers (...) freedom in all stages of the research procedure using a questionnaire. (shrink)
It is argued that Convention T and Basic Law V of Frege’s Grungesetze share three striking similarities. First, they are universal generalizations that are intuitively plausible because they have so many obvious instances. Second, both are false because they yield contradictions. Third, neither gives rise to a paradox.
Often understood as synonymous with “oral history” in Indigenous title and rights cases in Canada, “oral tradition” as theorized by Jan Vansina is complexly imbricated in the European genealogy of “scientific history” and the archival science of Diplomatics with roots in the development of property law and memory from the time of Justinian. Focusing on Tsilhqot’in Nation v. British Columbia, which resulted in the first declaration of Aboriginal title in Canada, this paper will discuss Tsilhqot’in law in the context of (...) the court’s deployment of Vansina’s theory and its genealogy, and conclude that “oral tradition” functions as a legal fiction enabling the court to remain in the familiar archive of its own historiography while claiming to listen to the Elders. (shrink)
I attempt to clarify the connection between two late texts by V.S. Solov'Ã«v: Justification of the Good and Theoretical Philosophy. Solov'Ã«v drew attention to the intrinsic connection between moral and intellectual virtues. Theoretical Philosophy is the initial -- unfinished -- sketch of the dynamism of mind seeking truth as a good. I sketch several parallels and analogies between the doctrine of moral experience set out in Justification and the account of the intellect's dynamism based on immediate certitude set out in (...) Theoretical Philosophy. Solov'Ã«v can thus be considered as a âvirtue epistemologistâ in the current meaning given to this description. I conclude by suggesting that Solov'Ã«v's position on these questions does not easily cohere with the âimpersonalismâ he appears to defend in Theoretical Philosophy. (shrink)
As one of the preeminent philosophers of the twentieth century, W. V. Quine made groundbreaking contributions to the philosophy of science, mathematical logic, and the philosophy of language. This collection of essays examines Quine's views, particularly his holism and naturalism, for their value to feminist theorizing today. Some contributors to this volume see Quine as severely challenging basic tenets of the logico-empiricist tradition in the philosophy of science—the analytic/synthetic distinction, verificationism, foundationalism—and accept various of his positions as potential resources for (...) feminist critique. Other contributors regard Quine as an unrepentant empiricist and, unlike feminists who seek to use or extend his arguments, they interpret his positions as far less radical and more problematic. In particular, critics and advocates of Quine's arguments that the philosophy of science should be "naturalized"—understood and pursued as an enterprise continuous with the sciences proper—disagree deeply about whether such a naturalized philosophy is "philosophy enough." Central issues at stake in these disagreements reflect current questions of special interest to feminists and also bridge the analytic and postmodern traditions. They include questions about whether and how the philosophy of science, as a form of practice, is or can be normative as well as questions concerning the implications of Quine's philosophy of language for the transparency and stability of meaning. In representing feminist philosophy centrally engaged with the analytic tradition, this volume is important not only for what it contributes to the understanding of Quine and naturalized epistemology but also for what it accomplishes in working against restrictive conceptions of the place of feminism within the discipline. Aside from the editors, the contributors are Kathryn Pyne Addelson, Louise M. Antony, Richmond Campbell, Lorraine Code, Jane Duran, Maureen Linker, Phyllis Rooney, and Paul A. Roth. (shrink)
In this paper, the so-called V-chip is analysed from the perspective of responsibility. The V-chip is a technological tool used by parents, on a voluntary basis, to prevent children from watching violent television content. Since 1997 in the United States, the V-chip is installed in all new televisions sets of 12″ and larger. We are interested in the question whether and how the introduction of the V-chip affects who is to be considered responsible for children. In the debate, it has (...) been argued that the V-chip reduces parents’ responsibility for children, but it has also been argued that it gives parents a tool to exercise their responsibility. It may appear as though all debaters are discussing the same thing and merely have different opinions. However, we argue that there are at least three notions of responsibility underlying these claims and that these should be kept separate. First, arguments on responsibility may refer to responsibility as task distribution. Second, they can refer to responsibility as control. Finally, a thicker concept of parental responsibility understood as a virtue may be referred to. It becomes clear that whereas task distribution changes to some extent and the possibilities for control are increased, only certain parts of parental responsibility as a virtue are affected. The finding that there appear to be different notions of responsibility involved in a debate that prima facie is about one issue, indicates that discussions on other technologies and how they affect responsibility may suffer from the same conceptual lack of clarity. (shrink)
The judgment in Qarase v. Bainimarama provided a legal basis for the 2006 military coup in Fiji and stated that the President was entitled to grant authority to the military to act outside of the powers prescribed by the written Constitution. According to the ruling, the Royal Prerogative powers that remained in government following British rule could be utilised by the President at any time that he considered it necessary. This paper explores the rationale for that judgment and the role (...) that Royal Prerogative powers may play in the governance of countries that were previously subject to British rule. It further considers the impact of this judgment upon democracy in Fiji and the future protection of human rights for its citizens. (shrink)
We define an appropriate analog of the Morley rank in a totally transcendental homogeneous model with type diagram D. We show that if RM[p] = α then for some 1 ≤ n < ω the type p has n, but not n + 1, distinct D-extensions of rank α. This is surprising, because the proof of the statement in the first-order case depends heavily on compactness. We also show that types over (D,ℵ₀)-homogeneous models have multiplicity (Morley degree) 1.
This Companion brings together a team of leading figures in contemporary philosophy to provide an in-depth exposition and analysis of Quine’s extensive influence across philosophy’s many subfields, highlighting the breadth of his work, and revealing his continued significance today. Provides an in-depth account and analysis of W.V.O. Quine’s contribution to American Philosophy, and his position as one of the late twentieth-century’s most influential analytic philosophers Brings together newly-commissioned essays by leading figures within contemporary philosophy Covers Quine’s work across philosophy of (...) logic, philosophy of language, ontology and metaphysics, epistemology, and more Explores his work in relation to the origins of analytic philosophy in America, and to the history of philosophy more broadly Highlights the breadth of Quine’s work across the discipline, and demonstrates the continuing influence of his work within the philosophical community. (shrink)
This chapter first surveys general issues in the epistemic internalism / externalism debate: what is the distinction, what motivates it, and what arguments can be given on both sides. -/- The second part of the chapter will examine the internalism / externalism debate as regards to the specific case of the epistemology of memory belief.