In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe, Günther Patzig und Wolfgang Wieland. Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.

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.

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)

The virtue of humility is often considered to be at odds with common business practice. In recent years, however, scholars within business ethics and leadership have shown an increasing interest in humility. Despite such attention, the argument for the relevance of humility in business could be expanded. Unlike extant research that focuses on humility as a character-building virtue or instrumentally useful leadership trait, this article argues that humility reflects the interdependent nature of business. Through such an approach, the article gives (...) an extrinsic motivation of the relevance of humility in business, and, from a theoretical point of view, links the intra-personal and intra-organizational perspective on humility to an inter-organizational one. The article contextualizes the virtue of humility by relating it to the economic, cognitive, and moral aspects of business practice and managerial work. It claims that the assumption of self-sufficiency in business is a grave misrepresentation of what business is—a practice characterized by interdependency. Potential links between virtue ethics, leadership, and contextually oriented theories of business, such as stakeholder theory, network theories, and resource dependence theory, are also identified. (shrink)

The close ties between modes of governing, subjectivities and critique in contemporary societies challenge the role of critical social research. The classical normative ethos of the unmasking researcher unravelling various oppressive structures of dominant vs. dominated groups in society is inadequate when it comes to understand de-politicizing mechanisms and the struggles they bring about. This article argues that only a non-normative position can stay attentive to the constant and complex evolution of modes of governing and the critical operations actors themselves (...) engage in. The article outlines a non-normative but critical programme based on an ethos of re-politicizing contemporary pervasive modes of governing. The analytical advantages and limitations of such a programme are demonstrated by readings of both Foucauldian studies and the works of and debates regarding the French pragmatic sociology of Boltanski and Thévenot. (shrink)

A brief overview of _A Philosophy of Cover Songs_, highlighting some of the main themes in the book. The first part addresses the nature of covers and makes some important initial distinctions. The second part addresses the appreciation and evaluation of covers. The third part addresses covers as a clue to the ontology of songs. Written to introduce a session at the American Society for Aesthetics Rocky Mountain Division meeting in Santa Fe, New Mexico (July 13, 2024).

This paper focuses on the epistemic situation one faces when using a Large Language Model based chatbot like ChatGPT: When reading the output of the chatbot, how should one decide whether or not to believe it? By surveying strategies we use with other, more familiar sources of information, I argue that chatbots present a novel challenge. This makes the question of how one could trust a chatbot especially vexing.

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)

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)

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)

With his new riddle of induction, Goodman raised a problem for enumerative induction which many have taken to show that only some ‘natural’ properties can be used for making inductive inferences. Arguably, however, (i) enumerative induction is not a method that scientists use for making inductive inferences in the first place. Moreover, it seems at first sight that (ii) Goodman’s problem does not affect the method that scientists actually use for making such inferences—namely, classical statistics. Taken together, this would indicate (...) that (iii) ‘naturalness’ is not such a relevant concept for the problem of induction, after all. I have no objections against (i) and (iii). But, contrary to (ii), I argue that classical statistics does face a version of Goodman’s problem, which I call the statistical riddle of induction. Given that his problem merely is an instance of the more general problem of underdetermination, this is hardly surprising. Perhaps more importantly, I also show how my riddle can be used for exposing a common fallacy in probabilistic reasoning, without relying on Bayesian assumptions. (shrink)

It is now commonly held that values play a role in scientific judgment, but many arguments for that conclusion are limited. First, many arguments do not show that values are, strictly speaking, indispensable. The role of values could in principle be filled by a random or arbitrary decision. Second, many arguments concern scientific theories and concepts which have obvious practical consequences, thus suggesting or at least leaving open the possibility that abstruse sciences without such a connection could be value-free. Third, (...) many arguments concern the role values play in inferring from evidence, thus taking evidence as given. This paper argues that these limitations do not hold in general. There are values involved in every scientific judgment. They cannot even conceivably be replaced by a coin toss, they arise as much for exotic as for practical sciences, and they are at issue as much for observation as for explicit inference. (shrink)

