Triangles and trigonometry are always difficult topics for both mathematics students and teachers. Hence, students' performance in solving mathematical word problems in these topics is not only a reflection of their learning outcomes but also an indication of teaching effectiveness. This case study drew from two examples of solving word problems involving triangles by pre-service mathematics teachers in a foundation mathematics course delivered by the author. The focus of this case study was on reasoning implications of students' performances on the (...) effective training of pre-service mathematics teachers, from which a three-step interactive explicit teaching-learning approach, comprising teacher-led precise and inspiring teaching (or explicit teaching), student-driven engaged learning (or imitative learning), and student-led and teacher-guided problem-solving for real-world problems or projects (or active application), was summarized. Explicit teaching establishes a solid foundation for students to further their understanding of new mathematical concepts and to conceptualize the technical processes associated with these new concepts. Imitative learning helps students build technical abilities and enhance technical efficacy by engaging in learning activities. Once these first two steps have been completed, students should have a decent understanding of new mathematical concepts and technical efficacy to analyze, formulate, and finally solve real-world applications with assistance from teachers whenever required. Specially crafted professional development should also be considered for some in-service mathematics teachers to adopt this three-step interactive teaching-learning process. (shrink)

To obtain effective fusion results of multi source evidences with different importance, an evidence fusion method with importance discounting factors based on neutrosopic probability analysis in DSmT framework is proposed. First, the reasonable evidence sources are selected out based on the statistical analysis of the pignistic probability functions of single focal elements. Secondly, the neutrosophic probability analysis is conducted based on the similarities of the pignistic probability functions from the prior evidence knowledge of the reasonable evidence sources. Thirdly, the importance (...) discounting factors of the reasonable evidence sources are obtained based on the neutrosophic probability analysis and the reliability discounting factors of the real-time evidences are calculated based on probabilistic-based distances. Fourthly, the real-time evidences are discounted by the importance discounting factors and then the evidences with the mass assignments of neutrosophic empty sets are discounted by the reliability discounting factors. Finally, DSmT+PCR5 of importance discounted evidences is applied. Experimental examples show that the decision results based on the proposed fusion method are different from the results based on the existed fusion methods. Simulation experiments of recognition fusion are performed and the superiority of proposed method is testified well by the simulation results. (shrink)

The sense of form that provides the modern poet with a unique experience of the literary object has been crucial to various attempts to compare poetry to other cultural activities. In maintaining similar conceptions of the relationship between poetry and painting, Arthur Rimbaud and W. C. Williams establish a common basis for interpreting their creative work. And yet their poetry is more crucially concerned with the sudden emergence of visible "worlds" containing verbal objects that integrate a new kind of literary (...) text. This paper discusses the emergence of "aesthetic worlds" in the work of both poets and then examines how a common concern with Baroque form unites them in the phenomenological task of overcoming Cartesian dualism. (shrink)

This précis summarizes the main topics, arguments and conclusions of the book. Many interesting arguments and critiques have, of course, been omitted in order to make this summary appropriately brief.

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

This volume presents state-of-the-art papers on new topics related to neutrosophic theories, such as neutrosophic algebraic structures, neutrosophic triplet algebraic structures, neutrosophic extended triplet algebraic structures, neutrosophic algebraic hyperstructures, neutrosophic triplet algebraic hyperstructures, neutrosophic n-ary algebraic structures, neutrosophic n-ary algebraic hyperstructures, refined neutrosophic algebraic structures, refined neutrosophic algebraic hyperstructures, quadruple neutrosophic algebraic structures, refined quadruple neutrosophic algebraic structures, neutrosophic image processing, neutrosophic image classification, neutrosophic computer vision, neutrosophic machine learning, neutrosophic artificial intelligence, neutrosophic data analytics, neutrosophic deep learning, and neutrosophic (...) symmetry, as well as their applications in the real world. (shrink)

