Incomplete Symbols - Definite Descriptions Revisited

We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase `incomplete symbols' is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase `no meaning in isolation' in a formal way

Complementarity and Scientific Rationality

Bohr's interpretation of quantum mechanics has been criticized as incoherent and opportunistic, and based on doubtful philosophical premises. If so Bohr's influence, in the pre-war period of 1927-1939, is the harder to explain, and the acceptance of his approach to quantum mechanics over de Broglie's had no reasonable foundation. But Bohr's interpretation changed little from the time of its first appearance, and stood independent of any philosophical presuppositions. The principle of complementarity is itself best read as a conjecture of unusually wide scope, on the nature and future course of explanations in the sciences (and not only the physical sciences). If it must be judged a failure today, it is not because of any internal inconsistency.Comment: 29 page

On Essential Incompleteness of Hertz's Experiments on Propagation of Electromagnetic Interactions

The historical background of the 19th century electromagnetic theory is revisited from the standpoint of the opposition between alternative approaches in respect to the problem of interactions. The 19th century electrodynamics became the battle-field of a paramount importance to test existing conceptions of interactions. Hertz's experiments were designed to bring a solid experimental evidence in favor of one of them. The modern scientific method applied to analyze Hertz's experimental approach as well as the analysis of his laboratory notes, dairy and private letters show that Hertz's "\textit{crucial}" experiments cannot be considered as conclusive at many points as it is generally implied. We found that alternative Helmholtz's electrodynamics did not contradict any of Hertz's experimental observations of transverse components as Maxwell's theory predicted. Moreover, as we now know from recently published Hertz's dairy and private notes, his first experimental results indicated clearly on infinite rate of propagation. Nevertheless, Hertz's experiments provided no further explicit information on non-local longitudinal components which were such an essential feature of Helmholtz's theory. Necessary and sufficient conditions for a decisive choice on the adequate account of electromagnetic interactions are discussed from the position of modern scientific method

Definite Descriptions in Intuitionist Positive Free Logic

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F,G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’

Principles and Implementation of Deductive Parsing

We present a system for generating parsers based directly on the metaphor of parsing as deduction. Parsing algorithms can be represented directly as deduction systems, and a single deduction engine can interpret such deduction systems so as to implement the corresponding parser. The method generalizes easily to parsers for augmented phrase structure formalisms, such as definite-clause grammars and other logic grammar formalisms, and has been used for rapid prototyping of parsing algorithms for a variety of formalisms including variants of tree-adjoining grammars, categorial grammars, and lexicalized context-free grammars.Comment: 69 pages, includes full Prolog cod

Ultra-Strong Machine Learning: comprehensibility of programs learned with ILP

During the 1980s Michie defined Machine Learning in terms of two orthogonal axes of performance: predictive accuracy and comprehensibility of generated hypotheses. Since predictive accuracy was readily measurable and comprehensibility not so, later definitions in the 1990s, such as Mitchell’s, tended to use a one-dimensional approach to Machine Learning based solely on predictive accuracy, ultimately favouring statistical over symbolic Machine Learning approaches. In this paper we provide a definition of comprehensibility of hypotheses which can be estimated using human participant trials. We present two sets of experiments testing human comprehensibility of logic programs. In the first experiment we test human comprehensibility with and without predicate invention. Results indicate comprehensibility is affected not only by the complexity of the presented program but also by the existence of anonymous predicate symbols. In the second experiment we directly test whether any state-of-the-art ILP systems are ultra-strong learners in Michie’s sense, and select the Metagol system for use in humans trials. Results show participants were not able to learn the relational concept on their own from a set of examples but they were able to apply the relational definition provided by the ILP system correctly. This implies the existence of a class of relational concepts which are hard to acquire for humans, though easy to understand given an abstract explanation. We believe improved understanding of this class could have potential relevance to contexts involving human learning, teaching and verbal interaction

Chemistry: Why the Subject is Difficult?

(Quimica: ?Por que la disciplina es dificil?): Un aspecto comun en todas las culturas es el decreciente numero de alumnos que estudian quimica. ?Cuales son las barreras que evitan que los estudiantes aprendan la quimica? El objetivo de este estudio es explorar la importancia de la filosofia de la quimica y sugerir estrategias que puedan facilitar la comprension conceptual de los estudiantes. Podemos hacer la quimica relevante para ellos y promover su interes, curiosidad y entendimiento al mostrarles que la ciencia es una empresa humana. La estructura corpuscular de la materia da oportunidad de hablar que el cambio de modelos atomicos (Thomson, Rutherford, Bohr, Bohr-Sommerfeld) es una manifestacion de la naturaleza tentativa de las teorias cientificas. Se concluye que la introduccion de algunos elementos de historia y filosofia de la quimica conduce hacia una mejor comprension del progreso cientifico