Publics trust experts for personal and pro-social reasons. Scientists are among the experts publics trust most, and so, epistemic trust is routinely afforded to them. The call for epistemic trust to be more socially situated in order to account for the impact of science on society and public welfare is at the forefront of enhanced epistemic trust. I argue that the value-free ideal for science challenges establishing enhanced epistemic trust by preventing the inclusion of non-epistemic values throughout the evaluation of (...) evidence and communication of these values. By selectively silencing non-epistemic values, the ideal cannot take into account publics’ social and moral responses to inductive risk, which are instrumental for defining and determining public welfare. Furthermore, by emphasising epistemic values almost exclusively in science education and communication, the value-free ideal is presented to publics in such a way that it becomes a social indicator of trust. I show this through examination of the importance of values in decisions to trust, and conclude that values (and restrictions on them) can be used by lay publics to help decide which experts to trust. (shrink)

Expert knowledge regularly informs personal and civic-decision making. To decide which experts to trust, lay publics —including policymakers and experts from other domains—use different epistemic and non-epistemic cues. Epistemic cues such as honesty, like when experts are forthcoming about conflicts of interest, are a popular way of understanding how people evaluate and decide which experts to trust. However, many other epistemic cues, like the evidence supporting information from experts, are inaccessible to lay publics. Therefore, lay publics simultaneously use second-order social (...) cues in their environment to inform decisions to trust. These second-order social cues, or ‘social indicators of trust’, prevent lay publics from having to trust blindly. Social indicators of trust therefore inform lay publics’ epistemic vigilance, or constant low level-monitoring of testimony from experts. This special issue examines the nature, acquisition and application of social indicators of trust for scientific experts and institutions. It also raises questions about the types of trust asked of lay publics and challenges traditional normative assumptions about the relationship between science and lay publics through study of attitudes, values, and experiences. The issue descriptively re-examines the structure of institutions, their role and methods for ferrying information, as well as how social indicators operate in times of crisis. In this collection of works, we bridge history, science, philosophy of science, science and technology studies, science communication and social epistemology, to broaden the discourse on trust in experts and more accurately reflect the imperfect yet indispensable endeavour that trusting is. (shrink)

Given reductionism about people, personal persistence must fundamentally consist in some kind of impersonal continuity relation. Typically, these continuity relations can hold from one to many. And, if they can, the analysis of personal persistence must include a non-branching clause to avoid non-transitive identities or multiple occupancy. It is far from obvious, however, what form this clause should take. This paper argues that previous accounts are inadequate and develops a new proposal.

The central claim of the Parfitian psychological approach to personal identity is that the fact about personal identity is underpinned by a non-branching psychological continuity relation. Hence, for the advocates of the Parfitian view, it is important to understand what it is for a relation to take or not take a branching form. Nonetheless, very few attempts have been made in the literature of personal identity to define the non-branching clause. This paper undertakes this task. Drawing upon (...) a recent debate between Anthony Brueckner and Harold Noonan on the issue, I present three candidates for the non-branching clause. (shrink)

A $\Pi _{1}^{0}$ class is the set of paths through a computable tree. Given classes P and Q, P is Medvedev reducible to Q, P ≤M Q, if there is a computably continuous functional mapping Q into P. We look at the lattice formed by $\Pi _{1}^{0}$ subclasses of 2ω under this reduction. It is known that the degree of a splitting class of c.e. sets is non-branching. We further characterize non-branching degrees, providing two additional properties which guarantee (...) non-branching: inseparable and hyperinseparable. Our main result is to show that non-branching iff inseparable if hyperinseparable if homogeneous and that all unstated implications do not hold. We also show that inseparable and not hyperinseparable degrees are downward dense. (shrink)

Noël Carroll’s (“Moderate Moralism”) conceptual framework includes four positions: radical autonomism, moderate autonomism, moderate moralism, and radical moralism. Alessandro Giovanelli (“The Ethical Criticism of Art: A New Mapping of the Territory”) argues that the radical positions, as Carroll defines them, have no modern day adherents. Therefore, the framework should be adapted such that we can see interestingly new distinctions. On Giovanelli’s new framework Carroll’s account is a moderate autonomist view. In this paper I adopt Giovanelli’s framework and raise a different (...) objection to Carroll’s account. I argue that Carroll’s account possesses a branching structure, since on this account moral and aesthetic criticism are not linearly related. Because of this structure, Carroll’s theory faces a dilemma: it’s either self-undermining or consistent with moderate autonomism, even in his own framework. Drawing on Kendall Walton’s (“Categories of Art”) notion of categories of art, I provide an account that is both non-branching and moderate moralist in Giovanelli’s framework. It’s non-branching because moral criticism bears a linear causal relation to aesthetic criticism. (shrink)

