I aim to develop a tool for comparing theories of vagueness, using Structured Query Language. Relevant SQL snippets will be used throughout.

Robert Brandom's normative-pragmatic theory is intended to represent the minimal set of practical abilities whose exhibition qualifies creatures as speaking a language. His model of a minimally discursive practice (MDP) is one in which participants, devoid of logical vocabulary, are only capable of making assertions and drawing inferences. This dissertation argues that Brandom's purely assertional practices are not MDPs and that speech acts of asking questions (queries) must be included in any practice that counts as an MDP. I propose several (...) novel alternations to Brandom's deontic scorekeeping model of discourse, which I then utilize to generate a normative-pragmatic analysis of inquisitive practices. This analysis supports the claim that agents who can assert need to be able to ask questions and vice versa. The upshot is that intentionality belongs to those who can ask and answer questions. (shrink)

Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic or prosodic in nature, and have a hierarchical structure. Query languages are used to select particular structures of interest, or to project out large slices of a corpus for external analysis. Existing languages suffer from a variety of problems in the areas of expressiveness, efficiency, and naturalness for linguistic query. We describe the domain of (...) linguistic trees and discuss the expressive requirements for a query language. Then we present a language that can express a wide range of queries over these trees, and show that the language is first-order complete over trees. (shrink)

Exploring the risks, ambiguities, and unstable conceptual worlds of contemporary thought, Crossover Queries brings together the wide-ranging writings, across twenty years, of one of our most important philosophers.Ranging from twentieth-century European philosophy—the thought of Heidegger, Foucault, Derrida, Levinas, Janicaud, and others—to novels and artworks, music and dance, from traditional Jewish thought to Jain andBuddhist metaphysics, Wyschogrod’s work opens radically new vistas while remaining mindful that the philosopher stands within and is responsible to a philosophical legacy conditioned by the negative.Rather than (...) point to a Hegelian dialectic of overcoming negation or to a postmetaphysical exhaustion, Wyschogrod treats negative moments as opening novel spaces for thought. She probes both the desire for God and an ethics grounded in the interests of the other person, seeing these as moments both of crossing over and of negation. Alert to the catastrophes that have marked our times, she exposes the underlying logical structures of nihilatory forces that have been exerted to exterminate whole peoples. Analyzing the negationsof biological research and cultural images of mechanized and robotic bodies, she shows how they contest the body as lived in ordinary experience.“Crossover Queries brings together important essays on a remarkable range of topics by one of our most insightful cultural critics. Commenting on philosophical and theological issues that have shaped the recent past as well as scientific and technological questions that will preoccupy us in the near future, Wyschogrod consistently alerts us to the urgency of problems whose importance few recognize. To avoid the challenge these essays pose is to avoid responsibility for a future that appears to be increasingly fragile.”—Mark C. Taylor, Columbia University. (shrink)

The editorial introduces issue 21.1 of Technoetic Arts via a critical reflection on the artificial intelligence hype (AI hype) that emerged in 2022. Tracing the history of the critique of Large Language Models, the editorial underscores that there are substantial ethical challenges related to bias in the training data, copyright issues, as well as ecological challenges which the technology industry has consistently downplayed over the years. -/- The editorial highlights the distinction between the current AI technology’s reliance on extensive pre-existing (...) human-generated data for pattern recognition and the performative process inherent in art practice. Patterns of creative output can be replicated without a thorough understanding of underlying concepts. In contrast, the performative process of art practice, as explored through the conceptual frameworks of creativity by Noam Chomsky, Charles Sanders Peirce, and Roger T. Ames and discussed in previous publications by this editorial's author, creates concepts and continually ‘strives to extend itself towards the unknown.’ -/- Following this introductory section, the editorial provides an overview of the ten articles featured in this issue of Technoetic Arts. The first four texts engage with emerging technologies from various perspectives in art and design. The subsequent six articles, part of a special section titled 'Perspectives from Chandigarh,' reflect a quest for meaningful existence within colonial, patriarchal, and biopolitical structures that frame everyday practices of exclusion and oppression. (shrink)

To address the problems of both structured coordination of linked and modularised ontologies and to query a large dynamic ontology system, we propose a basic granularity framework and a set of functions to query such a granulated system. The granularity framework enforces a constrained and structured modularization. This facilitates automation of both dividing a large body of represented information as well as relinking the pieces. The functions enable basic cross-granular querying in a transparent and scalable way, as they (...) rely on the unambiguous management layer provided by the granularity framework, and are reusable for ontologies represented and stored in different formats. (shrink)

The work of Chandra and Harel contained in Chandra and Harel 156–178) can be considered as the beginning of the construction of a theoretical framework in which the computability and the complexity of queries to relational databases could be studied. In the definition of the class CQ of computable queries, the authors included untyped queries , that is, queries whose answers are relations of possibly different arities on different relational structures or databases. However, it seems that in the quite (...) wide and important work which followed on the subject, untyped queries were not considered at all, neither in the abstract machines side , nor in the logic framework. We propose to re-introduce these queries in the study of query computability and complexity without the need to leave the relational model. One important application which we consider in the theoretical setting is the computation of numerical queries, that is, queries which range over the naturals. Numerical queries do not fit in the current state of the theory regarding the two formalisms referenced above, since they can result in numerical values which are not necessarily in the domain of the given structure. We define an extension of the reflective relational machine of Abiteboul et al. , which we call untyped reflective relational machine , and we prove that this model is complete considering the whole class CQ . In the logic framework, we define a new quantifier, which we call conditional quantifier , and we build with it an infinitary logic which we denote by L ω 1 ω c . The difference between this logic and the well-known infinitary logic L ω 1 ω is that a formula of our logic can induce relations of different arities on different structures or databases. Then we prove that L ω 1 ω c strictly includes the whole sub-class of the total computable queries, including untyped queries. Finally, we define a fragment of L ω 1 ω c which we prove that exactly captures the sub-class of the total computable queries, but which is undecidable. We also define an undecidable fragment of L ω 1 ω which exactly captures the sub-class of the total and typed computable queries. (shrink)

Recent studies indicate that indicative conditionals like "If people wear masks, the spread of Covid-19 will be diminished" require a probabilistic dependency between their antecedents and consequents to be acceptable (Skovgaard-Olsen et al., 2016). But it is easy to make the slip from this claim to the thesis that indicative conditionals are acceptable only if this probabilistic dependency results from a causal relation between antecedent and consequent. According to Pearl (2009), understanding a causal relation involves multiple, hierarchically organized conceptual dimensions: (...) prediction, intervention, and counterfactual dependence. In a series of experiments, we test the hypothesis that these conceptual dimensions are differentially encoded in indicative and counterfactual conditionals. If this hypothesis holds, then there are limits as to how much of a causal relation is captured by indicative conditionals alone. Our results show that the acceptance of indicative and counterfactual conditionals can become dissociated. Furthermore, it is found that the acceptance of both is needed for accepting a causal relation between two co-occurring events. The implications that these findings have for the hypothesis above, and for recent debates at the intersection of the psychology of reasoning and causal judgment, are critically discussed. Our findings are consistent with viewing indicative conditionals as answering predictive queries requiring evidential relevance (even in the absence of direct causal relations). Counterfactual conditionals in contrast target causal relevance, specifically. Finally, we discuss the implications our results have for the yet unsolved question of how reasoners succeed in constructing causal models from verbal descriptions. (shrink)

_ Source: _Volume 7, Issue 4, pp 258 - 271 This contribution to the symposium on Annalisa Coliva’s _Extended Rationality_ is largely sympathetic with the moderate view of the structure of epistemic warrant which is defended in the book. However, it takes issue with some aspects of Coliva’s Wittgenstein-inspired ‘hinge epistemology’, focussing especially on her conception of propositional warrant, her treatment of epistemic closure, her antirealist conception of truth, and the significance of her answer to so-called Humean scepticism.

During a call, telemarketers sometimes solicit respondent’s opinions about a product or service. This turns out to be a query with multiple implications, and respondents are alive to them. On the one hand, the recipient orients to a local preference to evaluate the telemarketer’s product positively. On the other hand, a positive assessment may result in expectations and commitments that survive the sequence and that are relevant for the call’s outcome. The recipient is faced with two types of preference (...) structures, one grounded in the sequence and the other one in the course of action it is part of. The preferences may be incompatible. Analysis shows that the shape of response turns with congruent preferences is observably different from response turns with cross-cutting preferences. In the latter case, the dispreferred character of the response to the caller’s ultimate purpose – that is, making a proposal for a commercial transaction – dominates over the response to the opinion query as just an opinion query in its own right. To generalize, the analysis shows that preparatory sequences in standardized courses of action in institutional settings are a special type of presequence. The participants develop a course of action through ordered series of preparatory sequences. Although locally responding to initiatives of the interlocutor, each response shows an orientation to both the local contingencies of the ongoing sequence and to the overall course of action it is contributing to. (shrink)

In this paper, we study the path based continuous spatial keyword queries, which find the answer set continuously when the query point moves on a given path. Under this setting, we explore two primitive spatial keyword queries, namely k nearest neighbor query and range query. The technical challenges lie in that: retrieving qualified vertices in large road networks efficiently, and issuing the query continuously for points on the path, which turns out to be inapplicable. To overcome (...) the above challenges, we first propose a backbone road network index structure, which supports the distance computation efficiently and offers a global insights of the whole road network. Motivated by the safe zone technique, we then transform our queries to the issue of finding event points, which capture the changes of answer set. By this transformation, our queries are to be simple and feasible. To answer the queries, we propose a Two-Phase Progressive computing framework, which first computes the answer sets for some crucial vertices on the path, and then identifies the event points by the retrieved answer sets. Extensive experiments on both real and synthetic data sets are conducted to evaluate the performance of our proposed algorithms, and the results show that our algorithms outperform competitors by several orders of magnitude. (shrink)

This thesis proposes and presents two new models for belief representation and belief revision. The first model is the B-structures model which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, (...) computationally tractable procedures for query answering and belief base revision are obtained. ;The second model presents a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the conclusion and formulas in the sequence. The relevance relations are ternary as opposed to standard binary axiomatizations. The inference operation thus defined easily handles iterated revision by maintaining a revision history, blocks the derivation of inconsistent answers from a possibly inconsistent sequence and maintains the distinction between explicit and implicit beliefs. In doing so, it provides a finitely representable formalism and a plausible model of reasoning for automated agents. (shrink)

We propose a new relevance sensitive model for representing and revising belief structures, which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally tractable procedures for query answering and (...) belief.. (shrink)

Does y obtain under the counterfactual supposition that x? The answer to this question is famously thought to depend on whether y obtains in the most similar world in which x obtains. What this notion of ‘similarity’ consists in is controversial, but in recent years, graphical causal models have proved incredibly useful in getting a handle on considerations of similarity between worlds. One limitation of the resulting conception of similarity is that it says nothing about what would obtain were the (...) causal structure to be different from what it actually is, or from what we believe it to be. In this paper, we explore the possibility of using graphical causal models to resolve counterfactual queries about causal structure by introducing a notion of similarity between causal graphs. Since there are multiple principled senses in which a graph G* can be more similar to a graph G than a graph G**, we introduce multiple similarity metrics, as well as multiple ways to prioritize the various metrics when settling counterfactual queries about causal structure. (shrink)

There is no consensus as to whether a Liar sentence is meaningful or not. Still, a widespread conviction with respect to Liar sentences (and other ungrounded sentences) is that, whether or not they are meaningful, they are useless . The philosophical contribution of this paper is to put this conviction into question. Using the framework of assertoric semantics , which is a semantic valuation method for languages of self-referential truth that has been developed by the author, we show that certain (...) computational problems, called query structures , can be solved more efficiently by an agent who has self-referential resources (amongst which are Liar sentences) than by an agent who has only classical resources; we establish the computational power of self-referential truth . The paper concludes with some thoughts on the implications of the established result for deflationary accounts of truth. (shrink)

