Cathy Legg

The word “hacker” has an interesting double meaning: one vastly more widespread connotation of technological mischief, even criminality, and an original meaning amongst the tech savvy as a term of highest approbation. Both meanings, however, share the idea that hackers possess a superior ability to manipulate technology according to their will (and, as with God, this superior ability to exercise will is a source of both mystifying admiration and fear). This book mainly concerns itself with the former meaning. To Thomas this simultaneously mystified and vilified, elusive set of individuals exemplifies “the performance of technology” xx), showing the way in which “the cultural, social and political history of the computer...is fraught with complexity and contradictions” ix). In fact, he claims that hacking is more a cultural than technological phenomenon, citing Heidegger’s, “[t]he essence of technology is not anything technological” (56).

Integration of ontologies begins with establishing mappings between their concept entries. We map categories from the largest manually-built ontology, Cyc, onto Wikipedia articles describing corresponding concepts. Our method draws both on Wikipedia’s rich but chaotic hyperlink structure and Cyc’s carefully defined taxonomic and common-sense knowledge. On 9,333 manual alignments by one person, we achieve an F-measure of 90%; on 100 alignments by six human subjects the average agreement of the method with the subject is close to their agreement with each other. We cover 62.8% of Cyc categories relating to common-sense knowledge and discuss what further information might be added to Cyc given this substantial new alignment.

Much mainstream analytic epistemology is built around a sceptical treatment of modality which descends from Hume. The roots of this scepticism are argued to lie in Hume’s (nominalist) theory of perception, which is excavated, studied and compared with the very different (realist) theory of perception developed by Peirce. It is argued that Peirce’s theory not only enables a considerably more nuanced and effective epistemology, it also (unlike Hume’s theory) does justice to what happens when we appreciate a proof in mathematics.

This paper seeks an explanation for the challenges faced by Semantic Web developers in achieving their vision, compared to the staggering near-instantaneous success of the World Wide Web. To this end it contrasts two broad philosophical understandings of meaning and argues that the choice between them carries real consequences for how developers attempt to engineer the Semantic Web. The first is Rene Descartes’ ‘private’, static account of meaning (arguably dominant for the last 400 years in Western thought) which understands the meanings of signs as whatever their producers intend them to mean. The second is Charles Peirce’s still relatively unknown ‘public’, evolutionary account of meaning, according to which the meaning of signs just is the way they are interpreted and used to produce further signs. It is argued that only the latter approach can avoid the unmanageable attempts to ‘preprocess’ interpretation of signs on the Web which have dogged the project in its many stages, and thereby do justice to the scale, rapid changeability and exciting possibilities of online information today.

This paper takes indexicality as a case-study for critical examination of the distinction between semantics and pragmatics as currently conceived in mainstream philosophy of language. Both a ‘pre-indexical’ and ‘post-indexical’ analytic formal semantics are examined and found wanting, and instead an argument is mounted for a ‘properly pragmatist pragmatics’, according to which we do not work out what signs mean in some abstract overall sense and then work out to what use they are being put; rather, we must understand to what use signs are being put in order to work out what they mean.

Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way

A commentary on a current paper by Aaron Sloman. Sloman argues that in order to make progress in AI, consciousness, "should be replaced by more precise and varied architecture-based concepts better suited to specify what needs to be explained by scientific theories". This original vision of philosophical inquiry as mapping out 'design-spaces' for a contested concept seeks to achieve a holistic, synthetic understanding of what possibilities such spaces embody. It therefore does not reduce to either "relations of ideas" or "matters of fact" in Hume's famous dichotomy. It is also interestingly opposite to a current vogue for 'experimental philosophy'

This piece explores the meaning of the following quote from Charles Peirce (1902), ". . . the main reason logic is unsettled is that thirteen different opinions are current as to the true aim of the science. Now this is not a logical difficulty, but an ethical difficulty; for ethics is the science of aims. Secondly, it is true that ethics has been, and always must be, a theatre of discussion for the reason that its study consists in the gradual development of a distinct recognition of a satisfactory aim. It is a science of subtleties, no doubt; but it is not logic, but the development of the ideal, which really creates and resolves the problems of ethics."

Wikipedia is a goldmine of information; not just for its many readers, but also for the growing community of researchers who recognize it as a resource of exceptional scale and utility. It represents a vast investment of manual effort and judgment: a huge, constantly evolving tapestry of concepts and relations that is being applied to a host of tasks. This article provides a comprehensive description of this work. It focuses on research that extracts and makes use of the concepts, relations, facts and descriptions found in Wikipedia, and organizes the work into four broad categories: applying Wikipedia to natural language processing; using it to facilitate information retrieval and information extraction; and as a resource for ontology building. The article addresses how Wikipedia is being used as is, how it is being improved and adapted, and how it is being combined with other structures to create entirely new resources. We identify the research groups and individuals involved, and how their work has developed in the last few years. We provide a comprehensive list of the open-source software they have produced.

