How does material culture matter for institutions? Material objects are increasingly prominent in sociological research, but current studies offer limited insight for how material objects matter to institutional processes. We build on sociological insights to theorize aesthetic style, a shared pattern of material object presence and usage among a cluster of organizations in an institutional field. We use formal relational methods and a survey of material objects from religious congregations to uncover the aesthetic styles that are part of the “logics (...) of god” in the United States’ Christian religious field. We argue aesthetic styles help structure an institutional field by spanning objects’ meanings across space and time, stabilizing objects’ authority, and demarcating symbolic boundaries. Our research provides a conceptual tool for understanding how objects bridge the material and symbolic dimensions of institutions and a methodological example for examining the meaning of objects across numerous organizations in an institutional field. (shrink)

In this book Daniel Wegner offers a novel understanding of the relation of consciousness, the will, and our intentional and voluntary actions. Wegner claims that our experience and common sense view according to which we can influence our behavior roughly the way we experience that we do it is an illusion.

Our ability to locate moral responsibility is often thought to be a necessary condition for conducting morally permissible medical practice, engaging in a just war, and other high-stakes endeavors. Yet, with increasing reliance upon artificially intelligent systems, we may be facing a wideningresponsibility gap, which, some argue, cannot be bridged by traditional concepts of responsibility. How then, if at all, can we make use of crucial emerging technologies? According to Colin Allen and Wendell Wallach, the advent of so-called ‘artificial moral (...) agents’ (AMAs) is inevitable. Still, this notion may seem to push back the problem, leaving those who have an interest in developing autonomous technology with a dilemma. We may need to scale-back our efforts at deploying AMAs (or at least maintain human oversight); otherwise, we must rapidly and drastically update our moral and legal norms in a way that ensures responsibility for potentially avoidable harms. This paper invokes contemporary accounts of responsibility in order to show how artificially intelligent systems might be held responsible. Although many theorists are concerned enough to develop artificial conceptions ofagencyor to exploit our present inability to regulate valuable innovations, the proposal here highlights the importance of—and outlines a plausible foundation for—a workable notion ofartificial moral responsibility. (shrink)

The potential to collect brain data more directly, with higher resolution, and in greater amounts has heightened worries about mental and brain privacy. In order to manage the risks to individuals posed by these privacy challenges, some have suggested codifying new privacy rights, including a right to “mental privacy.” In this paper, we consider these arguments and conclude that while neurotechnologies do raise significant privacy concerns, such concerns are—at least for now—no different from those raised by other well-understood data collection (...) technologies, such as gene sequencing tools and online surveillance. To better understand the privacy stakes of brain data, we suggest the use of a conceptual framework from information ethics, Helen Nissenbaum’s “contextual integrity” theory. To illustrate the importance of context, we examine neurotechnologies and the information flows they produce in three familiar contexts—healthcare and medical research, criminal justice, and consumer marketing. We argue that by emphasizing what is distinct about brain privacy issues, rather than what they share with other data privacy concerns, risks weakening broader efforts to enact more robust privacy law and policy. (shrink)

This book develops an Aristotelian account of the virtue of practical intelligence or "phronesis"--an excellence of deliberating and making choices--which ...

Supporters of open borders sometimes argue that the state has no pro tanto right to restrict immigration, because such a right would also entail a right to exclude existing citizens for whatever reasons justify excluding immigrants. These arguments can be defeated by suggesting that people have a right to stay put. I present a new form of the exclusion argument against closed borders which escapes this “right to stay put” reply. I do this by describing a kind of exclusion that (...) has not been discussed in depth, which I call “territorial exclusion.” Territorial exclusion is the process according to which the group that wishes to exclude current citizens secedes from the territory in which those citizens reside. I argue that the wrongness of territorial exclusion explains why there is no pro tanto right for a state to exclude immigrants, because otherwise there would be a pro tanto right for the state to kick people out by seceding from the territory they inhabit. Because kicking people out like this is typically wrong, borders cannot be closed. (shrink)

I defend the cosmopolitan instrumentalist theory of secession, according to which a group has a right to secede only if this would promote cosmopolitan justice. I argue that the theory is preferable to other theories of secession because it is an entailment of cosmopolitanism, which is independently attractive, and because, unlike other theories of secession, it allows us to give the answers we want to give in cases like secession of the rich or secession that would make things worse for (...) minorities. I defend the view against the objections that it allows for colonialism and annexation, that it is not a distinct theory, and that it is impractical. (shrink)