Introduction 1 P. D. Magnus and Jacob Busch 1. Form-driven vs. Content-driven Arguments for Realism 8 Juha Saatsi 2. Optimism about the Pessimistic Induction 29 Sherrilyn Roush 3. Metaphysics between the Sciences and Philosophies of Science 59 Anjan Chakravartty 4. Nominalism and Inductive Generalizations 78 Jessica Pfeifer 5. Models and Scientific Representations 94 Otávio Bueno 6. The Identical Rivals Response to Underdetermination 112 Gregory Frost-Arnold and P. D. Magnus 7. Scientific Representation and the Semiotics of Pictures 131 Laura (...) Perini 8. Philosophy of the Environmental Sciences 155 Jay Odenbaugh 9. Value Judgements and the Estimation of Uncertainty in Climate Modeling 172 Justin Biddle and Eric Winsberg 10. Feminist Standpoint Empiricism: Rethinking the Terrain in Feminist Philosophy of Science 198 Kristen Intemann 11. Naturalism and the Enlightenment Ideal: Rethinking a Central Debate in the Philosophy of Social Science 226 Daniel Steel 12. New Approaches to the Division of Cognitive Labor 250 Michael Weisberg. (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)

In recent years, much work has been done on the role of images in Hobbes. But there is an unsolved riddle with regard to the famous frontispiece of Leviathan (1651). Why is there nothing monstrous in the sovereign body depicted, despite the fact that it is named for a Biblical sea monster? In this article it is argued that there is a monster just barely hidden in the image and that the iconographical tradition helps us rediscover this creature. We argue (...) that this monstrosity serves a theoretical and political purpose pertaining to fear and imagery within Hobbes’s overall project and in the political context of his time. Moreover, we argue that the discovery of the hitherto unknown monster should make political theory and intellectual history sensitive to the role played by physical images in Hobbes as well as in political thought at large. (shrink)

Diese Ausgabe bietet erstmals den vollständigen lateinischen Text des ersten Buches des Kommentars zum Liber de causis in kritischer Edition mit deutscher Übersetzung. Sie entstand als ein Gemeinschaftswerk aller Editoren und Mitarbeiter an der in Progreß befindlichen Editio Coloniensis, der kritischen Gesamtausgabe der Alberti Magni Opera Omnia. Albertus Magnus - der Beiname "der Große" ist seit dem 14. Jahrhundert belegt, nachdem ihm schon die Zeitgenossen den Ehrentitel "doctor universalis" verliehen hatten - wird in den Annalen der Philosophiegeschichte zwar stets (...) respektvoll genannt; aber der Schatten seines großen Schülers, Thomas von Aquin, legte sich lange Zeit so sehr über sein Werk, daß die herausragende Stellung, die Albert für die Grundlegung und Ausgestaltung der Metaphysik in der Philosophie des Mittelalters einnimmt, erst neuerlich wieder in das Zentrum der Forschung gerückt ist. (shrink)

This article provides concrete examples of a phenomenological approach to empathy training, which is a pedagogical method designed for higher education. First, the phenomenology of empathy and empathy training is briefly described. Second, excerpts from training sessions in higher education are provided as examples. The examples are meant as to concretize the purpose of the training in relation to the overall pedagogical process. In addition, some clarifications are made about how a phenomenological approach can facilitate university students’ deeper understanding of (...) how empathy relate to interpersonal understanding in the we-relation. (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)

In the debate on global justice, proposals to tax natural resources in order to reduce global poverty and fund other worthwhile objectives have attracted scholarly attention and controversy. In thi...

