Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

The deceptive strangeness of prescience in Dune is typical of Herbert's ideas. The ancient Babylonians were able to systematically predict astronomical events, but contemporary astrophysicists can forecast distant events beyond the Babylonians’ wildest dreams. Herbert describes the prescience of characters like Paul as a hyperawareness of possibilities and probabilities given certain choices, rather than being able to examine a fixed future. Common sense suggests that prescience should help us live together better. The Prisoner's Dilemma can be interpreted in different ways, (...) but the basic logic is always the same. The Prisoner's Dilemma is an imaginary interaction between “prisoners,” but it actually might make more sense with prescient characters from the Duniverse. Stuart Hampshire argued that self‐knowledge tends to have the opposite effect – that it makes us freer. Prescience is a vastly expanded understanding of possible and probable consequences given information and choices, not the observation of a fixed future. (shrink)

CLE aims and clients’ needs conflict where students’ interests are put beyond clients’ needs. Students have interests in gaining employment, impressing instructors and supervisors, and experiencing the active application of law. Where the clients’ service-needs are subordinated to students’ interests, the relationship between the two—the ‘tension’—is tilted in a manner in which the clients are disserved through the fulfilment of students’ interests. This may be exacerbated by faulty institutional cultures where clinical faculty are treated differently, or as less accomplished or (...) ‘worthwhile’ than their ‘traditional’ counterparts. This also emphasizes that it is the clinical law faculty who may exacerbate or assuage the tension, as it is for clinical faculty to assure that clients’ needs are met on ethical grounds,20 and to equate the practice of law with excellence before students. (shrink)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

This essay examines the role of non-existent objects in "epistemological ontology"--the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Aussersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.

The paper argues that Sartre’s work as both a literary critic and social philosopher is deeply indebted to his early commitment to phenomenology. The first part of the paper examines the nature of reading and writing in the account of literary meaning that is presented in the transitional text, 'Qu’est-ce que la littérature?' While acknowledging the political turn that occurs in Sartre’s work, we then discuss how the theme of history emerges in the later essay, 'Questions de méthode,' as one (...) that opens up a “double reading” of human motivation. Our conclusion maintains that the Marxist phase of Sartre’s work is based on the hermeneutical notion of comprehension, which provides an anthropological grounding for his existential philosophy. (shrink)

According to a number of contemporary theorists, aesthetic reasons can invite or entice us but never compel us. In this paper, I develop a Kantian account of the normative force of aesthetic reasons. While Kant would likely agree that aesthetic reasons do not give rise to obligations, his account nevertheless gives us the resources for explaining how aesthetic reasons can still have more force than merely enticing reasons. This account appeals to the distinct normativity of aesthetic judgments on Kant's theory (...) and the way in which this kind of normativity structures aesthetic exchanges with other judging subjects. I argue that, in addition to the moral reasons we have for appreciating and preserving beauty, Kant’s account can accommodate distinctly aesthetic reasons for doing so that stem from our membership in aesthetic communities. (shrink)

For Rousseau, humankind is in a perpetual state of decay—decadency from an earlier, natural, primitive, and perfect state. For Rousseau, the natural man, or man in the state of beast, was of an era where humankind was unencumbered by that which is now entirely associated with society—that is, “. . . establishment of laws and of the right of property . . . the institution of magistracy . . . and the conversion of legitimate into arbitrary power.” For Kant, humankind (...) is in its natural state. For Kant, nature brings about conditions that continually develop and refine humankind’s dispositions, purposefully setting about societies in order to facilitate a foundation within all civilized society, whereby all of humankind’s goals may be achieved. All matters have their place—placed there by nature, as though with purpose. For Kant, nature intended for humankind to employ reason, to acquiesce to coercion for social cohesion, and to strive to build a society that is ever-increasingly progressing towards perfection. Nature uses humankind’s dispositions, including ‘antagonistic’ behavior to gradually bring about a, “perfectly just civil constitution.” Humankind’s highest goal yet to be achieved is for that just civil constitution to emerge from trial and error (in the form of wars, revolutions, secessions, abdications), over time, ultimately providing for development of other dispositions within a perfect society. (shrink)

