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.

Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.

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)

Verification and validation are methods with which computer simulations are tested. While many practitioners draw a clear line between verification and validation and demand that the former precedes the latter, some philosophers have suggested that the distinction has been over-exaggerated. This chapter clarifies the relationship between verification and validation. Regarding the latter, validation of the conceptual and of the computational modelComputational model are distinguished. I argue that, as a method, verification is clearly different from validation of either of the models. (...) However, the methods are related to each other as follows: If we allow that the validation of the computational model need not include the comparisonComparison between simulation output and measured data, then the computational model may be validated by validating the conceptual model independently and by verifying the simulation with respect to it. This is often not realistic, however, because, in most cases, the conceptual modelConceptual model cannot be validated independently from the simulation. In such cases, the computational modelComputational model is verified with the aim to use it as an appropriate substitute for the conceptual model. Then simulation output is compared to measured data to validate both the computational and the conceptual model. I analyze the underlying inferences and argue that they require some prior confidence in the conceptual model and in verification. This suggests that verification precede validation that proceeds via a comparisonComparison between simulation outputOutput and measured data. Recent arguments to the effect that the distinction between verification and validation is not clear-cut do not refute these results, or so I argue against philosopher E. Winsberg. (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)

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)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

True beliefs and truth-preserving inferences are, in some sense, good beliefs and good inferences. When an inference is valid though, it is not merely truth-preserving, but truth-preserving in all cases. This motivates my question: I consider a Modus Ponens inference, and I ask what its validity in particular contributes to the explanation of why the inference is, in any sense, a good inference. I consider the question under three different definitions of ‘case’, and hence of ‘validity’: the orthodox (...) definition given in terms of interpretations or models, a metaphysical definition given in terms of possible worlds, and a substitutional definition defended by Quine. I argue that the orthodox notion is poorly suited to explain what's good about a Modus Ponens inference. I argue that there is something good that is explained by a certain kind of truth across possible worlds, but the explanation is not provided by metaphysical validity in particular; nothing of value is explained by truth across all possible worlds. Finally, I argue that the substitutional notion of validity allows us to correctly explain what is good about a valid inference. (shrink)

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...) First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)

Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instances are permitted to contain parameters. Variants of this definition of logical consequence are given: logical validity can be defined with or without identity as a logical constant, and quantifiers can be relativized in substitution instances or (...) not. It is shown that the resulting notions of logical consequence are extensionally equivalent to versions of first-order provability and model-theoretic consequence. Every model-theoretic interpretation has a substitutional counterpart, but not vice versa. In particular, in contrast to the model-theoretic account, there is a trivial intended interpretation on the substitutional account, namely, the homophonic interpretation that does not substitute anything. Applications to free logic, and theories and languages other than set theory are sketched. (shrink)

This paper treats entailment as a subrelation of classical consequence and deducibility. Working with a Gentzen set-sequent system, we define an entailment as a substitution instance of a valid sequent all of whose premisses and conclusions are necessary for its classical validity. We also define a sequent Proof as one in which there are no applications of cut or dilution. The main result is that the entailments are exactly the Provable sequents. There are several important corollaries. Every unsatisfiable set (...) is Provably inconsistent. Every logical consequence of a satisfiable set is Provable therefrom. Thus our system is adequate for ordinary mathematical practice. Moreover, transitivity of Proof fails upon accumulation of Proofs only when the newly combined premisses are inconsistent anyway, or the conclusion is a logical truth. In either case Proofs that show this can be effectively determined from the Proofs given. Thus transitivity fails where it least matters — arguably, where it ought to fail! We show also that entailments hold by virtue of logical form insufficient either to render the premisses inconsistent or to render the conclusion logically true. The Lewis paradoxes are not Provable. Our system is distinct from Anderson and Belnap''s system of first degree entailments, and Johansson''s minimal logic. Although the Curry set paradox is still Provable within naive set theory, our system offers the prospect of a more sensitive paraconsistent reconstruction of mathematics. It may also find applications within the logic of knowledge and belief. (shrink)

This paper presents several important results for Transparent Intensional Logic (TIL). The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction by value – are shown to be invalid. The core principle on which their validity is based – the so-called Compensation Principle – is also shown to be invalid. Further, the paper demonstrates the flaws of the proof of the Compensation Principle.