In An Introduction to Non-Classical Logic: From If to Is Graham Priest presents branching rules in Free Logic, Variable Domain Modal Logic, and Intuitionist Logic. I propose a simpler, non-branching rule to replace Priest's rule for universal instantiation in Free Logic, a second, slightly modified version of this rule to replace Priest's rule for universal instantiation in Variable Domain Modal Logic, and third and fourth rules, further modifying the second rule, to replace Priest's branching universal and particular (...) instantiation rules in Intuitionist Logic. In each of these logics the proposed rule leads to tableaux with fewer branches. In Intuitionist logic, the proposed rules allow for the resolution of a particular problem Priest is grappling with throughout the chapter. In this paper, I demonstrate that the proposed rules can greatly simplify tableaux and argue that they should be used in place of the rules given by Priest. (shrink)

This chapter contains sections titled: I II III IV.

Abstract: Those who endorse the Psychological Continuity Approach (PCA) to analyzing personal identity need to impose a non-branching constraint to get the intuitively correct result that in the case of fission, one person becomes two. With the help of Brueckner's (2005) discussion, it is shown here that the sort of non-branching clause that allows proponents of PCA to provide sufficient conditions for being the same person actually runs contrary to the very spirit of their theory. The problem is (...) first presented in connection with perdurantist versions of PCA. The difficulty is then shown to apply to endurantist versions as well. -/- . (shrink)

Those who endorse the Psychological Continuity Approach (PCA) to analyzing personal identity need to impose a non-branching constraint to get the intuitively correct result that in the case of fission, one person becomes two. With the help of Brueckner's (2005) discussion, it is shown here that the sort of non-branching clause that allows proponents of PCA to provide sufficient conditions for being the same person actually runs contrary to the very spirit of their theory. The problem is first (...) presented in connection with perdurantist versions of PCA. The difficulty is then shown to apply to endurantist versions as well. (shrink)

We begin by discussing some logical constraints on the psychological approach to personal identity. We consider a problem for the psychological approach that arises in fission cases. The problem engenders the need for a non-branching clause in a psychological account of the co-personality relation. We look at some difficulties in formulating such a clause. We end by rejecting a recently proposed formulation of non-branching. Our criticism of the formulation raises some interesting questions about the individuation of person stages.

We begin by discussing some logical constraints on the psychological approach to personal identity. We consider a problem for the psychological approach that arises in fission cases. The problem engenders the need for a non-branching clause in a psychological account of the co-personality relation. We look at some difficulties in formulating such a clause. We end by rejecting a recently proposed formulation of non-branching. Our criticism of the formulation raises some interesting questions about the individuation of person stages.

Would you survive if your consciousness branched into two or more streams? Commonly discussed within the context of split-brain scenarios, this possibility might soon become commonplace with mind uploading technology. Cerullo suggests that after nondestructive mind uploading and other branching scenarios, personal identity would continue in two streams of consciousness. Thus he argues for what he calls branching identity. In this discussion, I evaluate the theory of branching identity and Cerullo’s arguments for it, concluding that branching (...) identity is insufficiently justified and does not yield a better interpretation of branching cases than provided by Parfit. (shrink)

In this paper I assess the prospects for combining contemporary Everettian quantum mechanics (EQM) with branching-time semantics in the tradition of Kripke, Prior, Thomason and Belnap. I begin by outlining the salient features of ‘decoherence-based’ EQM, and of the ‘consistent histories’ formalism that is particularly apt for conceptual discussions in EQM. This formalism permits of both ‘branching worlds’ and ‘parallel worlds’ interpretations; the metaphysics of EQM is in this sense underdetermined by the physics. A prominent argument due to (...) Lewis (On the Plurality of Worlds, 1986 ) supports the non-branching interpretation. Belnap et al. (Facing the Future: Agents and Choices in Our Indeterministic World, 2001 ) refer to Lewis’ argument as the ‘Assertion problem’, and propose a pragmatic response to it. I argue that their response is unattractively ad hoc and complex, and that it prevents an Everettian who adopts branching-time semantics from making clear sense of objective probability. The upshot is that Everettians are better off without branching-time semantics. I conclude by discussing and rejecting an alternative possible motivation for branching time. (shrink)

