The exponential rise in transgender self-identification invites consideration of what constitutes an ethical response to transgender individuals’ claims about how best to promote their well-being. In this paper, we argue that ‘accepting’ a claim to medical transitioning in order to promote well-being would be in the person’s best interests iff at the point of request the individual is correct in their self-diagnosis as transgender (i.e., the distress felt to reside in the body does not result from another psychological and/or societal (...) problem) such that the medical interventions they are seeking will help them to realise their preferences. If we cannot assume this—and we suggest that we have reasonable grounds to question an unqualified acceptance in some cases—then ‘acceptance’ potentially works against best interests. We propose a distinction between ‘acceptance’ and respectful, in-depth exploration of an individual’s claims about what promotes their well-being. We discuss the ethical relevance of the unconscious mind to considerations of autonomy and consent in working with transgender individuals. An inquisitive stance, we suggest, supports autonomous choice about how to realise an embodied form that sustains well-being by allowing the individual to consider both conscious and unconscious factors shaping wishes and values, hence choices. (shrink)

Notini et al 1 offer a timely addition in the wake of a significant increase in young people identifying as transgender and gender diverse. The authors focus specifically on the case of 18-year-old Phoenix’s request for ongoing puberty suppression to affirm a non-binary gender identity. A central issue raised by Phoenix’s predicament, and that I suggest we can extend to ethical consideration of requests for other types of medical intervention by binary and non-binary TGD individuals, is whether we should ‘affirm’ (...) the claims made by TGD young people about what promotes their well-being. As a clinician working with TGD young people who have undergone a range of medical interventions to align their bodies with their gender identity, my starting presumption is that it is important to respect what people think will help them: there are some TGD young people for whom, all things considered, medical interventions to affirm gender identity promote their well-being. Well-being has become an important conceptual currency in ethical debates and lies at the core of the authors’ analysis of Phoenix’s case. While the authors do not ground their argument in favour of OPS in a specific theory of well-being, welfarist considerations 2 appear to underpin …. (shrink)

Notini _et al_ 1 offer a timely addition in the wake of a significant increase in young people identifying as transgender and gender diverse. The authors focus specifically on the case of 18-year-old Phoenix’s request for ongoing puberty suppression to affirm a non-binary gender identity. A central issue raised by Phoenix’s predicament, and that I suggest we can extend to ethical consideration of requests for other types of medical intervention by binary and non-binary TGD individuals, is whether we should ‘affirm’ (...) the claims made by TGD young people about what promotes their well-being. As a clinician working with TGD young people who have undergone a range of medical interventions to align their bodies with their gender identity, my starting presumption is that it is important to respect what people think will help them: there are some TGD... (shrink)

_Alessandra Lemma - Winner of the Levy-Goldfarb Award for Child Psychoanalysis!_ The contemporary relevance of psychoanalysis is being increasingly questioned; _Off the Couch_ challenges this view, demonstrating that psychoanalytic thinking and its applications are both innovative and relevant, in particular to the management and treatment of more disturbed and difficult to engage patient groups. Chapters address: clinical applications in diverse settings across the age range the relevance of psychoanalytic thinking to the practice of CBT, psychosomatics and general psychiatry the (...) contribution of psychoanalytic thinking to mental health policy and the politics of conflict and mediation. This book suggests that psychoanalysis has a vital position within the public health sector and discusses how it can be better utilised in the treatment of a range of mental health problems. It also highlights the role of empirical research in providing a robust evidence base. _Off the Couch_ will be essential reading for those practicing in the field of mental health and will also be useful for anyone involved in the development of mental health and public policies. It will ensure that practitioners and supervisors have a clear insight into how psychoanalysis can be applied in general healthcare. (shrink)

We extend first-order logic to include variadic function symbols, and prove a substitution lemma. Two applications are given: one to bounded quantifier elimination and one to the definability of certain Borel sets.

