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)

Focusing principally on the once-feted philosophical movement of object-oriented ontology (OOO), this article examines the ways in which this movement fits into a broader “speculative turn,” which seeks to reverse the purportedly wrongheaded emphasis of post-Kantian critical philosophy upon the finitude of the subject and to once again unleash the fecund potentialities of speculative thought. Identifying several incongruities and tensions that traverse this project, it is argued that OOO exemplifies the difficulties faced when attempting to articulate a decidedly pre-critical metaphysics.

Centred on 'Foams', the third volume of his Spheres trilogy, this article questions the privilege granted by Peter Sloterdijk to motifs of inclusion and exclusion, contending that whilst his prioritization of dwelling as a central aspect of human existence provides a promising counterpoint to the dislocative and isolative effects of post-industrial capitalism, it is compromised by its dependence upon an anti-cosmopolitan outlook that views cultural distantiation as a natural and preferable state of human affairs, and valorizes a purported ontological security (...) attained through defensive postures with respect to perceived foreigners or externalities. Sloterdijk’s conceptualization of culture as a kind of immune system, it is argued, although posited as a rebuke to models of essentialism and ethno-nationalism, provides ontological support to the xenophobic critiques of immigration that are today finding increasing currency. (shrink)

This article examines the ontology and politics of Peter Sloterdijk's Spheres trilogy, focusing in particular upon the notion of microspherical enclosure explicated in the first volume of this series. Noting Sloterdijk's unusual alignment of his philosophy with media theory, three main contentions are put forward. Firstly, that Sloterdijk's reconfiguration of Heidegger's fundamental ontology represents a largely unacknowledged renunciation of the primacy of Being-towards-death in the authentic existence of Dasein, foregrounding instead an originary co-belonging between mother and child. Secondly, that Sloterdijk (...) borrows from media theory a concern regarding the facticity of all communication, grounding philosophical discourse in the determinate locality of its origin, but does so while exalting a pre-natal communicative immediacy that would seem to disparage the everydayness of Dasein. Finally, that Sloterdijk's oft-justified scepticism regarding globalization often retreats into an anti-cosmopolitanism that, in its nostalgia for the comfort, security and immediacy of the matrixial co-belonging, evinces a covert but potentially noxious politics of exclusion. (shrink)

It is common for social theorists to utilize the metaphors of ‘flow’, ‘fluidity’, and ‘liquidity’ in order to substantiate the ways in which speed and mobility form the basis for a new kind of information or network society. Yet rarely have these concepts been sufficiently theorized in order to establish their relevance or appropriateness. This article contends that the notion of flow as utilized in social theory is profoundly metaphysical in nature, and needs to be judged as such. Beginning with (...) a discussion of the accelerating timescape that characterizes the network society, it will then move on to examine three main issues with this ‘metaphysics of flux’. First, that the concept of flows unjustly privileges the process of becoming and, as a result, is unable to account for the materiality, substantiality, and agency of the objects being mobilized, and the contingency of their mediation. Second, that it posits the accelerating tendencies of capital as an ontological inevitability, thus discounting resistance to such forces. Finally, that it ignores the human faculty for reason and speculative thought in developing alternative means of political praxis. The solution, it will be argued, is not to abandon metaphysical accounts of the network society, but rather to challenge those accounts that, in exhibiting a crude empiricism, work to justify the status quo. (shrink)

This article considers Friedrich Kittler’s deterministic media theory as both an appropriation and mutation of Michel Foucault’s archaeological method. Focusing on these two thinkers’ similar but divergent conceptions of the “death of man,” it will be argued that Kittler’s approach attempts to expunge archaeology of its last traces of Kantian transcendentalism by locating the causal agents of epistemic change within the domain of empirical experience, but in doing so, actually amplifies the anthropological vestiges that Foucault hoped to eradicate. The result (...) is an alluring but dogmatically positivist theory of mediatic causality that, in spite of its best efforts, can only reify, rather than dispel, the image of “so-called man.”. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

A considerable literature has grown up around the claim of Uniqueness, according to which evidence rationally determines belief. It is opposed to Permissivism, according to which evidence underdetermines belief. This paper highlights an overlooked third possibility, according to which there is no rational doxastic attitude. I call this 'Nihilism'. I argue that adherents of the other two positions ought to reject it but that it might, nevertheless, obtain at least sometimes.