The paper gives a physicist's view on the framework of branching space-time, 385--434). Branching models are constructed from physical state assignments. The models are then employed to give a formal semantics for the modal operators ``possibly'' and ``necessarily'' and for the counterfactual conditional. The resulting formal language can be used to analyze quantum correlation experiments. As an application sketch, Stapp's premises LOC1 and LOC2 from his purported proof of non-locality, 300--304) are analyzed.

This paper investigates the formation and propagation of wavefunction `branches' through the process of entanglement with the environment. While this process is a consequence of unitary dynamics, and hence significant to many if not all approaches to quantum theory, it plays a central role in many recent articulations of the Everett or `many worlds' interpretation. A highly idealized model of a locally interacting system and environment is described, and investigated in several situations in which branching occurs, including those involving (...) Bell inequality violating correlations; we illustrate how any non-locality is compatible with the locality of the dynamics. Although branching is particularly important for many worlds quantum theory, we take a neutral stance here, simply tracing out the consequences of a unitary dynamics. The overall goals are to provide a simple concrete realization of the quantum physics of branch formation, and especially to emphasise the compatibility of branching with relativity; the paper is intended to illuminate matters both for foundational work, and for the application of quantum theory to non-isolated systems. (shrink)

Next SectionWe discuss the thesis formulated by Hintikka (1973) that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka's examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on linguistic and logical observations. We report on our experiments showing that people tend to interpret sentences similar to Hintikka sentence in a way consistent with our interpretation.

Temporal logic can be used to describe processes: their behaviour ischaracterized by a set of temporal models axiomatized by a temporaltheory. Two types of models are most often used for this purpose: linearand branching time models. In this paper a third approach, based onsocalled joint closure models, is studied using models which incorporateall possible behaviour in one model. Relations between this approach andthe other two are studied. In order to define constructions needed torelate branching time models, appropriate algebraic (...) notions are defined(in a category theoretical manner) and exploited. In particular, thenotion of joint closure is used to construct one model subsuming a setof models. Using this universal algebraic construction we show that aset of linear models can be merged to a unique branching time model.Logical properties of the described algebraic constructions are studied.The proposed approach has been successfully aplied to obtain anappropriate semantics for non-monotonic reasoning processes based ondefault logic. References are discussed that show the details of theseapplications. (shrink)

The logical theory of branching space-times, which is intended to provide a framework for studying objective indeterminism, remains at a certain distance from the discussion of space-time theories in the philosophy of physics. In a welcome attempt to clarify the connection, Earman has recently found fault with the branching approach and suggested ``pruning some branches from branching space-time''. The present note identifies the different---order theoretic vs. topological---points of view of both discussion as a reason for certain misunderstandings, (...) and tries to remove them. Most importantly, we give a novel, topological criterion of modal consistency that usefully generalizes the order-theoretic criterion of directedness, and we introduce a differential-geometrical version of BST based on the theory of non-Hausdorff manifolds. (shrink)

"This book develops a rigorous theory of indeterminism as a local and modal concept. Its crucial insight is that our world contains events or processes with alternative, really possible outcomes. The theory aims at clarifying what this assumption involves, and it does it in two ways. First, it provides a mathematically rigorous framework for local and modal indeterminism. Second, we support that theory by spelling out the philosophically relevant consequences of this formulation and by showing its fruitful applications in metaphysics. (...) To this end, we offer a formal analysis of modal correlations and of causation, which is applicable in indeterministic and non-local contexts as well. We also propose a rigorous theory of objective single-case probabilities, intended to represent degrees of possibility. In a third step, we link our theory to current physics, investigating how local and modal indeterminism relates to issues in the foundations of physics, in particular, quantum non-locality and spatio-temporal relativity. The book also ventures into the philosophy of time, showing how the theory's resources can be used to explicate the dynamic concept of the past, present, and future based on local indeterminism"--. (shrink)