This paper offers an expressivist account of logical form, arguing that in order to fully understand it one must examine what valid arguments make us do (or: what Achilles does and the Tortoise doesn’t, in Carroll’s famed fable). It introduces Charles Peirce’s distinction between symbols, indices and icons as three different kinds of signification whereby the sign picks out its object by learned convention, by unmediated indication, and by resemblance respectively. It is then argued that logical form is represented by the third, iconic, kind of sign. It is noted that icons uniquely enjoy partial identity between sign and object, and argued that this holds the key to Carroll’s puzzle. Finally, from this examination of sign-types metaphysical morals are drawn: that the traditional foes metaphysical realism and conventionalism constitute a false dichotomy, and that reality contains intriguingly inference-binding structures.

This substantial book is a highly original and thorough work of synthetic first philosophy. Although it has some recognizable roots in the Kantian/Sellarsian tradition of the Pittsburgh school, it adds a wealth of precise discussion of examples from science and mathematics, made possible by Macbeth's dual training in arts and sciences. It presents a developmental story of human reason bootstrapping itself towards greater power and clarity through the Western tradition (which is the sole purview of the discussion). This development is divided into three distinct stages, which might be summarized very roughly as knowledge of: i) Objects, ii) Concepts applied to Objects and iii) Concepts alone.

Wittgenstein's discussion of rule-following is widely regarded to have identified what Kripke called "the most radical and original sceptical problem that philosophy has seen to date". But does it? This paper examines the problem in the light of Charles Peirce's distinctive "scientific hierarchy". Peirce identifies a phenomenological inquiry which is prior to both logic and metaphysics, whose role is to identify the most fundamental philosophical categories. His third category, particularly salient in this context, pertains to general predication. Rule-following scepticism, the paper suggests, results from running together two questions: "How is it that I can project rules?", and, "What is it for a given usage of a rule to be right?". In Peircean terms the former question, concerning the irreducibility of general predication (to singular reference), must be answered in phenomenology, while the latter, concerning the difference between true and false predication, is answered in logic. A failure to appreciate this distinction, it is argued, has led philosophers to focus exclusively on Wittgenstein's famous public account of rule-following rightness, thus overlooking a private, phenomenological dimension to Wittgenstein's remarks on following a rule which gives the lie to Kripke's reading of him as a sceptic

Peirce wrote that Hume’s argument against miracles (which is generally liked by twentieth century philosophers for its antireligious conclusion) "completely misunderstood the true nature of" ’abduction’. This paper argues that if Hume’s argumentative strategy were seriously used in all situations (not just those in which we seek to "banish superstition"), it would deliver a choking epistemological conservatism. It suggests that some morals for contemporary naturalistic philosophy may be drawn from Peirce’s argument against Hume.

This paper contrasts the scholastic realisms of David Armstrong and Charles Peirce. It is argued that the so-called 'problem of universals' is not a problem in pure ontology (concerning whether universals exist) as Armstrong construes it. Rather, it pertains to which predicates should be applied where, issues which Armstrong sets aside under the label of 'semantics', and which from a Peircean perspective encompass even fundamentals of scientific methodology. It is argued that Peirce's scholastic realism not only presents a more nuanced ontology (distinguishing existence and reality) but also illuminates why scholastic realism is a position worth fighting for.

As an informational technology, the World Wide Web has enjoyed spectacular success. In just ten years it has transformed the way information is produced, stored, and shared in arenas as diverse as shopping, family photo albums, and high-level academic research. The “Semantic Web” was touted by its developers as equally revolutionary but has not yet achieved anything like the Web’s exponential uptake. This 17 000 word survey article explores why this might be so, from a perspective that bridges both philosophy and IT. (*Also translated into Croatian and republished in Vjesnik bibliotekara Hrvatske 53, 1(2010), 155-206: See external link #2)

Would be fairer to call Peirce’s philosophy of language “extensionalist” or “intensionalist”? The extensionalisms of Carnap and Quine are examined, and Peirce’s view is found to be prima facie similar, except for his commitment to the importance of “hypostatic abstraction”. Rather than dismissing this form of abstraction (famously derided by Molière) as useless scholasticism, Peirce argues that it represents a crucial (though largely unnoticed) step in much working inference. This, it is argued, allows Peirce to transcend the extensionalist-intensionalist dichotomy itself, through his unique triadic analysis of reference and meaning, by transcending the distinction between (as Quine put it) “things” and “attributes”.

Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind does exist in Charles Peirce’s conception of iconic signs, but that fully understood, logical diagrams involve a structured array of normative reasoning practices, as well as just a “picture on a page”.