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)

Verification and validation of numerical models of natural systems is impossible. This is because natural systems are never closed and because model results are always nonunique. Models can be confirmed by the demonstration of agreement between observation and prediction, but confirmation is inherently partial. Complete confirmation is logically precluded by the fallacy of affirming the consequent and by incomplete access to natural phenomena. Models can only be evaluated in relative terms, and their predictive value is always open to (...) question. The primary value of models is heuristic. (shrink)

It has been argued that the Duhem problem is renewed with computational models since model assumptions having a representational aim and computational assumptions cannot be tested in isolation. In particular, while the Verification and Validation methodology is supposed to prevent such holism, Winsberg argues that verification and validation cannot be separated in practice. Morrison replies that Winsberg overstates the entanglement between the steps. The paper aims at arbitrating these two positions, by stressing their respective validity in (...) relation to domains of application. It importantly argues for an increasing use of formal methods in verification, that makes disentanglement possible. (shrink)

Designing an ontology that meets the needs of end-users, e.g., a medical team, is critical to support the reasoning with data. Therefore, an ontology design should be driven by the constant and efficient validation of end-users needs. However, there is not an existing standard process in knowledge engineering that guides the ontology design with the required quality. There are several ontology design processes, which range from iterative to sequential, but they fail to ensure the practical application of an ontology (...) and to quantitatively validate end-user requirements through the evolution of an ontology. In this paper, an ontology design process is proposed, which is driven by end-user requirements, defined as Competency Questions. The process is called CQ-Driven Ontology DEsign Process and it includes activities that validate and verify the incremental design of an ontology through metrics based on defined CQs. CODEP has also been applied in the design and development of an ontology in the context of a Mexican Hospital for supporting Neurologist specialists. The specialists were involved, during the application of CODEP, in collecting quality measurements and validating the ontology increments. This application can demonstrate the feasibility of CODEP to deliver ontologies with similar requirements in other contexts. (shrink)

Verification and validation of computer codes and models used in simulations are two aspects of the scientific practice of high importance that recently have been discussed widely by philosophers of science. While verification is predominantly associated with the correctness of the way a model is represented by a computer code or algorithm, validation more often refers to the model’s relation to the real world and its intended use. Because complex simulations are generally opaque to a practitioner, (...) the Duhem problem can arise with verification and validation due to their entanglement; such an entanglement makes it impossible to distinguish whether a coding error or the model’s general inadequacy to its target should be blamed in the case of a failure. I argue that a clear distinction between computer modeling and simulation has to be made to disentangle verification and validation. Drawing on that distinction, I suggest to associate modeling with verification and simulation, which shares common epistemic strategies with experimentation, with validation. To explain the reasons for their entanglement in practice, I propose a Weberian ideal–typical model of modeling and simulation as roles in practice. I examine an approach to mitigate the Duhem problem for verification and validation that is generally applicable in practice and is based on differences in epistemic strategies and scopes. Based on this analysis, I suggest two strategies to increase the reliability of simulation results, namely, avoiding alterations of verified models at the validation stage as well as performing simulations of the same target system using two or more different models. In response to Winsberg’s claim that verification and validation are entangled I argue that deploying the methodology proposed in this work it is possible to mitigate inseparability of V&V in many if not all domains where modeling and simulation are used. (shrink)

Verification and validation of computer codes and models used in simulation are two aspects of the scientific practice of high importance and have recently been discussed by philosophers of science. While verification is predominantly associated with the correctness of the way a model is represented by a computer code or algorithm, validation more often refers to model’s relation to the real world and its intended use. It has been argued that because complex simulations are generally not (...) transparent to a practitioner, the Duhem problem can arise for verification and validation due to their entanglement; such an entanglement makes it impossible to distinguish whether a coding error or model’s general inadequacy to its target should be blamed in the case of the model failure. I argue that in order to disentangle verification and validation, a clear distinction between computer modeling and simulation needs to be made. Holding on to that distinction, I propose to relate verification to modeling and validation, which shares the common epistemology with experimentation, to simulation. To explain reasons of their intermittent entanglement I propose a weberian ideal-typical model of modeling and simulation as roles in practice. I suggest an approach to alleviate the Duhem problem for verification and validation generally applicable in practice and based on differences in epistemic strategies and scopes. (shrink)

This unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and original philosophical perspectives on the validation of simulations. Topics and features: introduces the fundamental concepts and principles related to the validation (...) of computer simulations, and examines philosophical frameworks for thinking about validation; provides an overview of the various strategies and techniques available for validating simulations, as well as the preparatory steps that have to be taken prior to validation; describes commonly used reference points and mathematical frameworks applicable to simulation validation; reviews the legal prescriptions, and the administrative and procedural activities related to simulation validation; presents examples of best practice that demonstrate how methods of validation are applied in various disciplines and with different types of simulation models; covers important practical challenges faced by simulation scientists when applying validation methods and techniques; offers a selection of general philosophical reflections that explore the significance of validation from a broader perspective. This truly interdisciplinary handbook will appeal to a broad audience, from professional scientists spanning all natural and social sciences, to young scholars new to research with computer simulations. Philosophers of science, and methodologists seeking to increase their understanding of simulation validation, will also find much to benefit from in the text. (shrink)

This study developed an online career adaptability improvement program as part of the undergraduate curriculum to improve college students’ career adaptability and verify its effectiveness. This 13-week intervention program, developed using the Korea-Career Adaptability Scale, consists of three domains: knowledge and recognition of the self and work environment, self-directed coping related to career behavior, and environmental interaction for career decisions and adaptation. Two sub-studies were conducted to achieve the research objectives: Study 1 included developing and testing a pilot program and (...) Study 2 quantitatively analyzed the final program to test its effectiveness. In Study 1, preliminary program development and validity were verified, and in Study 2, the effectiveness of the final program was verified. As a strategy to achieve the research purpose, in Study 1, literature review and needs analysis, program design reflecting the results of the needs analysis, validity verification through Delphi survey, preliminary program implementation and evaluation, and the operation of the final program were performed. To test the effectiveness of the program in Study 2, a pre-posttest of career adaptability was conducted on experimental, comparison, and control groups using the non-equivalent group pretest–posttest design, followed by a program satisfaction survey. This study is meaningful in that it developed an online program to help college students improve career adaptability and identified its effectiveness. This study yielded two results. First, it successfully developed a career adaptability improvement program for undergraduate students, wherein the career development tasks, and the sub-factors of career adaptability were organically interlinked. Second, it verified the statistically significant differences in the career adaptability scores among the experimental, comparison, and control groups. The highest mean score was obtained by participants in the experimental group, followed by the comparison and the control group. (shrink)

Every person has his/her own unique signature that is used mainly for the purposes of personal identification and verification of important documents or legal transactions. There are two kinds of signature verification: static and dynamic. Static(off-line) verification is the process of verifying an electronic or document signature after it has been made, while dynamic(on-line) verification takes place as a person creates his/her signature on a digital tablet or a similar device. Offline signature verification is not (...) efficient and slow for a large number of documents. To overcome the drawbacks of offline signature verification, we have seen a growth in online biometric personal verification such as fingerprints, eye scan etc. In this paper we created CNN model using python for offline signature and after training and validating, the accuracy of testing was 99.70%. (shrink)

Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a (...) system, is explored. A completion operation on aspecific type of temporal theories, temporal completion, is introducedto be able to use classical proof techniques in verification withrespect to non-classical semantics covering default persistence. (shrink)

Designing and building complex artifacts like simulation models often rely on the strategy of modularity. My main claim is that the validation of simulation models faces a challenge of holismHolism because modularityModularity tends to erode over the process of building a simulation model. Two different reasons that fuel the tendency to erosion are analyzed. Both are based on the methodologyMethodology of simulation, but on different levels. The first has to do with the way parameter adjustment works in simulation; the (...) second comes from how different groups of software programmers work together. The chapter will conclude by drawing lessons about how holism challenges the validation of simulation and by discussing a corollary to conformational holism: the boundary between validation and verification tends to become blurred, thus undermining a strategy that insists on keeping them separate. (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)

Sidgwick offers an account of how to verify our beliefs, both factual and normative. He maintains that, although utter scepticism cannot be confuted, it also cannot be defended because, as soon as the sceptic tries to justify himself, he invariably limits himself by assuming the truth of certain premises and the validity of a particular method of inference. If it is possible to establish a criterion of truth for a given domain, then within that domain we may possess a set (...) of beliefs that are certain and never found to be erroneous. Sidgwick distinguishes between intuitive certainty and discursive certainty, the latter involving the apprehension of a belief in conjunction with other beliefs. He holds that intuitive verification is not entirely trustworthy, and so must be supplemented by discursive verification. (shrink)