This chapter introduces readers to the view that praise is a form of address, or is communicative in the sense of seeking uptake from its target. The proposal that praise is communicative will seem counterintuitive if we take blame to be our paradigm of what it is for a responsibility-response to be communicative. This is because blame is communicative in a manner that intuitively presupposes some normative failure; it involves calling its target to account (or answer) for some wrongdoing. But, (...) the ‘rightdoer’ already properly regarded the relevant reasons in acting praiseworthily. So, there is nothing for which the praiseworthy agent must similarly account or answer for. How then could praise be communicative in sense of seeking uptake from its target? This chapter develops the view that praise is communicative in that it invites the praiseworthy agent to accept credit by co-valuing their action in the evaluative terms supplied by the praiser. This proposal is defended against three objections, namely that it is descriptively inadequate regarding our actual practices, that it is morally mistaken about when we owe others a response, and that it implies redundant communication. (shrink)

This paper argues that praise is governed by a norm of standing, namely the evaluative commitment condition. Even when the target of praise is praiseworthy and known to be so by the praiser, praise can be inappropriate owing to the praiser’s lacking the relevant evaluative commitment. I propose that uncommitted praisers lack the standing to praise in that, owing to their lack of commitment to the relevant value, they have not earned the right to host the co-valuing that is the (...) communicative aim of praise. (shrink)

In this volume of newly commissioned essays, leading moral philosophers offer a comprehensive overview of virtue ethics.

This Handbook maps a central terrain of philosophy, and provides the definitive guide to it. An illustrious team of philosophers explore the concept of a reason to do or believe something, in order to determine what these reasons are and how they work. And they investigate the nature of 'normative' claims about what we ought to do or believe.

Wittgenstein famously remarks that ‘the meaning of a word is its use’ (PI §43). Whether or not one views this as gesturing at a ‘theory’ of meaning, or instead as aiming primarily at dissuading us from certain misconceptions of language that are a source of puzzlement, it is clear that Wittgenstein held that for certain purposes the meaning of an expression could profitably be characterised as its use. Throughout his later writings, however, Wittgenstein’s appeal to the notion of use pulls (...) in two directions. In several places, Wittgenstein seems to connect the notion of an expression’s meaning with that of use in the sense of usage or practice. More specifically, he suggests that for an expression to possess meaning is for there to be a practice of employing it according to certain rules. ‘That’, he tells us, ‘is why there exists a correspondence between the concepts “rule” and “meaning”’ (OC §62; cf. PG 68; PO 51; RFM VI §28; VW 103). Indeed, Wittgenstein goes so far as to say, ‘The rule-governed nature of our languages permeates our life’ (RC §303). Call the view that the meaning of an expression is determined by a general principle governing its use, rulism. (shrink)

Majority rule is often regarded as an important democratic principle. But modern democracies divide voters into districts. So if the majority should rule, which majority should rule? Should it be the popular majority, or an electoral majority (i.e., either the majority of voters in the majority of districts, or the majority of voters in districts that contain the majority of the population)? I argue that majority rule requires rule by the popular majority. This view is not novel and may seem (...) obvious. But it is rarely defended, and often rejected. I defend it by arguing that this view about which majority should rule is best supported by the arguments for why the majority should rule, and best avoids the arbitrary and perverse verdicts of rule by electoral majorities. I close by considering the significant practical implications of the view. The Electoral College is often criticized on the basis that the winner of the popular vote doesn’t always win the election. But all district-based democracies have this feature, so all district-based democracies must be reformed if they are to satisfy the principle of majority rule. (shrink)

1. Happiness, then and now -- Happiness, eudaimonia, and practical reasoning -- Happiness as eudaimonia -- Happiness and virtuous activity -- New directions from old debates -- 2. Happiness then: the sufficiency debate -- Aristotle's case against the sufficiency thesis -- 3. Happiness now: rethinking the self -- Socrates' case for the sufficiency thesis -- Epictetus and the stoic self -- The Stoics' case for the sufficiency thesis -- The embodied conception of the self -- The embodied conception and psychological (...) well-being -- The Stoics' case against the embodied conception. (shrink)

