Year:

Forthcoming articles
  1. Alessandro Giordani (forthcoming). A Suitable Semantics for Implicit and Explicit Belief. Logique Et Analyse.
    In the present paper a new semantic framework for modelling the distinction between implicit and explicit belief is proposed and contrasted with the currently standard framework based on the idea that explicit belief can be construed as implicit belief accompanied by awareness. It is argued that within this new framework it is possible to get both a more intuitive interpretation of the aforementioned distinction and a straightforward solution to two critical problems to which the standard view is subjected. A system (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Andrea Iacona (forthcoming). Ockhamism and Quantified Modal Logic. Logique Et Analyse.
    This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Luca Incurvati (forthcoming). Can the Cumulative Hierarchy Be Categorically Characterized? Logique Et Analyse.
    Mathematical realists have long invoked the categoricity of axiomatizations of arithmetic and analysis to explain how we manage to fix the intended meaning of their respective vocabulary. Can this strategy be extended to set theory? Although traditional wisdom recommends a negative answer to this question, Vann McGee (1997) has offered a proof that purports to show otherwise. I argue that one of the two key assumptions on which the proof rests deprives McGee's result of the significance he and the realist (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Jeff Ketland & Thomas Schindler (forthcoming). Arithmetic with Fusions. Logique Et Analyse.
    In this article, the relationship between second-order comprehension and unrestricted mereological fusion (over atoms) is clarified. An extension PAF of Peano arithmetic with a new binary mereological notion of “fusion”, and a scheme of unrestricted fusion, is introduced. It is shown that PAF interprets full second-order arithmetic, Z_2.
     
    My bibliography  
     
    Export citation  
  5. Carlos E. Alchourrôn, Leo Apostel, F. G. Asenjo, E. M. Barth, J. Evenden, H. G. Hubbeling, Paul Gochet, Joseph Gruenfeld, Hugues Leblanc & H. Montgomery (forthcoming). Table Des Matières de l'Année 1969. Logique Et Analyse.
    No categories
     
    My bibliography  
     
    Export citation  
  6. Leo Apostel (forthcoming). Rhetórique, psico-sociologie et logique. Logique Et Analyse.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. Philippe Balbiani & Fariñas del Cerro (forthcoming). A Relational Model of Movement. Logique Et Analyse.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Robert Blanché (forthcoming). Sur la trivalence. Logique Et Analyse.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Craig Bourne (forthcoming). Numerical Quantification and Temporal Intervals. Logique Et Analyse.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Ross T. Brady (forthcoming). Simplified Gentzenizations for Contraction-Less Logics. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  11. Marcello D'Agostino (forthcoming). Analytic Inference and the Informational Meaning of the Logical Operators. Logique Et Analyse.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Iml D'Ottaviano, Wa Carnielli & Eh Alves (forthcoming). The Centre for Logic in Campinas and the Development of Logic in Brazil. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  13. Jan Degenaar (forthcoming). Perception From the Phenomenal Stance. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  14. L. Farinas del Cerro (forthcoming). L. Farinas and E. ORLOWSKA, Preface 115 P. WOLPER, The Tableau Method for Temporal Logic: An Over-View 119 M. MICHEL, Computation of Temporal Operators 137. [REVIEW] Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  15. Lacunes en Droit & I. Juridique (forthcoming). Les Activités du Centre National de Recherches de Logique En 1968. Logique Et Analyse.
    No categories
     
    My bibliography  
     
    Export citation  
  16. Raison en Droit (forthcoming). Rapport d'activites du cnrl-ncnl pour l'annee 1984. Logique Et Analyse.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. L. Farifias del Cerro (forthcoming). Resolution Modal Logics-Automated Reasoning in Nonclassical Logic. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  18. L. Fariñas del Cerro & V. Lugardon (forthcoming). Sequents for Dependence Logic. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  19. D. M. Gabbay (forthcoming). A Tense Logic with Split Truth Table. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  20. Hans V. Hansen (forthcoming). Reductio Without Assumptions? Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  21. Bengt Hansson (forthcoming). Logic of Causation, Determinism, Universal Laws, and Predictability. Logique Et Analyse.
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. D. Krause (forthcoming). Remarks on Individuation, Quantum Objects and Logic'. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  23. J. Ladriere (forthcoming). Expression de la Recursion Primitive Dans le Calcul-XK. Logique Et Analyse.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  24. P. le Professeur & A. Mostowski (forthcoming). L. Lombard Vallauri (Rome), Les Deux Aspects de la Participa-Tion du Juriste À la Formation de la Règle de Droit (3.5. 68); Prof. S. Ginossar (Jerusalem), La Règle de Droit En Droit Israélien. [REVIEW] Logique Et Analyse.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  25. Aristotelian Logic (forthcoming). Pairs of Negative Syllogistic Premises Yielding Conclusions. Logique Et Analyse.
    No categories
     
    My bibliography  
     
    Export citation  
  26. J. D. Mackenzie & Graham Priest (forthcoming). Paraconsistent Dialogues, or, How to Start Talking to Cretans. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  27. Robert P. McArthur (forthcoming). On Proing Linearity. Logique Et Analyse.
    No categories
     
    My bibliography  
     
    Export citation  
  28. Carlos Pelta (forthcoming). Deep Many-Valuedness. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  29. John N. Phillips (forthcoming). Applying Rules. Logique Et Analyse.
    No categories
     
    My bibliography  
     
    Export citation  
  30. J. Piaget (forthcoming). Structures Et Catégories. Logique Et Analyse.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31. A. Pietarinen (forthcoming). Logic and Coherence in the Light of Competitive Games, to Appear In. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  32. Francesca Poggiolesi (forthcoming). On the Importance of Being Analytic. The Paradigmatic Case of the Logic of Proofs. Logique Et Analyse.
  33. Francesca Poggiolesi & Brian Hill (forthcoming). Common Knowledge: Finite Calculus with Syntactic Cut-Elimination Procedure. Logique Et Analyse.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. Proving in Finite Many-Valued Propositional (forthcoming). An Algorithm for Axiomatizing and Theorem Proving in Finite Many-Valued Propositional Logics* Walter A. Carnielli. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  35. Universally Free First Order Quantification (forthcoming). A Note on Universally Free First Order Quantification Theory Ap Rao. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  36. Wulf Rehder, Igal Kvart, Bj Copeland, Michel V. Wedin & Howard G. Callaway (forthcoming). MJ CRESSWELL, A Canonical Model for S2 3 ROSS T. BRADY, Completeness Proofs for the Systems RM3 and BN4 9. Logique Et Analyse.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Sam Sanders (forthcoming). On the Connection Between Nonstandard Analysis and Constructive Analysis. Logique Et Analyse.
    Constructive Analysis and Nonstandard Analysis are often characterized as completely antipodal approaches to analysis. We discuss the possibility of capturing the central notion of Constructive Analysis (i.e. algorithm, finite procedure or explicit construction) by a simple concept inside Nonstandard Analysis. To this end, we introduce Omega-invariance and argue that it partially satisfies our goal. Our results provide a dual approach to Erik Palmgren's development of Nonstandard Analysis inside constructive mathematics.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Thomas Schwartz (forthcoming). A Simple Treatment of Church's Theorem on the Decision Problem. Logique Et Analyse.
    No categories
     
    My bibliography  
     
    Export citation  
  39. Thomas M. Simpson (forthcoming). Remarks on Church Solution of the Paradox of Analysis. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  40. B. H. Slater (forthcoming). Self-Reference with Operators. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  41. R. Sylvan (forthcoming). Grim Tales Retold. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  42. E. J. Szewak (forthcoming). Iterated Modalities and the Parallel Between Deontic and Modal Logic. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  43. Nicole Thyssen-Rutten (forthcoming). Le Concept de Simplicité Dans la Philosophie Des Sciences de K. Popper. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  44. Mariusz Urbanski (forthcoming). Synthetic Tableaux for Lukasiewicz's Calculus L3. Logique Et Analyse.
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Daniel Vanderveken & Marek Nowak (forthcoming). An Algebraic Analysis of the Logical Form of Propositions. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  46. Vladimir L. Vasyukov (forthcoming). Combined da Costa Logics (World According to NCA da Costa). Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  47. Liza Verhoeven (forthcoming). When Some Premises Are More Premise Than Others, the Consequences Are the Real Premises. Logique Et Analyse.
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. J. Witt-Hansen (forthcoming). Obituary on J0rgen J0rgensen. Logique Et Analyse.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  49. J. Witt-Hansen (forthcoming). OBITUARY ON J0RGEN J0RGENSEN (April 1, 1894-Luly 30, 1969) Pronounced at the Assemblée Générale de l'Institut International de Philosophie, Entretiens de Heidelberg, on the 14th of September, 1969. [REVIEW] Logique Et Analyse.
    No categories
     
    My bibliography  
     
    Export citation  
  50. Jason Xenakis (forthcoming). Truth-Functional Perturbations. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  51. E. M. Zemach (forthcoming). The Pragmatic Paradox of Knowledge. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  52. Zygmut Ziembinski (forthcoming). Le caractere sémantique des normes juridiques. Logique Et Analyse.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
 Previous issues
  
Next issues