Results 21 to 30 of about 209,396 (188)
NO-ARGUMENTS Denials, Refutations, Negations and the Constitution of Arguments
Characteristica Universalis Journal, 2020 L. Horn’s book The Natural History of Negation (Chicago UP, 1989) set both a landmark on the study of negation and a challenge. The challenge is to find some general way to understand what negation is.
Shahid Rahman
doaj +1 more source
Logical constants as punctuation marks. [PDF]
Notre Dame Journal of Formal Logic, 1989 Abstract This chapter presents a proof-theoretical approach to the question ‘What is a logical constant?’ The approach starts with the assumption that logic is the science of formal deductions, and that basic formal deductions are structural deductions, i.e.
openaire +2 more sources
Philosophical Problems of Foundations of Logic
Studia Humana, 2014 In the paper the following questions are discussed: (i) What is logical consequence? (ii) What are logical constants (operations)? (iii) What is a logical system? (iv) What is logical pluralism? (v) What is logic?
Karpenko Alexander S.
doaj +1 more source
Logicality as Necessary Instantiation
Revista de Filosofia Moderna e Contemporânea, 2018 We propose to define logicality of a simple notion as necessary instantiation. (And then logicality of a complex notion as logicality of all simple notions occurring in it.)
Roderick Batchelor
doaj +1 more source
How Does Multiverse Proposal Affect the Design Argument?
Religions, 2022 Recent observations suggest that many fundamental physical constants and conditions in our universe are fine-tuned for life to exist. This provides an important piece of evidence to support the Design Argument and the existence of God in the philosophy ...
Man Ho Chan
doaj +1 more source
Logica Universalis, 2018 A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.
openaire +4 more sources
On the semantics and pragmatics of epistemic vocabulary
Semantics and Pragmatics, 2015 This paper motivates and develops a novel semantics for several epistemic expressions, including possibility and necessity modals and indicative conditionals. The semantics I defend constitutes an alternative to standard truth conditional theories, as it
Sarah Moss
doaj +1 more source
A Semantic Approach to Illative Combinatory Logic [PDF]
, 2011 This work introduces the theory of illative combinatory algebras, which is closely related to systems of illative combinatory logic. We thus provide a semantic interpretation for a formal framework in which both logic and computation may be expressed in
Czajka, Lukasz
core +1 more source
Study of Behaviours via Visitable Paths [PDF]
Logical Methods in Computer Science, 2018 Around 2000, J.-Y. Girard developed a logical theory, called Ludics. This theory was a step in his program of Geometry of Interaction, the aim of which being to account for the dynamics of logical proofs.
Christophe Fouqueré, Myriam Quatrini
doaj +1 more source
Ancilla Iuris, 2021 Das Argumentieren ist eine der wichtigsten juristischen kommunikativen Handlungen und zugleich ein Phänomen, das nicht ohne seine logische und sprachliche Seite gedacht werden kann.
Bojan Peric, Andreas Abegg
doaj +1 more source