I argue that the phenomenon underlying Bernard Williams’ (1976) “agent-regret” is considerably broader than appreciated by Williams and others. Agent-regret— an anguished response that agents have for harms they have caused, even if faultlessly— I maintain, is a species of a more general response to harms that need not be one’s fault, but which nonetheless impact one’s practical identity in a special way. This broader genus includes as a species what I call “relation-regret”, a pained response to harm caused by (...) a person to whom one is intimately related, as a co-member of a group partly constitutive of one’s practical identity (e.g. one’s family). After providing an account of the moral psychology of relation-regret, I attend to its normative significance, proposing in particular that acceptance of relation-regret provides us with reasons for accepting a novel form of moral luck, namely associative luck: the luck of being vulnerable to responsibility-responses in virtue of one’s attachments to others, despite one’s personal faultlessness. (shrink)

As a strategy for exploring the relationship between understanding and knowledge, we consider whether epistemic luck – which is typically thought to undermine knowledge – undermines understanding. Questions about the etiology of understanding have also been at the heart of recent theoretical debates within epistemology. Kvanvig (2003) put forward the argument that there could be lucky understanding and produced an example that he deemed persuasive. Grimm (2006) responded with a case that, he argued, demonstrated that there could not be lucky (...) understanding. In this paper, we empirically examine how participants' patterns of understanding attributions line up with the predictions of Kvanvig and Grimm. We argue that the data challenge Kvanvig's position. People do not differentiate between knowing-why and understanding-why on the basis of proper etiology: attributions of knowledge and understanding involve comparable (and minimal) roles for epistemic luck. We thus posit that folk knowledge and understanding are etiologically symmetrical. (shrink)

According to an influential recent view, S is propositionally justified in believing p iff S is in no position to know that S is in no position to know p. I argue that this view faces compelling counterexamples.

I argue that there is a tension between two of the most distinctive theses of Sven Rosenkranz’s Justification as Ignorance: the central thesis concerning justification, according to which an agent has propositional justification to believe p iff they are in no position to know that they are in no position to know p and the desire to avoid logical omniscience by imposing only “realistic” idealizations on epistemic agents.

This chapter sets out an optimistic view of philosophical progress. The key idea is that the historical record speaks in favor of there being progress at least if we are clear about what philosophical problems are, and what it takes to solve them. I end by asking why so many people tend toward a pessimistic view of philosophical progress.

Ludwig Wittgenstein's notoriously elusive later writings are dominated by remarks on language. However, while the textual analysis of Wittgenstein's writings is presently a booming industry, the tendency is to focus narrowly on exegetical matters with little attention to their bearing on philosophy at large. Moreover, one finds in contemporary philosophy of language various ideas with a distinctively Wittgensteinian ring to them but whose pedigree is uncertain. This volume brings together distinguished Wittgenstein scholars and renowned philosophers of language in order to (...) examine just what Wittgenstein has to say about language and to assess its significance for current philosophy. The topics discussed include the connection between the meaning of a word and its use, the bearing the context of utterance has on how words are to be understood, the role of rules in the employment of language and whether Wittgenstein's reflections on these issues encourage sceptical or relativist thoughts."--BOOK JACKET. (shrink)

Having concepts is a distinctive sort of cognitive capacity. One thing that conceptual thought requires is obeying the Generality Constraint: concepts ought to be freely recombinable with other concepts to form novel thoughts, independent of what they are concepts of. Having concepts, then, constrains cognitive architecture in interesting ways. In recent years, spurred on by the rise of evolutionary psychology, massively modular models of the mind have gained prominence. I argue that these architectures are incapable of satisfying the Generality Constraint, (...) and hence incapable of underpinning conceptual thought. I develop this argument with respect to two well-articulated proposals, due to Dan Sperber and Peter Carruthers. Neither proposal gives us a satisfactory explanation of Generality within the confines of a genuinely modular architecture. Massively modular minds may display considerable behavioral and cognitive flexibility, but not humanlike conceptualized thought. (shrink)

