5 found

View year:

  1.  14
    Meet-Combination of Consequence Systems.Paula Gouveia, João Rasga & Cristina Sernadas - 2025 - Logic and Logical Philosophy 34 (1):73-108.
    We extend meet-combination of logics for capturing the consequences that are common to both logics. With this purpose in mind we define meet-combination of consequence systems. This notion has the advantage of accommodating different ways of presenting the semantics and the deductive calculi. We consider consequence systems generated by a matrix semantics and consequence systems generated by Hilbert calculi. The meet-combination of consequence systems generated by matrix semantics is the consequence system generated by their product. On the other hand, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  21
    A Paradox of ZF-Class Nominalism.Guanglong Luo - 2025 - Logic and Logical Philosophy 34 (1):153-158.
    In a recent article in this journal, Calemi challenges the Küng-Armstrong trilemma, a well-known objection to traditional class nominalism, by proposing a fusion of class nominalism with Zermelo-Fraenkel set theory (ZF). In this note, we argue that ZF-class nominalism faces significant challenges in the form of incompleteness and potential paradoxes stemming from Gödel’s incompleteness theorem. We will explore these issues in detail, highlighting the key implications for the viability of ZF-class nominalism as a philosophical position.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  58
    Three Approaches to Logical Correctness.Gareth R. Pearce - 2025 - Logic and Logical Philosophy 34 (1):3-37.
    This paper outlines three broad ways one might think about logical correctness: the Realist approach, the One-Language approach and my own Neo-Carnapian view. Although the realist and one-language views have dominated the philosophy of logic in recent years, I argue against them, favouring of the Neo-Carnapian approach.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  16
    Simplified Semantics for Further Relevant Logics I.Tore Fjetland Øgaard - 2025 - Logic and Logical Philosophy 34 (1):109-151.
    This paper shows that the relevant logics E and Π′ are strongly sound and complete with regards to a version of the “simplified” Routley-Meyer semantics. Such a semantics for E has been thought impossible. Although it is impossible if an admissible rule of E  the rule of restricted assertion or equivalently Ackermann’s δ-rule  is solely added as a primitive rule, it is very much possible when E is axiomatized in the way Anderson and Belnap did. The simplified semantics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  14
    Managing Multiple Information Sources for a Questioning Agenda.Paweł Łupkowski & Mariusz Urbański - 2025 - Logic and Logical Philosophy 34 (1):39-71.
    In this paper, we consider how an agent may manage a questioning agenda in a situation where multiple information sources are available. We work within the framework of formal dialogue systems with the underpinning of Inferential Erotetic Logic. Firstly, we present the formal dialogue system DL(IEL)mult for managing multi-agent information retrieval. Then, we extend the proposed system so that it is capable of representing group and individual levels for the question decomposition process. We also propose two measures for evaluating information (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues