Propositions, Sets, and Worlds

If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as maximally consistent conjunctions of the same propositions in corresponding sets. A conjunction of propositions, even if infinite in extent, is nevertheless itself a proposition. If sets and hence proposition sets exist but propositions do not exist, then whether or not modal realism is true depends on which of two apparently equivalent methods of identifying, representing, or characterizing logically possible worlds we choose to adopt. I consider a number of reactions to the problem, concluding that the best solution may be to reject the conventional model set theoretical concept of logically possible worlds as maximally consistent proposition sets, and distinguishing between the actual world alone as maximally consistent and interpreting all nonactual merely logically possible worlds as submaximal. I am grateful to the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS), Royal Netherlands Academy of Arts and Sciences (KNAW), for supporting this among related research projects in philosophical logic and philosophy of mathematics during my Resident Research Fellowship in 2005-2006.     

Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs

There is an exponential speed-up in the number of lines of the quantified propositional sequent calculus over Substitution Frege Systems, if one considers proofs as trees. Whether this is true also for the number of symbols, is still an open problem. This revised version was published online in June 2006 with corrections to the Cover Date.     

The place of human values in the language of science: Kuhn,Saussure, and structuralism

The current paradigm in medicine generally distinguishes between genetic and environmental causes of disease. Although the word paradigm has become a commonplace, the theories of Thomas Kuhn have not received much attention in the journals of medicine. Kuhn's structuralist method differs radically from the daily activities of the scientific method itself. Using linguistic theory, this essay offers a structuralist reading of Thomas Kuhn's The Structure of Scientific Revolutions. Our purpose is to highlight the similarities between these structuralist models of science and language. In part, we focus on the logic that enables Kuhn to assert the priority of perception over interpretation in the history of science. To illustrate some of these issues, we refer to the distinction between environmental and genetic causes of disease. While the activity of scientific research results in the revision of concepts in science, the production of significant differences that shape our knowledge is in part a social and linguistic process.     

THE DOCTRINE OF THE TRINITY AS A MODEL FOR STRUCTURING THE RELATIONS BETWEEN SCIENCE AND THEOLOGY

Abstract. A strategy for deeding systematically with such complex relationships as those between science and theology is presented after a brief overview of the historical record and illustrated in terms of the concept of divinity. The application of that strategy to the title relationships yields a multilogical/multilevel solution which presents certain analogies to or isomorphisms with the doctrine of the Trinity. These concern mainly the multilogical/multilevel character of both conceptualizations and the relational and contextual reasoning required to conceive them. Furthermore, certain characteristics of the doctrine facilitate the dialogue between theologians and scientists on account of their similarity with such scientific concepts as diversity in unity, multiplicity of relationships, nonseparability, and nonclassical logic.     

Toward an Alliance Between the Issue-Processing Approach and Pragma-Dialectical Analysis

On the approach to discussions of policy choices that treats such discussions as instances of issue-processing, the joint use of the logic of questions and the logic of rules gives precise formulation to two sorts of issues. To one sort of issue belong issue-circumscribing questions; to another sort, issues-simplicter, which consist of disjunctions of policy proposals – so many proposed social rules – that are answers, in the case of each disjunction, to a given issue-circumscribing question. Work in pragma-dialectics can take over the issue-processing approach; and by doing so add to the pragma-dialectical repertory further dimensions in the analysis of issues and in protocol-narratives of discussion. The analysis and narratives would now include accounts of how issue-circumscribing questions generate initial standpoints and how discussions sometimes end with compromises between standpoints. Further research questions follow about transformations of issues and the comparison of successive rounds of discussion. A narrative of one period of discussion during `the War on Drugs' in the United States illustrates these points.     

Development of Different Forms of Skill Learning Throughout the Lifespan

The acquisition of complex motor, cognitive, and social skills, like playing a musical instrument or mastering sports or a language, is generally associated with implicit skill learning (SL). Although it is a general view that SL is most effective in childhood, and such skills are best acquired if learning starts early, this idea has rarely been tested by systematic empirical studies on the developmental pathways of SL from childhood to old age. In this paper, we challenge the view that childhood and early school years are the prime time for skill learning by tracking age‐related changes in performance in three different paradigms of SL. We collected data from participants between 7 and 87 years for (1) a Serial Reaction Time Task (SRT) testing the learning of motor sequences, (2) an Artificial Grammar Learning (AGL) task testing the extraction of regularities from auditory sequences, and (3) Probabilistic Category Learning in the Weather Prediction task (WP), a non‐sequential categorization task. Results on all three tasks show that adolescence and adulthood are the most efficient periods for skill learning, since instead of becoming less and less effective with age, SL improves from childhood into adulthood and then later declines with aging.     

用不同外部表征方式集中呈现信息条件下的因果力判断

在分别用文字陈述、表格和图形三种外部表征方式集中呈现因果信息的条件下,用直接估计因果力大小的实验范式考察单一因果关系因果力估计的特点,检验概率对比模型,效力PC理论和pCI规则。让287名大学生被试估计不同化学药物影响动物基因变异的能力。结果发现,对单一因果关系因果力估计具有以下4个特点：⑴不对称性：在预防原因条件下的因果力估计较多符合效力PC理论,而在产生原因条件下的因果力估计一般符合概率对比模型;⑵文字陈述、表格和图形三种信息外部表征方式,不影响产生原因条件下的因果力估计,但影响预防原因条件下的因果力估计。在预防原因条件下,与文字陈述和表格表征相比,图形表征会促使更多被试按效力PC理论来做因果力估计;⑶没有被试使用pCI规则;⑷被试估计因果力所使用的规则存在明显的个体差异。     

Formal assessment of reliability specifications in embedded cyber-physical systems

Reliability has become an integral component of the design intent of embedded cyber-physical systems. Safety-critical embedded systems are designed with specific reliability targets, and design practices include the appropriate allocation of both spatial and temporal redundancies in the implementation to meet such requirements. With increasing complexity of such systems and considering the large number of components in such systems, redundancy allocation requires a formal scientific basis. In this work, we profess the analysis of the redundancy requirement upfront with the objective of making it an integral part of the specification. The underlying problem is one of synthesizing a formal specification with built-in redundancy artifacts, from the formal properties of the error-free system, the error probabilities of the control components, and the reliability target. We believe that upfront formal analysis of redundancy requirements is important in budgeting the resource requirements from a cost versus reliability perspective. Several case-studies from the automotive domain highlight the efficacy of our proposal.