Migrating legacy database applications to modern cloud-based solutions, such as Snowflake, is becoming essential for organizations aiming to leverage scalable, efficient, and cost-effective data solutions. Legacy databases, typically bound to on-premises infrastructure, often lack the flexibility required by contemporary data analytics and storage needs. Snowflake, a cloud-native data platform, provides a versatile environment that enables efficient data storage, sharing, and processing. This research examines a structured methodology for migrating legacy database applications to Snowflake, addressing key stages from initial assessment to (...) data transformation, integration, and performance optimization. A systematic, step-by-step migration process is implemented to minimize risks, reduce downtime, and ensure data integrity. (shrink)

This study examines how ABKS might optimize search efficiency and data security in cloud storage systems. We examine index compression, query processing improvement, and encryption optimization to decrease computational cost and preserve security. After a thorough investigation, the article shows how these methods may boost cloud storage system performance, security, and usability. Tests show that improved ABKS speeds up search searches and lowers storage costs, making it a viable cloud storage alternative. Exploring sophisticated machine learning algorithms for predictive search improvements (...) a. (shrink)

Plato’s Phaedrus, perhaps his most enigmatic and structurally convoluted dialogue, could easily be said to inaugurate a pointed critique of mass media that persists to the present day. Indeed, in certain corners of media theory, the origin myth of writing furnished in the Phaedrus (in which the Egyptian god Theuth presents writing as a gift to King Thamus) has in turn come to serve as a kind of origin myth for media theory: a primaeval pharmacopoeia of media effects. And yet, (...) this is an origin myth that can only underwrite not only its own non-originarity and non-truth, insofar as its very status as a written text ensures that it will never meet the criteria that it itself establishes for a reasoned account of things (logos). It remains perpetually orphaned, unable to defend itself, irrevocably cut off from its ‘father’, the speaking subject, and thus from the vitality of living discourse. But this paradox, I argue, is not a failing of the dialogue, but is a device intended to encourage the reader’s active involvement in the text’s status as medium. The Phaedrus is not just diagnostic, but therapeutic. (shrink)

The sample size of the study was conducted in Tiruchirappalli city with 75 respondents through Non-Probability Random Sampling Method. The tools and techniques used were simple percentage, chi-square and ANOVA. The obtained result of the study that majority of the women prefer TVS Scooty and most of the respondents prefer two wheelers due to convenient while driving and majority of the respondents have great impact on colour and model prefer the vehicle. New inventions and designs were introduced to meet the (...) requirements of the current day affaires. (shrink)

Cloud storage's scalability, accessibility, and affordability have made it essential in the digital age. Data security and privacy remain a major issue due to the large volume of sensitive data kept on cloud services. Traditional encryption is safe but slows data recovery, especially for keyword searches. Secure, fine-grained access control and quick keyword searches over encrypted data are possible using attribute-based keyword search (ABKS). This study examines how ABKS might optimize search efficiency and data security in cloud storage systems. We (...) examine index compression, query processing improvement, and encryption optimization to decrease computational cost and preserve security. (shrink)

Focusing upon the five books of his early Hermes series, this article argues that Michel Serres furnishes an accomplished, unconventional philosophical account of communication and mediation-a structuralist epistemology designed to comprehend the sciences in their complexity and plurality-that, even decades after its first publication, has significant value for media theory. Two key themes within this pentalogy are highlighted: firstly, its emphasis upon motifs of communication, transport, and circulation, attempting to grasp the scientific field in topological terms, as a kind of (...) networked encyclopaedia; and secondly, its attempt to account for the intricate relationship between the formal and the empirical in all theorization. (shrink)

Examining the concept of ‘hyper-chaos’ - a time beyond time, not of perpetual becoming, but of lawless creation and destruction, premised upon an abandonment of the principle of sufficient reason - as described in the work of French philosopher Quentin Meillassoux, this article contends that Meillassoux is unable to coherently posit the principle of unreason upon which his philosophy hinges.

In late 2014, the jazz combo Mostly Other People Do the Killing released Blue—an album that is a note-for-note remake of Miles Davis's 1959 landmark album Kind of Blue. This is a thought experiment made concrete, raising metaphysical puzzles familiar from discussion of indiscernible counterparts. It is an actual album, rather than merely a concept, and so poses the aesthetic puzzle of why one would ever actually listen to it.