This paper presents an enhanced ontology formalization, combining previous work in Conceptual Structure Theory and Order-Sorted Logic. Most existing ontology formalisms place greater importance on concept types, but in this paper we focus on relation types, which are in essence predicates on concept types. We formalize the notion of ‘predicate of predicates’ as meta-relation type and introduce the new hierarchy of meta-relation types as part of the ontology definition. The new notion of closure of a relation or meta-relation type is (...) presented as a means to complete that relation or meta-relation type by transferring extra arguments and properties from other related types. The end result is an expanded ontology, called the closure of the original ontology, on which automated inference could be more easily performed. Our proposal could be viewed as a novel and improved ontology formalization within Conceptual Structure Theory and a contribution to knowledge representation and formal reasoning (e.g., to build a query-answering system for legal knowledge). (shrink)

First-order logic is known to have a severely limited expressive power on finite structures. As a result, several different extensions have been investigated, including fragments of second-order logic, fixpoint logic, and the infinitary logic L∞ωω in which every formula has only a finite number of variables. In this paper, we study generalized quantifiers in the realm of finite structures and combine them with the infinitary logic L∞ωω to obtain the logics L∞ωω, where Q = {Qi: iε I} is (...) a family of generalized quantifiers on finite structures. Using the logics L∞ωω, we can express polynomial-time properties that are not definable in L∞ωω, such as “there is an even number of x” and “there exists at least n/2 x” , without going to second-order logic. We show that equivalence of finite structures relative to L∞ωω can be characterized in terms of certain pebble games that are a variant of the Ehrenfeucht—Fraïssé games. We combine this game-theoretic characterization with sophisticated combinatorial tools from Ramsey theory, such as van der Waerden's Theorem and Folkman's Theorem, in order to investigate the scope and limits of generalized quantifiers in finite model theory. We obtain sharp lower bounds for expressibility in the logics L∞ωω and discover an intrinsic difference between adding finitely many simple unary generalized quantifiers to L∞ωω adding infinitely many. In particular, we show that if Qis a finite sequence of simple unary generalized quantifiers, then the equicardinality, or Härtig, quantifier is not definable in L∞ωω. We also show that the query “does the equivalence relation E have an even number of equivalence classes” is not definable in the extension L∞ωω of L∞ωω by the Härtig quantifier I and any finite sequence Q of simple unary generalized quantifiers. (shrink)

In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way. The structure exploits the deductive properties of a system of bimodal logic able to distinguish between ideal and actual normative statements, as well as a novel formalization of conditional normative statements able to capture interesting cases of contrary-to-duty reasoning and to avoid deontic paradoxes. Furthermore, we illustrate (...) how the theoretical framework proposed can be mechanized to get an automated procedure of query-answering on an example of legal text. (shrink)

Information-seeking interactions in multi-agent systems are required for situations in which there exists an expert agent that has vast knowledge about some topic, and there are other agents (questioners or clients) that lack and need information regarding that topic. In this work, we propose a strategy for automatic knowledge acquisition in an information-seeking setting in which agents use a structured argumentation formalism for knowledge representation and reasoning. In our approach, the client conceives the other agent as an expert in a (...) particular domain and is committed to believe in the expert’s qualified opinion about a given query. The client’s goal is to ask questions and acquire knowledge until it is able to conclude the same as the expert about the initial query. On the other hand, the expert’s goal is to provide just the necessary information to help the client understand its opinion. Since the client could have previous knowledge in conflict with the information acquired from the expert agent, and given that its goal is to accept the expert’s position, the client may need to adapt its previous knowledge. The operational semantics for the client-expert interaction will be defined in terms of a transition system. This semantics will be used to formally prove that, once the client-expert interaction finishes, the client will have the same assessment the expert has about the performed query. (shrink)

Referring to basic Weberian notions of rationalization and secularization, I try to find a more accurate sense of the term “secularization”, intending to describe adequately the position of religion in modernity. The result of this query is—or at least should be—a new, original conceptualization of religion as one of finite provinces of meaning within one paramount reality of the life-world, as defined by Alfred Schutz. I proceed by exposing a well known, major oversimplification of the Weberian concept of secularization, (...) very well outlined in Peter Berger’s The sacred canopy, in order to point to the genuine, much more differentiated position of Max Weber in this matter (especially from the period of Foundations of social economic and Economy and society), and, consequently, to return to the roots of Berger’s thought: phenomenological sociology of Alfred Schutz, an attempt to assure the philosophical foundations of Weber’s sociological theory. At a closer glimpse, transformation of religion in the modern process of rationalization does not consist—according to Weber—in eliminating religion and thus depriving society of the religious source of meaning, but in parallel emancipation of many different domains of rationality, including religion itself. Using Schutz’s analysis of the social world as a complex structure of many different final provinces of meaning, I describe religion as such a province and show what does the process of rationalization of this province consist and what it should consist in: a complex, ongoing exchange of cognitive relevances and contents, combined with growing autonomy of many different sub-worlds. Schutz’s theory of symbol, rooted in Edmund Husserl’s description of constitution of complex objects in mono- and polythetic acts of consciousness, moves the analysis to the epistemological level, pointing to a chance of intensifying our cognitive relation to reality through increasing interpenetration of various sub-universes of meaning. (shrink)

There are properties of finite structures that are expressible with the use of Hilbert's ε-operator in a manner that does not depend on the actual interpretation for ε-terms, but not expressible in plain first-order. This observation strengthens a corresponding result of Gurevich, concerning the invariant use of an auxiliary ordering in first-order logic over finite structures. The present result also implies that certain non-deterministic choice constructs, which have been considered in database theory, properly enhance the expressive power of (...) first-order logic even as far as deterministic queries are concerned, thereby answering a question raised by Abiteboul and Vianu. (shrink)