Bayesian epistemologyEpistemology offers a powerful framework for characterizing scientific inference. Its basic idea is that rational belief comes in degrees that can be measured in terms of probabilities. The axioms of the probability calculus and a rule for updatingUpdating emerge as constraints on the formation of rational belief. Bayesian epistemologyEpistemology has led to useful explications of notions such asConfirmation confirmation. It thus is natural to ask whether Bayesian epistemologyEpistemology offers a useful framework for thinking about the inferences implicit in the (...) validation of computer simulations. The aim of this chapter is to answer this question. Bayesian epistemologyEpistemology is briefly summarized and then applied to validation. UpdatingUpdating is shown to form a viable method for data-driven validation. Bayesians can also express how a simulation obtains prior credibilityCredibility because the underlying conceptual modelConceptual model is credible. But the impact of this prior credibilityCredibility is indirect since simulations at best provide partial and approximate solutions to theConceptual model conceptual model. Fortunately, this gap between the simulations and the conceptual model can be addressed using what we call Bayesian verification. The final part of the chapter systematically evaluates the use of Bayesian epistemologyEpistemology in validation, e.g., by comparing it to a falsificationist approach. It is argued that Bayesian epistemologyEpistemology goes beyond mere calibrationCalibration and that it can provide the foundations for a sound evaluationEvaluation of computer simulations. (shrink)

This paper investigates the relationship between reality and model, information and truth. It will argue that meaningful data need not be true in order to constitute information. Information to which truth-value cannot be ascribed, partially true information or even false information can lead to an interesting outcome such as technological innovation or scientific breakthrough. In the research process, during the transition between two theoretical frameworks, there is a dynamic mixture of old and new concepts in which truth is not well (...) defined. Instead of veridicity, correctness of a model and its appropriateness within a context are commonly required. Despite empirical models being in general only truthlike, they are nevertheless capable of producing results from which conclusions can be drawn and adequate decisions made. (shrink)

While specifications and verifications of concurrent systems employ Linear Temporal Logic , it is increasingly likely that logical consequence in image will be used in the description of computations and parallel reasoning. Our paper considers logical consequence in the standard image with temporal operations image and image . The prime result is an algorithm recognizing consecutions admissible in image, so we prove that image is decidable w.r.t. admissible inference rules. As a consequence we obtain algorithms verifying the validity of consecutions (...) in image and solving the satisfiability problem. We start by a simple reduction of logical consecutions of image to equivalent ones in the reduced normal form . Then we apply a semantic technique based on image-Kripke structures with formula definable subsets. This yields necessary and sufficient conditions for a consecution to be not admissible in image. These conditions lead to an algorithm which recognizes consecutions admissible in image by verifying the validity of consecutions in special finite Kripke structures of size square polynomial in reduced normal forms of the consecutions. As a consequence, this also solves the satisfiability problem for image. (shrink)

Psychologists take two propositions for granted. Specifically, empirical verification of predictions derived from a theory support that the theory is more likely to be true and support that additional predictions derived from the theory have an increased probability of being sustained if subjected to empirical testing. In contrast, I argue that both propositions depend strongly on whether auxiliary assumptions are taken into account. When auxiliary assumptions are not taken into account, the first proposition is valid but the second is (...) not. When auxiliary assumptions are taken into account, the first proposition is not valid, and the second proposition encounters additional problems. I use Venn diagrams and Bayesian principles to demonstrate these conclusions. (shrink)

The author, using bertrand russell's "human knowledge": "it's scope and limits", makes a point of departure where russell distinguishes between "meaning" and "significance." the author contends that in using these distinctions in a metaphysical argument, his purpose is not to show whether or not the argument is possible, but to show the problem of validity of metaphysical arguments as the remaining fundamental problem in regards to metaphysics. (staff).

The scalar approach to negative polarity item (NPI) licensing assumes that NPIs are allowable in contexts in which the introduction of the NPI leads to proposition strengthening (e.g., Kadmon & Landman 1993, Krifka 1995, Lahiri 1997, Chierchia 2006). A straightforward processing prediction from such a theory is that NPI’s facilitate inference verification from sets to subsets. Three experiments are reported that test this proposal. In each experiment, participants evaluated whether inferences from sets to subsets were valid. Crucially, we manipulated (...) whether the premises contained an NPI. In Experiment 1, participants completed a metalinguistic reasoning task, and Experiments 2 and 3 tested reading times using a self-paced reading task. Contrary to expectations, no facilitation was observed when the NPI was present in the premise compared to when it was absent. In fact, the NPI significantly slowed down reading times in the inference region. Our results therefore favor those scalar theories that predict that the NPI is costly to process (Chierchia 2006), or other, nonscalar theories (Giannakidou 1998, Ladusaw 1992, Postal 2005, Szabolcsi 2004) that likewise predict NPI processing cost but, unlike Chierchia (2006), expect the magnitude of the processing cost to vary with the actual pragmatics of the NPI. (shrink)

