We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

We examine a prominent naturalistic line on the method of cases, exemplified by Timothy Williamson and Edouard Machery: MoC is given a fallibilist and non-exceptionalist treatment, accommodating moderate modal skepticism. But Gettier cases are in dispute: Williamson takes them to induce substantive philosophical knowledge; Machery claims that the ambitious use of MoC should be abandoned entirely. We defend an intermediate position. We offer an internal critique of Macherian pessimism about Gettier cases. Most crucially, we argue that Gettier cases needn’t exhibit (...) ‘disturbing characteristics’ that Machery posits to explain why philosophical cases induce dubious judgments. It follows, we show, that Machery’s central argument for the effective abandonment of MoC is undermined. Nevertheless, we engineer a restricted variant of the argument—in harmony with Williamsonian ideology–that survives our critique, potentially limiting philosophy’s scope for establishing especially ambitious modal theses, despite traditional MoC’s utility being partially preserved. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also by (...) their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of contraposition. (...) We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

My topic is moderate modal skepticism in the spirit of Peter van Inwagen. Here understood, this is a conservative version of modal empiricism that severely limits the extent to which an ordinary agent can reasonably believe “exotic” possibility claims. I offer a novel argument in support of this brand of skepticism: modal skepticism grounds an attractive (and novel) reply to Humean skepticism. Thus, I propose that modal skepticism be accepted on the basis of its theoretical utility as a tool for (...) dissolving philosophical paradox. (shrink)

I construe Relevant Alternatives Theory (RAT) as an abstract combination of anti-skepticism and epistemic modesty, then re-evaluate the challenge posed to it by the missed clue counterexamples of Schaffer. The import of this challenge has been underestimated, as Schaffer’s specific argument invites distracting objections. I offer a novel formalization of RAT, accommodating a suitably wide class of concrete theories of knowledge. Then, I introduce ‘abstract missed clue cases’ and prove that every RA theory, as formalized, admits such a case. This (...) yields an argument—in Schaffer’s spirit—that resists easy dismissal. (shrink)

The goal of the current paper is to provide an introduction to and survey of the diverse landscape of relevant alternatives theories of knowledge. Emphasis is placed throughout both on the abstractness of the relevant alternatives approach and its amenability to formalization through logical techniques. We present some of the important motivations for adopting the relevant alternatives approach; briefly explore the connections and contrasts between the relevant alternatives approach and related developments in logic, epistemology and philosophy of science; provide a (...) schema for classifying and studying relevant alternatives theories at different levels of abstraction; and present a sample of relevant alternatives theories (contrasting what we call question-first and topic-first theories) that tie our discussion to on-going debates in the philosophical literature, as well as showcasing techniques for formalizing some of the important positions in these debates. (shrink)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...) simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

Through cutting-edge accounts and interdisciplinary critiques of shame, this collection responds to the epidemic of gendered violence that the world witnesses daily. Contributors expose and challenge how oppression and violence connect to regimes of injustice that have dominated modern times.

The aim of this abstract is to present an overview of the thinking of the philosopher Hebert Marcuse in relation to Art, exposing his criticism of the orthodox conception of Marxist aesthetics, as well as to explain the author 's proposal on art as an essential component of the revolution in opposed to the affirmative culture of the "status quo" and the established ". For such an exposition to the methodology used, it started from a literary and philosophical consultation in (...) the work esthetic, as well as articles and magazines that endorsed the Marcuse thought on the relations between aesthetics, art, Literature and philosophy. (shrink)

Abstract: According to Marcuse, esthetics is an essential component to the process of freedom of consciousness and behavior of individuals. It is, in Hegelian language, to free the absolute spirit. In this sense, art configures itself as fantasy, which makes the “apparent” reveal the essence of things. Essence here is understood not as a metaphysical field, but as an unveiling of questions, within a false truth of the (establishment), in the totality of relationships. In dialectical terms, art manifests itself in (...) the face of internal and external contradictions, seeking the opposition to the representation of the aesthetic form. Marcuse refutes the conceptions of some “orthodox Marxist aesthetes”, making, therefore, the defense in relation to the art when recognizing that it transcends the material relations. He still considers the literary currents of romanticism and surrealism fundamental to awaken critical consciousness, and that the autonomy of art (independence, freedom, and fantasy), integrate the categorical imperative that “things must change” against the realism of the Marxist aesthetes. In this sense, we intend to expose Marcuse’s critical to the Marxist esthetes in order to understand the critical function of art for the liberation struggle. Keywords: Aesthetics. Orthodoxy. Critic. (shrink)

Metabolizable energy levels affect the productive performance and carcass quality of meat quails, as well as impacting diet costs. The aim was to determine the metabolizable energy (ME) requirement for European quails (Coturnix coturnix coturnix) from 1 to 14 days of age and from 15 to 35 days of age, aiming to evaluate performance and influence on carcass composition. Five treatments with 6 replicates, 12 animals per replicate, totaling 360 animals in the experiment, were used, with energy levels in the (...) diet of 2700, 2800, 2900, 3000, and 3100 kcal from 1 to 14 days of age, and levels of 2850, 2950, 3050, 3150, and 3300 kcal from 15 to 35 days of age. Total carcass weight, breast, wing, back, fat, liver, heart, and gizzard weights were determined, both absolute and relative to the carcass (%). It was concluded that the best metabolizable energy level in the diet from 1 to 14 days of age is 3000 kcal/kg of ME and that the best metabolizable energy level in the diet from 15 to 35 days is 3150 kcal/kg of ME on diet. Keywords: performance; carcass; levels. (shrink)

Percentual de retorno do N° após 65 dias (NR) Também é conhecido como taxa de não retorno ao cio; é um bom indicador de eficiência em um programa de inseminação artificial ou de reprodução controlada. Está intimamente ligado à probabilidade de as vacas emprenharem após serem inseminadas ou montadas, assim, o que se registra neste índice é a quantidade de vacas que não retornam no cio, portanto, presume-se que estejam prenhes. Apenas as vacas servidas uma vez são consideradas na taxa (...) de não retorno. Este índice contribui para: ● O diagnóstico dos índices reprodutivos durante parte do período embrionário. ● Permite conhecer a aparente fertilidade do rebanho. ● É um índice fácil de obter. Mas não é muito eficaz, dado que a detecção de cio é fraca nas explorações pecuárias tropicais, afetando fortemente este valor. (shrink)

With his bestselling publication, A Brief History of Time, Stephen Hawking introduced in 1988 a new genre by connecting modern science with the question of the existence of God. In the posthumous publication Brief Answers to the Big Questions, he continues with his quest for the ultimate truth. The current study presents a philosophical analysis of this search in terms of the classical philosophy of Aristotle and Aquinas. Causality is the central concept employed by Hawking. However, its meaning, in the (...) modern scientific and philosophical literature, is limited to temporal causality in contrast to the view of classical philosophy. Only the latter one accepts causality from outside space and time, with other words, a reality transcending the material world. In a quote presented in the discussion, Hawking defines himself as an atheist. After a careful reading of his writings, however, doubts arise about his unbelief. (shrink)

Kalam cosmological arguments have recently been the subject of criticisms, at least inter alia, by physicists---Paul Davies, Stephen Hawking---and philosophers of science---Adolf Grunbaum. In a series of recent articles, William Craig has attempted to show that these criticisms are “superficial, iII-conceived, and based on misunderstanding.” I argue that, while some of the discussion of Davies and Hawking is not philosophically sophisticated, the points raised by Davies, Hawking and Grunbaum do suffice to undermine the dialectical efficacy of kalam cosmological arguments.

In [3], Quentin Smith claims that `the Hartle-Hawking cosmology' is inconsistent with classical theism in a way which redounds to the discredit of classical theism; and, moreover, that the truth of `the Hartle- Hawking cosmology' would undermine reasonsed belief in any other varieties of theism which hold that the universe is created.