How do we determine whether individuals accept the actual consistency of a political argument instead of just its rhetorical good looks? This article answers this question by proposing an interpretation of political argument within the constraints of political liberalism. It utilises modern developments in the philosophy of logic and language to reclaim ‘meaningless nonsense’ from use as a partisan war cry and to build up political argument as something more than a power struggle between competing conceptions of the good. Standard (...) solutions for ‘clarifying’ meaning through descriptive definition encounter difficulties with the biases of status quo idioms (long noted by theorists like William Connolly and Quentin Skinner), as well as partisan translations and circularity. Collectively called linguistic gerrymandering, these difficulties threaten political liberalism’s underlying coherency. The proposed interpretation of political argument overcomes this with a new brand of conceptual analysis that can falsifiably determine whether rhetoric has hijacked political argument. (shrink)

This chapter is a substantially expanded version of (and so substantially supersedes) “Words Fail Me. (Stanley Cavell’s Life Out of Music)” that appeared in Inheriting Stanley Cavell: Memories, Dreams, Reflections (Bloomsbury, 2020). It offers to read Cavell’s claim that “philosophy, of a certain ambition, tends perpetually to intersect the autobiographical.” Its guiding thought is that a life that finds a home in philosophy from out of its devotion to music (as is true of, among others, Rousseau, Nietzsche, and Wittgenstein, all (...) philosophers Cavell wrote about and cared about) will take on a certain character. In Cavell’s case, his distinctive orientation in philosophy—call this his lifelong coming to terms with his abandoning a life in music—is guided in part by (1) an interest in those moments in experience where words seem to run out, or veer toward nonsense, leaving in their wake touchstones of ecstasy; and (2) an interest in the education of the senses, without which interest we risk their starvation. These twin claims are illustrated through an interweaving of remarks and reminiscences of Cavell on music that culminate in a reading of his last published pieces devoted to music, primarily “Impressions of Revolution.”. (shrink)

This paper deals with what a government funded development agency should do when a developing country imposes restrictions on the development process which discriminate on the basis of gender against some members of the development agency’s staff. The conclusion is that there are circumstances in which development agencies should continue their work in the face of gender discrimination but they should not instigate development projects if doing so would involve them in gender discrimination. A set of procedures for a development (...) agency to follow in these difficult circumstances is outlined. It is argued that an agency is entitled to violate a moral principle when so doing will reduce violations of that same principle. (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines a (...) dutch book, but we only have a partial converse. (shrink)

One of the most debated problems in the foundations of the special relativity theory is the role of conventionality. A common belief is that the Lorentz transformation is correct but the Galilean transformation is wrong. It is another common belief that the Galilean transformation is incompatible with Maxwell equations. However, the “principle of general covariance” in general relativity makes any spacetime coordinate transformation equally valid. This includes the Galilean transformation as well. This renders a new paradox. This new paradox is (...) resolved with the argument that the Galilean transformation is equivalent to the Lorentz transformation. The resolution of this new paradox also provides the most straightforward resolution of an older paradox which is due to Selleri in. I also present a consistent electrodynamics formulation including Maxwell equations and electromagnetic wave equations under the Galilean transformation, in the exact form for any high speed, rather than in low speed approximation. Electrodynamics in rotating reference frames is rarely addressed in textbooks. The presented formulation of electrodynamics under the Galilean transformation even works well in rotating frames if we replace the constant velocity v\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}$$\end{document} with v=ω×r\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}=\varvec{\omega }\times \mathbf {r}$$\end{document}. This provides a practical tool for applications of electrodynamics in rotating frames. When electrodynamics is concerned, between two inertial reference frames, both Galilean and Lorentz transformations are equally valid, but the Lorentz transformation is more convenient. In rotating frames, although the Galilean electrodynamics does not seem convenient, it could be the most convenient formulation compared with other transformations, due to the intrinsic complex nature of the problem. (shrink)

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

Evidentialists say that a necessary condition of sound epistemic reasoning is that our beliefs reflect only our evidence. This thesis arguably conflicts with standard Bayesianism, due to the importance of prior probabilities in the latter. Some evidentialists have responded by modelling belief-states using imprecise probabilities (Joyce 2005). However, Roger White (2010) and Aron Vallinder (2018) argue that this Imprecise Bayesianism is incompatible with evidentialism due to “inertia”, where Imprecise Bayesian agents become stuck in a state of ambivalence towards hypotheses. Additionally, (...) escapes from inertia apparently only create further conflicts with evidentialism. This dilemma gives a reason for evidentialist imprecise probabilists to look for alternatives without inertia. I shall argue that Henry E. Kyburg’s approach offers an evidentialist-friendly imprecise probability theory without inertia, and that its relevant anti-inertia features are independently justified. I also connect the traditional epistemological debates concerning the “ethics of belief” more systematically with formal epistemology than has been hitherto done. (shrink)