We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove that the 2-valid arguments are identical to the 3-valid ones with strict-to-tolerant validity. Next, we introduce a Lemmon-style Natural Deduction system and prove the completeness of Quarc on both two- and three-valued versions, adapting Lindenbaum’s Lemma to truth-valuational semantics. We proceed to investigate the relations of three-valued Quarc and the Predicate Calculus (PC). Adding a logical predicate T to Quarc, true (...) of all singular arguments, allows us to represent PC quantification in Quarc and translate PC into Quarc, preserving validity. Introducing a weak existential quantifier into PC allows us to translate Quarc into PC, also preserving validity. However, unlike the translated systems, neither extended system can have a sound and complete proof system with Cut, supporting the claim that these are basically different calculi. (shrink)

Within the technical frame supplied by the algebraic variety of diagonalizable algebras, defined by R. Magari in [2], we prove the following: Let T be any first-order theory with a predicate Pr satisfying the canonical derivability conditions, including Löb's property. Then any formula in T built up from the propositional variables $q,p_{1},...,p_{n}$ , using logical connectives and the predicate Pr, has the same "fixed-points" relative to q (that is, formulas $\psi (p_{1},...,p_{n})$ for which for all $p_{1},...,p_{n}\vdash _{T}\phi (\psi (p_{1},...,p_{n}),p_{1},...,p_{n})\leftrightarrow \psi (...) (p_{1},...,p_{n})$ ) of a formula $\phi ^{\ast}$ of the same kind, obtained from φ in an effective way. Moreover, such $\phi ^{\ast}$ is provably equivalent to the formula obtained from φ substituting with $\phi ^{\ast}$ itself all the occurrences of q which are under Pr. In the particular case where q is always under Pr in φ, $\phi ^{\ast}$ is the unique (up to provable equivalence) "fixed-point" of φ. Since this result is proved only assuming Pr to be canonical, it can be deduced that Löb's property is, in a sense, equivalent to Gödel's diagonalization lemma. All the results are proved more generally in the intuitionistic case. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From (...) ¬(p ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

Lexicalized theories of syntax often assume that verb-structure regularities are mediated by lemmas, which abstract over variation in verb tense and aspect. German syntax seems to challenge this assumption, because verb position depends on tense and aspect. To examine how German speakers link these elements, a structural priming study was performed which varied syntactic structure, verb position, and verb overlap.structural priming was found, both within and across verb position, but priming was larger when the verb position was the same between (...) prime and target. Priming was boosted by verb overlap, but there was no interaction with verb position. The results can be explained by a lemma model where tense and aspect are linked to structural choices in German. Since the architecture of this lemma model is not consistent with results from English, a connectionist model was developed which could explain the cross-linguistic variation in the production system. Together, these findings support the view that language learning plays an important role in determining the nature of structural priming in different languages. (shrink)

We show that there is a limit lemma for enumeration reducibility to 0 e ', analogous to the Shoenfield Limit Lemma in the Turing degrees, which relativises for total enumeration degrees. Using this and `good approximations' we prove a jump inversion result: for any set W with a good approximation and any set X< e W such that W≤ e X' there is a set A such that X≤ e A< e W and A'=W'. (All jumps are enumeration (...) degree jumps.) The degrees of sets with good approximations include the Σ0 2 degrees and the n-CEA degrees. (shrink)

Many philosophers use findings about sensory substitution devices in the grand debate about how we should individuate the senses. The big question is this: Is “vision” assisted by (tactile) sensory substitution really vision? Or is it tactile perception? Or some sui generis novel form of perception? My claim is that sensory substitution assisted “vision” is neither vision nor tactile perception, because it is not perception at all. It is mental imagery: visual mental imagery triggered by tactile sensory (...) stimulation. But it is a special form of mental imagery that is triggered by corresponding sensory stimulation in a different sense modality, which I call “multimodal mental imagery.”. (shrink)