Theology and religious beliefs, including issues dealing with theism, deism, creedal statements, dogma, and spiritualism are considered to be constructed reality. They are herein identified as first order truth. First order truth is personal truth and, as such, it becomes part of the reality of the believer. Constructed theological and religious belief is considered to be a legitimate part of radical constructivism irrespective of the validity and viability of the constructed reality. Second order truth, truth that is beyond the limits (...) of human verification, is herein introduced as the term for ultimate ontological and metaphysical reality. As such, reality is neither denied nor is it attributed to a solipsistic mind. Ultimate and so-called metaphysical reality is unknowable in the epistemological sense of having the capability of being known in any empirical and verifiable manner. To the degree that ultimate and metaphysical reality is known, it is known only via the constructs of the human mind. Perceptions of reality that arise from rigorous empirical research, including experimental and observational data, are certainly to be considered valid, reliable, and viable, but never irreplaceable. In the practice of science and the scientific method there is always the possibility of new hypotheses and theories based on new experimentation and new data, and thus, a case may be made that all knowledge, even scientific and empirical knowledge, is tentative. (shrink)

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

From his authority as the co-author of established text-books, notably The Foundations of Physics, Dr. Margenau compares current scientific methodology with some relevant principles of St. Thomas’s epistemology, particularly in the perennial problem of the valid functions of reason and of sense in scientific experience. Since Quantum Theory has removed the possibility of absolute prediction and verification, reason can no longer be considered to offer a mere image of the sense world. Hence “the sensory domain is forever richer than (...) theory since individual sensory events have no direct counterpart in theory, and on the other hand, it is clear that the concepts of reason cannot be directly sensed … in the realm of the atom”. This change, he submits, confirms the reality of an ‘active’ or ‘factive’ intellect in the Aristotelian-Thomist sense. In illustration he cites Eddington’s distinction between the macroscopic desk of ordinary sense experience and the microscopic desk of mathematico-physical science, which produces the dilemma: “The second desk … has ultimate elements which cannot be perceived. He who identifies the two desks is guilty of saying that an object wholly given in sensation can be decomposed by the magic of science into constituents not given in sensation”. Further, he claims that this difference “appears in every careful analysis of all scientific quantities or objects” and ambiguously explains it thus: “the second desk is the product, very largely, of Aquinas’s factive intellect; the first involves mere abstraction, collation of sensory material, performed by what Thomas called the passive [?] intellect “. (shrink)

We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and its dual (...) tableau system which is a validity checker for the modal logic. For that purpose, we define a validity preserving translation of the modal language into relational language. Then we prove that the system is sound and complete with respect to the relational logic defined as well as with respect to the logic for order of magnitude reasoning. Finally, we show that in fact relational dual tableau does more. It can be used for performing the four major reasoning tasks: verification of validity, proving entailment of a formula from a finite set of formulas, model checking, and verification of satisfaction of a formula in a finite model by a given object. (shrink)

This paper presents the development andvalidation of new measurement tools to exploreself-efficacy toward service and toward civicparticipation. We developed and administereda survey to 851 students in an AACSB-accreditedcollege of business at a comprehensive publicuniversity located in the Midwest. Traditionalscale development methodologies plusconfirmatory factor analysis and simultaneousfactor analysis in several populations wereused to analyze both a primary sample and aholdback sample. Results strongly support thevalidity and reliability of the surveyinstrument. Future use for the instrumentincludes verification of the effectiveness ofpedagogies designed (...) to increase self-efficacytoward service and motivation for civicparticipation in business students. (shrink)

The fallibility of deduction is the thesis that a thoughtful speaker-reasoner can wrongly believe that an inference is deductively valid. The author presents an argument to the effect that the fallibility of deduction is incompatible with the widespread view that deduction is epistemically unfruitful (the conclusion is contained in the premises, and the transition from premises to conclusion never extends knowledge). If the fallibility of deduction is a fact, the argument presented is a refutation of the doctrine of the unfruitfulness (...) of deduction. But its relevance goes further, because the argument reveals a connection between two different problems: a solution to the problem of fruitfulness (how can deductive inferences increase our knowledge?) is a starting point for a solution to the problem of fallibility (how can deductive inferences be wrong?). To solve the problem of fruitfulness, Michael Dummett proposed some general ideas concerning meaning and inference. Starting from these meaning-theoretical ideas, one can develop an explanation of the fallibility of deduction. The general explanatory strategy does not depend on the choice between a theory of meaning centered on truth, verification, inferential role, or on other key notions. (shrink)