With the proliferation of sophisticated cyber threats, traditional malware detection techniques are becoming inadequate to ensure robust cybersecurity. This study explores the integration of deep learning (DL) techniques into malware detection systems to enhance their accuracy, scalability, and adaptability. By leveraging convolutional neural networks (CNNs), recurrent neural networks (RNNs), and transformers, this research presents an intelligent malware detection framework capable of identifying both known and zero-day threats. The methodology involves feature extraction from static, dynamic, and hybrid malware datasets, followed by (...) training DL models to classify malicious and benign software with high precision. A robust experimental setup evaluates the framework using benchmark malware datasets, yielding a 96% detection accuracy and demonstrating resilience against adversarial attacks. Real-time analysis capabilities further improve response times, reducing the risk of potential damage. The study also incorporates visualization tools to provide interpretable insights into model decisions, enhancing transparency for cybersecurity practitioners. Concluding with a discussion on the challenges and future prospects, this research paves the way for scalable, AI-driven solutions to combat evolving cyber threats. (shrink)

Suatu pagi di musim panas, desa burung diselimuti keheningan. Semua orang sibuk mendengarkan pengembara baru. Burung pengembara ini berasal dari keluarga yang tidak jelas; bulunya berwarna-warni, gerak-geriknya lucu, dan ilmunya baru. Dia bercerita seolah-olah sedang memberi ceramah, tepat sekali, warga desa memanggilnya burung Guru – orang yang menjawab setiap pertanyaan aneh warga desa yang rajin belajar. Burung pelatuk telah belajar menangkap cacing di sore hari, sehingga mereka tidak perlu bangun pagi. Burung pipit sekarang tahu cara mencuri beras dari gudang saat (...) sawah mulai kering. Bulbul, sementara itu, telah mengambil kesempatan berkumpul untuk memamerkan kecantikan dan fashion mereka… . (shrink)

Pekakak selama ini tinggal di gua galiannya sendiri di tepi kolam, tapi sekarang dia memutuskan bahwa dia membutuhkan rumah baru. Dia melakukan tur keliling desa untuk melihat bagaimana burung-burung lain membangun rumah mereka. Dia mengunjungi Tuan Pipit, yang tinggal di pohon pinus yang bersiul. Bagian depan bangunannya tampak indah, dan lokasinya yang tinggi memberikan ventilasi yang baik. Tapi, semakin lama dia menginap, dia jadi semakin pusing. Hembusan angin apa pun yang menerpa membuat seluruh struktur bangunan bergetar seolah-olah akan hancur berantakan.

Pada musim semi, entah kenapa, tidak banyak ikan. Karena tangkapannya sangat tidak stabil, Pekakak mulai berpikir. Lalu membuat beberapa rencana. Dengan otoritas komandonya, dia memanggil Bangau: – Ini adalah musim penangkapan ikan yang sangat sulit. Jika kita ingin kenyang, kita harus membuat usaha patungan. Bangau mengangguk, menambahkan: - Saya setuju; mari kita beternak ikan kakap putih dan ikan mas krusia. Jenis ini berumur panjang dan sangat produktif. Pekakak dan Bangau sepakat untuk berbagi tugas beternak, dan tidak ada diskriminasi yang diizinkan. (...) Namun imbalannya berbeda: Pekakak bertanggung jawab untuk ikan kakap putih dan, dengan demikian, dapat memiliki lebih banyak ikan kakap putih, sedangkan Bangau mendapat ikan mas krusia. Siapapun yang memelihara ikan mana yang lebih banyak akan menikmati 80% dari panen akhir ikan tersebut. Keduanya akan mengevaluasi dan membagi produk ternak pada akhir musim beternak. Ini berarti mengantongi sendiri ikan hasil usaha patungan untuk diri sendiri itu dilarang. (shrink)

The problem considered in this chapter emerges from the tension we find when looking at the design and architecture of chatbots on the one hand and their conversational aptitude on the other. In the way that LLM chatbots are designed and built, we have good reason to suppose they don't possess second-order capacities such as intention, belief or knowledge. Yet theories of conversation make great use of second-order capacities of speakers and their audiences to explain how aspects of interaction succeed. (...) As we can all bear witness to now though, at the point of use chatbots appear capable of performing language tasks at a level close to that of humans. This creates a tension when we consider something like, for example, the classic Gricean theory of implicature. On a broad summary of this type of account, to utter p and implicate q requires the reflexive occurrence of an audience supposing a speaker believes that q, and the speaker believing that their audience can determine they believe it when they utter p. So taken at face value, if a chatbot doesn’t have the capacity for belief, then either in their role as speaker or audience, they would not seem capable of either generating or comprehending implicatures. Yet on the surface it does seem that chatbots are capable of dealing with (some) implicatures, and as such it raises questions about how we should then correlate this with what we think occurs in cases of implicature with chatbots. (shrink)

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