We here examine the expressive power of first order logic with generalized quantifiers over finite ordered structures. In particular, we address the following problem: Given a family Q of generalized quantifiers expressing a complexity class C, what is the expressive power of first order logic FO(Q) extended by the quantifiers in Q? From previously studied examples, one would expect that FO(Q) captures L C , i.e., logarithmic space relativized to an oracle in C. We show that this is not (...) always true. However, after studying the problem from a general point of view, we derive sufficient conditions on C such that FO(Q) captures L C . These conditions are fulfilled by a large number of relevant complexity classes, in particular, for example, by NP. As an application of this result, it follows that first order logic extended by Henkin quantifiers captures L NP . This answers a question raised by Blass and Gurevich [Ann. Pure Appl. Logic, vol. 32, 1986]. Furthermore we show that for many families Q of generalized quantifiers (including the family of Henkin quantifiers), each FO(Q)-formula can be replaced by an equivalent FO(Q)-formula with only two occurrences of generalized quantifiers. This generalizes and extends an earlier normal-form result by I. A. Stewart [Fundamenta Inform. vol. 18, 1993]. (shrink)

In this article, I query whether participation in the labour market can hinder neo-republican freedom as non-domination. I briefly present the view of Philip Pettit on the topic, based on the distinction between offering a reward and threatening a punishment. I compare it to the analysis of labour republicans, recently reconstructed by Alex Gourevitch, according to whom, the exclusion of a group of individuals from the control of productive assets represents a form of structural domination. Then, I explain why (...) I take a position that is different from both. I hold that capitalist structural domination leads only to exploitation, not interpersonal domination. In doing this, I consider two objections that might be raised against my argument. The first one is based on incomplete contracts and on a possible ideal benchmark for job offers. The second one challenges the supposed arbitrariness of unequal property relations within the capitalist social system. (shrink)

Imagining structures from the ekphrastic descriptions of the Jerusalem Temple and Temple Mount in I Kings and Ezekiel is an ancient meditation discipline, which was adopted from Jewish practices into early Christian monasticism. Though it could take various forms, ‘imagining/remembering Jerusalem’ was often practised as a devotional exercise throughout the European Middle Ages. Drawings of such an imagined character are significant to late medieval exegesis of these and related scriptural materials, particularly those associated with the commentaries of Nicholas of (...) Lyra and the collection of visual meditations known as the Speculum theologie. This chapter queries a late medieval illuminated manuscript that, in the fifteenth century, formed part of the library of St John's Hospital in Exeter, to suggest that its materials were acquired and used for scriptural study and sermon composition by scholars of the hospital and its associated school. (shrink)

This is a comparative study of the discourses on the nature of sacred language found in Indian Abhidharma texts and their counterparts by seventh century Chinese Buddhist scholars who, unlike the Indian Buddhists, questioned "the essence of the Buddha's teaching," and developed intellectual dialogues through their texts. ;In the Indian Abhidharma texts, Sa ngitiparyaya, Jnanaprasthana, Mahavibhasa, Abhidharmakosa, and Nyayanusara, the nature of the Buddha's word was either "sound," the oral component of speech, or "name," the component of language that conveys (...) meaning, or both. I show that the Sautrantikas refused to accept the category of "name," which was abstract and hypothetical to them. However, the attitude of the opposing Sarvastivadins, attested in the Mahavibhasa, for whom "name" was approved in their ontological structure, was ambivalent. In the Abhidharmakosa, both positions were introduced without commentary. Sanghabhadra, an ardent Sarvastivadin, was the only one who explicitly claimed that "name" should be the nature of the Buddha's word. ;What was mainly a linguistic debate in India became transformed in China into a religious and metaphysical one. Chiao-t'i, "the essence of the Buddha's word," was used for the first time by Hsuan-tsang for buddhavacana, "the word of the Buddha" in Sanskrit. Adding the term "essence" altered the nature of the debate. Wonch'uk was the first to view the issue from the broad perspective of its history and provenance in the Indian Buddhist texts. K'uei-chi incorporated it into Yogacara: the Buddha's teaching is what is represented in sentient beings' minds. Fa-tsang defined the essence of the Buddha's teaching as the truth appearing in the mind of the Buddha, which he equated with the truth of the Hua-yen world, tathata. This gradual but candid process of dialogue on "the Buddha's word" preluded a transition to "Chinese" Buddhism. An inquiry no longer in the category of language or of epistemological investigation claims its own identity in the Chinese discussion querying the "essence" or "substance" of the Buddha's teaching, and even "Buddhism" itself, transcending the distinction between language and meaning. (shrink)

This paper queries the logic of the structure of hierarchical philosophical systems. Following the Indian tradition of siddhānta, Tibetan Buddhist traditions articulate a hierarchy of philosophical views. The ‘Middle Way’ philosophy or Madhyamaka—the view that holds that the ultimate truth is emptiness—is, in general, held to be the highest view in the systematic depictions of philosophies in Tibet, and is contrasted with realist schools of thought, Buddhist and non-Buddhist. But why should an antirealist or nominalist position be said to be (...) ‘better’ than a realist position? What is the criterion for this claim and is it, or can it, be more than a criterion that is tradition-specific for only Tibetan Buddhists? In this paper, I will look at the criteria to evaluate Buddhist philosophical traditions, particularly as articulated in what came to be referred as the ‘nonsectarian’ tradition. I draw from the recent work of Jorge Ferrer to query the assumptions of the hierarchical structures of ‘nonsectarian’ traditions and attempt to articulate an evaluative criteria for a nonsectarian stance that are not based solely on metaphysical or tradition-specific claims. (shrink)