We must, therefore, make a study of mechanism; but some introduction is advisable, for cybernetics treats the subject from a new, and therefore unusual, ...

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

The title of this presentation encompasses three issues: (1) an enigmatic theme (the play of signs and signs of play); (2) a model of doing something, such as unraveling a puzzle; and (3) a methodology dealing with a probable case. Considering that the order of analysis runs in the opposite direction to the order of experience, my first task is to reverse the title. Then, its three parts become: (1) an eidetic and empirical conjunction that implies a taste for evidence; (...) (2) a rigorous model of analysis that implies a relationship between ontology (what I know) and epistemology (how I know); and (3) a case that brings an enigmatic theme. My title, based in the theme of our 42nd Annual Meeting, provided an experience peculiar to a non-native English speaker: how to interpret and use the word “play”. I really felt like I was a living exemplar of one of Professor Lanigan’s favorite examples: what dictionaries and encyclopedias say or do not say. Lanigan said that “dictionaries tell you how to use the words (forms, ideas) but not what word to use” and “encyclopedias tell you what facts to use (structure, experience), but not how to use them” (1992: 208–209). That was my situation with the word “play”. Webster’s dictionary gave me around fifty different meanings for the word “play”. Which one should I choose? I am sure that I made the best choice, as I will demonstrate throughout this presentation, organized around these three ideas that in an inverse order would be theory, method, and case. (shrink)

[This download contains the introductory chapter.] People confabulate when they make an ill-grounded claim that they honestly believe is true, for example in claiming to recall an event from their childhood that never actually happened. This interdisciplinary book brings together some of the leading thinkers on confabulation in neuroscience, psychiatry, psychology, and philosophy.

We advance an account that grounds cognition, specifically decision-making, in an activity all organisms as autonomous systems must perform to keep themselves viable—controlling their production mechanisms. Production mechanisms, as we characterize them, perform activities such as procuring resources from their environment, putting these resources to use to construct and repair the organism's body and moving through the environment. Given the variable nature of the environment and the continual degradation of the organism, these production mechanisms must be regulated by control mechanisms (...) that select when a production is required and how it should be carried out. To operate on production mechanisms, control mechanisms need to procure information through measurement processes and evaluate possible actions. They are making decisions. In all organisms, these decisions are made by multiple different control mechanisms that are organized not hierarchically but heterarchically. In many cases, they employ internal models of features of the environment with which the organism must deal. Cognition, in the form of decision-making, is thus fundamental to living systems which must control their production mechanisms. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

In his recent book, John Norton has created a theory of inference to the best explanation, within the context of his "material theory of induction". I apply it to the problem of scientific explanations that are false: if we want the theories in our explanations to be true, then why do historians and scientists often say that false theories explained phenomena? I also defend Norton's theory against some possible objections.

This paper takes up the challenge which Carnap poses in his Aufbau: to make of it a basis for continued epistemological research. I try to close some gaps in Carnap’s original presentation and to make at least the first few steps of his constructional outline more accessible to the modern reader. Particularly emphasized is Carnap’s implicit recognition that, to be effective, “structural” models of epistemology (using logical symbols) must be complemented with “procedural” models (his “fictitious operations”). The paper shows how (...) a procedural model, a computer program,can “bypass” Nelson Goodman’s counter example to Carnap’s logical construction of “similarity circles”. (shrink)