This book is a record of my dialogues with Stephen Hawking, his graduate assistants and his nurses during a four city public lecture tour I organized for Hawking, including Portland, Eugene, Seattle, Vancouver, BC. We discussed 20th century science and philosophy of science. Since I was often the one being questioned, much of the contents reflect my PhD research at the University of London. My focus was on understanding the limits of science, as represented by quantum theory and relativity. My (...) mentors had been Paul Feyerabend and Imre Lakatos, and I was strongly influenced by Karl Popper and Thomas Kuhn. In one in depth presentation to Hawking I suggested that Newtonian space-time and Maxwellian space-time were complementary, were defined by complementary symmetry principles. I had opportunity to present the same arguments to Kip Thorne and Freeman Dyson. Hawking simply remarked that I 'may be right'. Thorne confirmed that practitioners of General Relativity use both depending on the problem at hand. Dyson was emphatic – "Yes. Definitely. Absolutely.". (shrink)

What endogenous factors contribute to minority (Red Queen) or majority (Red King) domination under conditions of coercive bargaining? We build on previous work demonstrating minority disadvantage in non-coercive bargaining games to show that under neutral initial conditions, majorities are advantaged in high conflict situations, and minorities are advantaged in low conflict games. These effects are a function of the relationship between (1) relative proportions of the majority and minority groups and (2) costs of conflict. Although both Red King and Red (...) Queen effects can occur, we further show that agents’ increased initial propensity toward conflict advantages majorities. (shrink)

Atheists have tacitly conceded the field to theists in the area of philosophical cosmology, specifically, in the enterprise of explaining why the universe exists. The theistic hypothesis is that the reason the universe exists lies in God’s creative choice, but atheists have not proposed any reason why the universe exists. I argue that quantum cosmology proposes such an atheistic reason, namely, that the universe exists because it has an unconditional probability of existing based on a functional law of nature. This (...) law of nature (“the wave function of the universe”) is inconsistent with theism and implies that God does not exist. I criticize the claims of Alston, Craig, Deltete and Guy, Oppy and Plantinga that theism is consistent with quantum cosmology. (shrink)

The continuing interest in the book of S. Hawking "A Brief History of Time" makes a philosophical evaluation of the content highly desirable. As will be shown, the genre of this work can be identified as a speciality in philosophy, namely the proof of the existence of God. In this study an attempt is given to unveil the philosophical concepts and steps that lead to the final conclusions, without discussing in detail the remarkable review of modern physical theories. In the (...) first place the concept of causality used by Hawking is analyzed in terms of the classical four aspects of cause, that is causa formalis, materialis, efficiens and finalis. Thereafter the classical Aristotelian-Thomistic proof of the existence of God is presented and compared with Hawking's approach. In his argumentation he uses a concept of causality, which in contrast to the classical philosophy neglects completely an ontological dependence and is reduced to only temporal aspects. On the basis of this temporal causality and modern physical theories and speculations, Hawking arrives at his conclusions about a very restricted role of a possible creator. It is shown, that neither from the philosophical nor the scientific view his conclusions about the existence of God are strictly convincing, a position Hawking himself seems to be aware of. (shrink)

自史蒂芬·霍金(Stephen Hawking) 的暢銷科普著作《時間簡史》(以下簡稱《簡史》) 在上世紀八十年代末問世以來，至今天二十一世紀，華人基督教界就他宇宙無起點的論述仍有相當之評論，但可惜對評論未有綜合分析。評論者因寫作目的，也甚少交代霍金宇宙學的來龍去脈。故本文嘗試略述霍金宇宙學的歷史 背景及發展經過，繼而舉出華人基督教界的評論，帶出其獨特性，並提出商確的地方，以反省未來可行路向。.

A comprehensible model is proposed aimed at an analysis of the reasons for theory change in science. According to the model the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of “old” fundamental theories with each other, leading to contradictions that can only be eliminated in a more general theory. The model is illustrated with reference to physics in the early 20th century, the three “old” theories in this case being Maxwellian electrodynamics, statistical (...) mechanics and thermodynamics. Modern example, referring to general relativity and quantum field theory fusion, is highlighted. Key words: Popper, Kuhn, Lakatos, Feyerabend, Stepin, Bransky,Mamchur, mature theory, structure, Einstein, Lorentz, , Boltzmann, Planck, Hawking, De Witt. (shrink)