Community search is a query-oriented variant of community detection problem, and the goal is to retrieve a single community from a given set of nodes. Most of the existing community search methods adopt handcrafted features, so there are some limitations in applications. Our idea is motivated by the recent advances of node embedding. Node embedding uses deep learning method to obtain feature representation of nodes directly from graph structure automatically and offers a new method to measure the distance between (...) two nodes. In this paper, we propose a two-stage community search algorithm with a minimum spanning tree strategy based on node embedding. At the first stage, we propose a node embedding model NEBRW and map nodes to the points in a low-dimensional vector space. At the second stage, we propose a new definition of community from the distance viewpoint, transform the problem of community search to a variant of minimum spanning tree problem, and uncover the target community with an improved Prim algorithm. We test our algorithm on both synthetic and real-world network datasets. The experimental results show that our algorithm is more effective for community search than baselines. (shrink)

Introduction. Bert HAMMINGA and Neil DE MARCHI: Préface. Bert HAMMINGA and Neil DE MARCHI: Idealization and the Defence of Economics: Notes Toward a History. Part I: General Observations on Idealization in Economics. Kevin D. HOOVER: Six Queries about Idealization in an Empirical Context. Bernard WALLISER: Three Generalization Processes for Economic Models. Steven COOK and David HENDRY: The Theory of Reduction in Econometrics. Maarten C.W. JANSSEN: Economic Models and Their Applications. Adolfo GARCÍA DE LA SIENRA: Idealization and Empirical Adequacy in Economic (...) Theory. Izabella NOWAKOWA and Leszek NOWAK: On Correspondence between Economic Theories. Uskali MÄKI: Isolation, Idealization and Truth in Economics. Part II: Case Studies of Idealization in Economics. Nancy CARTWRIGHT: Mill and Menger: Ideal Elements and Stable Tendencies. Wolfgang BALZER: Exchange Versus Influence: A Case of Idealization. Kees COOLS, Bert HAMMINGA, Theo A.F. KUIPERS: Truth Approximation by Concretization in Capital Structure Theory. Daniel M. HAUSMAN: Paul Samuelson as Dr. Frankenstein: When an Idealization Runs Amuck. Hugo A. KEUZENKAMP: What if an Idealization is Problematic? The Case of the Homogeneity Condition in Consumer Demand. Werner DIEDERICH: Nowak on Explanation and Idealization in Marx's 'Capital'. Gérard JORLAND: Idealization and Transformation. Jack BIRNER: Idealizations and Theory Development in Economics. Some History and Logic of the Logic Discovery. Discussions. Leszek NOWAK: The Idealizational Methodology and Economics. Replies to Diederich, Hoover, Janssen, Jorland and Mäki. (shrink)

A lo largo de este trabajo se intentará realizar un estudio sobre las distintas etapas del programa educativo presentado por Platón en República VII y observar su relación con la alegoría de la caverna y el símil de la línea dividida. La mirada se enfocará en dos de los movimientos claramente descritos en dicha alegoría: la rotación (periagogé) y la ascensión (anábasis). ¿Cuál de las enseñanzas propuestas por el autor es la que posibilita la rotación del ojo del alma?, ¿En (...) qué consiste y cómo se lleva a cabo el ascenso desde el ámbito sensible hasta el ámbito inteligible?, ¿Que relación existe entre los objetos de estudio y los estados del alma en los distintos momentos de la alegoría de la caverna?, ¿Se puede hablar de paralelismo entre la línea, la caverna y el programa educativo? A partir de estas interrogantes se realizará un recorrido por los libros centrales y, entendiendo que es el problema de la educación del filósofo-gobernante el tema central de la obra, se intentará armonizar los distintos elementO s presentados en estos pasajes no solamente entre sí, sino también con la estructura general del diálogo. Palabras clave: Platón; Educación; Anábasis; Periagogé; RepúblicaAlong this work I will attempt to study the different stages of Plato’s educational program as presented in Republic VII, and to observe its relation with the allegory of the cave and the simile of the divided line. I will focus on two of the movements clearly described in that allegory: rotation (periagogé) and ascension (anábasis). Which of the teachings proposed by the author makes the rotation of the soul’s eye possible? What does the ascension from the sensitive domain to the intelligible one consist in? How is it carried out? Can we speak of a parallelism between the line, the cave and the educational program? Based on these queries I will go over the central books and, while being aware that the problem of the philosopher-ruler’s education is the central topic of the work, I will attempt to harmonize the different elements presented in these passages not only with each other, but also with the general structure of the dialogue. Keywords: Plato; Education; Anábasis; Periagogé; Republic. (shrink)

I go on here with my endeavor to ascertain intrinsic-theoretical elements that are explicitly or implicitly present in O’Shaughnessy’s remembrance account of inner awareness, or the immediate cognitive awareness that we have of some of our own mental-occurrence instances. According to an intrinsic theory of such awareness, a directly apprehended state of consciousness includes in its own structure inner awareness of itself. I seek to understand those distinct mental-occurrence instances which O’Shaughnessy holds are the cognitive inner awarenesses of our experiences. (...) They are memory experiences, he claims, owed to latent knowledge of one’s experiences that is acquired automatically as a direct effect of their occurrence. These remembrances are more akin to thought experiences than to perceptual experiences that apprehend their objects directly; indeed, they seem to be, strictly, actualizations of conceptual capacities. So, queries regarding their contents revert to queries regarding the latent knowledge that informs them. How does our author propose one directly gains this latent knowledge of experiences? This question leads us back to what the cognitive effects may be of the purely extensional, non-intentional awareness that he posited both in the perceptual and in the reflexive case. It turns out that the latent perceptual beliefs are directly acquired only via perceptions-as, which are occurrent cognitive effects of basic, purely extensional, perceptual experiences. Also, they are conceived of as instances of both outer and inner awareness. Otherwise, the respective acquired perceptual belief would not be able to pick out the outer object that it is about; the corresponding perception-as concretely singles out its outer object as what is being perceptually experienced. Similarly, and after all, O’Shaughnessy allows a spontaneous thought experience is often inner awareness of itself; he proposes it usually has a single proposition as its whole content and comes to its owner standing to the world in the truth-relation. This would seem to make of most such thoughts, awarenesses with outer objects and themselves as objects of inner awareness. I conclude that O’Shaughnessy has not managed to sustain his denial of cognitive inner awareness that takes place along with directly apprehended experiences as each of these transpires. (shrink)

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)

