Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Response to Steven Bland’s ‘Interactionism, Debiasing, and the Division of Epistemic Labour’ (in Social Virtue Epistemology, (eds.) M. Alfano, C. Klein & J. de Ridder). Biased cognition is an obvious source of epistemic vice, but there is some controversy about whether cognitive biases generate reliabilist or responsibilist epistemic vices. Bland’s argument, in a nutshell, is that since the development of cognitive biases is due to the interplay of internal psychological processes and external (i.e., environmental) conditions, it cannot be expected that (...) a solution to the problem tackles only one of these dimensions. We argue that the complex architecture on which Bland’s coordinated approach is grounded appears to lose some stability once we analyze more closely its pillars. We shall concentrate our attention on the notion of reliabilist and responsibilist epistemic virtues that the approach should foster as well as on the educational implications of Bland’s view. (shrink)

The insightful commentaries to our contribution "Education as the Social Cultivation of Intellectual Virtue" (in 'Social Virtue Epistemology', (eds.) M. Alfano, C. Klein & J. de Ridder, Routledge 2022) offered by Alessandra Tanesini and Lani Watson highlight some important aspects of the work that philosophers, education theorists, and educators should carry out to strengthen the theoretical and practical advantages of the educational approach we have proposed. This commentary briefly addresses a few points that could set the grounds for future investigations (...) on intellectual virtue-based approaches to education and their social dimensions. (shrink)