The first half of the paper consists of a philosophical reflection upon a historical exchange. I discuss Buber’s famous letter, and another letter by J. L. Magnes, to Mahatma Gandhi, both challenging the universality of the principle of ahiṃsā. I also touch on Buber’s interest and acquaintance with Indian philosophy, as an instance of dialogue de-facto across cultures. Gandhi never answered these letters, but his grandson and philosopher extraordinaire Ramchandra Gandhi ›answers‹ Buber, not on the letter but about the ideal (...) of dialogue at large, and the interconnection of dialogue and ahiṃsā. The second half of the paper focuses on the work of Daya Krishna, another ›philosopher of dialogue.‹ from within Daya Krishna’s vast philosophical corpus, I underscore one of his last projects, in which he sketches the outlines of what he refers to as »knowledge without certainty,« contrary to common and traditional ways of perceiving the concept of knowledge. I argue that the pramāṇa, means and measure of knowledge, in the intriguing case of »knowledge without certainty,« depicted by Daya Krishna as open-ended, dynamic, constantly evolving, is inevitably dialogue, and I aim to disclose the meaning and salience of dialogue in Daya Krishna’s oeuvre. However, not just the content, but also the form, or the ›how,‹ matters in my paper. I use different materials across genres and disciplines to rethink, in dialogue with Buber and Daya Krishna, the possibilities and impossibilities of dialogue. These ›materials‹ include Milan Kundera and Richard Rorty, Krishna and Arjuna, Vrinda Dalmiya who works with the notion of care as bridging between epistemology and ethics, Wes Anderson on seeing through the eyes of the other, and Ben Okri on hospitality in the realm of ideas. As author of the present paper I am moderating an imagined a multi-vocal dialogue between these ›participants‹ on dialogue as concept, as craft and especially, as a great necessity in the world in which we live. (shrink)

In this paper we compare two theories about the cognitive architecture underlying morality. One theory, proposed by Sripada and Stich (forthcoming), posits an interlocking set of innate mechanisms that internalize moral norms from the surrounding community and generate intrinsic motivation to comply with these norms and to punish violators. The other theory, which we call the M/C model was suggested by the widely discussed and influential work of Elliott Turiel, Larry Nucci and others on the “moral/conventional task”. This theory posits (...) two distinct mental domains, the moral and the conventional, each of which gives rise to a characteristic suite of judgments about rules in that domain and about transgressions of those rules. We give an overview of both theories and of the data each was designed to explain. We go on to consider a growing body of evidence that suggests the M/C model is mistaken. That same evidence, however, is consistent with the Sripada and Stich theory. Thus, we conclude that the M/C model does not pose a serious challenge for the Sripada and Stich theory. (shrink)

Daniel Whistler argues that Hemsterhuis' philosophy matters and that its exclusion from the canon of modern philosophy has been unjust. This is not just because of its influence on later thinkers, but is primarily because Hemsterhuis' philosophy contains a rich assemblage of ideas and philosophical practices.

Plato's dialogues frequently criticize traditional Greek myth, yet Plato also integrates myth with his writing. Daniel S. Werner confronts this paradox through an in-depth analysis of the Phaedrus, Plato's most mythical dialogue. Werner argues that the myths of the Phaedrus serve several complex functions: they bring nonphilosophers into the philosophical life; they offer a starting point for philosophical inquiry; they unify the dialogue as a literary and dramatic whole; they draw attention to the limits of language and the limits (...) of knowledge; and they allow Plato to co-opt cultural authority as a way of defining and legitimating the practice of philosophy. Platonic myth, as a species of traditional tale, is thus both distinct from philosophical dialectic and similar to it. Ultimately, the most powerful effect of Platonic myth is the way in which it leads readers to participate in Plato's dialogues and to engage in a process of self-examination. (shrink)

Deleuze argued that a fundamental mutation in the concept of time occurred in Kant. In antiquity, the concept of time was subordinated to the concept of movement: time was a ‘measure’ of movement. In Kant, this relation is inverted: time is no longer subordinated to movement but assumes an autonomy of its own: time becomes "the pure and empty form" of everything that moves and changes. What is essential in the theory of time is not the distinction between objective ‘clock (...) time’ (or physical time) and the subjective experience of ‘time consciousness,’ since both of them measure movements, whether the movement of extensive objects or intensive states. What is fundamental is rather the relation between time and movement, since time can only assume its own concept when it ceases to be subordinate to movement, whether that movement is objective or subjective. This article examines how Kant inverted the relation between time and movement, and how Deleuze’s own theory of time builds on Kant’s revolution and extends it further. (shrink)

The most forceful philosophical objections to belief in God arise from the existence of evil. Bad things happen in the world and it is not clear how this is compatible with the existence of an all-powerful and perfectly loving being. Unsurprisingly then, philosophers have formulated powerful arguments for atheism based on the existence of apparently unjustified suffering. These arguments give expression to what we call the problem of evil. This volume is an engaging introduction to the philosophical problem of evil. (...) Daniel Speak provides a clear overview of the main lines of reasoning in this debate and argues for the defensibility of theistic belief in the face of evil. He fleshes out the distinction between theodicy and defense and guides the reader through the logical, evidential, and hiddenness versions of the problem."--Publisher's description. (shrink)