This paper presents several important results for Transparent Intensional Logic. The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction...

U.K. regulation of sexual identity within a marriage context has traditionally been linked to biological sex. In response to the European Court of Human Rights decisions in Goodwin and I.,2 and in order to address the question of whether a transsexual person can be treated as a “real” member of their adoptive sex, the U.K. has recently passed the Gender Recognition Act 2004. While the Act appears to signal a move away from biology and towards a conception of sexual identity (...) based on gender rather than sex, questions of sexual identity remain rooted in medico-legal assessments of the individual transsexual body/mind. In contrast, because transsexual people in some parts of Canada have been able to marry in their post-operative sex since 1990, contemporary debates on the sexual identity of transsexual people in British Columbia and Ontario do not focus on the validity of marriage, and more frequently centre upon the provision of goods and services, in human rights contexts where sex is said to matter. Currently in Canada this is prompting questions of what it means to be a woman in society, how the law should interpret sex and gender, and how, if at all, the parameters of sexual identity should be established in law. This article seeks to compare recent U.K. legal conceptualisations of transsexuality with Canadian law in this area. As human rights discourse begins to grow in the U.K., the question remains as to whether or not gender will become an adequate substitute for sex. (shrink)

This article intends to critically envisage limits and values of philosophy of art of Arthur Danto and to point out the main problems of the theory of supstitutional representation, when placed within wider theoretical frame of traditional aesthetics, such as the notion of meaning in the philosophy of art of Arthur Danto. The article focuses on the notions of exteral and interal representation and denotation of non-existent and existent entities substituted by representation. This article intends to question the validity (...) of Danto?s position. Ovaj tekst pokusava da kriticki sagleda domete i vrednosti filozofije umetnosti Artura Dantoa i da istakne osnovne probleme sa kojima supstituciona teorija reprezentacije mora da se suoci, kada se ona zastupa u sirem teorijskom okviru tradicionalne estetike, kakav je pojam znacenja u filozofiji umetnosti Artura Dantoa. Posebnu paznju tekst usmerava na pojmove eksteralne i interalne reprezentacije i denotacije nepostojecih i postojecih entiteta, koji se reprezentacijom supstituiraju. Autor nastoji pokazati da je stav koji Danto zastupa apsurdan. (shrink)

We present computational modeling results based on a self‐paced reading study investigating number attraction effects in Eastern Armenian. We implement three novel computational models of agreement attraction in a Bayesian framework and compare their predictive fit to the data using k‐fold cross‐validation. We find that our data are better accounted for by an encoding‐based model of agreement attraction, compared to a retrieval‐based model. A novel methodological contribution of our study is the use of comprehension questions with open‐ended responses, so that (...) both misinterpretation of the number feature of the subject phrase and misassignment of the thematic subject role of the verb can be investigated at the same time. We find evidence for both types of misinterpretation in our study, sometimes in the same trial. However, the specific error patterns in our data are not fully consistent with any previously proposed model. (shrink)

Formalizations in first-order logic are standardly used to represent logical forms of sentences and to show the validity of ordinary-language arguments. Since every sentence admits of a variety of formalizations, a challenge arises: why should one valid formalization suffice to show validity even if there are other, invalid, formalizations? This paper suggests an explanation with reference to criteria of adequacy which ensure that formalizations are related in a hierarchy of more or less specific formalizations. This proposal is then (...) compared with stronger criteria and assumptions, especially the idea that sentences essentially have just one logical form. (shrink)

According to what we propose to call “the competence model,” competence is a necessary condition for valid informed consent. If a person is not competent to make a treatment decision, the decision must be made by a substitute decision-maker on her behalf. Recent reports of various United Nations human rights bodies claim that article 12 of the Convention on the Rights of Persons with Disabilities involves a wholesale rejection of this model, regardless of whether the model is based on a (...) status, outcome, or functional approach to competence. The alleged rationale of this rejection is that denying persons the right to make their own treatment decisions based on an assessment of competence necessarily discriminates against persons with mental disorders. Based on a philosophical account of the nature of discrimination, we argue that a version of the competence model that combines supported decision-making with a functional approach to competence does not discriminate against persons with mental disorders. Furthermore, we argue that status- and outcome-based versions of the competence model are discriminatory. (shrink)

The standard by which we apply decision-making for those unable to do so for themselves is an important practical ethical issue with substantial implications for the treatment and welfare of such individuals. The approach to proxy or surrogate decision-making based upon substituted judgement is often seen as the ideal standard to aim for but suffers from a need to provide a clear account of how to determine the validity of the proxy's judgements. Proponents have responded to this demand by (...) providing the truth-conditions for the substituted judgement in terms of counterfactual reasoning using a possible worlds semantics. In this paper, I show how these underpinnings fail to support the substituted judgement approach as a reasonable standard for decision-making. Firstly, I show how this counterfactual element has been poorly interpreted. I then explain how various accounts have failed to reflect problems and limitations associated with providing an interpretation of their truth-conditions using counterfactuals. Finally, I argue that, even when we attend to the initial problems of providing a counterfactual analysis, it still deeply problematic as a means of determining the validity of substituted judgements for two main reasons. Firstly, making determinate judgements as to the truth-value of these judgements will often not be possible and, secondly, there is a strong requirement when interpreting many counterfactual claims to charitably accede to their being true. I conclude that substituted judgements, as interpreted through counterfactual reasoning and possible worlds semantics, do not therefore provide an adequate standard for surrogate decision-making. (shrink)

SummaryMetatheory may be pursued immanently, i.e., within the object language, or transcendently in metalanguages. Immanently, the hierarchy of metalanguages gives way to a hierarchy of predicates. The immanent approach accentuates the symmetry between Russell's paradox and Cantor's theorem: class shortage versus predicate shortage. Appeal to metatheoretic models, in defining logical truth, gives way to appeal to substitutions of expressions of the object language. Can this be said also of set‐theoretic truth, despite predicate shortage? Equivalently: is substitutional quantification unscathed by (...) predicate shortage? Anyway substitutional quantification balks at impredicative cases. (shrink)

The author discusses the "knowing how--Knowing that dichotomy" utilized by ryle in "concept of mind". In this article he attempts to show that intuitions do not exist. He critiques an article by toulmin on the subject and concludes that knowing how cannot be used to "solve discussions of validity," and is no substitute for "proof, Evidence or grounds." (staff).

What we call the Hilbert‐Bernays (HB) Theorem establishes that for any satisfiable first‐order quantificational schema S, there are expressions of elementary arithmetic that yield a true sentence of arithmetic when they are substituted for the predicate letters in S. Our goals here are, first, to explain and defend W. V. Quine's claim that the HB theorem licenses us to define the first‐order logical validity of a schema in terms of predicate substitution; second, to clarify the theorem by sketching an (...) accessible and illuminating new proof of it; and, third, to explain how Quine's substitutional definition of logical notions can be modified and extended in ways that make it more attractive to contemporary logicians. (shrink)

Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz’s 1973paper ‘Towards a foundation of a general proof theory’ and refined by Schroeder-Heister in ‘Validity concepts in proof-theoretic semantics’ (2006). We will call the new notion generalized (...) proof-theoretic validity and show that the logic of generalized proof-theoretic validity is intuitionistic logic. (shrink)

In order to know what a belief is, we need to know when it is appropriate to say that two subjects (or the same subject at two different times) believe(s) the same or entertain the same thought. This is not entirely straightforward. Consider for instance1. Tom thinks that he himself is the smartest and Tim believes the same2. In 2001, Bill believed that some action had to be taken to save the rain forest and today he believes the same.What does (...) Tim think? That he, Tim, is the smartest, or that Tom is? And what does Bill believe today? That action had to be taken in 2001 or that it has to be taken now? Both answers are intuitively acceptable. This has to be accounted for somehow.Building on Mark Richard's work on tense, Scott Soames 1 claims that the substitutional interpretation of the quantifiers is unable to account for the intended meaning of such statements as (2) and the validity of some inferences involving them. I will show that his argument is not convincing. Not only does the substitutional interpretation fare no worse than the objectual one, but it seems to be able to avoid a problem which could be seriously damaging for any account of the sameness of thoughts based on the notion of structured proposition. In the first section, I state the problem allegedly raised by tensed belief ascriptions to the substitutional interpretation of the quantifiers. In the second, Soames's argument is shown to be flawed. I also show that the content of the that-clause in (2) is not faithfully represented by any kind of structured proposition. Finally, I show how the substitutional interpretation can handle all such statements as (1) and (2) and the inferences involving them. (shrink)

In this paper we investigate with a case study from chemistry under what conditions a simulation can serve as a surrogate for an experiment. The case-study concerns a simulation of H2-formation in outer space. We find that in this case the simulation can act as a surrogate for an experiment, because there exists comprehensive theoretical background knowledge in form of quantum mechanics about the range of phenomena to which the investigated process belongs and because any particular modelling assumptions as can (...) be justified. If these requirements are met then direct empirical validation may even be dispensable. We conjecture that this is not the case in the absence of comprehensive theoretical background knowledge. (shrink)

In this contribution we investigate the conceptual coherence of penal substitution and its moral validity. After assessing two opposing modern contributions, we turn to Reformed and medieval scholasticism. This scholastic manoeuvre sheds additional light on the analytic questions at issue. Following Owen and Scotus in their use of a relational analysis of guilt and its punishment, we argue that penal substitution is conceptually and morally coherent, albeit not univocally vis-à-vis ordinary punishment. Absent from the case of substitution is personal (...) deservedness; herein we follow Murphy. However, this leaves open the conceptual possibility of representative deservedness. (shrink)

The use of models to assign truth values to sentences and to counterexemplify invalid inferences is a basic feature of model theory. Yet sentences and inferences are not the only phenomena that model theory has to take care of. In particular, the development of sequent calculi raises the question of how metainferences are to be accounted for from a model-theoretic perspective. Unfortunately there is no agreement on this matter. Rather, one can find in the literature two competing model-theoretic notions of (...) metainferential validity, known as the ‘global’ notion and the ‘local’ notion. In this article, I argue that, given certain plausible considerations about metainferential validity, the global notion collapses into the local notion. (shrink)

This paper argues that judges assessing the scientific validity and the legal admissibility of forensic science techniques ought to privilege testing over explanation. Their evaluation of reliability should be more concerned with whether the technique has been adequately validated by appropriate empirical testing than with whether the expert can offer an adequate description of the methods she uses, or satisfactorily explain her methodology or the theory from which her claims derive. This paper explores these issues within two specific contexts: (...) latent fingerprint examination and the use of breath tests for the detection of alcohol. Especially in the forensic science arena, I suggest courts have often been seduced by superficially plausible explanations and descriptions of a technique or method, and permitted these to serve as a substitute for empirical testing. Thinking through these two examples illustrates both why evaluating the extent of testing should be the most important method by which courts assess reliability, and why, when other forms of explanatory evidence are readily available, we may nonetheless elect to make use of them. This paper suggests that these descriptions and explanations may at times usefully supplement evidence of testing, but should not generally be substituted for it. Finally, this paper embraces a kind of evidentiary pragmatism, in which the quantum of evidence required to establish legal reliability is determined not in the abstract, but in relation to the evidence that is, or ought to be, available as a result of reasonable research and investigation. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...) many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

Philosophers such as Dan Brock believe that surrogates who make health care decisions on behalf of previously competent patients, in the absence of an advance directive, should make these decisions based upon a substituted judgment principle. Brock favours substituted judgment over a best interests standard. However, Edward Wierenga claims that the substituted judgment principle ought to be abandoned in favour of a best interests standard, because of an inherent problem with the substituted judgment principle. Wierenga's version of the substituted judgment (...) principle and his counterexample to the principle's successful interpretation of valid surrogate consent is presented. A new version of what is meant by the substituted judgment principle is advanced. The new version is not beset with the problems Wierenga initially ascribed to the substituted judgment principle. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitu- tion core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with (...) infinitely many agents, PAL-Kω , as well as standard extensions thereof, e.g., PAL-Tω , PAL-S4ω, and PAL-S5ω. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

In this paper I will present a visual method that I have created to demonstrate the validity of propositional arguments and predicates, based on the traditional Venn diagrams. This idea was born after becoming aware of how useful visual methods are in other scientific fields, such as geometrical representations of arithmetic and algebraic concepts. This method illustrates the relationship between propositional logic, predicate logic and set theory, and it can be used to explain linguistic semantic concepts such as synonymy, (...) antonymy, hyponymy, entailment, and lexical substitution. (shrink)