Dans son séminaire "Hostilité/hospitalité" donné en 1995-1996 et 1996-1997, Jacques Derrida a multiplié les analyses de ce concept énigmatique. Se déplaçant de l'hospitalité universelle promue par Kant et les Lumières à l'Antiquité grecque, il s'est ensuite penché sur l'hospitalité abrahamique. Son analyse de la Genèse l'a conduit à relire la pensée de Levinas, pour proposer ensuite un nouveau déplacement : allant à la rencontre de l'hospitalité islamique, il engage un dialogue avec la pensée de Louis Massignon, qu'il relit à travers (...) celle de Levinas. C'est au cœur de cette rencontre que Derrida associe, de manière essentielle, l'hospitalité et la substitution, dont Massignon avait fait le cœur de son approche de "l'hospitalité sacrée". L'héritage abrahamique de l'islam se trouve ainsi rapproché de la tradition juive et chrétienne. Ce n'est pas le moindre mérite de cet important séminaire que de rappeler la haute figure de Massignon et de restituer pour le présent un idéal d'hospitalité inconditionnelle que Derrida n'a jamais cessé de promouvoir."--Publisher's description. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

Sensory substitution devices are a type of sensory prosthesis that (typically) convert visual stimuli transduced by a camera into tactile or auditory stimulation. They are designed to be used by people with impaired vision so that they can recover some of the functions normally subserved by vision. In this chapter we will consider what philosophers might learn about the nature of the senses from the neuroscience of sensory substitution. We will show how sensory substitution devices work by (...) exploiting the cross-modal plasticity of sensory cortex: the ability of sensory cortex to pick up some types of information about the external environment irrespective of the nature of the sensory inputs it is processing. We explore the implications of cross-modal plasticity for theories of the senses that attempt to make distinctions between the senses on the basis of neurobiology. (shrink)

Sensory substitution devices make use of one substituting modality to get access to environmental information normally accessed through another modality . Based on behavioural and neuroimaging data, some authors have claimed that using a vision-substituting device results in visual perception. Reviewing these data, we contend that this claim is untenable. We argue that the kind of information processed by a SSD is metamodal, so that it can be accessed through any sensory modality and that the phenomenology associated with the (...) use of a SSD is best described in terms of spatial phenomenology, only. (shrink)

Classically, weak König's lemma and Brouwer's fan theorem for detachable bars are equivalent. We give a direct constructive proof that the former implies the latter.

A substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the same grammatical category and possibly relativizing quantifiers. In particular, predicate symbols can be replaced with formulae possibly containing additional free variables. A sentence is defined to be logically true iff all its (...) substitution instances are satisfied by all variable assignments. Logical consequence is defined analogously. Satisfaction is taken to be a primitive notion and axiomatized.For every set‐theoretic model in the sense of model theory there exists a corresponding substitutional interpretation in a sense to be specified. Conversely, however, there are substitutional interpretations – in particular the ‘intended’ interpretation – that lack a model‐theoretic counterpart. The substitutional definition of logical validity overcomes the weaknesses of more restrictive accounts of substitutional validity; unlike model‐theoretic logical consequence, the substitutional notion is trivially and provably truth preserving. In Kreisel's squeezing argument the formal notion of substitutional validity naturally slots into the place of intuitive validity. (shrink)

The following Principle of Substitutivity holds for the former, but not for the latter sentence: (PS) The truth value of (the proposition expressed by) a sentence that contains an occurrence of t1 remains constant when t2 is substituted for t1, provided that t1 and t2 are codesignative singular terms. It is an undeniable fact that different sentences behave differently when it comes to which substitutions preserve their truth value. What is curious is that this fact has been presented by the (...) philosophical tradition as a puzzle. To be more precise, what is supposed to be puzzling is the breakdown of PS in some sentences. Meanwhile, it is assumed that everything is as it should be, that nothing needs to be explained when we observe that the substitution of 'the number of planets' for 'nine' in 'nine is greater than seven' guarantees the preservation of truth value, in spite of the fact that the subject matter of the former sentence and the subject matter of 'the number of planets is greater than seven' are radically different. The former sentence expresses a claim about numbers and their relationships, whereas the latter sentence makes an assertion about our solar system. (shrink)

Ehrenfeucht’s lemma asserts that whenever one element of a model of Peano arithmetic is definable from another, they satisfy different types. We consider here the analogue of Ehrenfeucht’s lemma for models of set theory. The original argument applies directly to the ordinal-definable elements of any model of set theory, and, in particular, Ehrenfeucht’s lemma holds fully for models of set theory satisfying V=HOD. We show that the lemma fails in the forcing extension of the universe by (...) adding a Cohen real. We go on to formulate a scheme of natural parametric generalizations of Ehrenfeucht’s lemma, namely, the principles of the form EL, which asserts that P-definability from A implies Q-discernibility. We also consider various analogues of Ehrenfeucht’s lemma obtained by using algebraicity in place of definability, where a set b is algebraic in a if it is a member of a finite set definable from a. Ehrenfeucht’s lemma holds for the ordinal-algebraic sets, we prove, if and only if the ordinal-algebraic and ordinal-definable sets coincide. Using a similar analysis, we answer two open questions posed earlier by the third author and C. Leahy, showing that algebraicity and definability need not coincide in models of set theory and the internal and external notions of being ordinal algebraic need not coincide. (shrink)

When a user integrates a sensory substitution device into her life, the process involves perceptual learning, that is, ‘relatively long-lasting changes to an organism’s perceptual system that improve its ability to respond to its environment’ (Goldstone 1998: 585). In this paper, I explore ways in which the extensive literature on perceptual learning can be applied to help improve sensory substitution devices. I then use these findings to answer a philosophical question. Much of the philosophical debate surrounding sensory (...) class='Hi'>substitution devices concerns what happens after perceptual learning occurs. In particular, should the resultant perceptual experience be classified in the substituted modality (as vision), in the substituting modality (as auditory or tactile), or in a new sense modality? I propose a novel empirical test to help resolve this philosophical debate. (shrink)

Jensen's celebrated Covering Lemma states that if 0# does not exist, then for any uncountable set of ordinals X, there is a Y∈L such that X⊆Y and |X| = |Y|. Working in ZF + AD alone, we establish the following analog: If ℝ# does not exist, then L(ℝ) and V have exactly the same sets of reals and for any set of ordinals X with |X| ≥ΘL(ℝ), there is a Y∈L(ℝ) such that X⊆Y and |X| = |Y|. Here ℝ (...) is the set of reals and Θ is the supremum of the ordinals which are the surjective image of ℝ. (shrink)

It is hoped that modern sensory substitution and augmentation devices will be able to replace or expand our senses. But to what extent has this been achieved to date? To what extent are the experiences created by sensory substitution devices like the sensory experiences that we are trying to replace? To what extent can we augment people’s senses providing them with new information and new experiences? The first aim of this introduction is to delve deeply into this question (...) to discover the usefulness of these devices, to outline the different sorts of experience that might be created, and what the evidence tells us about these experiences. While there are some reasons to be hopeful about the powers of sensory substitution devices, there are also reasons to wonder whether they will ever really have the practical applications that we hope they might have. The second aim is to look to see whether the study of modern sensory substitution and augmentation devices can shed light on the nature of our senses and perception in general. Much of the philosophical, psychological, and neuroscientific work that takes place concerning sensory substitution and augmentation is keenly aware of the possibility that it might help our understanding and it seeks to comprehend many different aspects of perception. (shrink)

In the UK, current policies and services for people with mental disorders, including those with intellectual disabilities (ID), presume that these men and women can, do, and should, make decisions for themselves. The new Mental Capacity Act (England and Wales) 2005 (MCA) sets this presumption into statute, and codifies how decisions relating to health and welfare should be made for those adults judged unable to make one or more such decisions autonomously. The MCA uses a procedural checklist to guide this (...) process of substitute decision-making. The personal experiences of providing direct support to seven men and women with ID living in residential care, however, showed that substitute decision-making took two forms, depending on the type of decision to be made. The first process, ‘strategic substitute decision-making’, paralleled the MCA’s legal and ethical framework, whilst the second process, ‘relational substitute decision-making’, was markedly different from these statutory procedures. In this setting, ‘relational substitute decision-making’ underpinned everyday personal and social interventions connected with residents’ daily living, and was situated within a framework of interpersonal and interdependent care relationships. The implications of these findings for residential services and the implementation of the MCA are discussed. (shrink)

In this paper we formulate epsilon substitution method for a theory $\Pi _{2}^{0}$-FIX for non-monotonic $\Pi _{2}^{0}$ inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

We apply Mints’ technique for proving the termination of the epsilon substitution method via cut-elimination to the system of Peano Arithmetic with Transfinite Induction given by Arai.