A recording or performance of a song is a cover if there is an earlier, canonical recording of the song. It can seem intuitive to think that properly appreciating a cover requires considering it in relation to the original, or at least that doing so will yield a deeper appreciation. This intuition is supported by some philosophical accounts of covers. And it is complicated by the possibility of hearing in, whereby one hears elements of the original version in the cover. (...) We argue that it can nevertheless be just as legitimate to consider a cover version on its own as it is to consider it in relation to the earlier recording that it is covering. In some cases, these two modes of appreciation will offer distinct rewards. In other cases, one mode will be substantially more rewarding than the other. The details matter, especially in complicated cases like covers of covers, but neither mode is privileged in principle. (shrink)

Sol LeWitt is probably most famous for wall drawings. They are an extension of work he had done in sculpture and on paper, in which a simple rule specifies permutations and variations of elements. With wall drawings, the rule is given for marks to be made on a wall. We should distinguish these algorithmic works from impossible-to-implement instruction works and works realized by following preparatory sketches. Taking the core feature of a wall drawing to be that it is algorithmic, some (...) of LeWitt's later works are wall drawings in name only. (shrink)

Discussion of the “dead donor rule” is challenging because it implicates views about a wide range of issues, including whether and when patients are appropriately declared dead, the validity of the doctrine of double effect, and the moral difference between or equivalence of active euthanasia and withdrawal of life‐sustaining treatment. The DDR will be defined here as the prohibition against removal of organs necessary for the life of the patient—that is, the prohibition of intentionally ending the life of a patient (...) through organ removal. At a minimum, it is difficult not to see the DDR as grounded in a set of laws, norms, values, and practices that are firmly entrenched and have a great deal of philosophical, religious, and legal support. Obviously, the primary argument against the DDR is that it is highly desirable that we continue to procure organs for transplantation, combined with the belief that those from whom we often and possibly typically procure organs are not “really” dead. If donors are not really dead, then we are left with a dilemma: either we abandon organ procurement, or we abandon the DDR. Such a move should be taken only if the way we currently delineate the dead (those from whom it is acceptable to remove organs) cannot be maintained or defended. I will suggest that this is not the case. (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)

Species conservation activities are gaining more attention in the context of environmental degradation. This article proposes to tackle different semiotic aspects of reintroduction as one possible way of furthering species conservation. More specifically, we aim to bring forth the strength of ecosemiotic perspective when dealing with such a complex matter with many different human and non-human subjects. We concentrate on animal agency, search and function tone, semiotic fitting and changes in umwelten when analysing the reintroduction process from the perspective of (...) the animal. When considering the locals’ perspective, we take into account the appeal and cultural placement of the species, as well as human and non-human umwelt overlap when it comes to resources. As our case study we use the European mink (Mustela lutreola) and its reintroduction to the island of Hiiumaa and planned reintroduction to the island of Saaremaa in Estonia. By employing semiotic analysis, we discover that reintroduced animals need to exhibit innovation and plasticity to establish novel semiotic relations but also restore relations characteristic to the historical environments of the species. We argue that human views and expectations towards the species and (re)introduction efforts account for animals’ appearance and agency. Additionally, contrast with other wild species, the perceived overlap of human and non-human umwelten, and broader conservation discourse are decisive for the formation of interspecific relations in situ. Thus, ecosemiotcs proves to be a valuable research platform for an analysis of conservation practices that targets both, sociocultural context and animal umwelten. (shrink)

What is the purpose of a large academic meeting attended by hundreds or thousands of participants? What are the reasons, given current virtual conferencing technology, to hold such meetings in pers...

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)

In _On Empirically Equivalent Systems of the World_ from 1975, Quine formulated a thesis of underdetermination roughly to the effect that every scientific theory has an empirically equivalent but logically incompatible rival, one that cannot be discarded merely as a terminological variant of the former. For Quine, the truth of this thesis was an open question. If true, some would argue that it undermines any belief in scientific theories that is based purely on their empirical success. But despite its potential (...) significance, surprisingly little has been done by way of establishing or refuting it. My aim is to establish the thesis for as large a class of theories as possible. Under various precisifications of the concepts involved, I show that it holds for all consistent and recursively axiomatizable theories that postulate infinitely many theoretical entities. (shrink)

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.

