Albert Einstein's bold assertion of the form-invariance of the equation of a spherical light wave with respect to inertial frames of reference became, in the space of six years, the preferred foundation of his theory of relativity. Early on, however, Einstein's universal light-sphere invariance was challenged on epistemological grounds by Henri Poincaré, who promoted an alternative demonstration of the foundations of relativity theory based on the notion of a light-ellipsoid. Drawing in part on archival sources, this paper shows how (...) an informal, international group of physicists, mathematicians, and engineers, including Einstein, Paul Langevin, Poincaré, Hermann Minkowski, Ebenezer Cunningham, Harry Bateman, Otto Berg, Max Planck, Max Laue, A. A. Robb, and Ludwig Silberstein, employed figures of light during the formative years of relativity theory in their discovery of the salient features of the relativistic worldview. (shrink)

In this article, I discuss whether intuitive moral judgements have epistemic value. Are they mere expressions of irrational feelings that should be disregarded or should they be taken seriously? In section 2, I discuss the view of some social psychologists that moral intuitions are, like other social intuitions, under certain conditions more reliable than conscious deliberative judgements. In sections 3 and 4, I examine whether intuitive moral judgements can be said not to need inferential justification. I outline a concept of (...) moral intuition as a seeming whose seemingness resides in special, phenomenological features such as a felt veridicality, appropriateness, familiarity, or confidence, and whose justificatory force is influenced by the reliability of the belief-producing procedures and by a subject's competence in applying moral concepts. I argue that subjects can come to realise that the beliefs expressed in their intuitive judgements evoke a sense of non-inferential credibility. In section 5, I first discuss the contribution of moral expertise to the non-inferential credibility of a person's intuitions. Subsequently, I discuss whether Walter Sinnott-Armstrong is right in saying that we can never claim non-inferential justification for our intuitions because they are subject to all kinds of distorting influences. (shrink)

Since Friedrich Nietzsche, philosophers have grappled with the question of how to respond to nihilism. Nihilism, often seen as a derogative term for a ‘life-denying’, destructive and perhaps most of all depressive philosophy is what drove existentialists to write about the right response to a meaningless universe devoid of purpose. This latter diagnosis is what I shall refer to as existential nihilism, the denial of meaning and purpose, a view that not only existentialists but also a long line of philosophers (...) in the empiricist tradition ascribe to. The absurd stems from the fact that though life is without meaning and the universe devoid of purpose, man still longs for meaning, significance and purpose. Inspired by Bojack Horseman and Rick and Morty, two modern existentialist masterpieces, this paper explores the various alternatives that have been offered in how to respond to the absurd, or as Albert Camus puts it; the only “really serious philosophical problem” and concludes that the problem is compatible with a naturalistic world-view, thereby genuine and transcending existentialism. (shrink)

This chapter discusses the roles of ether and electrons in relativity theory. One of the most radical moves made by Albert Einstein was to dismiss the ether from electrodynamics. His fellow physicists felt challenged by Einstein’s view, and they came up with a variety of responses, ranging from enthusiastic approval, to dismissive rejection. Among the naysayers were the electron theorists, who were unanimous in their affirmation of the ether, even if they agreed with other aspects of Einstein’s theory of (...) relativity. The eventual success of the latter theory (circa 1911) owed much to Hermann Minkowski’s idea of four-dimensional spacetime, which was portrayed as a conceptual substitute of sorts for the ether. (shrink)

In a 2014 article in The Guardian, an Indigenous shaman of the Yanomami people of the Amazon rainforest named Davi Kopenawa offers a devastating critique of white society. It is formed of excerpts from multiple interviews, which form the basis of his memoir The Falling Sky, compiled and translated by his French anthropologist collaborator Bruce Albert. Here I bring the dual lenses of philosophy and dance studies to explore how Kopenawa’s lifelong interaction with white people facilitated his reworking of (...) Yanomami shamanic discourse into a parrhesia against the “epidemic fumes” of climate change, on behalf of the Yanomami of the Amazon, white people, and all the beings of the earth. (shrink)

