In this article, the concept of system of symbolic 2-plithogenic linear equations and its solutions are introduced and studied. The Cramer's rule was applied to solve the system of symbolic 2-plithogenic linear equations. Also, provided enough examples for each case to enhance understanding.

A ring is said to be clean if every element of the ring can be written as a sum of an idempotent element and a unit element of the ring and a ring is said to be nil-clean if every element of the ring can be written as a sum of an idempotent element and a nilpotent element of the ring. In this paper, we generalize these arguments to symbolic 2-plithogenic structure. We introduce the structure of clean and nil-clean symbolic (...) 2-plithogenic rings and some of its elementary properties are presented. Also, we have found the equivalence between classical clean(nil-clean) ring R and the corresponding symbolic 2-plithogenic ring 2-SPR. (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.

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.

Although some authors hold that natural kinds are necessarily relative to disciplinary domains, many authors presume that natural kinds must be absolute, categorical features of the reality —often assuming that without even mentioning the alternative. Recognizing both possibilities, one may ask whether the difference especially matters. I argue that it does. Looking at recent arguments about natural kind realism, I argue that we can best make sense of the realism question by thinking of natural kindness as a relation that holds (...) between a category and a domain. (shrink)

This discussion note addresses Caleb Hazelwood’s ‘Practice-Centered Pluralism and a Disjunctive Theory of Art’. Hazelwood advances a disjunctive definition of art on the basis of an analogy with species concept pluralism in the philosophy of biology. We recognize the analogy between species and art, we applaud attention to practice, and we are bullish on pluralism—but it is a mistake to take these as the basis for a disjunctive definition.

Cover songs are a familiar feature of contemporary popular music. Musicians describe their own performances as covers, and audiences use the category to organize their listening and appreciation. However, until now philosophers have not had much to say about them. This book explores how to think about covers, appreciating covers, and the metaphysics of covers and songs. Along the way, it explores a range of issues raised by covers, from the question of what precisely constitutes a cover, to the history (...) and taxonomy of the category, the various relationships that hold between songs, performances, and tracks, and the appreciation and evaluation of covers. (shrink)

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)

A woman and a man desire to come together stirred by the primal fire of Kama and the man deposits his egg in the womb of the woman. This egg develops into a human undergoing nine or ten months of evolution. This process is the microscopic replication of the method evolved by God to create the universe. Rigveda (10.121) mentions Hiranyagarbha, the Golden Egg as the source of the creation of the universe. It is said that God, wishing to create (...) the world, produced an egg as big as the cosmos. God meditated for a thousand years sitting inside the egg and when the egg burst, the Lord himself was born out of the egg as the Progenitor of the universe (“He made Himself by Himself.”, Taitiriya Upanishad: 2.7.1). The Rishis called the Egg Brahmanda (the Cosmic Egg), and the Progenitor Manu. Scientists have discovered that the universe has an oval shape. Like the nine months of the evolution of the human egg, the Cosmic Egg also undergoes nine stages of evolution before it gets dissolved during what we call ‘Maha Pralaya’. The Puranas mention that Brahmanda has 14 biospheres, seven nether and seven upper inhabited by different types of souls. If we count from the human world, there are ten dimensions of consciousness. Rishis called these astral biospheres Mandalas/Lokas with different wavelengths and colours. Sri Karunakara Guru referred to them as Avasthas, or spiritual stages. The Buddhists and Hindu esoteric sects such as the Theosophical Society explain these levels of the Absolute in terms of Physical plane, Astral plane, Mental plane, Buddhic plane, Atmic plane, Anupadaka plane, Adi plane and Shiv and Shakti. These Avasthas are related to the expanding consciousness reaching up to the core of the Cosmic Egg, the Paramatma. Like a spider which creates a web around it sitting in the centre, and withdraws it in the end, Paramatma creates and withdraws webbed multi-dimensional universes. Nobody can say when it started and when it will end as it is a beginningless and endless process. (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)

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)

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)

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.