A large and growing body of research in computational psychiatry draws on Bayesian modelling to illuminate the dysfunctions and aberrations that underlie psychiatric disorders. After identifying the chief attractions of this research programme, we argue that its typical focus on abstract, domain-general inferential processes is likely to obscure many of the distinctive ways in which the human mind can break down and malfunction. We illustrate this by appeal to psychosis and the social phenomenology of delusions.

In recent years, an old challenge to informed consent has been rediscovered: the challenge of ignorance. Several authors argue that due to the presence of irreducible ignorance in certain treatments, giving informed consent to these treatments is not possible. The present paper examines in what ways ignorance is believed to prevent informed consent and which treatments are affected by that. At this, it becomes clear that if the challenge of ignorance truly holds, it poses a major problem to informed consent. (...) The paper argues, however, that from both an empirical and a theoretical point of view, it is not convincing that ignorance prevents informed consent. Still, it seems important that the presence of irreducible ignorance is openly discussed during the informed consent process. (shrink)

Having concepts is a distinctive sort of cognitive capacity. One thing that conceptual thought requires is obeying the Generality Constraint: concepts ought to be freely recombinable with other concepts to form novel thoughts, independent of what they are concepts of. Having concepts, then, constrains cognitive architecture in interesting ways. In recent years, spurred on by the rise of evolutionary psychology, massively modular models of the mind have gained prominence. I argue that these architectures are incapable of satisfying the Generality Constraint, (...) and hence incapable of underpinning conceptual thought. I develop this argument with respect to two well-articulated proposals, due to Dan Sperber and Peter Carruthers. Neither proposal gives us a satisfactory explanation of Generality within the confines of a genuinely modular architecture. Massively modular minds may display considerable behavioral and cognitive flexibility, but not humanlike conceptualized thought. (shrink)

When policymakers craft rules for use by the general public, they must take into account the ways in which their rules are likely to be misapplied. Should contractualists and rule consequentialists do the same when they search for rules whose general acceptance would be non-rejectable or ideal? I argue that these theorists face a dilemma. If they ignore the possibility of misapplication, they end up with an unrealistic view that rejects rules designed to protect us from others’ mistakes. On the (...) other hand, if they take misapplication into account, they end up rejecting rules that appeal to what really matters morally in favor of easier-to-apply proxies for these rules. This leaves them unable to say why certain wrong acts are wrong, which in turn may lead them to mistaken verdicts about moral worth and wronging. I show how this misapplication dilemma applies to standard contractualist and rule consequentialist theories, but also suggest how it might generalize to other two-level theories, including those designed to avoid the ideal world objection. (shrink)

Moral theology: tradition and prospects -- Purpose, reason and action -- The process of practical reasoning -- How to evaluate good and bad actions -- Actions, dispositions and character -- The reality of sin -- Conversion to Christ -- God's will and God's law -- Virtues: moral dispositions for acting well -- Wisdom in action -- Justice -- Fortitude -- Self-control -- Faith -- Love -- Hope.

Is vocabulary destiny? Why do clocks 'talk' to the Nahua people of Mexico? Will A.I. researchers ever produce true human-machine dialogue? In this mesmerizing collection of essays, Daniel Tammet answers these and many other questions about the intricacy and profound power of language. Tammet goes back in time to explore the numeric language of his autistic childhood; he looks at the music and patterns that words make, and how languages evolve and are translated. He meets one of the world's (...) most accomplished lip readers in Canada, learns how endangered languages like Manx are being revived and corresponds with native speakers of Esperanto in their mother tongue. He studies the grammar of the telephone, contemplates the significance of disappearing dialects, and also asks: will chatbots ever manage to convince us that they are human? From the art of translation to the lyricism of sign language, "Every Word is a Bird We Teach to Sing" is a fascinating journey through the world of words, letters, stories and meanings, and an extraordinary testament to the stunning range of Tammet's literary and polyglot talents. (shrink)

Responsible research practices are critical to maintaining integrity in research and the provision of institutional trainings is an important means of promoting research integrity. However, studies show contrasting results on the efficacy of institutional training and that these approaches may not be fully effective in promoting research integrity among individuals and improving the overall climate in research integrity. Therefore, a more comprehensive multi-dimensional learning strategy seems to be needed. This includes continuous and tailored training at different institutional levels, the incorporation (...) of training sessions focusing on the development of the moral character of researchers, and the use of different mentoring practices. With this comprehensive approach, research institutions can foster a culture of integrity in research, improve the overall research integrity climate and promote responsible research practices by individuals. (shrink)