A $\Pi^0_1$ class can be defined as the set of infinite paths through a computable tree. For classes $P$ and $Q$, say that $P$ is Medvedev reducible to $Q$, $P \leq_M Q$, if there is a computably continuous functional mapping $Q$ into $P$. Let $\mathcal{L}_M$ be the lattice of degrees formed by $\Pi^0_1$ subclasses of $2^\omega$ under the Medvedev reducibility. In "Non-branching degrees in the Medvedev lattice of $\Pi \sp{0}\sb{1} classes," I provided a characterization of nonbranching/branching and a (...) classification of the nonbranching degrees. In this paper, I present a similar classification of the branching degrees. In particular, $P$ is separable if there is a clopen set $C$ such that $P \cap C \neq \emptyset \neq P \cap C^c$ and $P \cap C \perp_M P \cap C^c$. By the results in the first paper, separability is an invariant of a Medvedev degree and a degree is branching if and only if it contains a separable member. Further define $P$ to be hyperseparable if, for all such $C$, $P \cap C \perp_M P \cap C^c$ and totally separable if, for all $X,Y \in P$, $X \perp_T Y$. I will show that totally separable implies hyperseparable implies separable and that the reverse implications do not hold, that is, that these are three distinct types of branching degrees. Along the way I will show some related results and present a combinatorial framework for constructing $\Pi^0_1$ classes with priority arguments. (shrink)