After the emergence of a popular resistance movement to direct rule by an absolutist monarchy, and several years of civil war, King Gyanendra of Nepal yielded power to an elected Congress in 2006. Within one year, Nepali citizens saw the signing of a Comprehensive Peace Accord, the establishment of a Constituent Assembly, the declaration of the Nepali state, and the declaration of the Nepali Republic a year after that. An Interim Constitution was adopted by 2007, which endowed the Constituent Assembly (...) with the authority to draft Nepal’s permanent Constitution, and established the limitations under which the Assembly must operate — all apparently legitimate steps in establishing a Constitutional order. What initially appeared to adhere to an established model of post-sovereign constitution-making failed in its first attempt. Indeed, the drafting and ratification of a permanent constitution is no easy task. Why did the first Constituent Assembly fail? Where did the constitution-making process divert from the post-sovereign model, and what caused it? I examine the process from the establishment of Nepal’s first Constituent Assembly to the short-lived deliberations of the Assembly, followed by the dissolution of the Assembly for failing to achieve its mandate. I also trace Nepal’s constitution-making process along the post-sovereign model, and assess whether they adhered to or diverted from the model. It is understood that no political models are fixed in the sense that adherence or divergence is necessarily incompatible with success or failure. However, I use Andrew Arato’s post-sovereign model as a guide for identifying the stages in the constitution-making process, and for a background to the discussion on where the first Assembly failed. (shrink)

In recent history, we have seen the birth of a democratic nation in Nepal, after years of war between Maoist revolutionaries and the prior Monarchic State. Of course, the war was violent, there remain questions on human rights abuses, and, there had been a significant loss of civilian lives during the process. Indeed, to the Maoist, war in Nepal was part of their struggle, in what they called the 'People's War'. The struggle was borne out of much more than mere (...) dissatisfaction with the prior status quo. It was a resistance to non-democratic conditions within Nepali political life. The Maoist viewed democratic governance and citizen's rights as intrinsic to Nepali life. Of course, historically speaking, there had been no time before the Maoist struggle where Nepali life seemed all that democratic, nor did Nepali citizens ever enjoy any basic rights to speak of. Nevertheless, the Maoists saw such conditions as inextricably linked to Nepali political life. The claim that the Maoists made was that the prior status quo had to be brought to an end, and that the struggle to do so could require permanent revolution. That is, the struggle would not stop until success had been achieved, success being the formation of a new democratic state. Of course, the Maoists-being Maoists-were claiming to see the revolution to an end beyond democracy: to communist society. However, the tenets of communism have had very little to do with the Maoist revolution, as the outcome since is far more representative of a Federal Constitutional Democracy. Nevertheless, what the Maoist undertook, on behalf of all Nepali people, was to cause a severe departure from the past; to instigate a new state under new conditions and within a structure that is viable and sustainable. In light of Hannah Arendt's discussions on revolution, the beginnings of the Maoist Revolution are very interesting. Indeed, they appear to be emblematic of the sort of 'founding' that was seen in the American Revolution. (shrink)

Does it seem that with each reported state cyberattack, there comes an announcement of discovery, an attribution to one of a handful of usual suspects, some threatening language suggesting imminent retribution, and then nothing more? Increased incidence of cyberattack makes its occurrence seem simultaneously rampant in terms of publicity and minimal in terms of threat of war. If rampant, how can repeated deployment by the same actors carry no punitive consequences? How is such audaciousness tolerated? For some, a cyberattack by (...) a state is an act of war. Its prevalence suggests there must be a void somewhere that facilitates its use without consequence. Others think state cyberattack is like other internet novelties: digital malfeasance, amounting to a nuisance that naturally follows from a digital‐based existence, particularly since non‐state actors are typically involved. Yet, state‐on‐state hostilities are historically perilous on a vast scale, and there is a multilateral system for regulating the use of force in the context of war. Acts of war, even when seeming minimal in impact, are not by‐products of a digital fad, and cyberattack is now described as far more than ‘nuisance’. If anywhere, the place for clarity on hostile state cyberoperations use should be accounted for in International Humanitarian Law. Yet, in its present form, it is ambiguous if not silent on the subject, suggesting that cyberattack currently presents an advantage to perpetrating states. Does this void or these ambiguities make cyberattacks more legally advantageous to states than traditional, kinetic weaponry? I examine whether existing IHL is sufficiently adaptable to state cyberoperations through a mixed legal and theoretical approach and conclude that they do. (shrink)

Legal positivism emerged in response to natural law, as an indictment on the latter’s metaphysical predilections. Natural law dominance created a yearning for empiricism, or even a ‘hard scientism’ in approach to understanding socially constructed phenomenon, including legal praxis. From its Benthamite origins, it has since been developed, with recent, spirited debate still undertaken among towering legal scholars. Although its validity is contested to some, it remains as an analytic point of view of the law. Yet, within its design, there (...) is quite a bit of subject matter put out of view of the positivist, even though it is observable phenomenon within the sphere of legal praxis. This creates a void in which certain problems are unsolvable by the theory of law embodied in positivism. Rather than adjust the theory, the positivists either designate the void as the province for legal decision-making based on an internal morality in hard cases; or it criticises systems that do not strictly adhere to the positivist account as crude in the case of the international legal system. What follows is an account of HLA Hart’s brand of positivism, as it has remained dominant and perhaps the easiest to understand. I then identify subject-matter put out of view of positivism, with reference to Kelsen’s account of ‘authority’. I conclude that the positivist project is incomplete given its limited account of decision-making in hard cases and the international legal system. (shrink)