In this paper, I reply to 18 of the essays on panpsychism in this issue. Along the way, I sketch out what a post-Galilean science of consciousness, one in which consciousness is taken to be a fundamental feature of reality, might look like.

The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood in those terms. The values which load a (...) theory choice may be those of institutions or past actors. This means that the challenge of responsibly handling inductive risk is not merely an ethical issue, but is also social, political, and historical. (shrink)

A discussion and qualified defense of Philip Kitcher on scientific significance and ‘well-ordered science.’ (Qualified because I argue that Kitcher’s position is made unstable by his reliance on the largely unanalyzed notion of natural curiosity.).

The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (Stanford 2001, (...) p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

It seems obvious that a community of one thousand scientists working together to make discoveries and solve puzzles should arrange itself differently than would one thousand scientist-hermits working independently. Because of limited time, resources, and attention, an independent scientist can explore only some of the possible approaches to a problem. Working alone, each hermit would explore the most promising approaches. They would needlessly duplicate the work of others and would be unlikely to develop approaches which look unpromising but really have (...) tremendous potential. Contrariwise, a large community can more rigorously explore the space of possible approaches. Most scientists should work on the most promising approaches, but a smaller number can be committed to approaches that initially look less promising. Exploratory work can reveal if one of those initially unpromising approaches has unrealized potential, and more scientists can adopt it once its potential becomes more apparent. (shrink)

Given the fact that many people use Wikipedia, we should ask: Can we trust it? The empirical evidence suggests that Wikipedia articles are sometimes quite good but that they vary a great deal. As such, it is wrong to ask for a monolithic verdict on Wikipedia. Interacting with Wikipedia involves assessing where it is likely to be reliable and where not. I identify five strategies that we use to assess claims from other sources and argue that, to a greater of (...) lesser degree, Wikipedia frustrates all of them. Interacting responsibly with something like Wikipedia requires new epistemic methods and strategies. (shrink)

By embracing AI-driven HR analytics, organizations can anticipate market shifts, prepare their workforce for future challenges, and stay ahead of the competition. This study outlines the essential components of AI-driven HR analytics, demonstrates its impact on workforce agility, and concludes with potential future enhancements to further optimize HR functions. Key words: Predictive Workforce Analytics, Talent Optimization, Machine Learning in.

Tradução para o português do ensaio "Freedom and Resentment”, de P. F. Strawson. Publicado originalmente em Proceedings of the British Academy, v. 48, 1960. Republicado em Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 2-28]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da UFSC, 2015. ISBN: 9788532807250.

Tradução para o português do ensaio "Social Morality and Individual Ideal”. Publicado originalmente em Philosophy: The Journal of the Royal Institute of Philosophy, vol. XXXVI, n. 136, p. 1-17, Jan. 1961. Republicado em: STRAWSON, P. F. Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 26-44]. ]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da (...) UFSC, 2015. ISBN: 9788532807250. (shrink)

The Genetic Ranking Optimization Algorithm (GROA) is used to rank phishing content based on multiple features by optimizing the ranking system through iterative selection and weighting. Dynamic weighting further enhances the process by adjusting the weights of features based on their importance in real-time. This hybrid approach enables the model to learn from the data, improving classification over time.

There is a history of thinking that photographs provide a special kind of access to the objects depicted in them, beyond the access that would be provided by a painting or drawing. What is included in the photograph does not depend on the photographer’s beliefs about what is in front of the camera. This feature leads Kendall Walton to argue that photographs literally allow us to see the objects which appear in them. Current generative algorithms produce images in response to (...) users’ text prompts. Depending on the parameters, the output can resemble specific people or things which are named in the prompt. This resemblance does not depend on the user’s beliefs, so generated images are in this sense like photographs. Given this parallel, how should we think about AI-generated images? (shrink)

I argue that Kripke’s construal of the distinction between speaker’s reference and semantic reference, in ‘Speaker’s reference and semantic reference’ (Kripke in Midwest Stud Philos 2:255–276, 1977), in conjunction with an intuitive view of the nature of conventions, implies a theory of semantic reference that is distinct from his causal theory. On this theory, semantic reference is conventionalized speaker’s reference. The argument concerning Kripke has two general implications. First, any theory that features a notion of speaker’s reference will have great (...) difficulty in avoiding the view that semantic reference is conventionalized speaker’s reference. Second, theories that deny that there is a viable notion of speaker’s reference, and thereby deny that semantic reference is conventionalized speaker’s reference, will face an uphill battle in meeting certain general constraints originating in the theory of conventions. (shrink)

Some philosophers understand natural kinds to be the categories which are constraints on enquiry. In order to elaborate the metaphysics appropriate to such an account, I consider the complicated history of scurvy, citrus, and vitamin C. It may be tempting to understand these categories in a shallow way (as mere property clusters) or in a deep way (as fundamental properties). Neither approach is adequate, and the case instead calls for middle-range ontology: starting from categories which we identify in the world (...) and elaborating their structure, but not pretending to jump ahead to a complete story about fundamental being. (shrink)

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to deductive conclusions without any need for other representations.

The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and to provide a common framework for the model organism communities (...) to classify developmental structures. Definitions for the types and relationships are being generated by a consortium of investigators from diverse backgrounds to ensure applicability to all organisms. CARO will support the coordination of cross-species ontologies at all levels of anatomical granularity by cross-referencing types within the cell type ontology (CL) and the Gene Ontology (GO) Cellular Component ontology. A complete cross-species CARO could be utilized in other ontologies for cross-product generation. (shrink)

The Homeostatic Property Cluster (HPC) account of natural kinds has become popular since it was proposed by Richard Boyd in the late 1980s. Although it is often taken as a defining natural kinds as such, it is easy enough to see that something's being a natural kind is neither necessary nor sufficient for its being an HPC. This paper argues that it is better not to understand HPCs as defining what it is to be a natural kind but instead as (...) providing the ontological realization of (some) natural kinds. (shrink)

The accepted narrative treats John Stuart Mill’s Kinds as the historical prototype for our natural kinds, but Mill actually employs two separate notions: Kinds and natural groups. Considering these, along with the accounts of Mill’s nineteenth-century interlocutors, forces us to recognize two distinct questions. First, what marks a natural kind as worthy of inclusion in taxonomy? Second, what exists in the world that makes a category meet that criterion? Mill’s two notions offer separate answers to the two questions: natural groups (...) for taxonomy and Kinds for ontology. This distinction is ignored in many contemporary debates about natural kinds and is obscured by the standard narrative that treats our natural kinds just as a development of Mill’s Kinds. (shrink)

Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...) have generally been rather illogically said also to deny an affirmative answer to the first part of the question. In a paper presented at the International Symposium in Memory of Dr William Amo, the Ghanaian philosopher who taught in German universities in the early part of the eighteenth century, Professor Odera Oruka identified four trends, perhaps more appropriately approaches, in current African philosophy. (shrink)