The central aims of this paper are to show how linguistic corpora have been used and can be used in philosophy and to argue that linguistic corpora and corpus analysis should be added to the philosopher’s toolkit of ways to address philosophical questions. A linguistic corpus is a curated collection of texts representing language use that can be queried to answer research questions. Among many other uses, linguistic corpora can help answer questions about the meaning of words and the structure (...) of discourse. Through a discussion of examples, the paper shows that there are many philosophical questions that can be addressed by using a linguistic corpus. However, linguistic corpora need not (and often cannot) replace traditional philosophical methods. Lastly, it argues that the special properties of linguistic corpora, including their independence and the current ease and cheapness of access, make them an indispensable resource for philosophers. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:“I would rather be a cyborg than a goddess”Becoming-Intersectional in Assemblage TheoryJasbir K. Puar“Grids happen” writes Brian Massumi, at a moment in Parables for the Virtual where one is tempted to be swept away by the endless affirmative becomings of movement, flux, and potential, as opposed to being pinned down by the retroactive positioning of identity (2002, 8). For the most part, Massumi has been less interested in how (...) grids happen than in asking how they can un-happen, or not happen. What the tension between the two purportedly opposing forces signals, at this junction of scholarly criticism, might be thought of as a dialogue between theories that deploy the subject as a primary analytic frame, and those that highlight the forces that make subject formation tenuous, if not impossible or even undesirable. I have seen this tension manifest acutely in my own work on intersectionality and assemblage theory. On the one hand I have been a staunch advocate of what is now commonly known as an intersectional approach: analyses that foreground the mutually co-constitutive forces of race, class, sex, gender, and nation. Numerous feminist thinkers consider intersectionality the dominant paradigm through which feminist theory has analyzed difference; Leslie McCall argues that intersectionality might be considered “the most important theoretical contribution that women’s studies, in conjunction with other fields, has made so far” (McCall 2005, 1771). Intersectional analysis is now a prevalent approach in queer theory.1 At the same time, encountering a poststructuralist fatigue with the now-predictable yet still [End Page 49] necessary demands for subject recognition, I also argued in my book, Terrorist Assemblages: Homonationalism in Queer Times, that intersectionality as an intellectual rubric and a tool for political intervention must be supplemented—if not complicated and reconceptualized—by a notion of assemblage. Following Massumi on the “retrospective ordering” of identities such as “gender, race, and sexual orientation” which “back-form their reality,” in Terrorist Assemblages I write, “[I]ntersectional identities and assemblages must remain as interlocutors in tension... intersectional identities are the byproducts of attempts to still and quell the perpetual motion of assemblages, to capture and reduce them, to harness their threatening mobility” (Puar 2007, 213). Subject positioning on a grid is never self-coinciding; positioning does not precede movement but rather it is induced by it; epistemological correctives cannot apprehend ontological becomings; the complexity of process is continually mistaken for a resultant product.2Since the publication of Terrorist Assemblages, in response to anxieties about my apparent prescription to leave intersectionality behind (as if one could), I have often been asked to elaborate on the political usages of assemblages and assemblage theory. A prominent concept in the work of Gilles Deleuze and Felix Guattari, assemblage seems to inspire doubt about its political “ applicability,” while intersectionality seems to hold fast as a successful tool for political and scholarly transformation. Part of the assumption at work in these queries is that representation, and its recognized subjects, is the dominant, primary, or most efficacious platform of political intervention, while a Deleuzian nonrepresentational, non-subject-oriented politics is deemed impossible. Perhaps these queries also reveal concerns about how they might be somehow incompatible or even oppositional, despite the fact that intersectionality and assemblage are not analogous in terms of content, utility, or deployment. As analytics, they may not be reconcilable. Yet they need not be oppositional but rather, I argue, frictional.In what follows, I offer some preliminary thoughts on the limits and possibilities of intersectionality and assemblage and what might be gained by thinking them through and with each other. What are the strengths of each in the realms of theory, political organizing, legal structures, and method? Through highlighting the convivial crossings of these two differentiated but not oppositional genealogies, I offer some thoughts on epistemological correctives in feminist knowledge production—which has been driven, sometimes single-mindedly, by the mandate of intersectional analysis—to see what kinds of futures are possible for feminist theorizing. I reread the formative concept that fueled the metaphoric invocation of intersectionality, specifically Kimberlé Crenshaw’s use of the traffic intersection, to show where intersectionality, as that which retroactively forms the grid and... (shrink)

This discussion piece critically examines some of the key ideology that figures in Elizabeth Fricker's ‘Stating and Insinuating’, raises a number of queries about the details of Fricker's argumentation, and develops some ideas about the normative structure of testimony that relate to the themes of that paper.

This study assesses the retractions of scientific articles in engineering journals indexed on the Web of Science from 1945 to 2015. The data set was built based on documents containing the keywords retracted, retraction, withdrawal, or redress. We used database exploration techniques, including Structured Query Language and analysis of variance, for data analysis. We analyzed 238 retractions published by 117 journals. The most common reason for retraction was unethical research, and higher impact factors journals tended to publish more retractions. (...) In conclusion, most of the analyzed retractions were the result of unethical research and were retracted by editors. (shrink)