We formulate epsilon substitution method for elementary analysisEA (second order arithmetic with comprehension for arithmetical formulas with predicate parameters). Two proofs of its termination are presented. One uses embedding into ramified system of level one and cutelimination for this system. The second proof uses non-effective continuity argument.

A primary goal of clinical practice is to respect patient autonomy. To promote this goal for patients who have lost the ability to make their own decisions, commentators recommend that surrogates make their treatment decisions based on the substituted judgment standard. This standard is commonly interpreted as directing surrogates to make the decision the patient would have made in the circumstances, if the patient were competent. However, recent commentators have argued that this approach—attempting to make the decision the patient would (...) have made if competent—is theoretically problematic, practically infeasible, and ignores the interests of the patient9s family and loved ones. These commentators conclude that the substituted judgment standard should be revised significantly, or abandoned altogether. While this response would avoid the cited problems, it also would require substantial changes to clinical practice and would raise significant problems of its own. The present paper thus considers the possibility that the criticisms do not point to problems with the substituted judgment standard itself; instead, they point to problems with the way it is most commonly interpreted. This analysis suggests that the substituted judgment standard need not be dramatically revised or abandoned. Instead, it should be interpreted in a way that effectively promotes respect for the autonomy of incompetent patients. The ‘endorsed life’ interpretation described here helps clinicians and surrogates to achieve this important goal. To clarify this approach, we explain how it differs from three other recently proposed alternatives to the standard interpretation of the substituted judgment standard. (shrink)

One of the central limitations of sensory substitution devices (SSDs) is their inability to reproduce the non-sensory feelings that are normally associated with visual experiences, especially hedonic and aesthetic responses. This limitation is sometimes reported to cause SSD users frustration. To make matters worse, it is unclear that improvements in acuity, bandwidth, or training will resolve the issue. Yet, if SSDs are to actually reproduce visual experience in its fullness, it seems that the reproduction of non-sensory feelings will be (...) of some importance. We offer a novel solution. Researchers can produce hedonic and aesthetic responses by eliciting these feelings artificially, pairing distal objects that should be pleasurable to pleasurable stimulus outputs from the SSD. We outline two strategies for accomplishing this: first, by means of a prefixed, hardwired, association of pleasant distal objects to pleasant stimulus outputs from the SSD; second, by means of a flexible, feedback-based association which creates associations based on a subject-directed matching of distal objects to patterns of stimuli from the SSD which the subject takes to have the corresponding hedonic properties. We evaluate some problems with both strategies, and we argue that the feedback-based strategy is more promising. Researchers can use this strategy to help the blind, allowing them to take pleasure in the objects they perceive using SSDs. (shrink)

AbtractTechnologies both new and old provide us with a wide range of cognitive artifacts that change the structure of our cognitive tasks. After a brief analysis of past classifications of these artifacts, I shall elaborate a new way of classifying them developed by focusing on an aspect that has been previously overlooked, namely the possible relationships between these objects and the cognitive processes they involve. Cognitive artifacts are often considered as objects that simply complement our cognitive capabilities, but this “complementary (...) view” seems to be an oversimplification. Assuming an “interaction-centered approach”, this article identifies three essential ways in which cognitive artifacts carry out their function: complementing, constituting and substituting our cognitive processes, and builds a taxonomy of these objects that is grounded on these relations. In so doing, it also addresses the chaotic set of different micro-functions carried out by cognitive artifacts, which have not thus far been dealt with, sorting these functions into three corresponding categories. The second part of the article analyzes in greater detail how cognitive artifacts work in our cognitive life, identifying a new kind of functions, called semi-proper functions, and providing a new definition of cognitive artifact based on the previous analysis of these objects. (shrink)

The aim of this article is to provide a plausible conceptual model of a specific use of images described as substitution in recent art-historical literature. I bring to light the largely implicit shared commitments of the art historians’ discussion of substitution, each working as they do in a different idiom, and I draw consequences from these commitments for the concept of substitution by image—the major being the distinction between nonportraying substitution and substitution by portrayal. I (...) then develop an argument that substitution by image in the desired, nonportraying sense needs to be thought of in terms of a figurative representation of an image’s subject as a generic object, what I will call its figurative instantiation. (shrink)