As scientific progress approaches the point where significant human enhancements could become reality, debates arise whether such technologies should be made available. This paper evaluates the widespread concern that human enhancements will inevitably accentuate existing inequality and analyzes whether prohibition is the optimal public policy to avoid this outcome. Beyond these empirical questions, this paper considers whether the inequality objection is a sound argument against the set of enhancements most threatening to equality, i.e., cognitive enhancements. In doing so, I shall (...) argue that cognitive enhancements can be embraced wholeheartedly, for three separate reasons. However, though the inequality objection does not sufficiently support the conclusion that cognitive enhancements should be prohibited, it raises several concerns for optimal policy design that shall be addressed here. (shrink)

English version of collaborative text with Bruno Varela on his film La máquina de futuro (2024), published in the catalog of Umbrales experimental film section of the FICUNAM film festival.

Debates over the reality of race often rely on arguments about the connection between race and science—those who deny that race is real argue that there is no significant support from science for our ordinary race concepts; those who affirm that race is real argue that our ordinary race concepts are supported by scientific findings. However, there is arguably a more fundamental concern here: How should we define race concepts in the first place? The reason I claim that this definitional (...) question is more fundamental is that our handling of the underlying definitional problem often determines the scientific support our ordinary race concepts need, and importantly the likelihood of finding such support. In short, the defini- tional question, “How do we define race?” often undercuts the question of whether race is scientifically meaningful. (shrink)

The way of laws is as much a defining feature of the modern period as the way of ideas; but the way of laws is hardly without its forks. Both before and after Descartes, there are philosophers using the concept to carve out a very different position from his, one that is entirely disconnected from God or God’s will. I argue that Francis Bacon and Baruch Spinoza treat laws as dispositions that derive from a thing’s nature. This reading upends the (...) currently orthodox treatment of Spinoza’s laws as infinite modes, and calls for a re-conception of his metaphysics of causation. (shrink)

An argument map visually represents the structure of an argument, outlining its informal logical connections and informing judgments as to its worthiness. Argument mapping can be augmented with dedicated software that aids the mapping process. Empirical evidence suggests that semester‐length subjects using argument mapping along with dedicated software can produce remarkable increases in students’ critical thinking abilities. Introducing such specialised subjects, however, is often practically and politically difficult. This study ascertains student perceptions of the use of argument mapping in two (...) large, regular, semester‐length classes in a Business and Economics Faculty at the University of Melbourne. Unlike the semester‐length expert‐led trials in prior research, in our study only one expert‐led session was conducted at the beginning of the semester and followed by class practice. Survey results conducted at the end of the semester, show that, with reservations, even this minimalist, ‘one‐shot inoculation’ of argument mapping is effective in terms of students’ perceptions of improvements in their critical thinking skills. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

Two kinds of people might find this useful: first, those interested in the modern debate over ideas and representation who don’t happen to read French, or who do, but would like to have in one place the relevant excerpts, to see whether looking at the originals is worth their time. Second are teachers of modern philosophy. The back-and-forth among these figures makes for a refreshing change from the massive, often self-contained works that characterize much of the rest of such a (...) course. For example, one could easily work in chapter 3 (the high point of the debate, from my point of view) between Descartes and Berkeley. (shrink)

Powers ontologies are currently enjoying a resurgence. This would be dispiriting news for the moderns; in their eyes, to imbue bodies with powers is to slide back into the scholastic slime from which they helped philosophy crawl. I focus on Descartes’s ‘little souls’ argument, which points to a genuine and, I think persisting, defect in powers theories. The problem is that an Aristotelian power is intrinsic to whatever has it. Once this move is accepted, it becomes very hard to see (...) how humble matter could have such a thing. It is as if each empowered object were possessed of a little soul that directs it and governs its behavior. Instead of attempting to resurrect the Aristotelian power theory, contemporary philosophers would be best served by taking their inspiration from its early modern replacement, devised by John Locke and Robert Boyle. On this view, powers are internal relations, not monadic properties intrinsic to their bearers. This move at once drains away the mysterious directedness of Aristotelian powers and solves the contemporary version of the little souls argument, Neil Williams’s ‘problem of fit.’. (shrink)