Blockchain technology applied to cryptocurrencies is the dominant factor in maintaining the security of cryptocurrencies. This article reviews the technological implementation of cryptocurrency and the security and stability of cryptocurrency and analyzes the security support from blockchain technology and its platforms based on empirical case studies. Our results show that the security support from blockchain technology platforms is significantly insufficient and immature. In addition, we further Zyskind and Nathan and Choi and find that the top ten platforms play critical roles (...) in security support and have significant advantages in terms of funds, duration, and human resources. Moreover, these platforms provide computational resources and benefits to the consensus algorithm selection for blockchain practitioners. Second, encryption ensures the security of cryptocurrencies. On the one hand, the digital signatures identify the identity of the signatory and the transaction. However, the principle of the hash algorithm confirms ownership. Meanwhile, SHA256 is infeasible to compute in the reverse direction and is difficult to attack. Furthermore, the records in the blockchain can be queried by every participant, making the system information transparent and open reliable. Third, compared to the study of Fu and Fang 2016, we find that the blockchain structure is composed of security components and basic components of six layers that are independent and cannot be extended completely and have a certain coupling among them. Fourth, the underlying ledger structures of Bitcoin and DAG are highly correlated to their security. Specifically, we follow Sompolinsky et al. and detect that the structure of SPECTRE ensures network security and robustness from its block production, conflict resolution, and generated trusted transaction sets. Meanwhile, the voting algorithm of SPECTRE makes resolving conflicting transactions by calculating votes and ensuring the transaction information that is virtually unable to be tampered with possible. In particular, the security calculation power of SPECTRE can reach 51% and resist “double-spend attacks” and “censorship attacks” effectively. In addition, the RDL framework of SPECTRE achieves security confirmation of transferring funds. Moreover, PHANTOM identifies evil blocks by employing block connectivity analysis and ensures its security. Eventually, we also expand the studies of and compare the basic characteristics of the protocols of Bitcoin, SPECTRE, and PHANTOM and find that protocols play imperative roles throughout the implementation process of cryptocurrency. In addition, the underlying ledger structure and consensus mechanism make up a blockchain while the confirmation time, throughput limit, and ordering are prerequisites for smart contracts. (shrink)

Morphology is the study of word forms and the ways in which words are varied and related to other words in a language. It has been regarded as an essential discipline that is indispensable in language acquisition. It helps learners to figure out the word structure and meaning, particularly the meaning changing of morphemes, which is pivotal for defining words. The present study focuses on developing morphological knowledge with online corpora which are the useful tools for teaching and learning the (...) changes happened in English. Given this light, this research reports an ESL vocabulary classroom in which the instructor designs vocabulary classroom activities with COCA, BNC, TIME MAGAZINE corpus to enrich students' English vocabulary knowledge, help them master word usage, and foster their corpus literacy. This study is oriented by the framework of Classroom Action Research (CAR). Students' classroom performances were recorded and their self-reflections of learning experiences were collected for thematic analysis. The results indicate that, firstly, students' morphological knowledge has been developed as well as their vocabulary knowledge; secondly, their vocabulary self-regulated learning motivation has been incentivised that they are able to answer their own queries about words; thirdly, students' corpus literacy has been fostered, which facilitates their ongoing vocabulary learning; last but not least, a community of inquiry has been established in which students collaborate to construct vocabulary knowledge. The study has wider implications for constructing the student-centered vocabulary classroom and implementing corpus-based instruction in other second language vocabulary classrooms. (shrink)

Bio-ontologies are essential tools for accessing and analyzing the rapidly growing pool of plant genomic and phenomic data. Ontologies provide structured vocabularies to support consistent aggregation of data and a semantic framework for automated analyses and reasoning. They are a key component of the Semantic Web. This paper provides background on what bio-ontologies are, why they are relevant to botany, and the principles of ontology development. It includes an overview of ontologies and related resources that are relevant to plant science, (...) with a detailed description of the Plant Ontology (PO). We discuss the challenges of building an ontology that covers all green plants (Viridiplantae). Key results: Ontologies can advance plant science in four keys areas: 1. comparative genetics, genomics, phenomics, and development, 2. taxonomy and systematics, 3. semantic applications and 4. education. Conclusions: Bio-ontologies offer a flexible framework for comparative plant biology, based on common botanical understanding. As genomic and phenomic data become available for more species, we anticipate that the annotation of data with ontology terms will become less centralized, while at the same time, the need for cross-species queries will become more common, causing more researchers in plant science to turn to ontologies. (shrink)

Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both these forms of reasoning has, until now, been lacking. We offer a solution in the form of (structural) causal games, which can be seen as extending Pearl's causal hierarchy to the game-theoretic domain, or as extending Koller and Milch's multi-agent influence diagrams to the causal domain. We then consider three (...) key questions: i) How can the (causal) dependencies in games - either between variables, or between strategies - be modelled in a uniform, principled manner? ii) How may causal queries be computed in causal games, and what assumptions does this require? iii) How do causal games compare to existing formalisms? To address question i), we introduce mechanised games, which encode dependencies between agents' decision rules and the distributions governing the game. In response to question ii), we present definitions of predictions, interventions, and counterfactuals, and discuss the assumptions required for each. Regarding question iii), we describe correspondences between causal games and other formalisms, and explain how causal games can be used to answer queries that other causal or game-theoretic models do not support. Finally, we highlight possible applications of causal games, aided by an extensive open-source Python library. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

Under the influence of Hilary Putnam’s collapse of the fact/value dichotomy, a resurging approach that challenges the movements of American pragmatism and discourse ethics, I tease out in the first section of my paper the demand for the warranted assertibility hypothesis in Putnam’s sense that may be possible, relying on moral realism to get rid of ‘rampant Platonism’. Tracing back to ‘communicative action’ or the Habermasian way that puts forward the reciprocal understanding of discourse instigates the idea of life-world as (...) composed of ‘culturally transmitted and linguistically organized stock of interpretative patterns’, this section looks for whether Habermas’ psychoanalysis of prolonged discussion can accord with Putnam’s thick ethical terms or not. The last section of the paper pitfalls Putnam’s stance to accepting Habermas’ ‘discourse ethics’ that centers around the context of entangling ‘rational thoughts’ to ‘communication’, but he introduces the idea of fallibilism in a rational query that also attacks the Habermasian metaphysical idea of the validity of ethical statements that goes towards the truth. My next attempt is to see whether Putnam’s objective dictum towards morality that resonates the collapse of fact/value dichotomy from a universalistic stand can successfully evade Rorty’s naive realism and Habermas’ ‘sociologism about values’ respectively. This sort of claim insists on a universalizable pattern of culture-relative value. I consider that the idea of a fact/value dichotomy engages with the inextricable entanglement between the normative and descriptive content, besides the epistemic values having exclusively intertwined with the structure of factual discourse that intends towards collapsing the fact/value dichotomy, a subjective universalizability predilection. (shrink)