Recent aphasiological findings, not mentioned in the target article, have been accounted for by Levelt et al.'s theory and have, in turn, provided it with empirical support and new leads. This interaction is especially promising in the domain of complex word retrieval. Examples of particular categories of compounds are discussed.

Hilbert proposed the epsilon substitution method as a basis for consistency proofs. Hilbert's Ansatz for finding a solving substitution for any given finite set of transfinite axioms is, starting with the null substitution S0, to correct false values step by step and thereby generate the process S0,S1,… . The problem is to show that the approximating process terminates. After Gentzen's innovation, Ackermann 162) succeeded to prove termination of the process for first order arithmetic. Inspired by G. Mints (...) as an Ariadne's thread we formulate the epsilon substitution method for the theory ID1 of non-iterated inductive definitions for disjunctions of simply universal and existential operators, and give a termination proof of the H-process based on Ackermann 162). The termination proof is based on transfinite induction up to the Howard ordinal. (shrink)

I present an analysis according to which the current state of the definition of substitution leads to a contradiction in the system of Transparent Intensional Logic. I entail the contradiction using only the basic definitions of TIL and standard results. I then analyse the roots of the contradiction and motivate the path I take in resolving the contradiction. I provide a new amended definition of collision-less substitution which blocks the contradiction in a non-ad hoc way. I elaborate on (...) the consequences of the amended definition, namely the invalidity of the Church-Rosser theorem. I present a counterexample to the validity of the theorem in TIL with an amended definition of substitution. (shrink)

It is commonly thought that when a patient is unable to make a treatment decision for herself, patient autonomy should be respected by consulting the views of a patient surrogate, normally either the next-of-kin or a person previously designated by the patient. On one view, the task of this surrogate is to make the treatment decision that the patient would have made if competent. But this so-called ‘substituted judgment standard’ (SJS) has come in for has come in for a good (...) deal of criticism recently. For instance, some question whether surrogates are able to reliably predict what the patient would have chosen. Others wonder how respecting a patient's counter-factual, rather than actual, choices is supposed to respect her autonomy. Such concerns have lead some to reject the SJS and argue for alternative characterisations of the role of surrogate decision-makers. (shrink)

Examples cited by Feldman, Lehrer and others of true beliefs that are justified, but not by false lemmas, turn out under scrutiny to involve false lemmas after all. In each case there is an EG inference whose conclusion is unwarranted unless its base instance is false. A shift to non-deductive justification does not avert the difficulty. The relation of this result to non-inferential Gettier cases is suggested.

In their Anachronic Renaissance, Alexander Nagel and Christopher Wood identify two principles upon which, in fifteenth-century Europe, a work of art might establish its validity or authority: substitution and performance. It has become established wisdom that the dual schema of substitution and performance follows Hans Belting's dualism of the medieval cult of the image and the modern aesthetic system of art. This, I submit, is not just a mistake, but also prevents from evaluating one of the book's most (...) ambitious contributions to art-historical theory on its own merits. An analysis of the structure of the claims made by Nagel and Wood brings to light that the two concepts—substitution and performance—do not play the same role as the conceptual pair of Bild and Kunst in Belting's influential work. (shrink)

We formulate epsilon substitution method for a theory [Π0 1, Π0 1]-FIX for two steps non-monotonic Π0 1 inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

In this essay, I propose an analysis of Quine’s example ’Giorgione was so-called because of his size’, grounded on the idea of an obstinate demonstrative. In the first sections, I discuss the advantages and drawbacks of the demonstrative and logophoric treatments of ‘so called’, I highlight certain parallelisms with Davidson’s paratactic view of quotation, and I introduce independent considerations in favor of the idea of an obstinate demonstrative. In the second half of my essay, I apply this notion to Quine’s (...) example, and I discuss its consequences with respect to the principle of substitutivity of coreferential singular terms. (shrink)

This report highlights and explores five questions that arose from the workshop on sensory substitution and augmentation at the British Academy, March 26th through 28th, 2013.