Kant's formulae ought to effectively produce the same result when applied to the moral validity of any particular maxim; further, no valid maxim produces contradictory results when applied against Kant's Universal Law and Humanity formulae. Where one uses all formulae in the assessment of a maxim, one gains a more complete understanding of the moral law, thereby bridging principles of reason with intuition within the agent who has undertaken to evaluate the morality of a particular action. These formulae command without (...) regard to any particular interests, but are instead unconditional; further, these formulae effectively limit choice of action and therefore give rise to duty. Kant implies that the structure of all maxims requires different formulae of the same moral law, i.e., all maxims have a ‘form’ and a ‘matter’, which prompt reconfiguring of the categorical imperative into different formulae in order to test the morality of a maxim. (shrink)

The original scheme for compensating victims of crime was introduced as an entitlement, and later codified into law so as to establish a legal right. The result has been the opposite: qualification for compensation has been made so conditional, that a right enjoyed by victims has been made into a narrowly drawn entitlement. The following describes the prior scheme, the current statutory scheme, surveys unintended and quantitative effects the change have caused, and discusses how changes to the scheme have, in (...) effect, changed a right into an entitlement. (shrink)

The International Criminal Court was established by the Rome Statue in 1998, and began operating in 2002, to the widespread applause in the international community. Under the post‐UN Charter multilateral system, the ICC’s formation was a welcomed extension of the UN Security Council’s reach, as part of the new supra‐state legal order whereby consenting states hold certain criminal acts arising to a scale of severity—crimes of scale—unacceptable by all. Yet, in its near 19‐year history, it remains unclear whether the ICC (...) is effective. This lack of clarity is in part attributable to divergent and elusive approaches to defining and measuring effectiveness, and the strong views by ICC proponents and detractors who find dispositive evidence for held views through myriad means. What follows is a discussion of different ways ICC effectiveness is defined and measured, the existing conflicting evidence on its effectiveness, and additional considerations required to form a conclusive opinion. I conclude that the most telling measure of ICC effectiveness is its ability to deter crimes of scale, and that on that measure, the ICC is thus far ineffective. (shrink)

2015 Reprint of 1956 Printing. Full facsimile of the original edition. Not reproduced with Optical Recognition Software. Cybernetics is here defined as "the science of control and communication, in the animal and the machine"-in a word, as the art of steersmanship; and this book will interest all who are interested in cybernetics, communication theory and methods for regulation and control. W. Ross Ashby (1903-1972) was an English psychiatrist and a pioneer in cybernetics, the study of complex systems. His two books, (...) "Design for a Brain" and "An Introduction to Cybernetics," were landmark works. They introduced exact and logical thinking into the nascent discipline and were highly influential. Contents include: What is new -- Change -- The Determinate Machine -- The Machine with Input -- Stability -- The Black Box -- Quantity of Variety -- Transmission of Variety -- Incessant Transmission -- Regulation in Biological Systems -- Requisite Variety -- The Error-controlled Regulator -- Regulating the Very Large System -- Amplifying Regulation. (shrink)

This article argues, against contemporary experimentalist criticism, that conceptual analysis has epistemic value, with a structure that encourages the development of interesting hypotheses which are of the right form to be valuable in diverse areas of philosophy. The article shows, by analysis of the Gettier programme, that conceptual analysis shares the proofs and refutations form Lakatos identified in mathematics. Upon discovery of a counterexample, this structure aids the search for a replacement hypothesis. The search is guided by heuristics. The heuristics (...) of conceptual analysis are similar to those in other interesting areas of scholarship, and so hypotheses generated by it are of the right form to be applicable to diverse areas. The article shows that the explanationist criterion in epistemology was developed and applied in this way. The epistemic value of conceptual analysis is oblique because it contributes not towards the main purpose of conceptual analysis but towards the reliable development of epistemically valuable hypotheses in philosophy and scholarship. (shrink)

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...) a prototype natural-language-understanding system is presented as an illustration. (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)