When patients are in vegetative states and their lives are maintained by medical devices, their surrogates might offer proxy consents on their behalf in order to terminate the use of the devices. The so-called ’substituted judgment thesis’ has been adopted by the courts regularly in order to determine the validity of such proxy consents. The thesis purports to evaluate proxy consents by appealing to putative counterfactual truths about what the patients would choose, were they to be competent. The aim (...) of this paper is to reveal a significant limitation of the thesis, which has hitherto been recognised only vaguely and intuitively. By appealing to the metaphysics of counterfactuals I explain how the thesis fails to determine the validity of proxy consents in a number of actual cases. (shrink)

When patients are in vegetative states and their lives are maintained by medical devices, their surrogates might offer proxy consents on their behalf in order to terminate the use of the devices. The so‐called ‘substituted judgment thesis’ has been adopted by the courts regularly in order to determine the validity of such proxy consents. The thesis purports to evaluate proxy consents by appealing to putative counterfactual truths about what the patients would choose, were they to be competent. The aim (...) of this paper is to reveal a significant limitation of the thesis, which has hitherto been recognised only vaguely and intuitively. By appealing to the metaphysics of counterfactuals I explain how the thesis fails to determine the validity of proxy consents in a number of actual cases. (shrink)

Leibniz’s universal characteristic is a fundamental aspect of his theory of cognition. Without symbols or characters it would be difficult for the human mind to define several concepts and to achieve many demonstrations. In most disciplines, and particularly in mathematics, the mind must then focus on symbols and their combinatorial rules rather than on mental contents. For Leibniz, mental perception is most of the time too confused for attaining distinct notions and valid deductions. In this paper, I argue that the (...) functions of symbolization differ depending upon the kind of concepts that are replaced with characters. In my view, most commentators did not sufficiently underline the distinction between two main functions of formal substitution in Leibniz’s characteristic: either increasing our knowledge or simply structuring it. In the first case, we complete our knowledge because formal substitution makes sensible and imaginary concepts more distinct. In the second case, symbolization helps to organize contents that are already conceived of by reason. Thus the process of substitution is not always identically applicable, for symbols replace different types of concepts. (shrink)

In substituting aesthetic criteria for the time-honoured yardsticks of reliability, validity and generalization, narrative researchers are sometimes criticized for devaluing the notion of truth. This paper suggests that what is an issue here is not so much empirical quantitative truth as rather artistic literary truth. The latter notion of truth is characterized in terms of ‘authenticity’ and the ramifications of authentic truth for narrative research are posited and explored. Only such an understanding of truth and the resolve seriously to (...) apply it will garner narrative researchers the epistemic respectability they seek. (shrink)

The validity of three premises, set as foundational pillars of modern sociological approach to science, is contested, namely: (i) the postulate, stating that science is devoid of whatever generis specifical; (ii) it is liable to the usual empirical study; (iii) the practicing scientist's self-reflexive judgements must be disbelieved and rejected. Contrariwise, the ignored so far quaint nature of knowledge, escaping even from the elementary empirical treating - discernment and observation - is revealed and demonstrated. This peculiar nature requires, accordingly, (...) a specific meta-cognitive dealing for positing it as 'empirical object', unfortunately missed still by the Strong Programme. The inadequate approach adopted led to a substitution of 'scientific' for common knowledge. The tacit thus far alternative, setting the foundations of meta-science, is suggested. (shrink)

The validity of three premises, set as foundational pillars of modern sociological approach to science, is contested, namely: the postulate, stating that science is devoid of whatever generis specifical; it is liable to the usual empirical study; the practicing scientist's self-reflexive judgements must be disbelieved and rejected. Contrariwise, the ignored so far quaint nature of knowledge, escaping even from the elementary empirical treating - discernment and observation - is revealed and demonstrated. This peculiar nature requires, accordingly, a specific meta-cognitive (...) dealing for positing it as 'empirical object', unfortunately missed still by the Strong Programme. The inadequate approach adopted led to a substitution of 'scientific' for common knowledge. The tacit thus far alternative, setting the foundations of meta-science, is suggested. (shrink)