It is well known that the probabilistic relation of confirmation is not transitive in that even if E confirms H1 and H1 confirms H2, E may not confirm H2. In this paper we distinguish four senses of confirmation and examine additional conditions under which confirmation in different senses becomes transitive. We conduct this examination both in the general case where H1 confirms H2 and in the special case where H1 also logically entails H2. Based on these analyses, we argue that (...) the Screening-Off Condition is the most important condition for transitivity in confirmation because of its generality and ease of application. We illustrate our point with the example of Moore’s “proof” of the existence of a material world, where H1 logically entails H2, the Screening-Off Condition holds, and confirmation in all four senses turns out to be transitive. (shrink)

Catalan translation, introductory study and notes on W. K. Clifford’s “The Ethics of Belief”. Published in Clifford, W.K. “L’ètica de la creença”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 129–150. // Catalan translation, introductory study and notes on William James’s “The Will to Believe”. Published in James, William. “La voluntat de creure”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 151–172. [Introductory study published in Oya, Alberto. “Introducció. El debat entre W. K. Clifford i (...) class='Hi'>William James”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 123–127]. (shrink)

[This download contains the Table of Contents and Chapter 1.] This first book-length study of confabulation breaks ground in both philosophy and cognitive science.

Responds to the article by Brad Brown and Susan Perry in the August 1995 issue of `Business & Society' periodical on the measure of corporate social responsibility (CSP).

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in (...) current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

A representationalist-friendly introduction to representationalism which covers a number of central problems and objections.

Eating is a fundamental behavior in which all organisms must engage in order to procure the material and energy from their environment that they need to maintain themselves. Since controlling eating requires procuring, processing, and assessing information, it constitutes a cognitive activity that provides a productive domain for pursuing cognitive biology as proposed by Ladislav Kováč. In agreement with Kováč, we argue that cognition is fundamentally grounded in chemical signaling and processing. To support this thesis, we adopt Cisek’s strategy of (...) phylogenetic refinement, focusing on two animal phyla, Porifera and Placozoa, organisms that do not have neurons, muscles, or an alimentary canal, but nonetheless need to coordinate the activity of cells of multiple types in order to eat. We review what research has revealed so far about how these animals gather and process information to control their eating behavior. (shrink)

The Roman imperial Stoics were familiar with exile. This paper argues that the Stoics’ view of being a refugee differed sharply from their view of what is owed to refugees. A Stoic adopts the perspective of a cosmopolitēs, a “citizen of the world,” a rational being everywhere at home in the universe. Virtue can be cultivated and practiced in any locale, so being a refugee is an “indifferent” that poses no obstacle to happiness. Other people are our fellow cosmic citizens, (...) however, regardless of their language, race, ethnicity, customs, or country of origin. Our natural affinity and shared sociability with all people require us to help refugees and embrace them as welcome neighbors. Failure to do so violates our common reason, justice, and the gods’ cosmic law. (shrink)

Ford’s Helen Keller Was Never in a Chinese Room claims that my argument in How Helen Keller Used Syntactic Semantics to Escape from a Chinese Room fails because Searle and I use the terms ‘syntax’ and ‘semantics’ differently, hence are at cross purposes. Ford has misunderstood me; this reply clarifies my theory.

This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...) alethic normative silence, and use this to explain both plurality and lack of consensus. (shrink)

This paper proposes a semantics for free choice permission that explains both the non-classical behavior of modals and disjunction in sentences used to grant permission, and their classical behavior under negation. It also explains why permissions can expire when new information comes in and why free choice arises even when modals scope under disjunction. On the proposed approach, deontic modals update preference orderings, and connectives operate on these updates rather than propositions. The success of this approach stems from its capacity (...) to capture the difference between expressing the preferences that give rise to permissions and conveying propositions about those preferences. (shrink)

It is now well-known that Newton–Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton–Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly (...) and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton–Cartan geometry and pave the way for further applications of Newton–Cartan theory in condensed matter physics. (shrink)

Contextual vocabulary acquisition (CVA) is the deliberate acquisition of a meaning for a word in a text by reasoning from context, where “context” includes: (1) the reader’s “internalization” of the surrounding text, i.e., the reader’s “mental model” of the word’s “textual context” (hereafter, “co-text” [3]) integrated with (2) the reader’s prior knowledge (PK), but it excludes (3) external sources such as dictionaries or people. CVA is what you do when you come across an unfamiliar word in your reading, realize that (...) you don’t know what it means, decide that you need to know what it means in order to understand the passage, but there is no one around to ask, and it is not in the dictionary (or you are too lazy to look it up). In such a case, you can try to figure out its meaning “from context”, i.e., from clues in the co-text together with your prior knowledge. Our computational theory of CVA—implemented in a the SNePS knowledge representation and reasoning system [28]—begins with a stored knowledge base containing SNePS representations of relevant PK, inputs SNePS representations of a passage containing an unfamiliar word, and draws inferences from these two (integrated) information sources. When asked to define the word, definition algorithms deductively search the resulting network for information of the sort that might be found in a dictionary definition, outputting a definition frame whose slots are the kinds of features that a definition might contain (e.g., class membership, properties, actions, spatio-temporal information, etc.) and whose slot-fillers contain information gleaned from the network [6–8,20,23,24]. We are investigating ways to make our system more robust, to embed it in a naturallanguage-processing system, and to incorporate morphological information. Our research group, including reading educators, is also applying our methods to the develop-. (shrink)

This essay explores the creation and evolution of life and consciousness through the lens of a biological framework for understanding the universe. The theory posits that the patterns inherent in biological systems mirror the underlying mathematical principles of the cosmos. Thus, every pattern that manifests from the universe’s “parent-pattern” contains a fundamental biological-pattern inherent to its function, revealing the objective nature and purpose of that thing. Examples include the way ocean currents resemble a circulatory system and how socioeconomic phenomena mimic (...) cellular order. These correspondences suggest that life and consciousness are products of the universe’s biologically-patterned processes, and understanding these patterns is crucial for humanity's survival, especially as human society and environment becomes more complex—requiring a truer understanding of reality reality and how to organize themselves within it. The paper further argues that historical and philosophical concepts, such as Atman and Brahman in the Upanishads, Pnimiyut and Chitzoniyut in Kabbalah (Judaism), Batin and Zahir in Sufism (Islam), and many more align with this framework. The essay emphasizes that aligning human society with these biological patterns, as seen in biomimicry, is necessary for continued survival and harmony with the universe. The essay provides scientific studies and analogies supporting these ideas, illustrating how biological patterns are reflected across different domains of knowledge. (shrink)

John Hawthorne in a recent paper takes issue with Lewisian accounts of counterfactuals, when relevant laws of nature are chancy. I respond to his arguments on behalf of the Lewisian, and conclude that while some can be rebutted, the case against the original Lewisian account is strong.I develop a neo-Lewisian account of what makes for closeness of worlds. I argue that my revised version avoids Hawthorne’s challenges. I argue that this is closer to the spirit of Lewis’s first (non-chancy) proposal (...) than is Lewis’s own suggested modification. (shrink)

I present a case for a rapprochement between aspects of rationalism and scientific realism, by way of a general framework employing modal epistemology and elements of 2-dimensional semantics (2DS). My overall argument strategy is meta-inductive: The bulk of this paper establishes a “base case,” i.e., a concretely constructive example by which I demonstrate this linkage. The base case or constructive example acts as the exemplar for generating, in a constructively ‘bottom-up’ fashion, a more generally rigorous case for rationalism-realism qua modal (...) epistemology. The exemple I choose in D. Chalmers’ (2002) modal rationalism and R. Giere’s (1985, 1988) constructive realism. I show by way of a thorough analysis how Giere’s claims concerning modal scope are characterized as instances of Chalmers’ modal rationalism, both weak and strong. In essence, as I demonstrate via Chalmers’ notions, ceteris paribus the constructive realist ultimately opts for a comparatively wider gate, characterized by modal reasoning, to lead from the rooms of conceivability qua thought experiments and models, to the pastures of metaphysical possibility. Chalmers likewise tries to erect such a wider gate, in his general conceivability-possibility theses. Anti-realists, on the other hand, see a narrower passage and my contention herein is that they suffer from modal myopia, which hopefully the ‘corrective vision’ of Chalmers’ modal rationalism can restore. In the introduction and concluding sections I sketch out suggestions of constructing ‘inductive steps’ from my base case, to generate more extensively general claims regarding realism qua rationalism. -/- . (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

Leibniz said that the universe, if God-created, would exist at a unique, conjoint, physical maximum: Of all possible worlds, it would be richest in phenomena, but its richness would arise from the simplest physical laws and initial conditions. Using concepts of ‘‘variety’’ and algorithmic informational complexity, Leibniz’ claim can be reframed as a testable theory. This theory predicts that the laws and conditions of the actual universe should be simpler, and the universe richer in phenomena, than the presence of observers (...) would require. Tegmark has shown that inhabitants of an infinite multiverse would likely observe simple laws and conditions, but also phenomenal richness just great enough to explain their existence. Empirical observations fit the claim of divine choice better than the claim of an infinite multiverse. The future of the universe, including its future information-processing capacity, is predicted to be endless. -/- . (shrink)

Deferential Monadic Panpsychism is a view that accepts that physical science is capable of discovering the basic structure of reality. However, it denies that reality is fully and exhaustively de- scribed purely in terms of physical science. Consciousness is missing from the physical description and cannot be reduced to it. DMP explores the idea that the physically fundamental features of the world possess some intrinsic mental aspect. It thereby faces a se- vere problem of understanding how more complex mental states (...) emerge from the mental features of the fundamental features. Here I explore the idea that a new form of aggregative emergence, which I call 'combinatorial infusion', could shed light on this problem and bolster the prospects for this form of panpsychism. (shrink)

An overview of the ancient philosophers and their philosophical system (divided into the fields of logic, physics, and ethics) comprising the living, organic, enduring, and evolving body of interrelated ideas identifiable as the Stoic perspective.

This dissertation examines the dynamical dark matter problem in twentieth century astrophysics from the point of view of History and Philosophy of Science. The dynamical dark matter problem describes the situation astronomers find themselves in with regard to the dynamics of large scale astrophysical systems such as galaxies and galaxy clusters: The observed motions are incompatible with the visible distribution matter given the accepted law of gravitation. This discrepancy has two classes of possible solutions: either there exists copious amounts of (...) some kind of matter that neither emits nor absorbs radiation , or the law of gravitation must be revised. ;Chapter 2 describes the physical and philosophical foundations of dynamical inferences---inferences from discrepancies between well-founded theoretical expectations and reliable observations to the characteristics of candidate solutions. Chapter 3 discusses the history of dark matter . Chapter 4 reviews the present evidence bearing on the dark matter problem. Chapter 5 evaluates the important candidate matter solutions in light of the available evidence. Chapter 6 evaluates two candidate gravitational solutions on evidential and methodological grounds, and addresses the problem of theory choice. I do not try to solve the dark matter problem, but to uncover and evaluate patterns of inference involved in evidential arguments for and against candidate solutions. ;I show that Newton's "Reasoning from Phenomena" is a good framework from which to understand what is going on in this field. I argue that "higher order" and especially non-dynamical evidence is the best hope for solving this problem in dynamics. This is so in part because of "the dark matter double bind": the very existence of the dark matter problem means that we cannot be sure of the overall matter distribution in astrophysical systems, and this in turn means that the observed motions by themselves cannot provide relative confirmation of any theory of gravitational interactions taking place at these scales. I use Newton's Rules of Reasoning to argue that we should retain General Relativity as our theory of gravity at galactic and greater scales, despite the lack of positive evidence to confirm it over its rivals at these scales. (shrink)

Schmidt's main thesis is that Lucretius did not exclusively use the writings of Epicurus in composing De rerurn natura, and that it is emphatically doubtful that Epicurus was even his principal source. Rather, Schmidt argues that it is virtually certain that early Epicurean writings are used in several passages, and that they are the most probable sources for the whole poem. Schmidt sees Lucretius as closely caught up with the current polemics between the Stoic and Epicurean schools of his time. (...) Schmidt is broadly successful in making his case that Lucretius did not exclusively follow Epicurus, but also had early Epicurean sources. The indices are helpful and the survey of competing views is scrupulously inclusive. This book deserves to be seriously considered by future researchers into the sources of De rerum natura inasmuch as it has certainly advanced the discussion. (shrink)