Cette note devait introduire à un public anglophone la traduction de la « Lettre de Louis Althusser datée du 18 mars 1966 et adressée au Comité central du PCF », elle est ici enrichie dans une version livrée au public français. Elle apporte le contexte historique et théorique nécessaire à la compréhension des interventions « anti-humanistes » de Louis Althusser qui questionne les choix politiques opérés par le PCF au cours des années 1960. Nulle part ailleurs, dans les écrits publiés (...) d’Althusser, nous ne voyons aussi clairement les enjeux politiques imbriqués dans son projet philosophique, ni comment ce projet évolua progressivement d’une entreprise « théoriciste » à la recherche d’une philosophie en lien plus étroit avec la pratique. Cette lettre nous paraît de la plus haute importance pour les spécialistes de l’œuvre d’Althusser, les historiens de la pensée marxiste, mais aussi plus largement à tous ceux qui s’intéressent à l’importance que peut revêtir le travail d’Althusser dans les débats actuels dans le champ de la philosophie marxiste. (shrink)

In this chapter, we compare Kant and James’ accounts of freedom. Despite both thinkers’ rejecting compatibilism for the sake of practical reason, there are two striking differences in their stances. The first concerns whether or not freedom requires the possibility of an open future. James holds that morality hinges on the real possibility that the future can be affected by our actions. Kant, on the other hand, seems to maintain that we can still be free in the crucial sense, even (...) if none of our actions can have any effect on the future. The second difference between them is related, and concerns the location of freedom. Kant views experience as determined by natural necessity, and locates freedom outside of it, in things-in-themselves. James, on the other hand, has a richer conception of experience than Kant, and holds that we can locate our freedom within experience alone. In the end, we contend that James has a better account of how freedom relates to our experience, but this comes at a cost. For while Kant's account struggles with the relationship between freedom and experience, it has the advantage of insulating our freedom from potential empirical challenges. (shrink)

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

Recent work has explored the extent to which intercollegiate athletics even belong at the university or meet the university’s mission. Just as play seems evident in athletics, it is also present in music, art, and theater. While these programs are popular targets when discussing possible cuts, few question their legitimacy at the university. In this article I argue that the justification for retaining the extracurricular status of intercollegiate sports should be based on their being especially playful. Indeed, on the basis (...) of this argument, I suggest that universities offer even greater and wider access to sport through club and intramural sports. However, while athletics might appear to be more playful, I hold that there is substantially more play present in university music, art, and theater programs than there is in intercollegiate sports. (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)

John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? Yes: Everything (...) makes sense. The question is: What sense does it make?" This essay explores what sense it makes to say that syntax by itself is sufficient for semantics. (shrink)

Review of Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference (Los Altos, CA: Morgan Kaufmann, 1986),.

Traditionally, intuitions about cases have been taken as strong evidence for a philosophical position. I argue that intuitions about concept deployment have epistemic value while intuitions about matters of fact have none. I argue this by use of the explanationist criterion which contends that S is justified in believing only those propositions which are part of the best explanation of S’s making the judgements she makes. This criterion accords with scientific practice. Bealer suggests, as a defence of intuition, that naturalists (...) rely on intuition in their arguments against intuition and thus that their arguments are self-undermining. But beliefs based on intuitions about the application of concepts, like ‘justification’ and ‘theory,’ are epistemically justified by the explanationist criterion. It is only intuitions about matters of fact which are rejected. Thus, epistemically-respectable intuitions about concepts are used to undermine intuitions about metaphysics. There is nothing self-undermining about this. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNePS computational knowledge-representation system, (...) the essay analyzes Keller’s belief that learning that “everything has a name” was the key to her success, enabling her to “partition” her mental concepts into mental representations of: words, objects, and the naming relations between them. It next looks at Herbert Terrace’s theory of naming, which is akin to Keller’s, and which only humans are supposed to be capable of. The essay suggests that computers at least, and perhaps non-human primates, are also capable of this kind of naming. (shrink)

مداخلة مترجمة عن الفرنسية للفيلسوف الفرنسي جيل دولوز.

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)

This essay examines the role of non-existent objects in "epistemological ontology" — the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Außersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.

A critical study of John Searle's Minds, Brains and Science (Cambridge, MA: Harvard University Press, 1984).

“Contextual” vocabulary acquisition is the active, deliberate acquisition of a meaning for a word in a text by reasoning from textual clues and prior knowledge, including language knowledge and hypotheses developed from prior encounters with the word, but without external sources of help such as dictionaries or people. But what is “context”? Is it just the surrounding text? Does it include the reader’s background knowledge? I argue that the appropriate context for contextual vocabulary acquisition is the reader’s “internalization” of the (...) text “integrated” into the reader’s “prior” knowledge via belief revision. (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.

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

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 project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...) cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

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)

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