Various thinkers have been attempting to align artificial intelligence (AI) with ethics (Christian, 2020; Russell, 2021), the so-called problem of alignment, but some suspect that the problem may be intractable (Yampolskiy, 2023). In the following, we make an argument by analogy to analyze the possibility that the problem of alignment could be intractable. We show how the Tri-Omni properties in theology can direct us towards analogous properties for artificial superintelligence, Tri-Opti properties. However, just as the Tri-Omni properties are vulnerable to (...) metaphysical incompatibility, we will show that the Tri-Opti properties are vulnerable to a corresponding physical incompatibility, because optimal physical systems exist on the Pareto Frontier. We will explain that, while Tri-Omni incompatibility thus seems metaphysically soluble, the Tri-Opti incompatibility seems physically insoluble due to the constraints of multi-variable optimization. Finally, we will provide some scenarios by which this incompatibility may be realized. Besides for the primary purpose of its theoretical considerations, this analysis has the secondary interdisciplinary purpose of communicating to the theologically literate the potential importance of AI safety work, and the gesturing towards the possibility of the collaboration in both fields on topics in ethics, epistemology, and ontology. (shrink)

In this chapter, we attempt to show that J.P. Moreland's understanding of apologetics is beautifully positioned to counter resistance to a rationally defensible Christianity—resistance arising from the mistaken idea that any rational defense will fail to support or even undermine relationship. We look first at Paul Moser's complaint that since rational apologetics doesn’t prove the God of Christianity, it falls short of delivering what matters most—a personal agent worthy of worship and relationship. We then consider John Wilkinson's charge that the (...) use of reason and argument in evangelistic contexts is relationally futile. Since people aren’t looking for arguments, and logic is an arbitrary human invention, we should present Christianity to others as an irrational faith story. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

Representing the kinetic state of a patient (posture, motion, and activity) during vital sign measurement is an important part of continuous monitoring applications, especially remote monitoring applications. In contextualized vital sign representation, the measurement result is presented in conjunction with salient measurement context metadata. We present an automated annotation system for vital sign measurements that uses ontologies from the Open Biomedical Ontology Foundry (OBO Foundry) to represent the patient’s kinetic state at the time of measurement. The annotation system is applied (...) to data generated by a wearable personal status monitoring (PSM) device. We demonstrate how annotated PSM data can be queried for contextualized vital signs as well as sensor algorithm configuration parameters. (shrink)

Here we will argue that Henry Sidgwick’s Dualism of Practical Reason, the paired imperative of being egoistic and/or utilitarian, follows from the epistemic barriers that arise when giving credence to skepticism about the external world, and particularly skepticism about other minds, and skepticism about reincarnation. We will argue that this is true whether we begin with the premises of universal utilitarianism or egoism.

A repository of clinically associated Staphylococcus aureus (Sa) isolates is used to semi‐automatically generate a set of application ontologies for specific subfamilies of Sa‐related disease. Each such application ontology is compatible with the Infectious Disease Ontology (IDO) and uses resources from the Open Biomedical Ontology (OBO) Foundry. The set of application ontologies forms a lattice structure beneath the IDO‐Core and IDO‐extension reference ontologies. We show how this lattice can be used to define a strategy for the construction of a new (...) taxonomy of infectious disease incorporating genetic, molecular, and clinical data. We also outline how faceted browsing and query of annotated data is supported using a lattice application ontology. (shrink)

