Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic

This paper shows Hilbert system (C+J)-, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system (C+J)- contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system (C+J)- is semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979)

An introduction to inflation after Planck: from theory to observations

These lecture notes have been written for a short introductory course on the status of inflation after Planck and BICEP2, given at the Xth Modave School of Mathematical Physics. The first objective is to give an overview of the theory of inflation: motivations, homogeneous scalar field dynamics, slow-roll approximation, linear theory of cosmological perturbations, classification of single field potentials and their observable predictions. This includes a pedagogical derivation of the primordial scalar and tensor power spectra for any effective single field potential. The second goal is to present the most recent results of Planck and BICEP2 and to discuss their implications for inflation. Bayesian statistical methods are introduced as a tool for model analysis and comparison. Based on the recent work of J. Martin et al., the best inflationary models after Planck and BICEP2 are presented. Finally a series of open questions and issues related to inflation are mentioned and briefly discussed.Comment: 39 pages, 9 figures, to be published in the proceedings of the Xth Modave School in Mathematical Physics. Important parts of those lecture notes draw from chapters 1 and 2 of the author's PhD thesis, arXiv:1109.557

Logics of formal inconsistency

Orientadores: Walter Alexandre Carnielli, Carlos M. C. L. CaleiroTexto em ingles e portuguesTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasTese (doutorado) - Universidade Tecnica de Lisboa, Instituto Superior TecnicoResumo: Segundo a pressuposição de consistência clássica, as contradições têm um cará[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocínio sensato pode então ter lugar. Uma lógica é paraconsistente se ela rejeita uma tal pressuposição, e aceita ao invés que algumas teorias inconsistentes conquanto não-triviais façam perfeito sentido. A? Lógicas da Inconsistência Formal, LIFs, formam uma classe de lógicas paraconsistentes particularmente expressivas nas quais a noção meta-teónca de consistência pode ser internalizada ao nível da linguagem obje[c]to. Como consequência, as LIFs são capazes de recapturar o raciocínio consistente pelo acréscimo de assunções de consistência apropriadas. Assim, por exemplo, enquanto regras clássicas tais como o silogismo disjuntivo (de A e {não-,4)-ou-13, infira B) estão fadadas a falhar numa lógica paraconsistente (pois A e (nao-A) poderiam ambas ser verdadeiras para algum A, independentemente de B), elas podem ser recuperadas por uma LIF se o conjunto das premissas for ampliado pela presunção de que estamos raciocinando em um ambiente consistente (neste caso, pelo acréscimo de (consistente-.A) como uma hipótese adicional da regra). A presente monografia introduz as LIFs e apresenta diversas ilustrações destas lógicas e de suas propriedades, mostrando que tais lógicas constituem com efeito a maior parte dos sistemas paraconsistentes da literatura. Diversas formas de se efe[c]tuar a recaptura do raciocínio consistente dentro de tais sistemas inconsistentes são também ilustradas Em cada caso, interpretações em termos de semânticas polivalentes, de traduções possíveis ou modais são fornecidas, e os problemas relacionados à provisão de contrapartidas algébricas para tais lógicas são examinados. Uma abordagem formal abstra[cjta é proposta para todas as definições relacionadas e uma extensa investigação é feita sobre os princípios lógicos e as propriedades positivas e negativas da negação.Abstract: According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logics of Formal Inconsistency, LFIs, form a particularly expressive class of paraconsistent logics in which the metatheoretical notion of consistency can be internalized at the object-language level. As a consequence, the LFIs are able to recapture consistent reasoning by the addition of appropriate consistency assumptions. So, for instance, while classical rules such as disjunctive syllogism (from A and (not-A)-or-B, infer B) are bound to fail in a paraconsistent logic (because A and (not-.4) could both be true for some A, independently of B), they can be recovered by an LFI if the set of premises is enlarged by the presumption that we are reasoning in a consistent environment (in this case, by the addition of (consistent-/!) as an extra hypothesis of the rule). The present monograph introduces the LFIs and provides several illustrations of them and of their properties, showing that such logics constitute in fact the majority of interesting paraconsistent systems from the literature. Several ways of performing the recapture of consistent reasoning inside such inconsistent systems are also illustrated. In each case, interpretations in terms of many-valued, possible-translations, or modal semantics are provided, and the problems related to providing algebraic counterparts to such logics are surveyed. A formal abstract approach is proposed to all related definitions and an extended investigation is carried out into the logical principles and the positive and negative properties of negation.DoutoradoFilosofiaDoutor em Filosofia e Matemátic

Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic

This paper shows Hilbert system $(\mathbf{C+J})^{-}$, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system $(\mathbf{C+J})^{-}$ contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system $(\mathbf{C+J})^{-}$ is semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979).Comment: 9 page

Evaluation of the synoptic and mesoscale predictive capabilities of a mesoscale atmospheric simulation system

The overall performance characteristics of a limited area, hydrostatic, fine (52 km) mesh, primitive equation, numerical weather prediction model are determined in anticipation of satellite data assimilations with the model. The synoptic and mesoscale predictive capabilities of version 2.0 of this model, the Mesoscale Atmospheric Simulation System (MASS 2.0), were evaluated. The two part study is based on a sample of approximately thirty 12h and 24h forecasts of atmospheric flow patterns during spring and early summer. The synoptic scale evaluation results benchmark the performance of MASS 2.0 against that of an operational, synoptic scale weather prediction model, the Limited area Fine Mesh (LFM). The large sample allows for the calculation of statistically significant measures of forecast accuracy and the determination of systematic model errors. The synoptic scale benchmark is required before unsmoothed mesoscale forecast fields can be seriously considered

Estimating short-run persistence in mutual fund performance

portfolio investment;investment trusts;estimation;performance;pension funds