The transformational pace of modern education, healthcare, business management systems, etc., requires new approaches for prompt and reliable personality assessment. Phenotypology is one of such theories and it claims of the discovered interconnections of a person’s psychological and psychophysical characteristics on the basis of individual features of his/her phenotype. The article aim is to present some validation results for the Phenotypology hypotheses as a possible tool for personality assessment. In order to verify connections between phenotypic treats and individual behavior, (...) we conducted the study when respondents were differentiated according to some anthropometric (facial) peculiarities and characterological features. The results were quantified and analyzed using the mathematical-statistical linear regression. The research output contains the rationale for the conclusion that there are no statistically significant correlations between some phenotypic body features and such individual psychological characteristics as aggressiveness, impetuosity, pedantry, passivity, etc. In particular, the validity of using of appropriate phenotypologic representations to predict the examined character traits was studied. The obtained results disproved the possibility to use directly the phenotypic approach for reliable characterological profiling. Though, the study outcome is tentative due to some limitations on generality. It is necessary to continue verification of the Phenotypology hypotheses with a broader experimental sample with the inclusion of various ethnic and racial groups’ representatives. However, until then, based on actual findings, the practical application of the Phenotypology statements is doubtful, at least for the purposes of character diagnosis and personality assessment. (shrink)

The articles intention is to construct a possible minimal response to violence, that is, to describe what would be justified противонасилие. This argument is built on reviving several important philosophical texts in Russian of the first half of the twentieth century as well as on going beyond that historical moment. Starting with the reconstruction of Tolstoys criticism of any use of violence, it is then shown that, paradoxically, resistance to Tolstoys or pseudo-Tolstoys teachings ends up incorporating Tolstoys thematization of counter-violence (...) into various theories, which sought to legitimate the use of force. In particular, Tolstoys discovery of a force, which, on the one hand, is not grounded in violence and, on the other hand, which is capable of countering violence, becomes fundamental in reasoning about the just use of force. The connection is made between Tolstoy and Petar II Petrović Njego, who also thematizes the use of force in Christian perspective. In his view, justice, blessed by the Creators hand, has the capacity to protect from violent force. Any living thing defends itself from what endangers it by means Creator bestowed it with. Living force and protective use of force are conceptually linked in Njegos reasoning. Thus, only protective force can defeat aggressive force. This is shown to be Njegos contribution to the Orthodox Christian discourse on violence. If a force can be counter-violent, the next step in our argument would be to search for a protocol that should have universal validity, that is, it has to be valid for all conflicting sides, The protocol of counter-violence requires that, firstly, it is a response to violence; secondly, it interrupts violence and forestalls any possible future violence ; thirdly, it is subject to verification, it addresses those who are a priori against any response to violence. Finally, it is shown that state power does not create law, but it is being right that makes law or gives life to social order, and thereby can authorize the use of force. This is the innovation in the histories of justification of force, absent in the West. Aggressive violence can necessarily be opposed only in the way that implies the possibility of constituting law and order. (shrink)

Computers have transformed science and help to extend the boundaries of human knowledge. However, does the validation and diffusion of results of computational inquiries and computer simulations call for a novel epistemological analysis? I discuss how the notion of novelty should be cashed out to investigate this issue meaningfully and argue that a consequentialist framework similar to the one used by Goldman to develop social epistemologySocial epistemology can be helpful at this point. I highlight computational, mathematical, representational, and social (...) stages on which the validity of simulation-based belief-generating processes hinges, and emphasize that their epistemic impact depends on the scientific practices that scientists adopt at these different stages. I further argue that epistemologists cannot ignore these partially novel issues and conclude that the epistemology of computational inquiries needs to go beyond that of models and scientific representations and has cognitive, social, and in the present case computational, dimensions. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Cover -- Half Title -- Title Page -- Copyright Page -- Contents -- Acknowledgments -- Introduction to the Transaction Edition -- I. The Nature and Complexity of the Problem -- 1. Issues in the "Relation of Science and Ethics -- 2. The Place of Scientific Results in Ethical Theory -- 3. The Role of Scientific Method in Ethical Theory -- 4. The Impact of the Scientific Temper in Ethical Theory -- 5. Moralities -- 6. Methodological Approaches in Ethics -- 7. (...) The Structure of an Ethical Theory -- II. The Theory of Existential Perspectives -- 8. The Concept of an Existential Perspective -- 9. Role of Existential Perspective within an Ethical Theory -- 10. Overtly Scientific Existential Perspectives: Physical and Biological -- 11. Overtly Scientific Existential Perspectives: Psychological -- 12. Overtly Scientific Existential Perspectives: Sociocultural and Sociohistorical -- 13. Science in Theological and Metaphysical Existential Perspectives -- 14. Science in Transcendence Existential Perspectives -- 15. Evaluation of Existential Perspectives -- III. The Role of Science in Conceptual and Methodological Analysis -- 16. Conceptual-Methodological Frameworks -- 17. Are There Workable Concepts of Moral Phenomena and Moral Experience? -- 18. Ethical Concept-Families and Their Existential Linkage -- 19. Organization, Generalization, Systematization -- 20. Validation, Verification, Reasoning, Justification -- 21. Application and Evaluative Processes -- IV. Decision, Freedom, and Responsibility -- 22. Evaluative Processes in Unstructured Situations -- 23. Toward a Scientific Study of Freedom and Responsibility -- 24. Toward a Strategy fo r Solution of the Free-W illProblem in Ethics -- 25. The Creative Temper and the Scientific Temper -- Notes. (shrink)

Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the (...) side of the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic overview of Husserl’s views on these matters as put forward in his Logical Investigations. It shows how Husserl’s theory of linguistic meanings as species of mental acts, his formal ontology of part, whole and dependence, his theory of meaning categories, and his theory of categorial intuition combine with his theory of science to form a single whole. Finally, it explores the ways in which Husserl’s ideas on these matters can be put to use in solving problems in the philosophy of language, logic and mathematics in a way which does justice to the role of mental activity in each of these domains while at the same time avoiding the pitfalls of psychologism. (shrink)