Objective: There are benefits and risks of giving patients more granular control of their personal health information in electronic health record (EHR) systems. When designing EHR systems and policies, informaticists and system developers must balance these benefits and risks. Ethical considerations should be an explicit part of this balancing. Our objective was to develop a structured ethics framework to accomplish this. -/- Methods: We reviewed existing literature on the ethical and policy issues, developed an ethics framework called a “Points to (...) Consider” (P2C) document, and convened a national expert panel to review and critique the P2C. -/- Results: We developed the P2C to aid informaticists designing an advanced query tool for an electronic health record (EHR) system in Indianapolis. The P2C consists of six questions (“Points”) that frame important ethical issues, apply accepted principles of bioethics and Fair Information Practices, comment on how questions might be answered, and address implications for patient care. -/- Discussion: The P2C is intended to clarify whatis at stake when designers try to accommodate potentially competing ethical commitments and logistical realities. The P2C was developed to guide informaticists who were designing a query tool in an existing EHR that would permit patient granular control. While consideration of ethical issues is coming to the forefront of medical informatics design and development practices, more reflection is needed to facilitate optimal collaboration between designers and ethicists. This report contributes to that discussion. (shrink)

We analyse the computational complexity of comparing informational structures. Intuitively, we study the complexity of deciding queries such as the following: Is Alice’s epistemic information strictly coarser than Bob’s? Do Alice and Bob have the same knowledge about each other’s knowledge? Is it possible to manipulate Alice in a way that she will have the same beliefs as Bob? The results show that these problems lie on both sides of the border between tractability (P) and intractability (NP-hard). In particular, (...) we investigate the impact of assuming information structures to be partition-based (rather than arbitrary relational structures) on the complexity of various problems. We focus on the tractability of concrete epistemic tasks and not on epistemic logics describing them. (shrink)

We introduce a new framework for classifying logics on finite structures and studying their expressive power. This framework is based on the concept of almost everywhere equivalence of logics, that is to say, two logics having the same expressive power on a class of asymptotic measure 1. More precisely, if L, L ′ are two logics and μ is an asymptotic measure on finite structures, then $\scr{L}\equiv _{\text{a.e.}}\scr{L}^{\prime}(\mu)$ means that there is a class C of finite structures (...) with μ (C)=1 and such that L and L ′ define the same queries on C. We carry out a systematic investigation of $\equiv _{\text{a.e.}}$ with respect to the uniform measure and analyze the $\equiv _{\text{a.e.}}$ -equivalence classes of several logics that have been studied extensively in finite model theory. Moreover, we explore connections with descriptive complexity theory and examine the status of certain classical results of model theory in the context of this new framework. (shrink)

A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed finitely satisfiable. This question was answered negatively in 1936 by Church and Turing (for satisfiability) and in 1950 by Trakhtenbrot (for finite satisfiability).In contrast, the satisfiability and finite satisfiability problems are algorithmically solvable (...) for restricted subsets---or, as we say, fragments---of first-order logic, a fact which is today of considerable interest in Computer Science. This book provides an up-to-date survey of the principal axes of research, charting the limits of decision in first-order logic and exploring the trade-off between expressive power and complexity of reasoning. Divided into three parts, the book considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, if these problems are decidable for some fragment, what is their computational complexity? Part I focusses on fragments defined by restricting the set of available formulas. Topics covered include the Aristotelian syllogistic and its relatives, the two-variable fragment, the guarded fragment, the quantifier-prefix fragments and the fluted fragment. Part II investigates logics with counting quantifiers. Starting with De Morgan's numerical generalization of the Aristotelian syllogistic, we proceed to the two-variable fragment with counting quantifiers and its guarded subfragment, explaining the applications of the latter to the problem of query answering in structured data. Part III concerns logics characterized by semantic constraints, limiting the available interpretations of certain predicates. Taking propositional modal logic and graded modal logic as our cue, we return to the satisfiability problem for two-variable first-order logic and its relatives, but this time with certain distinguished binary predicates constrained to be interpreted as equivalence relations or transitive relations. The work finishes, slightly breaching the bounds of first-order logic proper, with a chapter on logics interpreted over trees. (shrink)

We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr black holes. Hogarth ([1994]) had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Németi ([2002]) had shown that some relations on natural numbers that are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. (...) The purpose of this note is to address this question, and further show that MH spacetimes can compute far beyond the arithmetic: effectively Borel statements (so hyperarithmetic in second-order number theory, or the structure of analysis) can likewise be resolved: Theorem A. If H is any hyperarithmetic predicate on integers, then there is an MH spacetime in which any query ? n H ? can be computed. In one sense this is best possible, as there is an upper bound to computational ability in any spacetime, which is thus a universal constant of that spacetime. Theorem C. Assuming the (modest and standard) requirement that spacetime manifolds be paracompact and Hausdorff, for any spacetime there will be a countable ordinal upper bound, , on the complexity of questions in the Borel hierarchy computable in it. Introduction 1.1 History and preliminaries Hyperarithmetic Computations in MH Spacetimes 2.1 Generalising SADn regions 2.2 The complexity of questions decidable in Kerr spacetimes An Upper Bound on Computational Complexity for Each Spacetime CiteULike Connotea Del.icio.us What's this? (shrink)