Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this problem (...) by applying recent methods from sorted logics. This paper presents a resolution calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this (...) problem by applying recent methods from sorted logics. This paper presents a tableau calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)
(2012). Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 295-317. doi: 10.1080/11663081.2012.705962.
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing , in which an object of interest is viewed in terms of well-understood mathematical structures. The new perspective not only allows to deepen the understanding of e resp. object, it also facilitates new insights. We propose a model for framing in the context of theory graphs, and show how framing can be exploited to enhance the interaction with MKM systems. We (...) use the framing extension of our SACHS system — a semantic help system for MS Excel — as a concrete example. (shrink)
The interest of the field of Mathematical Knowledge Management is predicated on the assumption that by investing into markup or formalization of mathematical knowledge, we can reap benefits in managing (creating, classifying, reusing, verifying, and finding) mathematical theories, statements, and objects. This global value proposition has been used to motivate the pursuit of technologies that can add machine support to these knowledge management tasks. But this (rather naive) technology-centered motivation takes a view merely from the global (macro) perspective, and almost (...) totally disregards the user’s point of view and motivations for using it, the local (micro) perspective. In this paper we go a first step into a more principled analysis of the MKM value proposition by focusing on motivations for mathematical search engines from the micro perspective. We will use a table-based method called the “Added-Value Analysis” (AVA) developed by one of the authors. Even though we apply the AVA only to mathematical search engines, the method quickly leads to value considerations that are relevant for the whole field of MKM. (shrink)
Version Control systems like CVS and Subversion have transformed collaboration workflows in software engineering, and made possible the globally distributed project teams we know from the Open Source Phenomenon. On the other hand, XML is coming of age as a basis for document formats, and even though XML as a text-based format is amenable to version control in principle, the fact that version control systems work on files makes difficult the integration of fragment access techniques like XPath, XQuery that are (...) currently revolutionizing XML workflows. In this paper we present the TNTBase system, an open-source versioned XML database obtained by integrating Berkeley DB XML into the Subversion Server. The.. (shrink)
One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning of the objects of mathematics”. The open formats OpenMath and MathML address this, but differ subtly in syntax, rigor, and structural viewpoints (notably over calculus). To avoid fragmentation and smooth out interoperability obstacles, effort is under way to align them into a joint format OpenMath/MathML 3. We illustrate the issues that come up in such an (...) alignment by looking at three main areas: bound variables and conditions, calculus (which relates to the previous) and “lifted” n-ary operators. (shrink)
The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since it has to take the theory of αβη-equality into (...) account. As a consequence, the higher-order unification problem is undecidable and sets of solutions need not even always have most general elements that represent them. Thus the mentioned calculi for higher-order logic have take special measures to circumvent the problems posed by the theoretical complexity of higher-order unification. In this paper, we will exemplify the methods and proof- and model-theoretic tools needed for extending first-order automated theorem proving to higherorder logic. For the sake of simplicity take the tableau method as a basis (for a general introduction to first-order tableaux see part I.1) and discuss the higherorder tableau calculi HT and HTE first presented in [19]. The methods in this paper also apply to higher-order resolution calculi [1, 13, 6] or the higher-order matings method of Peter [3], which extend their first-order counterparts in much the same way. Since higher-order calculi cannot be complete for the standard semantics by Gödel’s incompleteness theorem [11], only the weaker notion of Henkin models [12] leads to a meaningful notion of completeness in higher-order logic. It turns out that the calculi in [1, 13, 3, 19] are not Henkin-complete, since they fail to capture the extensionality principles of higher-order logic. We will characterize the deductive power of our calculus HT (which is roughly equivalent to these calculi) by the semantics of functional Σ-models. To arrive at a calculus that is complete with respect to Henkin models, we build on ideas from [6] and augment HT with tableau construction rules that use the extensionality principles in a goal-oriented way.. (shrink)
Even though OpenMath has been around for more than 10 years, there is still confusion about the “semantics of OpenMath”. As the upcoming MathML3 recommendation will semantically base Content MathML on OpenMath Objects, this question becomes more pressing. One source of confusions about OpenMath semantics is that it is given on two levels: a very weak algebraic semantics for expression trees, which..
The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentation of formal knowledge have always been important issues in the MKM community. Therefore, we try to improve these ontology languages by well-tried MKM techniques. Concretely, we propose OM- Doc as an alternative. We show how OMDoc can be made compatible with semantic web ontology languages, focusing on knowledge representation, modular design, documentation, (...) and metadata. We evaluate our technology by re-implementing the Friend-of-a-friend (FOAF) ontology and applying it in a novel metadata framework for technical documents (including ontologies). (shrink)
Semantic analysis, – inference on the basis of semantic information and world knowledge – still is largely uncharted territory in dy- (3) namic semantics. It is needed, among other things, for the reconstruction of linguistically unspecified parts of the discourse or for restricting ambiguities introduced by prior analysis processes, i.e.
LF has been designed as a meta-logical framework to represent logics, and has become a standard tool for studying properties of logics. Building on the newly introduced module system for LF, we present the nucleus of an integrated and structured development of the syntax, semantics, and proof theory of logics, and of the relations between those logics. The methodology is chosen so that it will scale to an atlas for the zoo of logics currently used in reasoning systems, and the (...) modular nature of this development aids the practical integration of systems because shared features of the logics are reused directly. Finally we show how these encodings in LF are imported into the Hets system, which provides automated proof support on the modular level and integrates various automated theorem provers for the represented object logics. (shrink)
The usage of sorts in first-order automated deduction has brought greater conciseness of representation and a considerable gain in efficiency by reducing the search spaces involved. This suggests that sort information can be employed in higher-order theorem proving with similar results.
This paper introduces a multi-valued variant of higher-order resolution and proves it correct and complete with respect to a variant of Henkin’s general model semantics. This resolution method is parametric in the number of truth values as well as in the particular choice of the set of connectives (given by arbitrary truth tables) and even substitutional quantifiers. In the course of the completeness proof we establish a model existence theorem for this logical system. The work reported in this paper provides (...) a basis for developing higherorder mechanizations for many non-classical logics. (shrink)
The effort to align MathML 3 and OpenMath has led to a realisation that (pragmatic) MathML’s condition and domainofapplication elements, when used with quantifiers, do not have a neat expression in OpenMath. This paper analyzes the situation focusing on quantifiers and proposes a solution, via six new symbols. Two of them fit completely within the existing OpenMath structure, and we place them in the associated quant3 CD. The others require a generalization of OMBIND. We also propose, logically separately but in (...) the same area, a quant2 CD with existsuniquely, commonly written ∃!, and the ‘fusion’ symbol existsuniquelyin. In a second step we generalize the solution to the phenomenon of big operators that MathML 2 implicitly provides but which do not have a direct counterpart in the OpenMath CDs. (shrink)
OpenMath is a standard for the representation and communication of mathematical objects, which are built up from symbols and variables using applications, binding expressions, and key-value attributions. OpenMath2 introduced a set of symbol roles that can be specified in content dictionaries to restrict the occurrences of the respective symbols. This yields a simple, high-level notion of well-formed objects. While this system is appealing in its simplicity, the definition of wellformedness is purely extensional without an intuitive or formal condition that distinguishes (...) well-formed objects from ill-formed ones. Moreover, some well-formed objects should arguably rather be ill-formed. We try to remedy that with a refined role system while preserving the simplicity of the existing one. In particular, by distinguishing syntactic and semantic roles, we can capture the intuitive notion of well-formedness better. (shrink)
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundational point of view. We identify the following form of integration problems: an informal (mathematical; i.e, logically underspecified) specification has multiple concrete formal implementations between which queries and results have to be transported. The integration challenge consists in dealing with the implementation-specific details such as additional constants and properties. We pinpoint their role in safe (...) and unsafe integration schemes and propose a proof-theoretic solution based on modular theory-graphs that include the meta-logical foundations. This also gives a clean conceptual basis for earlier attempts that explain integration via “content/semantic markup”. (shrink)
We explore the social context of mathematical knowledge: Even though, the community of mathematicians may look homogeneous from the outside, it is actually structured into various sub-communities that differ in preferred notations, the choice of basic assumptions, or e.g. in the choice of motivating examples. We contend that we cannot manage mathematical knowledge for human recipients if we do not take these factors into account. As a basis for a future extension of MKM systems, we analyze the social context of (...) information in terms of Communities of Practice (CoP; a concept from learning theory) and present a concrete extensional model for CoPs in mathematics. (shrink)
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations of formulae and indexes them with substitution tree indexing. In version 0.4 we have parallelized and distributed the search server and augmented the web interface with a new JavaScript-based visual editor for content math formulae. Furthermore, we have extended the query language by generalization, variants, unification, and text search facilities, which can also be mixed. Our experiments show that this architecture results in a (...) scalable application. (shrink)
In this paper we re-examine the semantics of classical higher-order logic with the purpose of clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher-order models with respect to various combinations of Boolean extensionality and three forms of functional extensionality. Furthermore, we develop a methodology of abstract consistency methods (by providing the necessary model existence theorems) needed to analyze completeness of (machine-oriented) higher-order calculi with respect to these model classes.
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in automated theorem provers. For querying, we present a generic language extension approach that allows constructing queries by minimally annotating existing representations. First experiments show that this architecture results in a scalable application.
This package supplies the infrastructure for extending STEX macros with OMDoc metadata. This package is mainly intended for authors of STEX extension packages.
Listed buildings, even if they are not top landmarks, are increasingly attracting visitors. People express interest in hidden gems in their neighborhood or along their travel itinerary, and in the history of the building they live in. All required data has been meticulously collected by the offices for historical monuments but is not flexibly accessible. In Bremen, the database of buildings (with location, map of the estate, construction history, architect, photos) is searchable and browsable online3, but that only helps users (...) who know how to use a rigidly structured database search form. Our beginning BauDenkMalNetz effort (“listed building web”) aims at a wider purpose: modeling the semantic structure of these data, starting in Bremen but open for other data, and exposing them via a semantic web interface with enhanced querying and presentation capabilities. Requirements beyond interactive browsing comprise auto-generation of customized printed guides (e. g. “Bauhaus villas in my neighborhood”), on-demand presentation on mobile devices (e. g. “medieval churches along my travel itinerary”), and serving linked data for usage by other services. (shrink)
This package provides an infrastructure for semantically enhanced requirements specifications used in software engineering. This allows to embed structural information into documents that can be used by semantic document managment systems e.g. for management of change and requirements tracing.
Thus, despite the di culty of higher-order automated theorem proving, which has to deal with problems like the undecidability of higher-order uni - cation (HOU) and the need for primitive substitution, there are proof problems which lie beyond the capabilities of rst-order theorem provers, but instead can be solved easily by an higher-order theorem prover (HOATP) like Leo. This is due to the expressiveness of higher-order Logic and, in the special case of Leo, due to an appropriate handling of the (...) extensionality principles (functional extensionality and extensionality on truth values). (shrink)
‘Semantic technologies’ are touted as the next big wave in Educational Technology and as the solution to many problems in this arena. Interdisciplinary work between the fields of Knowledge Management (KM) and Educational Technology (ET) is booming. But the crop of actual systems and semantically enhanced learning objects is still meager, maybe KM and EL they are lacking a consensus on the underlying notions e.g. of ‘semantics’, yielding specific problems in their interplay. In this paper we take a look at (...) semantic educational technologies and draw conclusions for their approach in KM. In particular, we (re)-evaluate the notions of ‘semantics’, ‘knowledge’, ‘learning’, their role for learning materials in ET, and how they interact with the contexts involved in the learning/teaching process. Based on this, we distill a list of conditions the underlying knowledge representation format must fulfil to support these. As these conditions are still rather abstract, we show how they can be realized in a concrete language design, taking in our OMDoc (Open Mathematical Documents) format as a point of departure. (shrink)
We present a collection of TEX macro packages that allow to markup TEX/L ATEX documents semantically without leaving the document format, essentially turning TEX/L ATEX into a document format for mathematical knowledge management (MKM).
Over the past few years, there have been a series of attempts Zee89, GS90, EK95, Mus94, KKP95] to combine the Montagovian type theoretic framework Mon74] with dynamic approaches, such as DRT Kam81]. The motivation for these developments is to obtain a general logical framework for discourse semantics that combines compositionality and dynamic binding.
We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference. We describe the API and the functionality needed to realize a cvs-like version control and distribution model. This architecture extends the cvs architecture in two ways, motivated by the specific needs of distributed management of structured mathematical knowledge on the Internet. On the one hand the one-level client/server model of cvs is (...) generalized to a multi-level graph of client/server relations, and on the other hand the underlying change-detection tools take the math-specific structure of the data into account. (shrink)
Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and content of knowledge, about its structure, and epistemological nature that shape the MKM systems, but a conceptual model is missing. In this paper we try to rationalize this discussion to give MKM a firmer footing, to start a discussion among MKM researchers and help relate the MKM intuitions and discourses to other communities. Starting from (...) the observation that many concrete realizations of mathematical knowledge objects are considered equivalent, we propose a conceptual model of the space of (mathematical) knowledge objects graded by levels of abstraction and presentational explicitness and draw conclusions for MKM markup formats. (shrink)
Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a detailed look at the motivations of users to produce semantic data, we argue that the authoring problem experienced by MKM is actually an author’s dilemma. An analysis of the content authoring process suggests that the dilemma can partially be overcome by providing authoring tools like invasive editors aimed specifically at supporting the content creator. We present the (...) CPoint application, a semantic, invasive editor for Microsoft PowerPoint, geared towards the OMDoc MKM format. (shrink)
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. In this paper we show that spreadsheets are interesting applications for MKM techniques which can alleviate usability and maintenance problems as spreadsheet-based applications grow evermore complex and longlived. We present the software and information architecture of a semantic enhancement of MS Excel spreadsheets that aims at compensating the computational bias in spreadsheets.
Spreadsheets are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. They represent examples for “active documents” which are considered very worthwhile in the field of Knowledge Management. But these activity traits also lead to usability and maintenance problems, as spreadsheet-based applications grow evermore complex and longlived. We argue that these difficulties come from a fundamental bias of spreadsheets towards computational aspects of the conceptual models underlying the applications, i.e., a (...) semantic bias. Concretely, we present the software architecture of the SACHS project geared towards a semantic enhancement of MS Excel spreadsheets that aims at compensating this semantic bias. (shrink)
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — a prerequisite for provisioning adequate help. In contrast to level-based approaches we propose an ontology-based model, which allows fine-grained modeling of task experience using the concepts of the task domain as granules. The model is semantic in the sense that it allows to take advantage of the relations between concepts to provide (...) novel semantic services and interactions. We present the SACHS (Semantic Annotations for a Controlling Help System, a semantic help system for a spreadsheet-based financial controlling system) software as an exemplary application of the proposed task experience model. (shrink)
The Analytica system is a theorem proving system for 19 th century mathematics written on top of the Mathematica computer algebra system. It was developed in the early 1990’s by X. Zhao and E. Clarke and has since been dormant. We describe recent work to resurrect the theorem prover and port it to newer versions of Mathematica. The new system Analytica 2 can still prove the same theorems, but has been significantly cleaned up. The code has been restructured and documented, (...) the declarative knowledge has been separated from a logical kernel, and the system is being made available as a MathWeb service. (shrink)
transparency as a user interface property that enables giving appropriate help. We explicate this notion in document player applications found in office suites, for example. Moreover, we show how semantic transparency can be strengthened when the underlying software is complemented by a semantic ally system. The approach consists in illustrating existing software semantically. We present some semantic extensions of office applications as examples. We also deaction task. scribe how the semantic transparency approach allows the..
We propose related algorithms for unification and constraint simplification in }F’&, a refinement of the simply-typed A-calculus with subtypes and bounded intersection types. }F""’ is intended as the basis of a logical framework in order to achieve more succinct and declarative axiomatiza-.
In this paper, we show that Higher{Order Coloured Uni cation { a form of uni cation developed for automated theorem proving { provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for.
Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familiar to them. Therefore, authors optimize the choice of notations with respect to these two criteria, while at the same time trying to remain consistent over the document and their own prior publications. In print media where notations are fixed at publication time, this is an over-constrained problem. In living documents notations can be adapted at reading time, (...) taking reader preferences into account. We present a representational infrastructure for notations in living mathematical documents. Mathematical notations can be defined declaratively. Author and reader can extensionally define the set of available notation definitions at arbitrary document levels, and they can guide the notation selection function via intensional annotations. We give an abstract specification of notation definitions and the flexible rendering algorithms and show their coverage on paradigmatic examples. We show how to use this framework to render OpenMath and Content-MathML to Presentation-MathML, but the approach extends to arbitrary content and presentation formats. We discuss prototypical implementations of all aspects of the rendering pipeline. (shrink)
In the last two decades, the World Wide Web has become the universal, and — for many users — main information source. Search engines can efficiently serve daily life information needs due to the enormous redundancy of relevant resources on the web. For educational — and even more so for scientific information needs, the web functions much less efficiently: Scientific publishing is built on a culture of unique reference publications, and moreover abounds with specialized structures, such as technical nomenclature, notational (...) conventions, references, tables, or graphs. Moreover, many of these structures are peculiar to specialized communities determined by nationality, research group membership, or adherence to a special school of thought. To keep the much-lamented “digital divide” from becoming a “cultural divide”, we have to make online material more accessible and adaptable to individual users. In this paper we attack this goal for the field of mathematics where knowledge is abstract, highly structured, and extraordinarily interlinked. Modern, content-based representation formats like OpenMath or content MathML allow us to capture, model, relate, and represent mathematical knowledge objects and thus make them context-aware and machine-adaptable to the respective user contexts. Building on previous work which can make mathematical notations adaptable we employ user modeling techniques to make them adaptive to relieve the reader of configuration tasks. We present a comprehensive framework for adaptive notation management and evaluate it on an implementation integrated in the e-learning platform panta rhei. (shrink)
Both Higher-Order Uni cation (HOU) approaches to In linguistic theories on discourse coherence Kehler, discourse semantics Dalrymple et al., 1991; Shieber et..
We present a content markup language for physics realized by extending the OMDoc format by an infrastructure for the principal concepts of physics: observables, physical systems, and experiments.
The OMDoc (Open Mathematical Documents) format is a content markup scheme for (collections of) mathematical documents including articles, textbooks, interactive books, and courses. OMDoc also serves as the content language for agent communication of mathematical services on a mathematical software bus.
Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familiar to them. Therefore, authors optimize the choice of notations with respect to these two criteria, while at the same time trying to remain consistent over the document and their own prior publications. In print media where notations are fixed at publication time, this is an over-constrained problem. In living documents notations can be adapted at reading time, (...) taking reader preferences into account. We present a representational infrastructure for notations in living mathematical documents. Mathematical notations can be defined declaratively. Author and reader can extensionally define the set of available notation definitions at arbitrary document levels, and they can guide the notation selection function via intensional annotations. We give an abstract specification of notation definitions and the flexible rendering algorithms and show their coverage on paradigmatic examples. We show how to use this framework to render OpenMath and Content-MathML to Presentation-MathML, but the approach extends to arbitrary content and presentation formats. We discuss prototypical implementations of all aspects of the rendering pipeline. (shrink)
This paper introduces the concept of Virtual Documents and its prototypical realization in our TNTBase system, a versioned XML database. VDs integrate XQuery-based computational facilities into documents like JSP/PHP do for relational queries. We view the integration of computation in documents as an enabling technology and evaluate it on a handfull of real-world use cases.
This Note discusses the facilities that are available in the MathML 2.0 Recommendation to facilitate the capturing of mathematical type information. It demonstrates how a combination of these features can be systematically used to provide support for general mathematical types.
MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large, highly interconnected corpora: “MKM in the large”. We contend that advances in two areas are needed to reach this goal. We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on large knowledge bases. We present instances (...) of both in this paper: the MMT framework for modular theory-graphs that integrates meta-logical foundations, which forms the base of the next OMDOC version; and TNTBase, a versioned storage system for XML- based document formats. TNTBase becomes an MMT database by instantiating it with special MKM operations for MMT. (shrink)
We describe an experiment of transforming large collections of L ATEX documents to more machine-understandable representations. Concretely, we are translating the collection of scientific publications of..
Spreadsheets are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. In previous work we have studied how an explicit representation of the background knowledge associated with the spreadsheet can be exploited to alleviate usability problems with spreadsheet-based applications. The SACHS system implements this approach to provide a semantic help system for DCS, an Excelbased financial controlling system.
Suppose a fire broke out in a fertility clinic. One had time to save either a young girl, or a tray of ten human embryos. Would it be wrong to save the girl? According to Michael Sandel, the moral intuition is to save the girl; what is more, one ought to do so, and this demonstrates that human embryos do not possess full personhood, and hence deserve only limited respect and may be killed for medical research. We will argue, (...) however, that no relevant ethical implications can be drawn from the thought experiment. It demonstrates neither that one always ought to let the embryos die, nor does it allow for any general conclusion concerning the moral status of human embryos. (shrink)
On the 27th of October, 1949, the Department of Philosophy at the University of Manchester organized a symposium "Mind and Machine", as Michael Polanyi noted in his Personal Knowledge (1974, p. 261). This event is known, especially among scholars of Alan Turing, but it is scarcely documented. Wolfe Mays (2000) reported about the debate, which he personally had attended, and paraphrased a mimeographed document that is preserved at the Manchester University archive. He forwarded a copy to Andrew Hodges and (...) B. Jack Copeland, who in then published it on their respective websites. The basis of this interpretation here is the copy preserved in the Regenstein Library of the University of Chicago, Special Collections, Polanyi Collection (abbreviated RPC, box 22, folder 19). The same collection holds the mimeographed statement that Polanyi prepared for this symposium: "Can the mind be represented by a machine?" This text has not been studied by Polanyi scholars. (shrink)
In Consciousness and persons, Michael Tye (Tye, M. (2003). Consciousness and persons. Cambridge, MA: MIT Press.) develops and defends a novel approach to the unity of consciousness. Rather than thinking of the unity of consciousness as involving phenomenal relations between distinct experiences, as standard accounts do, Tye argues that we should regard the unity of consciousness as involving relations between the contents of consciousness. Having developed an account of what it is for consciousness to be unified, Tye goes on (...) to apply his account of the unity of consciousness to the split-brain syndrome. I provide a critical evaluation of Tye's account of the unity of consciousness and the split-brain syndrome. (shrink)
In his recent writings, Sir Michael Dummett has reflected twice on the Catholic position on the morality of contraception, focusing his attention especially on Humanae Vitae’s prohibition of the contraceptive use of the birth control pill. On examination, Dummett finds this prohibition ‘incoherent’, arguing that its promulgation ‘greatly damaged the respect of the faithful for the Catholic Church’s moral teaching in general’, as well as ‘the integrity of Catholic moral theology’. Given Dummett’s earlier defense of Paul VI’s reaffirmation of (...) the Church’s traditional position on contraception in Humanae Vitae, as well as his forceful criticisms of certain liberalizing tendencies among Catholic theologians and biblical scholars, these arguments deserve to be taken seriously, and regarded as coming from a spirit of serious philosophical reflection rather than casual dissent. Nevertheless, this paper argues that they are based on a misapprehension of what is really behind the position Dummett means to be criticizing, and that when the essentials of that position are clarified the rationale behind it is safe from his objections. (shrink)
Michael Tye argues for two crucial theses: (1) that experiences of pain have representational content (essentially); (2) that the representational content can be specified in terms of something like damage in parts of the body. (Different types of pain are connected with different types of damage.) I reject both of these theses. In my view experiences of pain carry nonconceptual content, but do not represent essentially. Rather they are apt to represent when the subject attends to them. The experiences (...) carry nonconceptual content not only about tissue damage, but about many other qualities as well, including dispositional qualities. (shrink)
For more than 100 years, anthropologists have collected ethnographic research among communities who assert that the spirits, animal allies, and other entities of the unseen world are “really real,” yet we have historically contextualized this information under the umbrella of cultural relativism rather than taking the veracity of these claims seriously. In the last decade, some anthropologists claim that our discipline has finally undergone an ontological turn, which opens a door for anthropologists to finally take claims of nonhuman sentience seriously (...) under the umbrella of ontological, rather than cultural, relativism. This paper takes issue with ontological relativism as just one more frame for explaining away the stories of other-than-human consciousness that ethnographers report and suggests that there is an urgent need to consider the relevance, rather than the relativism, of other-than-human consciousness. It looks to Michael Harner's work as a welcome alternative to ontological relativism and encourages opening our minds to a reconsideration of what is “really real.”. (shrink)
Author comments on the changes in his approach to questions concerning action and perception, current and future status of ecological psychology, as well as specificity of human nature.
Imagine putting together a jigsaw puzzle that works like the board game in the movie “Jumanji”: When you finish, whatever the puzzle portrays becomes real. The children playing “Jumanji” learn to prepare for the reality that emerges from the next throw of the dice. But how would this work for the puzzle of scientific research? How do you prepare for unlocking the secrets of the atom, or assembling from the bottom-up nanotechnologies with unforeseen properties – especially when completion of such (...) puzzles lies decades after the first scattered pieces are tentatively assembled? In the inaugural issue of this journal, Michael Polanyi argued that because the progress of science is unpredictable, society must only move forward with solving the puzzle until the picture completes itself. Decades earlier, Frederick Soddy argued that once the potential for danger reveals itself, one must reorient the whole of one’s work to avoid it. While both scientists stake out extreme positions, Soddy’s approach – together with the action taken by the like-minded Leo Szilard – provides a foundation for the anticipatory governance of emerging technologies. This paper narrates the intertwining stories of Polanyi, Soddy and Szilard, revealing how anticipation influenced governance in the case of atomic weapons and how Polanyi’s claim in “The Republic of Science” of an unpredictable and hence ungovernable science is faulty on multiple levels. (shrink)
This paper discusses how Wittgenstein’s thinking informs recent conversations about art and aesthetic practice by examining his influence on the work of the noted modernist art critic, Michael Fried. Fried considers an excerpt from Wittgenstein’s Culture and Value, with a puzzling thought experiment, to help us see more clearly the Canadian artist Jeff Wall’s photographic vision and aesthetic. I consider Fried’s account of the photographic practice of Jeff Wall, especially his photograph Morning Cleaning, Mies van der Rohe Foundation (1999).
[Michael Friedman] This paper considers the extent to which Kant's vision of a distinctively 'transcendental' task for philosophy is essentially tied to his views on the foundations of the mathematical and physical sciences. Contemporary philosophers with broadly Kantian sympathies have attempted to reinterpret his project so as to isolate a more general philosophical core not so closely tied to the details of now outmoded mathematical-physical theories (Euclidean geometry and Newtonian physics). I consider two such attempts, those of Strawson and (...) McDowell, and argue that they fundamentally distort the original Kantian impulse. I then consider Buchdahl's attempt to preserve the link between Kantian philosophy and the sciences while simultaneously generalizing Kant's doctrines in light of later scientific developments. I argue that Buchdahl's view, while not adequate as in interpretation of Kant in his own eighteenth century context, is nonetheless suggestive of an historicized and relativized revision of Kantianism that can do justice to both Kant's original philosophical impulse and the radical changes in the sciences that have occurred since Kant's day. /// [Graham Bird] Michael Friedman criticises some recent accounts of Kant which 'detach' his transcendental principles from the sciences, and do so in order to evade naturalism. I argue that Friedman's rejection of that 'detachment' is ambiguous. In its strong form, which I claim Kant rejects, the principles of Euclidean geometry and Newtonian physics are represented as transcendental principles. In its weak form, which I believe Kant accepts, it treats those latter principles as higher order conditions of the possibility of both science and ordinary experience. I argue also that the appeal to naturalism is unhelpful because that doctrine is seriously unclear, and because the accounts Friedman criticises are open to objections independent of any appeal to naturalism. (shrink)
This paper deals with Ludwik Fleck’s theory of thought styles and Michael Polanyi’s theory of tacit knowledge. Though both concepts have been very influential for science studies in general, and both have been subject to numerous interpretations, their accounts have, somewhat surprisingly, hardly been comparatively analyzed. Both Fleck and Polanyi relied on the physiology and psychology of the senses in order to show that scientific knowledge follows less the path of logical principles than the path of accepting or rejecting (...) specific conventions, where these may be psychologically or sociologically grounded. It is my aim to show that similarities and differences between Fleck and Polanyi are to be seen in the specific historical and political context in which they worked. Both authors, I shall argue, emphasized the relevance of perception in close connection to their respective understanding of science, freedom, and democracy. (shrink)
Michael Walzer is currently at the School of Social Science, Institute for Advanced Study, in Princeton, New Jersey. Professor Walzer has written Just and Unjust Wars; The Revolution of the Saints and has edited Toward A Global Civil Society. In this interview, he discusses some of the current concerns about education, political theory and the current state of the art of toleration, and acceptance and accommodation of different racial, ethnic, social and minority groups. He has published extensively and his (...) work has been translated in several other languages. In this interview, he responds to questions about his work, his writings and his current concerns. (shrink)
In his widely influential statement of just war theory, Michael Walzer exempts conscripted soldiers from all responsibility for taking part in war, whether just or unjust (the thesis of the moral equality of soldiers). He endows the overwhelming majority of civilians with almost absolute immunity from military attack on the ground that they aren't responsible for the war their country is waging, whether just or unjust. I argue that Walzer is much too lenient on both soldiers and civilians. Soldiers (...) fighting for a just cause and soldiers fighting for an unjust one are not morally equal. A substantial proportion of civilians in a democracy are responsible, to a significant degree, for their country's unjust war. Moreover, under certain (admittedly rare) circumstances, some of them are legitimate targets of military attack. This has bearing on settling moral accounts in the wake of war and the issue of forgiving the wrongs done in its course: possible candidates for such forgiveness are much more numerous than is usually assumed. (shrink)
In the 82/2 (2000) issue of this journal, Michael Friedman has offered a stimulating discussion of my recent book, Kant and the Capacity to Judge. His conclusion is that on the whole I fail to do justice to what is most revolutionary about Kant's natural philosophy, and instead end up attributing to Kant a pre-Newtonian, Aristotelian philosophy of nature. This is because, according to Friedman, I put excessive weight on Kant's claim to have derived his categories from a set (...) of logical forms of judgment which he inherits from a traditional Aristotelian logic. In taking Kant at his word on this point, I fail to give their full import to Kant's insights into the newly discovered applications of mathematical concepts and methods to the science of nature. (shrink)
In this exciting new collection, a distinguished international group of philosophers contribute new essays on central issues in philosophy of language and logic, in honor of Michael Dummett, one of the most influential philosophers of the late twentieth century. The essays are focused on areas particularly associated with Professor Dummett. Five are contributions to the philosophy of language, addressing in particular the nature of truth and meaning and the relation between language and thought. Two contributors discuss time, in particular (...) the reality of the past. The last four essays focus on Frege and the philosophy of mathematics. The volume represents some of the best work in contemporary analytical philosophy. (shrink)
Although it goes against a widespread significant misunderstanding of his view, Michael Smith is one of the very few moral philosophers who explicitly wants to allow for the commonsense claim that, while morally required action is always favored by some reason, selfish and immoral action can also be rationally permissible. One point of this paper is to make it clear that this is indeed Smith’s view. It is a further point to show that his way of accommodating this claim (...) is inconsistent with his well-known “practicality requirement” on moral judgments: the thesis that any rational person will always have at least some motivation to do what she judges to be right. The general conclusion is that no view that, like Smith’s, associates the normative strength of a reason with the motivational strength of an ideal desire will allow for the wide range of rational permissibility that Smith wants to capture. (shrink)
In Consciousness and persons, Michael Tye (Tye, M. (2003). Consciousness and persons. Cambridge, MA: MIT Press.) develops and defends a novel approach to the unity of consciousness. Rather than thinking of the unity of consciousness as involving phenomenal relations between distinct experiences, as standard accounts do, Tye argues that we should regard the unity of consciousness as involving relations between the contents of consciousness. Having developed an account of what it is for consciousness to be unified, Tye goes on (...) to apply his account of the unity of consciousness to the split-brain syndrome. I provide a critical evaluation of Tye's account of the unity of consciousness and the split-brain syndrome. (shrink)
Schizophrenia, like other pathological conditions of mental life, has not been systematically included in the general study of consciousness. By focusing on aspects of chronic schizophrenia, we attempt to remedy this omission. Basic components of Husserl’s phenomenology (intentionality, synthesis, constitution, epoche, and unbuilding) are explicated and then employed in an account of chronic schizophrenia. In schizophrenic experience, basic constituents of reality are lost and the subject must try to explicitly re-constitute them. “Automatic mental life” is weakened such that much of (...) the world that is normally taken-for-granted cannot continue to be so. The subject must actively re-lay the ontological foundations of reality. (shrink)
Moral rationalism is the view that morality originates in reason alone. It is often contrasted with moral sentimentalism, which is the view that the origin of morality lies at least partly in (non-rational) sentiment. The eighteenth century saw pitched philosophical battles between rationalists and sentimentalists, and the issue continues to fuel disputes among moral philosophers today.
In Atheism: A Philosophical Justification, Michael Martin argues that to posit a God that is both omnipotent and omniscient is philosophically incoherent. I challenge this argument by proposing that a God who is necessarily omniscient is more powerful than a God who is contingently omniscient. I then argue that being omnipotent entails being omniscient by showing that for an all-powerful being to be all-powerful in any meaningful way, it must possess complete knowledge about all states of affairs and thus (...) must be understood to be omniscient. (shrink)
For someone who is inclined towards truth monism and moral realism, reading this book is like journeying through a foreign country: somewhat disconcerting, but nonetheless enjoyable. Michael Lynch’s world is a stoutly naturalistic world, in which representation is conceived in terms of causal or teleological relations. This is a world in which it is hard to fit normative facts. Thus, the reader is told that there are good reasons to think that ‘moral properties, should they exist, would not be (...) the sort of properties with which we enter into causal contact’ (p. 161). But it is also a world in which thought is conceived of as unified, in the sense that propositions of all kinds, whether about middle-sized dry goods, mathematical objects, or morals, are truth-apt and cognitive, so that they can intermingle in reasoning. What we have, then, is the following: no moral facts in any serious sense of that term, but ordinary moral truth nonetheless. This is an interesting, but difficult, position. What it requires is a decidedly original account of truth, which Lynch dubs the functionalist theory of truth, according to which truth is both one and many. (shrink)
Michael Jubien’s Ontology, Modality, and the Fallacy of Reference is an interesting and lively discussion of those three topics. In ontology, Jubien defends, to a first approximation, a Quinean conception: a world of objects that may be arbitrarily sliced or summed. Slicing yields temporal parts; summing yields aggregates, or fusions. Jubien is very unQuinean in his explicit Platonism regarding properties and propositions, but concerns about abstracta are peripheral to much of the argumentation in the book.1 His version of the (...) doctrine that arbitrary mereological sums exist is nonstandard in that he views it as a convention (albeit a useful one) that we treat sums of objects as themselves being objects. Indeed, he views the concept of objecthood itself as being conventional. The world consists fundamentally of stuff, which we divide into things in any way that suits our purposes. In modality, Jubien’s views are to a first approximation Chisholmian: he holds the doctrine of mereological essentialism, according to which anything.. (shrink)
Timothy Michael Fowler has argued that, as a consequence of their commitment to neutrality in regard to comprehensive doctrines, political liberals face a dilemma. In essence, the dilemma for political liberals is that either they have to give up their commitment to neutrality (which is an indispensible part of their view), or they have to allow harm to children. Fowler’s case for this dilemma depends on ascribing to political liberals a view which grants parents a great degree of freedom (...) in deciding on the education of their children. I show that ascribing this view to political liberals rests upon a misinterpretation of political liberalism. Since political liberals have access to reasons based upon the interests of children, they need not yield to parent’s wishes about the education of their children. A correct understanding of political liberalism thus shows that political liberals do not face the dilemma envisaged by Fowler. (shrink)
MichaelJordan is widely acclaimed as the greatest athlete who ever lived. The announcement of his retirement in January 1999 unleashed an unparalleled hyperbole of adjectives describing his superlative athletic accomplishments. Yet his continuing media presence and adulation after his retirement confirmed that Jordan is one of the most popular and widely known sports icons throughout the world. In China, the Beijing Morning Post ran a front paged article titled "Flying Man Jordan is Coming Back to (...) Earth" and in Bosnia Jordan's statement declaring his retirement was the lead story on the evening television news, pushing aside the war in Kosovo.[1] An icon of the global popular, Jordan is "a kind of new world prince," in the words of Pulitzer Prizewinning author David Halberstam, who recently published a biography of the basketball legend (1999): "You hear time and again about people being in Borneo or somewhere and coming across a kid in a tattered MichaelJordan T-shirt. He's the most famous American in the world.". (shrink)
The eminent historian and philosopher of biology, Michael Ruse, has written several books that explore the relationship of evolutionary theory to its larger scientific and cultural setting. Among the questions he has investigated are: Is evolution progressive? What is its epistemological status? Most recently, in "Darwin and Design: Does Evolution have a Purpose?," Ruse has provided a history of the concept of teleology in biological thinking, especially in evolutionary theorizing. In his book, he moves quickly from Plato and Aristotle (...) to Kant and such British thinkers as Paley and Whewell. His main focus, though, is on Darwin's theory and its subsequent fate. Ruse rests his history on some shaky historical and philosophic assumptions, particularly the unexamined notion that evolutionary theory is an abstract entity that is unproblematically realized in different historical periods. He also assumes that Darwin conceived nature as if it were a Manchester spinning loom -- a clanking, dispassionate machine. A more subtle analysis, which Ruse eschews, might discover that Darwin's conception of nature owed a strong debt to German Romanticism and that he contrived to infuse nature with moral and aesthetic values, not to suck them from nature. Ruse proves he is a thinker to contend with, and this essay is quite contentious. (shrink)
The manuscript includes comments on Michael Jacovides’s paper, “How Berkeley Corrupted His Capacity to Conceive.” The paper and comments were delivered at the conference “Meaning and Modern Empiricism” held at Virginia Tech in April 2008. I consider Jacovides’s treatment of Berkeley’s Resemblance Argument and his interpretation of the Master Argument. In particular, I distinguish several ways of understanding the disagreement between Jacovides and Kenneth Winkler over the right way to read the Master Argument.
Back in the bad old days, it was easy enough to spot non-cognitivists. They pressed radical doctrines with considerable bravado. Intoxicated by the apparent implications of logical positivism, early noncognitivsts would say things like, "in saying that a certain type of action is right or wrong, I am not making any factual statement..." (Ayer 1936: 107) Like most rebellious youths, non-cognitivism eventually grew up. Later non-cognitivists developed the position into a more subtle doctrine, no longer committed to the revisionary doctrines (...) associated with its forefathers. For example, Simon Blackburn has undertaken the "quasi-realist" project of showing how a non-cognitivist can "earn" the right to the seemingly realist discourse on a less metaphysically controversial and semantically implausible basis by giving a non-cognitivist analysis of realist-sounding semantics and pragmatics (Blackburn 1993). (shrink)
Manfred Frank and Niels Weidtmann (Eds.): Husserl und die Philosophie des Geistes Content Type Journal Article Pages 1-4 DOI 10.1007/s10743-011-9101-2 Authors Dan Zahavi, Center for Subjectivity Research, Department of Media, Cognition and Communication, University of Copenhagen, Copenhagen, Denmark Journal Husserl Studies Online ISSN 1572-8501 Print ISSN 0167-9848.
Consciousness has been defined as that annoying period between naps, and this grumpy definition may not be wholly facetious, if Michael Tye's latest book is right. Tye's main goal here is to develop a theory of the phenomenal unity of experience at a time, and its diachronic analog, the moment-to-moment continuity of one's experiential stream from the time one wakes up to the time consciousness lapses.
Michael S. Gazzaniga, a pioneer and world leader in cognitive neuroscience, has made an initial attempt to develop neuroethics into a brain-based philosophy of life that he hopes will replace the irrational religious and political belief-systems that still partly govern modern societies. This article critically examines Gazzaniga’s proposal and shows that his actual moral arguments have little to do with neuroscience. Instead, they are based on unexamined political, cultural and moral conceptions, narratives and values. A more promising way of (...) interpreting the belief-forming system of the brain is to say that we cannot avoid thinking in terms of wider frameworks and narratives that are socially embedded and historically developed; consequently, any moral discussion has to be in terms of these frameworks and narratives. (shrink)
Inheriting the religious prejudices of the Enlightenment, many supporters of liberal democracy consider John Calvin's theology contrary to the norms and virtues necessary for productive public discourse in a religiously and culturally diverse society. In Revolution of the Saints: A Study in the Origins of Radical Politics , Michael Walzer makes a similar assumption, arguing that, despite its contribution to political modernization, the inherent fideism, absolutism, and intolerance of Calvinism constitutes a threat to public discourse in liberal society. In (...) this paper, I contend that the prevailing understanding of Calvin's theology is incorrect. In actuality he is a nuanced natural law thinker, whose complex understanding of human nature and the state encourages the subtle balance of virtues that contemporary political life requires. (shrink)
Abstract. In Science and Spirituality, Michael Ruse attempts to reconcile traditional Christianity and modern science by arguing that Christianity addresses questions that lie beyond the domain of science. I argue that Ruse's solution raises a number of problems that render it unsatisfactory for both the scientist and believer. First, despite his objections to “God of the gaps” arguments, his own strategy for identifying those questions that are beyond the limits of science seems to raise the problem in a new (...) form. Second, what Ruse offers as evidence for the limits of science is better construed as evidence for deep disagreements among scientists and as such does not support his claims about the limits of science. Third, in aiming to establish their independence, Ruse subordinates religion to science. Finally, his support of traditional theology as a mode of religious understanding might cause concern for those who believe that certain kinds of theological reflection are at odds with scientific thinking. (shrink)
Michael Ruse’s new anthology Philosophy After Darwin provides great history and background in the major impacts Darwinism has had on philosophy, especially in ethics and epistemology. This review focuses on epistemology understood through the lens of evolution by natural selection. I focus on one of Ruse’s own articles in the collection, which responds to two classic articles by Konrad Lorenz and David Hull on the two major forms of evolutionary epistemology. I side with Ruse against Lorenz’s account of the (...) necessity we think our principles of reasoning have, though I disagree with Ruse’s particular example. I also argue that Ruse’s alternative explanation is lacking. Against Hull, I side with Ruse in his doubts that a sociobiological approach to science will prove fruitful, though I point out that it has certain advantages other approaches do not have. Although I side with Ruse on the issue, I conclude that the two views do not really come into direct conflict and so one needs not reject either. Finally, I discuss Ruse’s positive view and raise questions for his conception of evolutionary epistemology. I conclude that his arguments are insufficient to overcome opposing views and his view has at least as many unintuitive conclusions as the alternatives. (shrink)
Michael Tomasello’s new book Why We Cooperate explores the ontogeny and evolution of human altruism and human cooperation, paying particular attention to how such behaviors allow humans to create social institutions.
What are we to make of the "Parecon" phenomenon? MichaelAlbert's book made it to number thirteen on Amazon.com a few days after some on-line promotion.1 Eight of the twelve Amazon.com reviewers (when I last checked) had given the book five stars. It has been, or is being, translated into Arabic, Bengali, Telagu, Croatian, Czech, Finnish, French, German, Greek, Italian, Japanese, Korean, Spanish, Swedish and Turkish.2 The book has been endorsed by Noam Chomsky, who says it "merits close (...) attention, debate and action," by Arundhati Roy, who calls it "a brave argument for a much needed alternative economic vision," by Ben Bagdikian, who finds it "a compelling book for our times," and by Howard Zinn, who sees it as "a thoughtful, profound meditation on what a good society can be like."3 Yet it is a terrible book. (shrink)