The paper investigates Aristotle's simulation of the embryo (zygote) by a gear wheel mechanism. By this technical simulation of a natural thing Aristotle pursues an epistemic end, viz. to gain information on the efficient cause of embryonal development. Aristotle verifies the conjectured, yet unknown efficient cause of this natural process by means of a distinctive mapping of the artifact onto the embryo. The paper aims to show that Aristotle, to achieve this verification, tackles a calculus of relations with a (...) semantics of causal content, providing logicocausal deductions, an ancient causal analogue of the truth-preserving calculus of relations. The elements of this Aristotelian causal calculus are those relations among the components of composite things that Aristotle holds to be causal. To these causal relations he applies various operations, set extension and set restriction, substitution, generalization and particularization, in such a way that the causal content of the relations transformed is preserved, thus affording deductions of relations from relations that are valid in respect to their causal content. The paper finally aims to show that causal calculus, working well when applied to the gear wheel mechanism and the embryo, is not sound in every application. (shrink)

The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...) conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic programming languages and aesthetic machines in simulation are characterized. The roles that simulation and intentional decision making may be able to play in a participative information society are also discussed. (shrink)

Two eight-century Jaina contemporaries, a Śvetāmbara philosopher Siddhasena Mahāmati and a Digambara Akalaṅka Bhaṭṭa revolutionised Jaina epistemology, by radically transforming basic epistemological concepts, which had been based on canonical tradition. The paper presents a brief historical outline of the developments of basic epistemological concepts in Jaina philolosophy such as the cognitive criterion and logical faculties as well as their fourteen typological models which serve as the backdrop of important innovations in epistemology introduced by Siddhasena, Pātrasvāmin and Akalaṅka. An important contribution (...) of these Jaina thinkers was to economize Indian logic and the rules of inference, first, by devising only one kind of logical reason called ‘inexplicability otherwise’, based on the single inseparable connection of the proving property with the inferable property, and, second, by limiting the necessary number of the members of the proof formula merely to two. These two innovations were related to the thinkers’ intention to devise a logic which would not primarily be based on empirical verification but its structural patterns would be valid irrespective of external observation. Further, the paper focuses on the nature of the epistemological shifts which Siddhasena and Akalaṅka introduced independently of each other and on the question how Siddhasena’s and Akalaṅka’s ideas were partly anchored in Buddhist concepts of the pramāṇa school of Diṅnāga and Dharmakīrti. With the Buddhist background, Siddhasena sought to define the criteria essential to distinguish true from false cognitions and to provide a novel classification of the pramāṇas. He can further be accredited with formulating the first Jaina descriptive definition of the cognitive criterion. The final section of the paper explains how Akalaṅka applies novel epistemological ideas, first, to construct realistic ontology and objectivity of both the external world and the cognising subject, and, secondly, to combat fundamental Buddhist concepts such as idealism and momentariness. (shrink)

Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations :483–496, 2009; Morrison in Philos Stud 143:33–57, 2009), the nature of computer data Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013; Humphreys, in: Durán, Arnold Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013), and the explanatory power of (...) computer simulations :277–292, 2008; Durán in Int Stud Philos Sci 31:27–45, 2017). The aim of this article is to show that these authors are right in assuming that results of computer simulations are to be trusted when computer simulations are reliable processes. After a short reconstruction of the problem of epistemic opacity, the article elaborates extensively on computational reliabilism, a specified form of process reliabilism with computer simulations located at the center. The article ends with a discussion of four sources for computational reliabilism, namely, verification and validation, robustness analysis for computer simulations, a history of successful implementations, and the role of expert knowledge in simulations. (shrink)

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole (...) of classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (shrink)