That every expression of language that is {true on the basis of its meaning expressed using language} must have a connection by truth preserving operations to its {meaning expressed using language} is a tautology. The accurate model of the actual world is expressed using formal language and formalized natural language.

This is a conversation that I had with ChatGTP about the essence of this paper [Simulating Termination Analyzer H is Not Fooled by Pathological Input D] that is contained on its first page. It so totally understands this essence that ChatGPT can now effectively refute any rebuttals. -/- After the initial partial page of text shown below everything else that I said challenged the depth of its understanding with common rebuttals of my work. The link to the conversation is provided (...) at the end. Currently people can click on the link without logging in and challenge ChatGPT with rebuttals of my work. (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Names like ‘Neptune’ and ‘Vulcan’ have lead some Millians to countenance a class of descriptive names. This is so, as, first, the closeness of the association between a descriptive name and its associated descriptive condition seems to show that the link between the name and the description must be semantic, and, second, as Millianism implies that names without bearers make no direct contribution to the propositions expressed by the sentences in which such names occur. In this paper we use the (...) notion of an object-dependent convention to offer a novel motivation for Millianism. We then show that our way of motivating Millianism implies that the above two reasons for treating names like ‘Neptune’ and ‘Vulcan’ as descriptive have little force. (shrink)

P. F. Strawson; II*—Scruton and Wright on Anti-Realism Etc., Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 15–22, https://doi.

Tradução para o português do livro "Ceticismo e naturalismo: algumas variedades", Strawson, P. F. . São Leopoldo, RS: Editora da Unisinos, 2008, 114 p. Coleção: Ideias. ISBN: 9788574313214. Capítulo 1 - Ceticismo, naturalismo e argumentos transcendentais 1. Notas introdutórias; 2. Ceticismo tradicional; 3. Hume: Razão e Natureza; 4. Hume e Wittgenstein; 5. “Apenas relacionar”: O papel dos argumentos transcendentais; 6. Três citações; 7. Historicismo: e o passado.