Branching quantifiers were first introduced by L. Henkin in his 1959 paper ‘Some Remarks on Infmitely Long Formulas’. By ‘branching quantifiers’ Henkin meant a new, non-linearly structured quantiiier-prefix whose discovery was triggered by the problem of interpreting infinitistic formulas of a certain form} The branching (or partially-ordered) quantifier-prefix is, however, not essentially infinitistic, and the issues it raises have largely been discussed in the literature in the context of finitistic logic, as they will be here. Our discussion (...) transcends, however, the resources of standard lst-order languages and we will consider the new form in the context of 1st-order logic with 1- and 2-place ‘Mostowskian` generalized quantifiers.2.. (shrink)

We discuss the thesis formulated by Hintikka that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka's examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on linguistic and logical observations. We report on our experiments showing that people tend to interpret sentences similar to Hintikka sentence in a way consistent with our interpretation.

“Branching space-times” (BST) is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its (more or less) relativistic theory of spatio-temporal relations; this ability is essential for the representation of local (in contrast with “global”) indeterminism. This essay indicates how BST might be (...) seen to grow out of Newton’s deterministic and non-relativistic theory by two independent moves: (1) Taking account of indeterminism, and (2) attending to spatio-temporal relationships in a spirit derived from Einstein’s theory of special relativity. Since (1) and (2) are independent, one can see that there is room for four theories: Newtonian determinism, branching time indeterminism, relativistic determinism, and (finally) branching space-times indeterminism. (shrink)

The paper intends to provide an algebraic framework in which subluminal causation can be analysed. The framework merges Belnap's 'outcomes in branching time' with his 'branching space-time' (BST). it is shown that an important structure in BST, called 'family of outcomes of an event', is a boolean algebra. We define next non-stochastic common cause and analyse GHZ-Bell theorems. We prove that there is no common cause that accounts for results of GHZ-Bell experiment but construct common causes for two (...) other quantum mechanical setups. Finally, we investigate why some setups allow for common causes whereas other setups do not. (shrink)

Following Henkin's discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or "cardinality" quantifiers, e.g., "most", "few", "finitely many", "exactly α", where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a (...) general definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise's 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional Ist-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

In this paper we show that properties of non-linear time structures have not been studied enough. Axioms forcing the existence of a branching point in a branching area of a structure are presented for various classes of structures. We show also that the classical Dedekind continuity axiom does not work well in non-linear structures and we suggest stronger versions. Finally, some interdependencies between the axioms presented are proved.

Branching time logics have been studied in computer science since the 1980s primarily to model the tree of computations for discrete transition systems. Inconsistency measures for propositional log...

Still, some may still want to say it. If so, my replies may gain nothing better than a stalemate against such persistence, though I can hope that earlier revelations will discourage others from persisting. But two replies are possible. Both come down, one circuitously, to an issue with us from the beginning: whether the language of the right side of (10) is suspect. For if (10) is to support instances for (6) which are about objects, that clause must itself be (...) about objects. (These would be ones assigned by variants of I it mentions to constants it mentions.) Yet Barwise and I would call it implicitly about functions. Ironically, the discussion surrounding (10), hoping to settle that issue, could only do so if the issue were already settled, revealing decisively the ontology of (10). If irritating, this is also inevitable, given the Tarskian spirit of the ensivioned semantics for QLB.A second reply begins by noting that a QLB semantics which implies (10) cannot simply be assumed. Even a QL semantics augmented to imply (11) is not trivial to frame, as I will let readers confirm. On the QLB project, Barwise comments thus:It is not possible to explain the meaning of an essential use of branching quantification ... inductively, by treating one quantifier at a time in a first-order fashion. Some use of higher-type abstract objects is essential. (BQE75)But believers in a modest ontology for QLB can claim a non sequitur here. For (10), as they read it, succeeds without mentioning abstract objects, though not in the “one quantifier at a time” way which Barwise rightly finds impossible. This is not yet to say the same about a QLB semantics implying (10). But that too can be said, as it happens, with as good a conscience as with (10). A suitable treatment can begin by somehow linearizing non QL sentences like (6). Still assuming prefixes whose rows each consist, speaking loosely, of n universal quantifiers followed by a single existential, we could simply line up these rows in any order, with unique deconcatenatability being assured. From then on, it gets both tedious and complex. A full syntax is essential, and some surprising categories arose in mine. I will spare readers all details, except to say that one can indeed “treat one quantifier at a time”, if not “in first-order fashion”: schematic rules for treating n quantifiers at once can be eschewed. Unsurprisingly, heavy use is made of the “depending only on” idiom seen in (10). Nor does it surprise me that this semantics can succeed, with that idiom available. Roughly, if open talk about functions works in a semantics for QLF, what I read as implicit talk about them should work in a semantics for QLB See [6] for a start on a semantics aspiring to handle sentences like (6) without invoking abstract objects. See also my comments on its notion of dependence, in [9]. . So even from a bare sketch, we can see that this new semantics settles nothing. It just leads back to the stalemate. Barwise and I will read crucial clauses as talking implicitly about functions, but this general charge against an idiom is equally deniable wherever the idiom occurs: in a reading for (6), say, or in the metalanguage can hardly repress a motherhood slogan: better dead than obscurely read. But that just denies the denial, unhelpfully. A better comment is the reminder that the claim stays alive only in a form which no one has ever imagined for it. The QLB quantifiers that cannot be shown not to range over objects are not the items anyone would ever have pointed to in illustrating the unkillable claim. (shrink)

Following Henkin’s discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or “cardinality” quantifiers, e.g., “most”, “few”, “finitely many”, “exactly α ”, where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to (...) a general definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise’s 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

My aim in this paper is to investigate the notions of comparative similarity definable in the framework of branching space-times. A notion of this kind is required to give a rigorous Lewis-style semantics of space-time counterfactuals, which is the task undertaken by Thomas Muller (PITT-PHIL-SCI00000509, this archive). In turn, the semantical analysis is needed to decide whether the recently proposed proofs of the non-locality of quantum mechanics are correct. From among the three notions of comparative similarity I select two (...) which appear equally good as far as their intuitiveness and algebraic properties are concerned. However, the relations are not transitive, and thus cannot be used in the semantics proposed by (Lewis 1973), which requires transitivity. Yet they are adequate for the account of (Lewis 1981). (shrink)

Trees with indistinguishability relations provide a semantics for a temporal language “composed by” the Peircean tense operators and the Ockhamist modal operator. In this paper, a finite axiomatization with a non standard rule for this language interpreted over bundled trees with indistinguishability relations is given. This axiomatization is proved to be sound and strongly complete.

We study the non-wellfounded sets as fixed points of substitution. For example, we show that ZFA implies that every function has a fixed point. As a corollary we determine for which functions f there is a function g such that . We also present a classification of non-wellfounded sets according to their branching structure.

The logical theory of branching space-times, which provides a relativistic framework for studying objective indeterminism, remains mostly disconnected from discussions of space-time theories in philosophy of physics. Earman has criticized the branching approach and suggested “pruning some branches from branching space-time.” This article identifies the different—order-theoretic versus topological—perspective of both discussions as a reason for certain misunderstandings and tries to remove them. Most important, we give a novel, topological criterion of modal consistency that usefully generalizes an earlier (...) criterion, and we introduce a differential-geometrical version of branching space-times as a non-Hausdorff (generalized) manifold. (shrink)

The non-discrimination principle is one of the essential principles in the area of European public and private law too. The importance of this principle also takes a great place in field of company law, especially in the area of “freedom of establishment of the companies” in the European Single Market. Freedom of establishment of companies is closely related to the general concept of “free movement of people, capital, goods and services,” in ESM. In fact, freedom of establishment is a substantive (...) part of the process of creation the internal market in EU. The freedom of establishment is based on the Treaty of the functioning of EU. According to article 49 from TFEU, restrictions on the freedom of establishment of nationals of a Member State in the territory of another Member State shall be prohibited. This prohibition also applies to restrictions on setting-up of agencies, branches or subsidiaries by nationals of any Member State established in the territory of any Member State. In-depth exploration of this issue is conditioned by the interpretation of the Court of justice of European Union, which embodies the real legal regime of freedom of establishment. Freedom of establishment of companies is closely related to the principles of healthy and fair competition and equal access of the companies too. This article seeks to elaborate fundamental theoretical aspects of this issue, considering certain case - study analyze of CJEU judgements. The main focus is on the non-discrimination principle, legal effects of the CJEU judgments, free market and competitiveness, and finally, determination of the concept of primary and secondary establishment of companies in EU. (shrink)

Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...) is found. The method is a synthesis of a generation of calculi with internalized relational semantics, a Tait–Schütte–Takeuti style completeness proof, and procedures to finitize the countermodel construction. Finitizations for intuitionistic propositional logic are obtained through the search for a minimal derivation, through pruning of infinite branches in search trees by means of a suitable syntactic counterpart of semantic filtration, or through a proof-theoretic embedding into an appropriate provability logic. A number of examples illustrates the method, its subtleties, challenges, and present scope. (shrink)

[...] it would seem natural to assume that the disciplines of literary studies and linguistics should by rights converge regularly to exchange views as each pursues its own goals. Is such a convergence possible on the question of sense and nonsense? James W. Underhill (this volume) The contributors to the present volume have focused their attention on two sets of problems that are leitmotifs in all the articles gathered. Firstly, should literary semantics - the linguistic study of texts/discourses marked with (...) the feature of 'literariness' and 'poeticalness' - strive after an interpretation of all such texts at all costs? Are all literary texts interpretable? How do we cope with such troublesome linguistic phenomena as anomaly, deviance, and absurdity? Aren't we, by any chance, fascinated by nonsense? Do we try to make it at least partly meaningful? Is interpretability our default value? The introductory article by the renowned scholar Margaret H. Freeman is an important voice, indeed a manifesto of sorts of literary semanticists in this respect. Secondly, while trying to answer all these questions, well aware of the fact that literary semantics is a fuzzy branch of linguistic studies, we have attempted at exploring its borderline zone to see to what extent we have to draw from various theoretical sources. Literary semanticists have often proved that they are capable of arguing contrastively in the atmosphere of openness to such neighbouring fields as: discourse analysis, literary pragmatics and reader-response theories, narratology, literary semiotics and hermeneutics, translation studies and - very importantly - the philosophy of language. The authors contributing to this book, an international company of regularly cooperating linguists and literary scholars, strike a nice balance between the cognitive and the more traditionally or philosophically-oriented frameworks of study, being a vivid proof that cognitive and other "denominations" are perfectly capable of fruitful coexistence. The volume ends with a short presentation by RadosÅaw Nowakowski, already known to academic and artistic audiences in Europe as a creator and propagator of liberature - the art of unusual bookmaking, the art of the book liberated from our traditional preconceptions. We hope that our volume will be of interest to academics and students of literary theory and linguistics alike, especially those involved in literary semantics, stylistics and poetics. Naturally, the book is also addressed to members and sympathizers of IALS (International Association of Literary Semantics) and the readers of Journal of Literary Semantics, scattered across the world. (shrink)

The strongest arguments for the permissibility of geoengineering (also known as climate engineering) rely implicitly on non-ideal theory—roughly, the theory of justice as applied to situations of partial compliance with principles of ideal justice. In an ideally just world, such arguments acknowledge, humanity should not deploy geoengineering; but in our imperfect world, society may need to complement mitigation and adaptation with geoengineering to reduce injustices associated with anthropogenic climate change. We interpret research proponents’ arguments as an application of a particular (...) branch of non-ideal theory known as “clinical theory.” Clinical theory aims to identify politically feasible institutions or policies that would address existing (or impending) injustice without violating certain kinds of moral permissibility constraints. We argue for three implications of clinical theory: First, conditional on falling costs and feasibility, clinical theory provides strong support for some geoengineering techniques that aim to remove carbon dioxide from the atmosphere. Second, if some kinds of carbon dioxide removal technologies are supported by clinical theory, then clinical theory further supports using those technologies to enable “overshoot” scenarios in which developing countries exceed the cumulative emissions caps that would apply in ideal circumstances. Third, because of tensions between political feasibility and moral permissibility, clinical theory provides only weak support for geoengineering techniques that aim to manage incoming solar radiation. (shrink)

Summary The historical development of the non-standard analysis is sketched. With the help of this mathematical branch infinite and infinitesimal quantities are placed in an extension of the real numbers and so find their justification. In this way an old mathematical and philosophical problem is solved in the 20th century, but not in such a manner, mathematicians with classical „standard methods thought of.

“Branching space-times” is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its relativistic theory of spatio-temporal relations; this ability is essential for the representation of local indeterminism. This essay indicates how BST might be seen to grow out of Newton ’s deterministic (...) and non-relativistic theory by two independent moves: Taking account of indeterminism, and attending to spatio-temporal relationships in a spirit derived from Einstein’s theory of special relativity. Since and are independent, one can see that there is room for four theories: Newtonian determinism, branching time indeterminism, relativistic determinism, and branching space-times indeterminism. (shrink)

In this work, author evaluated past theories and perspectives behind the definitions of science and/or branches of science. Also some of the philosophers of science and their specific philosophical interests were expressed. Author considered some type of interactions between some disciplines to determine, to solve the philosophical/scientific problems and to define the possible solutions. The purposes of this article are: (i) to define new synthesis method, (ii) to define new perspective for the philosophy of science, (iii) to define relation between (...) new philosophy perspective and philosophy of science, (iv) to define and organize name, number, relations, and correct structure between special science branches and philosophy of science, (v) to define necessary and sufficient number of branches for philosophy of science, (vi) to define and express the importance and place of new philosophy of science perspective in the new system, (vii) to extend the definition/limits of philosophy of science, (viii) to re-define meanings of some philosophical/scientific theories, (ix) to define systematic solution for the conflicts, problems, confusions about philosophy of science, sciences and branches of science, (x) to define new branches of science, (xi) to re-construct branches and hierarchy of science, (xii) to define new theories about science and branches of science. Author considered R-Synthesis as a method for the evaluation of the philosophy, philosophy of science, sciences and branches of science. This R-Synthesis includes evaluation of eight categories of general/specific perspective, 21-dimensions, and 12 general subjects (with related scope and contents) for the past 12,000 years. It is a kind of synthesis of science and non-science, physical science and non-physical science, religious science and non-religious science, and others. In this article, author defined 27 possible definitive/certain result cases for this new synthesis. Author defined the possible formation stages shortly to express new disciplines, new constructional and/or complementary theories. These theories are considered to define 21 major effective disciplines. New philosophy perspective is defined (R-Philosophy) shortly. New perspective and sub branches are defined for the philosophy of science. Major sciences are defined due to new basic philosophies. 42-basic components are defined for each science branch. New and/or re-constructed sciences, branches of science, basic sciences, and new hierarchy of science are defined with figure. Electromagnetic sciences, information sciences, and system sciences are defined specifically. Hybrid Sciences, New Era Science, and Ideal Scientific System are defined with general/specific figure. Relation between the some old branches and new branches of science was expressed generally due to new perspective of philosophy of science. (shrink)

The basic notions in Prior’s Ockhamist and Peircean logics of branching-time are the notion of moment and that of history (or course of events). In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical (and ontological) dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base (...) of a non-Archimedean topology on the set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)

The basic notions in Prior's Ockhamist and Peircean logics of branching-time are the notion of moment and that of history. In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the (...) set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)