Identity negotiation refers to the processes through which perceivers and targets come to agreements regarding the identities that targets are to assume in the interaction. Whereas past work has focused on the contribution of perceivers to the identity negotiation process, I emphasize the contribution of targets to this process. Specifically, I examine the tendency for targets to work to bring perceivers to verify their self-views. For example, people prefer and seek self-verifying evaluations from others, including their spouses and employers — (...) even when this means attaining evaluations that validate negative self-views. Moreover, receiving self-verification has adaptive consequences, even improving the performance of workers in diverse groups. Some boundary conditions of self-verification strivings as well as implications for making of minds are discussed. (shrink)

The book examines issues related to the way modeling and simulation enable us to reconstruct aspects of the world we are investigating. It also investigates the processes by which we extract concrete knowledge from those reconstructions and how that knowledge is legitimated.

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

The rapid innovations in digital technology deeply influence views on language and information processing. These exciting developments raise many questions for researchers, and shed new light on old approaches. Researchers are drawn to closely investigate the relation between form and content, the ways that linguistic utterances change information content, and the dynamics of information change. Logic, as an established method of valid argumentation, is a tool that researchers can use to gain insight in these questions of language and computation. In (...) answer to these linguistic and computational questions, this book presents a broad range of logical investigations into language and information processing. The topics surveyed include the notion of 'reasonable belief' in commonsense reasoning, perceptual reports in natural languages, and the logic of creation and modification of objects. The book also presents work on the verification of temporal aspects of reactive systems, analysis of scope by combining model theory and situation semantics and semantic analysis of the information articulation of linguistic statements. This volume exemplifies the abundant development of logical methods and tools in an interdisciplinary context. (shrink)

Scientists with creative imaginations are ever confronted by two opposing forces. One tempts them to soar into the realm of fancy, and the other cautions them to keep their feet on the ground. These conflicting influences play a significant part in the search for fundamental truth.The complementary value of philosophical reasoning and matter-of-fact experimentation in the complete fulfillment of science is illustrated by many an epochal discovery. Von Laue had the brilliant thought that the symmetrical distribution of atoms in a (...) crystal presents a lattice sufficiently fine to scatter the exceedingly small waves of X-rays. The idea appeared to be scientifically sound, at least to von Laue, but to certain of his colleagues, classicists all, it was untenable. The kinetic energy or heat-movement of the atoms would, they said, disturb the diffraction phenomena and obscure the picture. Von Laue had confidence in his hypothesis and the courage to see it through, but he also knew that the validity of a scientific theory lies in experimental verification. There were in his laboratory two assistants, both able experimenters, and they proved the truth of von Laue's dream. (shrink)

We question the falsifiability of Tsuda's theory and emphasise the need for physiologically based, quantitative models of large scale cortical function that can be validated through experimental data. We outline such a model emphasising its verification through experimental data and possible avenues for testing Tsuda's predictions about nonlinearities in neural behaviour.

From the Philosophies journal program, one of the main aims of the journal is to help establish a new unity in diversity in human knowledge, which would include both “Wissen” (i.e., “Wissenschaft”) and “sc¯ıre” (i.e., “science”). As is known, “Wissenshaft” (the pursuit of knowledge, learning, and scholarship) is a broader concept of knowledge than “science”, as it involves all kinds of knowledge,including philosophy, and not exclusively knowledge in the form of directly testable explanations and predictions. The broader notion of scholarship (...) incorporates an understanding and articulation of the role of the learner and the process of the growth of knowledge and its development, rather than only the final product and its verification and validation. In other words, it is a form of knowledge that is inclusive of both short-term and long-term perspectives; it is local and global, critical and hypothetical (speculative), breaking new ground. This new synthesis or rather re-connection of knowledge is expected to resonate with basic human value systems, including cultural values. Since knowledge tends to spontaneously fragment while it grows, we take existing diversity as a resource and a starting point for a new synthesis. The idea of broad, inclusive knowledge is in fact not so new. From the beginning, natural philosophy included all contemporary knowledge about nature. Newton was a natural philosopher, as were Bohr, Einstein, Prigogine, Weizsäcker, and Wheeler—to name but a few. Today, the unifying picture of the natural/physical world is sorely missing among the isolated silos of particular scientific domains, each with its own specific ontologies, methodologies, and epistemologies. From the profound need for connected and common knowledge, new trends towards synthesis have emerged in the last decades. One major theme is complexity, especially when applied to biology or medicine, which helps us to grasp the importance of connectedness between present-day disparate pieces of knowledge—frameworks, theories, approaches, etc. Related to this is the emergence of network science, which studies structures of nodes (actors) and edges as connections between them. This book is connecting work on contemporary natural philosophy and its connections with existing philosophies, sciences and other knowledge fields. (shrink)