This is the first monograph on Kant's theory of intuition to appear in several decades. It will appeal to scholars of Kant, Early Modern Philosophy, German Idealism and Romanticism, as well as those with a general interest in the theory of knowledge.

Determining the agency-status of machines and AI has never been more pressing. As we progress into a future where humans and machines more closely co-exist, understanding hallmark features of agency affords us the ability to develop policy and narratives which cater to both humans and machines. This paper maintains that decision-making processes largely underpin agential action, and that in most instances, these processes yield good results in terms of making good choices. However, in some instances, when faced with two (or (...) more) choices, an agent may find themselves with equal reasons to choose either - thus being presented with a tie. This paper argues that in the event of a tie, the ability to create a voluntarist reason is a hallmark feature of agency, and second, that AI, through current tie-breaking mechanisms does not have this ability, and thus fails at this particular feature of agency. (shrink)

We often think about the alternatives to a decision that has been made. Thinking in this way is known as counterfactual thinking, that is, thinking about what could have been had an alternative dec...

Den här boken är en övningsbok i logik och en kort introduktion till religionsfilosofi. Den innehåller femton kapitel. Det första kapitlet är en allmän inledning till ämnet. Kapitel 2 tar upp några begreppsliga frågor. Vad är en religion? Det innehåller även en kort beskrivning av några vanliga religioner. Kapitel 3 handlar om språkfilosofiska frågor. Kapitel 4 handlar om religionssociologiska och religionspsykologiska frågor m.m. Kapitel 5 handlar om religiös monism, pluralism, relativism, naturalism m.m. Kapitel 6 handlar om berättelser, myter m.m. Kapitel (...) 7 handlar om fenomenologiska frågor. Kapitel 8 handlar om religiösa handlingar m.m. Kapitel 9 handlar om kunskapsteoretiska frågor. Kapitel 10 handlar om metafysiska frågor. Kapitel 11 handlar om moralfilosofiska frågor. Kapitel 12 innehåller blandade övningar i predikatlogik. Kapitel 13 innehåller blandade övningar i relationell predikatlogik (med och utan identitet). Kapitel 14 innehåller blandade övningar i modallogik och deontisk logik. Kapitel 15 innehåller en sammanfattning. Den här boken innehåller många olika argument. Läsaren kan förhoppningsvis öva upp sin förmåga att analysera och värdera olika filosofiska deduktioner, samt att tänka och resonera logiskt, genom att studera dessa. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med någon god introduktionsbok till logik. För att förstå de logiska lösningarna i den här boken kan det vara bra att känna till vissa grundläggande logiska fakta och metoder. Boken innehåller tre olika metoder: sanningstabeller, naturlig deduktion och semantiska tablåer. OBS: Många argument i denna bok har tidigare publicerats i boken Logiska Övningar: En Introduktion till Praktisk Filosofi och många lösningar har tidigare publicerats i boken Facit till Några Argument i ”Logiska Övningar: En Introduktion till Praktisk Filosofi”, även om den också innehåller många argument som är nya. (shrink)

Den här boken är en inledning till den s.k. predikatlogiken. Predikatlogiken studerar argument vars giltighet beror på ord såsom ”allting”, ”någonting” och ”ingenting”. Boken innehåller fem kapitel. Det första kapitlet är en kort inledning till predikatlogik. Kapitel 2 handlar om syntax. Det tar upp flera predikatlogiska språk, det beskriver hur dessa är uppbyggda och hur de förhåller sig till olika naturliga språk. Kapitel 3 handlar om semantik. Vad betyder olika symboliska tecken? Vad har olika satser för sanningsvillkor? Kapitel 4 handlar (...) om bevisteori. Det går bl.a. igenom hur man kan avgöra om ett argument är predikatlogiskt giltigt eller inte. Det nämner tre olika bevismetoder/härledningsmetoder: axiomatiska system, naturlig deduktion och semantiska tablåer. Kapitlet innehåller många exempel. Om man vill lära sig mer om logik, kan det vara bra att försöka bemästra alla dessa olika metoder. Kapitel 5 innehåller viss allmän information om predikatlogiken och fler övningar. Predikatlogiken är en utvidgning av den s.k. satslogiken, som bl.a. beskrivs i boken Satslogik: En Introduktion. För att förstå materialet i den här boken bör läsaren först ha studerat Satslogik: En Introduktion eller någon liknande bok. Predikatlogik: En Introduktion innehåller en stor mängd övningar som kan hjälpa läsaren att öva upp sina logiska förmågor. (shrink)