The conception of a ‘law of nature’ is a human product. It was created to play a role in natural philosophy, in the Cartesian tradition. In light of this, philosophers and scientists must sort out what they mean by a law of nature before evaluating rival theories and approaches. If one’s conception of the laws of nature is yoked to metaphysical notions of truth and explanation, that connection must be made explicit and defended. If, on the other hand, one’s aim (...) is to disentangle laws from truth or from explanation, that must be stated and defended as well. If philosophers do not make such assumptions, intuitions, and methodological commitments clear, then it will be impossible to identify the source of disagreement in debates about the laws of nature. Are the conflicts rooted in disagreement about the conclusions reached, or do the background commitments of the combatants block any resolution to the dispute in principle or in practice? (shrink)

In this chapter, I attempt to show that evil exists only if what I call Agent Causal Theism (ACT) is true. According to ACT, human beings are immaterial, conscious agents endued (by God) with a power of self-motion: the power to think, decide, and act for ends in light of reasons, but without being externally caused to do so (even by God himself). By contrast, I argue that there is no space for evil in the worldviews of naturalistic Darwinism or (...) theistic Calvinism. (shrink)

In this paper, I defend the agent/patient distinction against critics who argue that causal interactions are symmetrical. Specifically, I argue that there is a widespread type of causal interaction between distinct entities, resulting in a type of ontological asymmetry that provides principled grounds for distinguishing agents from patients. The type of interaction where the asymmetry is found is when one of the entities undergoes a change in kind, structure, powers, or intrinsic properties as a result of the interaction while the (...) other does not. Interactions of this type are widespread in molecular biology and chemistry. I focus specifically on (i) the actions of enzymes on substrates and (ii) water molecules breaking the bonds of polarized molecules. Finally, I respond to objections by laying out and to a limited extent defending three commitments of my account: emergent entities and powers, realism about chemical kinds or structures, and the assumption of the agent/patient distinction in functional attributions in biology. (shrink)

Some people wrongly believe that A. Turing’s works that underlie all modern computer science never discussed “physical” robots. This is not so, since Turing did speak about such machines, though making a reservation that this discussion was still premature. In particular, in his 1948 report [8], he suggested that a physical intelligent machine equipped with motors, cameras and loudspeakers, when wandering through the fields of England, would present “the danger to the ordinary citizen would be serious.” [8, ]. Due to (...) this imperfection of technology in the field of knowledge that we now call robotics, the methodology that he proposed was based on human speech, or rather on text. Other natural human skills were too difficult to implement, while the exchange of cues via written messages was much more accessible for engineering implementation in Turing’s time. Nevertheless, since then, the progress of computer technology has taken forms that the founder of artificial intelligence could not have foreseen. (shrink)

This paper addresses a family of issues surrounding the biological phenomenon of resistance and its representation in realist ontologies. The treatments of resistance terms in various existing ontologies are examined and found to be either overly narrow, internally inconsistent, or otherwise problematic. We propose a more coherent characterization of resistance in terms of what we shall call blocking dispositions, which are collections of mutually coordinated dispositions which are of such a sort that they cannot undergo simultaneous realization within a single (...) bearer. A definition of ‘protective resistance’ is proposed for use in the Infectious Disease Ontology (IDO) and we show how this definition can be used to characterize the antibiotic resistance in Methicillin-Resistant Staphylococcus aureus (MRSA). The ontological relations between entities in our MRSA case study are used alongside a series of logical inference rules to illustrate logical reasoning about resistance. A description logic representation of blocking dispositions is also provided. We demonstrate that our characterization of resistance is sufficiently general to cover two other cases of resistance in the infectious disease domain involving HIV and malaria. (shrink)