In this paper, we propose a person verification scheme using a novel combination of palmprint and speech. The crucial aspect of biometric based verification lies in its use of features in verification. Thus, in this paper, we propose two novel feature extraction methods for palmprint verification. The proposed methods are based on the Gaussian mixture model followed by subspace based approaches such as ICA I and ICA II, called independent component analysis I mixture model and independent (...) component analysis II mixture model for palmprint verification. The speech verification system uses sphericity based measurement for person verification. The proposed multimodal biometric system uses a fairly large database of 150 users. The robustness of the proposed methods is validated by introducing six different types of noises on palmprint images and Gaussian white noise with two different signal-to-noise ratios on speech samples. Then, fusion of palmprint and speech are carried out at match score level using the weighted SUM rule for both clean and noisy conditions. Finally, we compare the results of combined biometric with the results of individual biometric and also the results of the proposed methods against conventional subspace methods. (shrink)

BackgroundThe Chinese version of the Mini-Mental State Examination and the Beijing version of the Montreal Cognitive Assessment are the most commonly used scales to screen for Alzheimer’s disease among Chinese patients; however, their consistency varies according to populations and languages. Equivalent conversion of MMSE-C and MoCA-BJ scores is important for meta-analysis.Materials and methodsMMSE-C and MoCA-BJ scoring were performed on the enrolled patients with AD. Consistency analysis of MMSE-C and MoCA-BJ scores of patients in the conversion groups was performed. The circle-arc (...) method was used to convert the MMSE-C scores of the conversion groups into MoCA-BJ scores, and the conversion formula was generated. The MMSE-C data of the verification group was converted to MoCA-BJ according to the formula, and the consistency analysis of the original MoCA-BJ of the verification group and the converted MoCA-BJ was performed to verify the conversion model.ResultsThe results of the consistency analysis of MMSE-C and MoCA-BJ in group A showed that the correlation coefficients of the total group, high education years subgroup, medium education years subgroup, and low education years subgroup were 0.905, 0.874, 0.949, and 0.874, respectively, with high consistency and statistical significance. After applying the circle-arc method for equivalent conversion, the consistency analysis results of the original and the converted MoCA-BJ of the patients in group B of the total group, high education years subgroup, medium education years subgroup, and low education years subgroup were 0.891, 0.894, 0.781, 0.909, respectively, with high consistency and statistical significance.ConclusionWe established and validated a model of MMSE-C and MoCA-BJ score conversion for Chinese patients with AD using the circle-arc method. This model could be useful for multi-centers clinical trials and meta-analysis. (shrink)

In the past months, there has been a lively debate about so-called COVID-19 apps developed to deal with the pandemic (Morley et al. 2020b). Some of the best solutions use the Bluetooth connection of mobile phones to determine contacts between people and therefore the probability of contagion, and then suggested related measures. In theory, it may seem simple. In practice, there are several ethical problems (Morley et al. 2020a), not only legal and technical ones. To understand them, it is useful (...) to distinguish between the validation and the verification of a system, remembering that these words are used here only in the design/engineering sense, and certainly not philosophically. The validation of a system answers the following question:“are we building the right system?”. (shrink)

Large Language Models (LLMs) are generative AI systems capable of producing original texts based on inputs about topic and style provided in the form of prompts or questions. The introduction of the outputs of these systems into human discursive practices poses unprecedented moral and political questions. The article articulates an analysis of the moral status of these systems and their interactions with human interlocutors based on the Habermasian theory of communicative action. The analysis explores, among other things, Habermas's inquiries into (...) the analogy between human minds and computers, and into the status of atypical participants in the linguistic community such as genetically modified subjects and animals. Major conclusions are the LLMs seem to qualify as authors that originally participate in discursive practices but do display only a structurally derivative form of communicative competence and fail to meet the status of communicative agents. In this sense, while the contribution of AI writing systems in public discourse and deliberation can support the process of mutual understanding within the community of speakers, the human actors involved in the development, use, and diffusion of these systems share a collective responsibility for the disclosure of AI authorship and verification and adjudication of validity claims. (shrink)

The need for a framework to justify that a model has sufficient credibility to be used as a basis for internal or external (typically regulatory) decision-making is a primary concern when using modelling and simulation (M&S) in healthcare. This chapter reviews published standards on verification, validation, and uncertainty quantification (VVUQ) as well as regulatory guidance that can be used to establish model credibility in this context, providing a potential starting point for a globally harmonised model credibility framework.