How should we respond to the humanity of others? Should we care for others’ well-being? Respect them as autonomous agents? Largely neglected is an answer we can find in the religious traditions of Judaism, Christianity and Buddhism: we should love all. This paper argues that an ideal of love for all can be understood apart from its more typical religious contexts and moreover provides a unified and illuminating account of the the nature and grounds of morality. I defend a novel (...) account of love for all that avoids serious worries about the incoherence or impossibility of loving everyone. Doing so requires countenancing a neglected form of love. Love admits as its object not just individual entities like people and groups; we can also bear a love for the Fs in general---for all the Joneses, all the philosophers, or even all the human beings. I go on to argue that while it is possible for ordinary agents like us to love all, we shouldn't. Instead, we should approximate love for all. The minimal approximation of love for all is, surprisingly, respect; I derive the basic, structural features of deontological ethics (including anti-paternalism and anti-aggregation) from the ideal of loving all. (NB: This paper used to be titled "Ethics in the Shadow of Love" and has been cited as an unpublished manuscript under that title.). (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)

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.

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)

This is the first in a series of papers developing a theory of quantum gravity that is consistent with the PF interpretation of quantum mechanics. "Key Features: Reconciles quantum theory, general relativity, and the PF interpretation in a common framework...".

General Introduction: In [1] a Calculus of Qualia (CQ) was proposed. The key idea is that, for example, blackness is radically different than █. The former term, “blackness” refers to or is about a quale, whereas the latter term, “█” instantiates a quale in the reader’s mind and is non-referential; it does not even refer to itself. The meaning and behavior of these terms is radically different. All of philosophy, from Plato through Descartes through Chalmers, including hieroglyphics and emojis, used (...) referential terms up until CQ. This paper in this series of papers addresses the question of why is there something rather than nothing, at length, and gives a radical new answer. It has to do with the fact in CQ that, while blackness is contingently possible, █ is necessarily actual, as it was in this sentence. (shrink)

Morphological and morphometric study of umbilical cord of 50 newborn babies were carried out during January to December 1998 at Bangabandhu Sheikh Mujib Medical University, Dhaka to expand the knowledge of gross anatomy of the umbilical cord of Bangladesh. The length of the cords irrespective of sex was ranged from 28 to 93 cm with a mean (±SD) of 55.6 (±10.78).The length of the umbilical cord of male was significantly longer than female (P<0.001). The diameter of the cord irrespective of (...) sex varied from 1 to 1.9 cm with a mean (±SD) of 1.45 +0.31 cm. The mean circumference length percentage ratio index of umbilical cord was 8.31. Thirty-three (66%) cords were inserted eccentrically, all being paracentral in position. The rest were inserted centrally. False knots were more frequent (47; 94%). Only one (2%) showed a true knot in addition of false knot. In 2(4%) cases cord had not any true or false knot. It is concluded that the gross morphological and morphometrical features of the umbilical cord in Bangladesh appear to be similar to those described in western literature. -/- . (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.

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. 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. (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)

According to the most important objection to the existence of moral beauty, true judgements of moral beauty are not possible as moral judgements require being motivated to act in line with the moral judgement made, and judgements of beauty require not being motivated to act in any way. Here, I clarify the argument underlying the objection, and show that it does not show that moral beauty does not exist. I present two responses: namely, that the beauty of moral beauty does (...) not lie in the moral goodness per se (the “adjacent properties” response); and that only a dispositional motivation to act is required for the moral judgements that are typically made as part of judgements of moral beauty, whereas aesthetic judgements only rule out state motivations to act (the “equivocation of motivation required” response). In addressing the objection, I show how moral beauty is consistent with disinterestedness, and so should be accepted more widely; and also clarify where the beauty in moral beauty resides, and how the moral-aesthetic distinction should be drawn. (shrink)

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)

Presentist Fragmentalism is a novel interpretation of quantum mechanics. This paper develops the resulting theory of Quantum Gravity.

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)

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.

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)

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)

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.

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.

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)

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 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)

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)

Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls short, and (...) so it might figure in the most coherent account of scientific practice. However, this best account will be antirealist in some respects and about some theories. It will not be a sweeping antirealism about all or most of science. (shrink)