This essay takes a critical look at Jonathan Berg’s theory of direct belief. Berg’s analysis of the concept of direct belief is considered insightful, but doubts are raised concerning his generalization of the purely extensional truth conditional semantics of direct belief ascription sentences to the truth conditional semantics of all belief ascription sentences. Difficulties are posed that Berg does not discuss, but that are implied by the proposal that the truth conditional semantics of belief ascription sentences generally are those of (...) direct belief ascription sentences, and that once mentioned must enter into an evaluation of the proposition that by implication all beliefs are direct. Another line of objection concerns Berg’s second main thesis that the pragmatics as distinct from the semantics of belief ascription sentences can explain away apparent substitution failure validity breakdowns in belief ascription sentences as inappropriate utterances according to rules of roughly Gricean conversational implicature, rather than correspondence or non-correspondence with the facts about such things as what it is that people actually believe. These two parts of Berg’s argument, that the truth conditional semantics of all belief ascription sentences are those exclusively of direct belief ascription sentences, and that apparent substitution failure is effectively salva propria rather than salva veritate, are explored within the general framework of Berg’s thought experiment, eventually arriving at diametrically opposed conclusions, reflecting on what we believe comic book character Lois Lane believes and does not believe about Superman, and what she believes and does not believe about Clark Kent. (shrink)

In substituting aesthetic criteria for the time-honoured yardsticks of reliability, validity and generalization, narrative researchers are sometimes criticized for devaluing the notion of truth. This paper suggests that what is an issue here is not so much empirical quantitative truth as rather artistic literary truth. The latter notion of truth is characterized in terms of ‘authenticity’ and the ramifications of authentic truth for narrative research are posited and explored. Only such an understanding of truth and the resolve seriously to (...) apply it will garner narrative researchers the epistemic respectability they seek. (shrink)

Henry Johnstone's philosophical development was guided by a persistent need to reform the concept of validity -either by reinterpreting it or by finding a substitute for it. This project lead Johnstone into interesting confrontations with the concept of rhetoric and especiaUy with the work of Chaim Perelman and Olbrechts-Tyteca. The project culminated in a failed attempt to develop a formal ethics of rhetoric and argumentation, but this attempt was itself not consistent with some of Johnstone's other characterizations ofan ethics (...) of argument ation. A virtue ethics would be truer to the Johnstonian philosophical project than a formal ethics of argument. Resume. (shrink)

In recent decades many sociologists and philosophers of science, especially the so-called ‘new experimentalists’, have stressed the need for detailed studies of real, ongoing experimental practices, and have claimed that a new image of science results from such an approach. Among the new objects of interest that have emerged from laboratory studies, an important one is the tacit dimension of scientific practices. Harry Collins, in particular, has insisted that irreducibly tacit presuppositions and skills are inevitably involved in experimental practices, and (...) that these tacit resources play an essential role in the stabilization of successful scientific achievements. What I will call the ‘opacity of experimental practices’ has been analyzed in different ways, but on the whole, it has been claimed to have harmful epistemological consequences with respect to crucial issues such as the nature of experimental facts, scientific realism, scientific rationality, and the contingency of what acquires the status of an established scientific result in practitioners’ eyes. Such claims remain highly controversial. The aim of this paper is to discuss the epistemological implications of the involvement of tacit resources in experimental practices and to provide helpful conceptual tools with respect to the issue of tacit resources in science. Specifically, the paper provides an analytical clarification of the relation between the opacity of experimental practices and the principle of experimenters substitutability, the latter being a principle commonly viewed as a necessary feature of any good science. Serious doubts are finally raised about the validity of the experimenters substitutability principle, and the impact of these doubts with respect to the contingency of scientific facts and results is considered. (shrink)

We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it (...) is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical , provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional. (shrink)

The standard Leibnizian view of identity allows for substitutivity of identicals and validates transitivity of identity within classical semantics. However, in a series of works, Graham Priest argues that Leibnizian identity invalidates both principles when formalized in paraconsistent semantics. This paper aims to show the Leibnizian view of identity validates substitutivity of identicals and transitivity of identity whether the logic is classical or paraconsistent. After presenting Priest's semantics of identity, I show what a semantic expression of Leibnizian identity does amount (...) to. Then, I argue that Priest's semantic definition of identity is not Leibnizian. Finally, I offer a semantics characterization of identity in paraconsistent logic that is truly Leibnizian. I demonstrate that the correct formalization of Leibnizian identity in paraconsistent logic also validates substitutivity of identicals and transitivity of identity. (shrink)