The methodology of Scientific Research Programmes created by Imre Lakatos is applied to draw an outline of a programme invented to comprehend Hawking’s discovery of black-hole evaporation.

The black hole information loss paradox is a catch-all term for a family of puzzles related to black hole evaporation. For almost 50 years, the quest to elucidate the implications of black hole evaporation has not only sustained momentum, but has also become increasingly populated with proposals that seem to generate more questions than they purport to answer. Scholars often neglect to acknowledge ongoing discussions within black hole thermodynamics and statistical mechanics when analyzing the paradox, including the interpretation of Bekenstein-Hawking (...) entropy, which is far from settled. To remedy the dialectical gridlock, I have formulated an overarching, unified framework, which I call ``Black Hole Paradoxes'', that integrates the debates and taxonomizes the relevant `camps' or philosophical positions. -/- I demonstrate that black hole evaporation within Hawking's semi-classical framework insinuates how late-time Hawking radiation is an entangled global system, a contradiction in terms. The relevant forms of information loss are associated with a decrease in maximal Boltzmann entropy and an increase in global von Neumann entropy respectively, which engender what I've branded the ``paradox of phantom entanglement''. Prospective solutions are then tasked with demonstrating how late-time Hawking radiation is either exclusively an entangled subsystem, in which a black hole remnant lingers as an information safehouse, or exclusively an unentangled global system, in which information is evacuated to the exterior. -/- The disagreement between safehouse and evacuation solutions boils down to the statistical interpretation of thermodynamic black hole entropy, i.e., Bekenstein-Hawking entropy. Safehouse solutions attribute Bekenstein-Hawking entropy to a minority of black hole degrees of freedom, those that are associated with the horizon. Evacuation solutions, in contrast, attribute Bekenstein-Hawking entropy to all black hole degrees of freedom. I argue that the interpretation of Bekenstein-Hawking entropy is the litmus test to vet the overpopulated proposal space. So long as any proposal rejecting Hawking's original calculation independently derives black hole evaporation, globally conserves degrees of freedom and entanglement, preserves a version of semi-classical gravity at sub-Planckian scales, and describes black hole thermodynamics in statistical terms, then it counts as a genuine solution to the paradox. (shrink)

The soaring promises made by personalized genetic medicine advocates are probably loftier than those in any other medical or scientific realm today. Are they justified?

In his book "A Brief History of Time", Stephen Hawking says "If a complete unified theory was discovered, it would only be a matter of time before it was digested and simplified - and taught in schools, at least in outline. We should then all be able to have some understanding of the laws that govern the universe and are responsible for our existence." If complete, a unified theory would be physical and embrace all the space, matter and time of (...) the entire universe. It could not be partial and, as often interpreted, restricted to mathematics. -/- A complete unified theory that includes everything in space-time has practical applications for the matter called children who live today or in the past. They'd have "some understanding of the laws that govern the universe" at least from conception and associations formed at childhood would not always be "simpler". Pruning of nerve connections deprives us, in an intuitive sense, of "some understanding of the laws that govern the universe". Pruning prepares us for this part of existence - to attend school and university, and to develop the physics and maths that leads to discovery of the complete unified theory which, in their earliest years, children have some intuitive knowledge of. (shrink)

Stephen Hawking’s caution against messaging extraterrestrial intelligence is a claim of universal biology and is probably false.

Book Review of The Future of Spacetime, by Stephen Hawking et al.

Stephen Hawking claims: Philosophy is dead! Natural scientists use terms like 'natural law', 'matter', 'nature' and 'theories'. Often these terms are taken for granted without reflection. The task of philosophy of science as a metatheory of science is to clarify these terms. In doing so, philosophy of science is confronted with epistemological, ontological and metaphysical questions. But it also deals with questions such as "How do we define the boundaries between different scientific disciplines?" or "How do we distinguish science from (...) pseudoscience?". In addition, philosophy of science deals with ethical problems of modern technology, with methodological issues, with reconstructing the structure and development of scientific theories, and with exposing ideological paternalism of science. The optimistic conclusion is: Philosophy is not dead - but philosophers must discuss with scientists on an equal footing. (shrink)

Social media use is soaring globally. Existing research of its ethical implications predominantly focuses on the relationships amongst human users online, and their effects. The nature of the software-to-human relationship and its impact on digital well-being, however, has not been sufficiently addressed yet. This paper aims to close the gap. I argue that some intelligent software agents, such as newsfeed curator algorithms in social media, manipulate human users because they do not intend their means of influence to reveal the (...) user’s reasons. I support this claim by defending a novel account of manipulation and by showing that some intelligent software agents are manipulative in this sense. Apart from revealing a priori reason for thinking that some intelligent software agents are manipulative, the paper offers a framework for further empirical investigation of manipulation online. (shrink)

Several physicists, among them Hawking, Page, Coule, and Carroll, have argued against the probabilistic intuitions underlying fine-tuning arguments in cosmology and instead propose that the canonical measure on the phase space of Friedman-Robertson-Walker space-times should be used to evaluate fine-tuning. They claim that flat space-times in this set are actually typical on this natural measure and that therefore the flatness problem is illusory. I argue that they misinterpret typicality in this phase space and, moreover, that no conclusion can be drawn (...) at all about the flatness problem by using the canonical measure alone. (shrink)

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space of (...) FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

To demarcate the limits of experimental knowledge, we probe the limits of what might be called an experiment. By appeal to examples of scientific practice from astrophysics and analogue gravity, we demonstrate that the reliability of knowledge regarding certain phenomena gained from an experiment is not circumscribed by the manipulability or accessibility of the target phenomena. Rather, the limits of experimental knowledge are set by the extent to which strategies for what we call ‘inductive triangulation’ are available: that is, the (...) validation of the mode of inductive reasoning involved in the source-target inference via appeal to one or more distinct and independent modes of inductive reasoning. When such strategies are able to partially mitigate reasonable doubt, we can take a theory regarding the phenomena to be well supported by experiment. When such strategies are able to fully mitigate reasonable doubt, we can take a theory regarding the phenomena to be established by experiment. There are good reasons to expect the next generation of analogue experiments to provide genuine knowledge of unmanipulable and inaccessible phenomena such that the relevant theories can be understood as well supported. This article is part of a discussion meeting issue ‘The next generation of analogue gravity experiments’. (shrink)

Early modern critics of materialism (and of associated doctrines like determinism and mechanism) sometimes employed a transcendental argument form. If materialism were true, then some valuable feature of reality could not exist; but that feature does exist; therefore materialism is false. Depending on current context and concerns, the valuable 'X' in question might be God, the soul, hell, objective morality, free will, conscience, truth, knowledge, social order, or justice and the law: all, in the critics' eyes, obvious and unchallengeable realities (...) which materialism would, impossibly, extinguish.1 As David Hawkes notes in his delightfully provocative essay, it is because Hell is so manifestly real, in both the play and its world, that Faustus manifestly refutes himself in telling Mephistopheles that it is a fable. The success of such transcendental arguments relies on the truth of both their premises: Hell really must exist, and Faustus's materialism must really be incompatible with its existence. Hawkes celebrates early modern moralists who focussed on the alleged worldly and carnal roots and consequences of 'philosophical materialism', who attacked its proponents as villainous, self-interested, and depraved. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

Este trabajo presenta algunas reflexiones en torno a la relación entre complejidad y sistema en su relación con la actividad científica. La lógica de la complejidad se presenta como argumento para explicitar la realidad desde la perspectiva integradora de las partes que constituyen el todo, desde el propio terreno de la investigación con intención explicativa. Se argumenta con Hawking, Martínez, Morin, entre otros, que el mundo de la ciencia se presenta de tal manera que se aprecian algunas confusiones entre la (...) idea de paradigma y la enunciación de los postulados epistemológicos desde donde se reconstruye la realidad compleja y sistémica. La ordenación de ésta, a partir de los entramados complejos y sistémicos, puede servir de argumento para comprender desde la idea de la sistemología interpretativa, considerada desde la posición compleja y sistémica, la realidad misma para el conocimiento y la nueva ciencia. Se concluye que la epistemología compleja en la investigación científica puede ofrecer perspectivas cónsonas con los nuevos conceptos de la ciencia. (shrink)