Eliminativism is a position most readily associated with the eliminative materialism of the Churchlands, denying that there are such things as propositional states. This position has created much controversy, despite the fact that intentionality has long been seen as perhaps the core problem for naturalistic philosophy. There is a more radical interpretation of eliminativism, however, denying not only mental states, such as beliefs and desires, but also intentionality (i.e., aboutness) on a global level. This position traces its contemporary origin back (...) to Quine, but has generally been assumed to undermine naturalism or, worse, to be incoherent by the majority of philosophers who maintain that there clearly are things or mental states that are about others. In a recent paper, Hutto and Satne (2015a) offer an update that tries to revive John Haugeland’s baseball analogy from his influential 1990 review paper The Intentionality All-Stars on the state of the game to argue that the failure of Neo-Cartesians, Neo- Behaviorists, and Neo-Pragmatists should urge us to make them work together to naturalize content and “win the game.” But Hutto and Satne misunderstand what the game is ultimately about. The goal of the Intentionality All-Stars is not to naturalize content against eliminativism but to defend a naturalist “thirdperson” view of the problem against first-person phenomenalists. For this goal, a naturalist defense of global content eliminativism would equally enable them to emerge victorious. Revisiting Haugeland, I will offer my own analysis of the current state of play to argue that global content eliminativism has not received sufficient attention and deserves a more prominent place in the debate than it currently occupies. (shrink)

Why should a person, and in the context of this conference particularly an art historian, take seriously the notion of the aesthetic, its discovery and/or rediscovery? Aesthetics might after all be considered at best something of a distraction from bread and butter historical and sociological analysis, and at worst entirely incompatible with it. Pursuing the line further it might be urged that, since on the one hand aesthetics is about 'how things appear'—i.e. is subject to individual predilection, taste and feeling—and (...) on the other, historical analysis is about the careful and scholarly reconstruction of a past social reality, the two must be at loggerheads. What the art historian writes about on a weekday whilst wearing her hard hat at the office must not be confused with what she personally feels, wandering around a gallery in her woolly hat at the weekend. (shrink)

Harry Eckstein’s long-standing (but ever-changing) hypothesis that a nation’s political stability is a function of “congruence” between the “authority patterns” exhibited by the government and those displayed by nearly every sort of institution under that government’s aegis involved a highly complex politico-psychological theory. As a result, it was quite difficult either to confirm or disconfirm. While there have been a number of suggested revisions that apparently simplify his thesis, they suffer either from vagueness or a failure to take democracy to (...) be a system that requires an actual commitment to majoritarianism. In this paper a revision is offered that utilizes a small number of completely dichotomous variables that are easily subject to empirical tests. This revised theory (of “consonance” rather than congruence) is also explicitly majoritarian, enabling it to shed light on the essential nature of democratic regimes. (shrink)

John MacFarlane argues against objectivism about “tasty”/”not tasty” in the following way. If objectivism were true then, given that speakers use “tasty”/”not tasty” in accordance with a rule, TP, speakers would be using an evidently unreliable method to form judgements and make claims about what is tasty. Since this is implausible, objectivism must be false. In this paper, I describe a context in which speakers deviate from TP. I argue that MacFarlane's argument against objectivism fails when applied to uses of (...) “not tasty” within this context. So objectivism about “not tasty” is still a viable position within this context. (shrink)

In this paper I will analyze Lev (Leo) Tolstoy’s arguments for Christian Anarchism which is found in his book Царство Божие Внутри Вас (tr. The Kingdom of God is Within You). By analyzing his arguments, I will present why Tolstoy believes that Christianity inevitably leads to a belief and practice of pacifism and anarchism. In other words, Tolstoy is attempting to prove that capitalism and governments of any kind are incompatible with Christian ethics. Thus, what this paper attempts to achieve (...) is to analyze whether Tolstoy is correct in his claims: does capitalism, as an economic system, and governmental authority conflict with Christian morality. I am not interested in proving that capitalism and governments are, in general, morally bad, or wrong systems but rather or not they contradict Christian doctrine. Many commentators have mentioned that Tolstoy’s philosophical works and arguments are ‘naïve’ and or ‘lacking.’ However, in this paper, I will prove that this is not entirely the case. That in fact, Tolstoy’s philosophical arguments are highly focused and more complex than what people present them to be. He is also no lesser of a philosopher for having no formal or academic philosophical education. For we should not restrict the title of ‘philosopher’ for only those who belong in academia or the institutions. (shrink)

