Zobrazeno 1 - 10
of 1 365
pro vyhledávání: '"lcsh:Logic"'
Autor:
Tracy Bowell
Publikováno v:
Informal Logic, Vol 41, Iss 1 (2021)
In this paper, I consider whether there are limits to virtuous argumentation in certain situations. I consider three types of cases: 1) arguing against denier discourses, 2) arguing with people who make bigoted claims, and 3) cases in which marginali
Autor:
Harmony Peach
Publikováno v:
Informal Logic, Vol 41, Iss 1 (2021)
I explore how empathetic visual argument may be the mode best suited for eliciting appropriate force to the reasons given by arguers who face systematic identity prejudices. In the verbal mode, this force is often skewed through epistemic injustice (
Autor:
Paweł Płaczek
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 1, Pp 55-80 (2021)
Bilinear Logic of Lambek amounts to Noncommutative MALL of Abrusci. Lambek proves the cut–elimination theorem for a one-sided (in fact, left-sided) sequent system for this logic. Here we prove an analogous result for the nonassociative version of t
Autor:
Natalya Tomova
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 1, Pp 35-53 (2021)
In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig
Autor:
Guido Gherardi, Eugenio Orlandelli
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 1, Pp 1-34 (2021)
This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The
Autor:
David Makinson
Publikováno v:
Bulletin of the Section of Logic, Vol 49, Iss 4, Pp 327-342 (2020)
We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the r
Autor:
Alexej P. Pynko
Publikováno v:
Bulletin of the Section of Logic, Vol 49, Iss 4, Pp 401-437 (2020)
Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean fou
Autor:
Louise Cummings
Publikováno v:
Informal Logic, Vol 40, Iss 4 (2020)
The Covid-19 pandemic presents argumentation theorists with an opportunity to reflect on the ways in which people, agencies and governments respond to the emergence of a new virus. Reponses have revealed a range of judgements and decisions, not all o
Autor:
Satoru Niki
Publikováno v:
Bulletin of the Section of Logic, Vol 49, Iss 4, Pp 359-375 (2020)
We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we
Autor:
Zofia Kostrzycka
Publikováno v:
Bulletin of the Section of Logic, Vol 49, Iss 4, Pp 343-358 (2020)
We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict imp