Homeostatic property clusters (HPCs) are offered as a way of understanding natural kinds, especially biological species. I review the HPC approach and then discuss an objection by Ereshefsky and Matthen, to the effect that an HPC qua cluster seems ill-fitted as a description of a polymorphic species. The standard response by champions of the HPC approach is to say that all members of a polymorphic species have things in common, namely dispositions or conditional properties. I argue that this response fails. (...) Instances of an HPC kind need not all be similar in their exhibited properties. Instead, HPCs should instead be understood as unified by the underlying causal mechanism that maintains them. The causal mechanism can both produce and explain some systematic differences between a kind’s members. An HPC kind is best understood not as a single cluster of properties maintained in stasis by causal forces, but as a complex of related property clusters kept in relation by an underlying causal process. This approach requires recognizing that taxonomic systems serve both explanatory and inductive purposes. (shrink)

We are political creatures, and we all need others who care about the development of our character and who offer guidance and advice; “if this were not so, we there would be no need for an instructor” (N. Ethics, 1003b12-3). We imitate those who have already successfully developed courage or moderation, acting as if we were brave or moderate, struggling at first, but slowly training ourselves...but, if “acting-as-if” and imitation are the keys to developing virtue, then surely the Poetics will (...) provide a clue to Bk. II of the Ethics, and in a way that may add to our understanding of how ethics and aesthetics are connected. (shrink)

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)

Christy Mag Uidhir has recently argued (a) that there is no in principle aesthetic difference between a live performance and a recording of that performance, and (b) that the proper aesthetic object is a type which is instantiated by the performance and potentially repeatable when recordings are played back. This paper considers several objections to (a) and finds them lacking. I then consider improvised music, a subject that Mag Uidhir explicitly brackets in his discussion. Improvisation reveals problems with (b), because (...) the performance-event and the performance-type are distinct but equally proper aesthetic objects. (shrink)

Most philosophers who study moral responsibility have done so in isolation of the concept of truth. Here, I show that thinking about the nature of truth has profound consequences for discussions of moral responsibility. In particular, by focusing on the very trivial nature of truth—that truth depends on the world and not the other way around—we can see that widely accepted counterexamples to one of the most influential incompatibilist arguments can be shown not only to be false, but also impossible.

There are two senses of ‘what scientists know’: An individual sense (the separate opinions of individual scientists) and a collective sense (the state of the discipline). The latter is what matters for policy and planning, but it is not something that can be directly observed or reported. A function can be defined to map individual judgments onto an aggregate judgment. I argue that such a function cannot effectively capture community opinion, especially in cases that matter to us.

Being able to ask others to do things, and thereby giving them reasons to do those things, is a prominent feature of our interpersonal lives. In this paper, I discuss the distinctive normative status of requests – what makes them different from commands and demands. I argue for a theory of this normative phenomenon which explains the sense in which the reasons presented in requests are a matter of discretion. This discretionary quality, I argue, is something that other theories cannot (...) accommodate, though it is a significant aspect of the relations that people stand in to one another, and the kinds of practical reasons that flow from those relations. (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)

A simulating halt decider correctly predicts whether or not its correctly simulated input can possibly reach its own final state and halt. It does this by correctly recognizing several non-halting behavior patterns in a finite number of steps of correct simulation. Inputs that do terminate are simply simulated until they complete.

Some philosophers think that there is a gap between is and ought which necessarily makes normative enquiry a different kind of thing than empirical science. This position gains support from our ability to explicate our inferential practices in a way that makes it impermissible to move from descriptive premises to a normative conclusion. But we can also explicate them in a way that allows such moves. So there is no categorical answer as to whether there is or is not a (...) gap. The question of an is-ought gap is a practical and strategic matter rather than a logical one, and it may properly be answered in different ways for different questions or at different times. (shrink)

I've previously suggested that the historical evidence used to challenge scientific realism should lead us to embrace what I call Uniformitarianism, but many recently influential forms of scientific realism seem happy to share this commitment. I trace a number of further points of common ground that collectively constitute an appealing Middle Path between classical forms of realism and instrumentalism, and I suggest that many contemporary realists and instrumentalists have already become fellow travelers on this Middle Path without recognizing how far (...) they have thereby diverged from those who share their labels and slogans. I conclude by describing their central remaining disagreement and the sorts of evidence needed to resolve it. (shrink)