The objectively best language is intended to refer to some metaphysically privileged language that ‘carves reality at its joints’ perfectly. That is, it is the kind of language that various ‘metaphysical deflationists’ have argued is impossible. One common line of argument amongst deflationists is that we have no means to compare languages that all express true facts about the world in such a way to decide which is ‘better’. For example, the language is physics is not objectively better than the (...) language of economics, as each language has the semantic purpose of expressing some domain of truths about the world inexpressible in the other language, and therefore neither could be ‘objectively best’. In this paper, I argue that metaphysical deflationists have failed to recognise a distinction between fine- and coarse-grained semantic purposes of languages, and that a recognition of that distinction provides us grounds to compare languages to see which is objectively best. I argue that once we recognise the distinction between fine- and coarse-grained semantic purposes, then we can see that it is relative to the coarse-grained purpose that we must compare putative objectively best ontological languages. (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

What are words? What makes two token words tokens of the same word-type? Are words abstract entities, or are they (merely) collections of tokens? The ontology of words tries to provide answers to these, and related questions. This article provides an overview of some of the most prominent views proposed in the literature, with a particular focus on the debate between type-realist, nominalist, and eliminativist ontologies of words.

While there seems to be much evidence that perceptual states can occur without being conscious, some theorists recently express scepticism about unconscious perception. We explore here two kinds of such scepticism: Megan Peters and Hakwan Lau's experimental work regarding the well-known problem of the criterion -- which seems to show that many purported instances of unconscious perception go unreported but are weakly conscious -- and Ian Phillips' theoretical consideration, which he calls the 'problem of attribution' -- the worry that many (...) purported examples of unconscious perception are not perceptual, but rather merely informational and subpersonal. We argue that these concerns do not undermine the evidence for unconscious perception and that this sceptical approach results in a dilemma for the sceptic, who must either deny that there is unconscious mentality generally or explain why perceptual states are unique in the mind such that they cannot occur unconsciously. Both options, we argue, are problematic. (shrink)

It has been widely argued that words are analogous to species such that words, like species, are natural kinds. In this paper, I consider the metaphysics of word-kinds. After arguing against an essentialist approach, I argue that word-kinds are homeostatic property clusters, in line with the dominant approach to other biological and psychological kinds.

ABSTRACT The idea that two words can be instances of the same word is a central intuition in our conception of language. This fact underlies many of the claims that we make about how we communicate, and how we understand each other. Given this, irrespective of what we think words are, it is common to think that any putative ontology of words, must be able to explain this feature of language. That is, we need to provide criteria of identity for (...) word-types which allow us to individuate words such that it can be the case that two particular word-instances are instances of the same word-type. One solution, recently further developed by Irmak, holds that words are individuated by their history. In this paper, I argue that this view either fails to account for our intuitions about word identity, or is too vague to be a plausible answer to the problem of word individuation. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been combined (...) with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

The classical theory of probability has long been abandoned and is seen by most philosophers as a non-contender—a mere precursor to newer and better theories. In this paper I argue that this is a mistake. The main reasons for its rejection—all related to the notorious principle of indifference—are that it is circular, of limited applicability, inconsistent, and dependent upon unjustified empirical assumptions. I argue that none of these claims is true and that the classical theory remains to be refuted.

The natural name theory, recently discussed by Johnson (2018), is proposed as an explanation of pure quotation where the quoted term(s) refers to a linguistic object such as in the sentence ‘In the above, ‘bank’ is ambiguous’. After outlining the theory, I raise a problem for the natural name theory. I argue that positing a resemblance relation between the name and the linguistic object it names does not allow us to rule out cases where the natural name fails to resemble (...) the linguistic object it names. I argue that to avoid this problem, we can combine the natural name theory with a type-realist metaphysics of language, and hold that the name is natural because the name is an instance of the kind that it names. I conclude by reflecting on the importance of the metaphysics of language for questions in the philosophy of language. (shrink)

Transoral laser microsurgery applies to the piecemeal removal of malignant tumours of the upper aerodigestive tract using the CO2 laser under the operating microscope. This method of surgery is being increasingly popularised as a single modality treatment of choice in early laryngeal cancers (T1 and T2) and occasionally in the more advanced forms of the disease (T3 and T4), predomi- nantly within the supraglottis. Thomas Kuhn, the American physicist turned philosopher and historian of science, coined the phrase ‘paradigm shift’ in (...) his groundbreaking book The Structure of Scientific Revolutions. He argued that the arrival of the new and often incompatible idea forms the core of a new paradigm, the birth of an entirely new way of thinking. This article discusses whether Steiner and col- leagues truly brought about a paradigm shift in oncological surgery. By rejecting the principle of en block resection and by replacing it with the belief that not only is it oncologically safe to cut through the substance of the tumour but in doing so one can actually achieve better results, Steiner was able to truly revolutionise the man- agement of laryngeal cancer. Even though within this article the repercussions of his insight are limited to the upper aerodigestive tract oncological surgery, his willingness to question other peoples’ dogma makes his contribution truly a genuine paradigm shift. (shrink)

This paper addresses the ontological status of the ontological categories as defended within E.J. Lowe’s four-category ontology (kinds, objects, properties/relations, and modes). I consider the arguments in Griffith (2015. “Do Ontological Categories Exist?” Metaphysica 16 (1):25–35) against Lowe’s claim that ontological categories do not exist, and argue that Griffith’s objections to Lowe do not work once we fully take advantage of ontological resources available within Lowe’s four-category ontology. I then argue that the claim that ontological categories do not exist has (...) no undesirable consequences for Lowe’s brand of realism. (shrink)

This article examines whether it is possible to uphold one form of deflationism towards metaphysics, ontological pluralism, whilst maintaining metaphysical realism. The focus therefore is on one prominent deflationist who fits the definition of an ontological pluralist, Eli Hirsch, and his self-ascription as a realist. The article argues that ontological pluralism is not amenable to the ascription of realism under some basic intuitions as to what a “realist” position is committed to. These basic intuitions include a commitment to more than (...) a stuff-ontology, and a view that realism carries with it more than a rejection of idealism. This issue is more than merely terminological. The ascription of realism is an important classification in order to understand what sorts of entities can be the truthmakers within a given theory. “Realism” is thus an important term to understand the nature of the entities that a given theory accepts into its ontology. (shrink)

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

This implementation framework bridges the theoretical concepts of the Instructional Modular Approach with the practical development of Science Teaching Competency. It offers prospective teachers a structured, adaptive, and technology-enhanced pathway to becoming competent and innovative science educators. Each unit is meticulously designed to not only equip teachers with theoretical knowledge but also to hone their practical skills and competencies essential for a dynamic science teaching environment.

This paper analyses how security affects well-being. Security is understood as someone’s sureness of enjoying some good in the future; well-being is treated as a matter of human flourishing. Security can contribute to our well-being in various ways: if we are in fact bound to enjoy a good, in principle this is positive for our flourishing in the future; if we also believe that we will enjoy this good, we can be more efficient in pursuing our well-being; if we also (...) feel secure, this supports our enjoyment of our physical and mental capacities. For some of these benefits to obtain fully, however, it is important that our beliefs and feelings align with the facts. Furthermore, mirroring security’s upsides, there are also ways in which security can hamper our flourishing: it can obstruct the change, surprise, and pleasurable fear that are sometimes required for a good life too. (shrink)

Providing empirically supportable instances of ontological emergence is notoriously difficult. Typically, the literature has focused on two possible sources. The first is the mind and consciousness; the second is within physics, and more specifically certain quantum effects. In this paper, I wish to suggest that the literature has overlooked a further possible instance of emergence, taken from the special science of linguistics. In particular, I will focus on the property of truth-evaluability, taken to be a property of sentences as created (...) by the language faculty within human minds (or brains). The claim will not be as strong as to suggest that the linguistic data and theories prove emergence. Rather the dialectical aim here is to say that we have some good reasons (even if not conclusive reasons) to think that the property is emergent. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

Reductive intellectualists hold that knowledge-how is a kind of knowledge-that. For this thesis to hold water, it is obviously important that knowledge-how and knowledge-that have the same epistemic properties. In particular, knowledge-how ought to be compatible with epistemic luck to the same extent as knowledge-that. It is argued, contra reductive intellectualism, that knowledge-how is compatible with a species of epistemic luck which is not compatible with knowledge-that, and thus it is claimed that knowledge-how and knowledge-that come apart.

In this essay, I argue that neurophysiological materialism - the thesis that all of our mental contents are caused by non-mental, purely physical brain states - is epistemically self-refuting, and ought to be rejected even if it cannot be otherwise disproved.

In this essay I explore some of the basic elements of consciousness from a substance dualist point of view, incorporating some elements of Kant's Transcendental Analytic into an overall account of the constitution of consciousness.

A common epistemological assumption in contemporary bioethics held b y both proponents and critics of non-traditional forms of cognitive enhancement is that cognitive enhancement aims at the facilitation of the accumulation of human knowledge. This paper does three central things. First, drawing from recent work in epistemology, a rival account of cognitive enhancement, framed in terms of the notion of cognitive achievement rather than knowledge, is proposed. Second, we outline and respond to an axiological objection to our proposal that draws (...) from recent work by Leon Kass (2004), Michael Sandel (2009), and John Harris (2011) to the effect that ‘enhanced’ cognitive achievements are (by effectively removing obstacles to success) not worthy of pursuit, or are otherwise ‘trivial’. Third, we show how the cognitive achievement account of cognitive enhancement proposed here fits snugly with recent active externalist approaches (e.g., extended cognition) in the philosophy of mind and cognitive science. (shrink)

In this essay, I investigate the implications for the discussion of theism in philosophy of religion for the beliefs of ordinary Christians and conclude that, in light of its historical development, those implications are minimal.

A self-fulfilling prophecy in neuroprognostication occurs when a patient in coma is predicted to have a poor outcome, and life-sustaining treatment is withdrawn on the basis of that prediction, thus directly bringing about a poor outcome for that patient. In contrast to the predominant emphasis in the bioethics literature, we look beyond the moral issues raised by the possibility that an erroneous prediction might lead to the death of a patient who otherwise would have lived. Instead, we focus on the (...) problematic epistemic consequences of neuroprognostic SFPs in settings where research and practice intersect. When this sort of SFP occurs, the problem is that physicians and researchers are never in a position to notice whether their original prognosis was correct or incorrect, since the patient dies anyway. Thus, SFPs keep us from discerning false positives from true positives, inhibiting proper assessment of novel prognostic tests. This epistemic problem of SFPs thus impedes learning, but ethical obligations of patient care make it difficult to avoid SFPs. We then show how the impediment to catching false positive indicators of poor outcome distorts research on novel techniques for neuroprognostication, allowing biases to persist in prognostic tests. We finally highlight a particular risk that a precautionary bias towards early withdrawal of life-sustaining treatment may be amplified. We conclude with guidelines about how researchers can mitigate the epistemic problems of SFPs, to achieve more responsible innovation of neuroprognostication for patients in coma. (shrink)

In this paper, I offer an account of our knowledge of other minds based on V. C. Aldrich's account of aesthetic perception, according to which there is a sense in which we literally see other minds.

Inspired by Paul Moser's recent work, this paper presents a new parable on the topic of belief and unbelief in the tradition of Wisdom, Flew and Mitchell. -/- This paper was read at the annual POH Symposium at Lake Wenatchee, WA in May, 2010. An edited version of this paper has appeared in the second issue of the Seattle Critical Review (online).

In a recent paper Shieva Kleinschmidt has argued that if certain scenarios involving extended simple regions are possible (so-called ‘Place Cases’), then no logic of location with only one primitive locative notion (i.e., no ‘parsimonious logic of location’) will suffice to describe all of the locative possibilities. Since almost all existing logics of location are parsimonious (and apparently for good reason) the argument is a considerable obstacle to the development of a satisfactory logic of location. Kleinschmidt suggests that the best (...) way out of the difficulty is to deny the possibility of Place Cases by denying that extended simple regions are possible. I argue that much the same problem arises even in cases not involving extended simple regions or indeed exotic regions of any kind. Thus, simply denying the possibility of extended simple regions will not save parsimonious logics of location. (shrink)

Perhaps the most commonly discussed argument against the possibility of extended simples is the argument from heterogeneity. The argument states that, if extended simples are possible, then extended simples which exhibit intrinsic qualitative variation across space (or spacetime) are also possible [Premise 1]. But, the argument goes, it is impossible for an extended simple to exhibit intrinsic qualitative variation across space (or spacetime) [Premise 2]. Thus, extended simples are impossible. I argue that there is a serious problem with the argument (...) from heterogeneity: the best arguments in support of the first premise undermine support for the second. Thus, there appears to be no good reason to accept both premises. (shrink)

IPCC SPECIAL REPORT ON CLIMATE CHANGE AND LAND (SRCCL) -/- Chapter 3: Climate Change and Land: An IPCC special report on climate change, desertification, land degradation, sustainable land management, food security, and greenhouse gas fluxes in terrestrial ecosystems.

According to reductive intellectualism, knowledge-how just is a kind of propositional knowledge (e.g., Stanley & Williamson 2001; Stanley 2011a, 2011b; Brogaard, 2008a, 2008b, 2009, 2011, 2009, 2011). This proposal has proved controversial because knowledge-how and propositional knowledge do not seem to share the same epistemic properties, particularly with regard to epistemic luck. Here we aim to move the argument forward by offering a positive account of knowledge-how. In particular, we propose a new kind of anti-intellectualism. Unlike neo-Rylean anti-intellectualist views, according (...) to which the possession of knowledge-how is just a matter of possessing certain abilities, we submit that knowledge-how is a particular kind of cognitive achievement attained just when cognitive ability is connected in the right way with successful performance. (shrink)

Our aim is to provide a topography of the relevant philosophical terrain with regard to the possible ways in which knowledge can be conceived of as extended. We begin by charting the different types of internalist and externalist proposals within epistemology, and we critically examine the different formulations of the epistemic internalism/externalism debate they lead to. Next, we turn to the internalism/externalism distinction within philosophy of mind and cognitive science. In light of the above dividing lines, we then examine first (...) the extent to which content externalism is compatible with epistemic externalism; second, whether active externalism entails epistemic externalism; and third whether there are varieties of epistemic externalism that are better suited to accommodate active externalism. Finally, we examine whether the combination of epistemic and cognitive externalism is necessary for epistemology and we comment on the potential ramifications of this move for social epistemology and philosophy of science. (shrink)

I have a theory of the emotions that many people find unflattering. I contend that all emotions, as such, are negative and neither life-enhancing nor truth-connected. In this essay, I present this theory and my reasons for it.

This is an earlier version of the argument presented as the appendix to the author's final book, Peri Physeos.

The author presents reasons for thinking that the evil we observe in the world is not even prima facie evidence against the existence of God.

We argue that, insofar as one accepts either supersubstantivalism or strong composition as identity for the usual reasons, one has (defeasible) reasons to accept the other as well. Thus, all else being equal, one ought to find the package that combines both views—the Identity Package—more attractive than any rival package that includes one, but not the other, of either supersubstantivalism or composition as identity.

As it is known, there is no rule satisfying Additivity in the complete domain of bankruptcy problems. This paper proposes a notion of partial Additivity in this context, to be called µ-additivity. We find that µ-additivity, together with two quite compelling axioms, anonymity and continuity, identify the Minimal Overlap rule, introduced by Neill (1982).

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move beyond the level (...) of controlled vocabularies to yield an ontology with the ability to support reasoning applications. (shrink)

New trends in the economic systems management in the context of modern global challenges: collective monograph / scientific edited by M. Bezpartochnyi, in 2 Vol. // VUZF University of Finance, Business and Entrepreneurship. – Sofia: VUZF Publishing House “St. Grigorii Bogoslov”, 2020. – Vol. 1. – 309 p.

While it is widely regarded that intellectual humility is among the intellectual virtues, there is as of yet little consensus on the matter of what possessing and exercising intellectual humility consists in, and how it should be best understood as advancing our epistemic goals. For example, does intellectual humility involve an underestimation of one’s intellectual abilities, or rather, does it require an accurate conception? Is intellectual humility a fundamentally interpersonal/social virtue, or might it be valuable to exercise in isolation? To (...) what extent does intellectual humility demand of us an appreciation of how the success of our inquiries depends on features of our social and physical environment beyond our control? These are just a few of the many questions that are crucial to getting a grip on this intellectual virtue and why we might aspire to cultivate it. Furthermore, and apart from the nature and value of humility, it is worthwhile to consider how this notion, properly understood, might have import for other philosophical debates, including those about (for example) scepticism, assertion, epistemic individualism and anti-individualism, and the philosophy of education. This special issue brings together a range of different philosophical perspectives on these and related questions to do with intellectual humility with an aim to contributing to this important and timely topic. (shrink)

Le XI.ème Congrès International de Philosophie Médiévale de la Société Internationale pour l’Étude de la Philosophie Médiévale (S.I.E.P.M..) s’est déroulé à Porto (Portugal), du 26 au 30 août 2002, sous le thème général: Intellect et Imagination dans la Philosophie Médiévale. A partir des héritages platonicien, aristotélicien, stoïcien, ou néo-platonicien (dans leurs variantes grecques, latines, arabes, juives), la conceptualisation et la problématisation de l’imagination et de l’intellect, ou même des facultés de l’âme en général, apparaissaient comme une ouverture possible pour aborder (...) les principaux points de la pensée médiévale. Les Actes du congrès montrent que « imagination » et « intellect » sont porteurs d’une richesse philosophique extraordinaire dans l’économie de la philosophie médiévale et de la constitution de ses spécificités historiques. Dans sa signification la plus large, la théorisation de ces deux facultés de l’âme permet de dédoubler le débat en au moins six grands domaines: — la relation avec le sensible, où la fantaisie/l’imagination joue le rôle de médiation dans la perception du monde et dans la constitution de la connaissance ; — la réflexion sur l’acte de connaître et la découverte de soi en tant que sujet de pensée ; — la position dans la nature, dans le cosmos, et dans le temps de celui qui pense et qui connaît par les sens externes, internes et par l’intellect ; — la recherche d’un fondement pour la connaissance et l’action, par la possibilité du dépassement de la distante proximité du transcendant, de l’absolu, de la vérité et du bien ; — la réalisation de la félicité en tant qu’objectif ultime, de même que la découverte d’une tendance au dépassement actif ou mystique de toutes les limites naturelles et des facultés de l’âme ; — la constitution de théories de l’image, sensible ou intellectuelle, et de ses fonctions. Les 3 volumes d’Actes incluent les 16 leçons plénières et 112 communications, ainsi que les index correspondants (manuscrits ; noms anciens et médiévaux ; noms modernes ; auteurs). Le volume IV des Actes, contenant 39 communications et des index, est publié par la revue " Mediaevalia. Textos e Estudos ", du Gabinete de Filosofia Medieval de l’Universidade do Porto (volume 23, de 2004). Ouvrage publié avec l’appui de l’Universidade do Porto, de la Faculdade de Letras da U.P., du Departamento de Filosofia - F.L.U.P. et de la Fundação para a Ciência e a Tecnologia (Portugal). (shrink)

This paper is a study about Philadelphia’s comprehensive user engagement sites (CUESs) as the authors address and examine issues related to the upcoming implementation of a CUES while seeking solutions for its disputed questions and plans. Beginning with the federal drug schedules, the authors visit some of the medical and public health issues vis-à-vis safe injection facilities (SIFs). Insite, a successful Canadian SIF, has been thoroughly researched as it represents a paradigm for which a Philadelphia CUES can expand upon. Also, (...) the existing criticisms against SIFs are revisited while critically unpackaged and responded to in favor of the establishment. In the main section, the authors propose the layout and services of the upcoming CUES, much of which would be in congruent to Vancouver’s Insite. On the other hand, the CUES would be distinct from Insite, as the authors emphasize, in that it will offer an information center run by individuals in recovery and place additional emphasis on early education for young healthcare professionals by providing them a platform to work at the site. The paper will also briefly investigate the implementation of a CUES site under an ethical scope of the Harm Reduction Theory. Lastly, the authors recommend some strategic plans that the Philadelphia City government may consider employing at this crucial stage. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

In this essay, I discuss the standard objections to substance dualism and conclude that they are far less formidable than is usually supposed.

In this paper, I argue that Kant's famous critique of the Ontological Argument largely begs the question against that argument, and is no better when supplemented by the modern quantificational analysis of "exists." In particular, I argue that the claim, common to Hume and Kant, that conceptual truths can never entail substantive existential claims is false,and thus no ground for rejecting the Ontological Argument.

Descartes argues that, apart from the existence of a veracious God, we can have no reason to believe that we possess reliable cognitive faculties, with the result that, if atheism is true, not even our seemingly most certain beliefs can count as knowledge for us. Since the atheist denies the existence of God, he or she will be precisely in this position. I argue that Descartes' argument is sound, and that atheism is therefore self-refuting.

In his Beweisgrund (1762), Kant presents a sketch of "the only possible basis" for a proof of God's existence. In this essay, I attempt to present that proof as a valid and sound argument for the existence of God.