Subjectivists about welfare face two problems that pull them in opposite directions. The Paradox Problem, outlined by Ben Bradley, is that, for an agent who desires that her life go badly, subjectivist theories are sometimes unable to give a determinate answer about how well her life goes. This problem demands that subjectivists choose a complex mental attitude to ground well-being. The Infant Problem, from Eden Lin, is that many subjective theories end up denying that infants (and some others) have welfare. (...) This problem demands that subjectivists choose a simple attitude to ground well-being. I argue that subjectivists should respond by adopting Disjunctive Subjectivism. Your welfare depends on your judgements that things are intrinsically good or bad for you (c.f. Dorsey), unless you are not capable of such judgements. In that case, it depends on your desires. I then defend DS against objections from Lin, and the potential charge of being ad hoc. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

As individuals we often face complex issues about which we must weigh evidence and come to conclusions. Corporations also have to make decisions on the basis of strong and compelling arguments. Legal practitioners, compelled by arguments for or against a proposition and underpinned by the weight of evidence, are often required to make judgments that affect the lives of others. Medical doctors face similar decisions. Governments make purchasing decisions—for example, for expensive military equipment—or decisions in the areas of public or (...) foreign policy. These issues involve many arguments on all sides of difficult debates. These issues involve understanding the arguments of others and being able to make objections and provide rebuttals to objections. Students in universities deal with arguments all the time. A major purpose of a university education—regardless of subject matter—is to teach students how to read, understand, and respond to complex arguments. The ability to do this makes for highly employable, adaptable, and reflectively critical individuals. We often call the skill of marshaling arguments and assessing them “critical thinking.” All universities claim to instill the skill of critical thinking in their graduates and routinely note this in their advertising and promotional documents. This short paper outlines one way this skill can be taught. (shrink)

In this paper I propose a model of disability which synthesizes Amos Yong’s disability theology with Elizabeth Barnes’s “value-neutral model” of disability and then draws Sarah Coakley’s account of ante-mortem/post-mortem bodily fluidity in with both. To construct this model, I first outline Yong’s thought and then introduce Barnes’s work to it as a pivot point around which its eschatological imagery can turn. I then address Coakley’s work on bodily fluidity regarding gender and apply it to disability to reveal the model’s (...) capacity to hold theological clarity and mystery in tension successfully. (shrink)

As indicated in the title this article is a brief description of the body, soul and spirit of man, based on the divine revelations received by the Austrian mystic Jakob Lorber between 1840 and 1864. While it is common knowledge that man has a body and a soul, very little is known about the spirit in man which is the primary source of knowledge and power, penetrating both the soul and body.

The study examines the argumentative competencies of people with Asperger syndrome (AS) and compares this with those of normal – or what are called neurotypical (NT) – subjects. To investigate how people with AS recognise, evaluate and engage in argumentation, we have adapted and applied the empirical instrument developed by van Eemeren, Garssen and Meuffels to study the conventional validity of the pragma-dialectical freedom rule (van Eemeren, Gars- sen & Meuffels 2003a; 2003b; 2005a; 2005b; van Eemeren & Meuffels, 2002). Our (...) paper begins with some background information on Asperger syndrome and how it impacts upon communication and argumentation; then it addresses the research questions and methods used; thirdly, it presents some initial findings; finally, it will conclude with some im- plications for those people with AS, for those they come into contact with and for the pragma-dialectic model in general. (shrink)

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

This chapter reviews empirical evidence bearing on the design of online forums for deliberative civic engagement. Dimensions of design are defined for different aspects of the deliberation: its purpose, the target population, the spatiotemporal distance separating participants, the communication medium, and the deliberative process to be followed. After a brief overview of criteria for evaluating different design options, empirical findings are organized around design choices. Research has evolved away from treating technology for online deliberation dichotomously (either present or not) toward (...) nuanced findings that differentiate between technological features, ways of using them, and cultural settings. The effectiveness of online deliberation depends on how well the communicative environment is matched to the deliberative task. Tradeoffs, e.g. between rich and lean media and between anonymous and identifiable participation, suggest different designs depending on the purpose and participants. Findings are limited by existing technologies, and may change as technologies and users co-evolve. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)