The present study examines the work of a group of medical scientists as they identify interpretative ‘pitfalls’ – recurrent sources of error – in the use of a new radiographic technique, formulate suggestions on how these pitfalls can be avoided and communicate their findings in the form of a scientific publication. The analysis focuses on a session in which previously diagnosed cases are discussed, and demonstrates the ways in which a certain source of diagnostic error gradually emerges as a taken-for-granted (...) in the interaction. An increased sense of recognition, recurrence and typicality is discernible in the treatment of the cases. Talk characterized by expansions and elaborations, displays of understanding in the form of reformulations, understanding checks, and so on, leave room for brief typifications and reifications of interpretative difficulties in characteristics of the imaging technique. Topical treatment of perception and interpretation, as well as embodied engagement, become decreasingly salient. It is argued that the abstracted formulations in the published text rely on the case-by-case working up of generality from particularity; from individualized accounts of why ‘I’ interpreted the image in a certain way to proffered generalizations achieved through articulated perceptions of a generalized ‘one’. If these proffers are ratified, a potential ground is established for the consensual formulation of a pitfall. The formulation of novel instructions is consequently made relevant, projecting a re-instructed diagnostic practice. (shrink)

The underdetermination of theory by evidence is supposed to be a reason to rethink science. It is not. Many authors claim that underdetermination has momentous consequences for the status of scientific claims, but such claims are hidden in an umbra of obscurity and a penumbra of equivocation. So many various phenomena pass for `underdetermination' that it's tempting to think that it is no unified phenomenon at all, so I begin by providing a framework within which all these worries can be (...) seen as species of one genus: A claim of underdetermination involves (at least implicitly) a set of rival theories, a standard of responsible judgment, and a scope of circumstances in which responsible choice between the rivals is impossible. Within this framework, I show that one variety of underdetermination motivated modern scepticism and thus is a familiar problem at the heart of epistemology. I survey arguments that infer from underdetermination to some reëvaluation of science: top-down arguments infer a priori from the ubiquity of underdetermination to some conclusion about science; bottom-up arguments infer from specific instances of underdetermination, to the claim that underdetermination is widespread, and then to some conclusion about science. The top-down arguments either fail to deliver underdetermination of any great significance or (as with modern scepticism) deliver some well-worn epistemic concern. The bottom-up arguments must rely on cases. I consider several promising cases and find them to either be so specialized that they cannot underwrite conclusions about science in general or not be underdetermined at all. Neither top-down nor bottom-up arguments can motivate any deep reconsideration of science. (shrink)

Whistleblowing on organizational wrongdoing is becoming increasingly prevalent. What aspects of the person, the context, and the transgression relate to whistleblowing intentions and to actual whistleblowing on corporate wrongdoing? Which aspects relate to retaliation against whistleblowers? Can we draw conclusions about the whistleblowing process by assessing whistleblowing intentions? Meta-analytic examination of 193 correlations obtained from 26 samples (N = 18,781) reveals differences in the correlates of whistleblowing intentions and actions. Stronger relationships were found between personal, contextual, and wrongdoing characteristics and (...) whistleblowing intent than with actual whistleblowing. Retaliation might best be predicted using contextual variables. Implications for research and practice are discussed. (shrink)

Agnostic analyses of unique video material from a Mother and Baby Unit were carried out to investigate the usefulness of such analyses to the unit. The goal was to improve outcomes: the health of mothers and their babies. The method was to implement a learning machine that becomes more useful over time and over task. A feasible set-up is here described, with the purpose of producing intelligible and useful results to healthcare professionals at the unit by means of a vision (...) processing pipeline, grouped together with multi-modal capabilities of handling annotations and audio. Algorithmic bias turned out to be an obstacle that could only partly be handled by modern pipelines for automated feature analysis. The professional use of complex quantitative scoring for various mental health-related assessments further complicated the automation of laborious tasks. Activities during the MBU stay had previously been shown to decrease psychiatric symptoms across diagnostic groups. The implementation and first set of experiments on a learning machine for the unit produced the first steps toward explaining why this is so, in turn enabling decision support to staff about what to do more and what to do less of. (shrink)

Do we violate human rights when we cooperate with and impose a global institutional order that engenders extreme poverty? Thomas Pogge argues that by shaping and enforcing the social conditions that foreseeably and avoidably cause global poverty we are violating the negative duty not to cooperate in the imposition of a coercive institutional order that avoidably leaves human rights unfulfilled. This article argues that Pogge's argument fails to distinguish between harms caused by the global institutions themselves and harms caused by (...) the domestic policies of particular states and collective action problems for which collective responsibility cannot be assigned. The article also argues that his position relies on questionable factual and theoretical claims about the impact of global institutions on poverty, and about the benefits and harms of certain features of these institutions. Participation in, and benefit from, global institutions is unlikely to constitute a violation of our negative duties towards the poor. Key Words: justice • international regimes • institutions • human rights • trade. (shrink)

A critical note on Christopher Bartel and Jack M. C. Kwong, ‘Pluralism, Eliminativism, and the Definition of Art’, Estetika 58 (2021): 100–113. Art pluralism is the view that there is no single, correct account of what art is. Instead, art is understood through a plurality of art concepts and with considerations that are different for particular arts. Although avowed pluralists have retained the word ‘art’ in their discussions, it is natural to ask whether the considerations that motivate pluralism should lead (...) us to abandon art talk altogether; that is, should pluralism lead to eliminativism? This paper addresses arguments both for and against this move. We ultimately argue that pluralism allows one to retain the word ‘art’, if one wants it, but only in a loose, conversational sense. The upshot of pluralism is that talk of art in general cannot be asked to do theoretical and philosophical work. (shrink)

Based on interviews with guide dog users from Sweden, Estonia and Germany and participatory observation of the teams’ work, the article discusses three kinds of semiotic challenges encountered by the guide dog teams: perceptual, sociocultural and communicative challenges. Perceptual challenges stem from a mismatch between affordances of the urban environment and perceptual and motoric abilities of the team. Sociocultural challenges pertain to the conflicting meanings that are attributed to dogs in different social contexts and to incompatible social norms. Challenges related (...) to intrateam communication and interpretation of the other counterpart’s behavior are mostly tied to the difficulties of placing the other’s activities in the right context. Germany, Estonia and Sweden differ in their history of guide dog institutions and the organisation of guide dog work, but the challenges of the guide dog users appear to be fairly similar. However, differences appear in the stress laid on one or another type of challenge as well as in the explanations provided by the informants for the background of the challenges. The challenges, as analysed in the article, reflect not only the existing problems of guide dog users, but also their expectations for a social and physical environment, in which the teams would feel welcome. (shrink)

In statistics, there are two main paradigms: classical and Bayesian statistics. The purpose of this article is to investigate the extent to which classicists and Bayesians can agree. My conclusion is that, in certain situations, they cannot. The upshot is that, if we assume that the classicist is not allowed to have a higher degree of belief in a null hypothesis after he has rejected it than before, then he has to either have trivial or incoherent credences to begin with (...) or fail to update his credences by conditionalization. (shrink)

Descartes' place in history, by L. J. Lafleur.--A central ambiguity in Descartes, by S. Rosen.--Doubt, common sense and affirmation in Descartes and Hume, by H. J. Allen.--Some remarks on logic and the cogito, by R. N. Beck.--The cogito, an ambiguous performance, by J. B. Wilbur.--The modalities of Descartes' proofs for the existence of God, by B. Magnus.--Descartes and the phenomenological problem of the embodiment of consciousness, by J. M. Edie.--The person and his body: critique of existentialist responses to Descartes, (...) by P. A. Bertocci. (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)