Blog Archive

Tuesday, May 16, 2023

05-15-2023-1916 - Category:History of logic ; Inclusion (logics) ; Exclusion

Category:History of logic

N


S


T



https://en.wikipedia.org/wiki/Category:History_of_logic

From Wikipedia, the free encyclopedia

In logic and mathematics, inclusion is the concept that all the contents of one object are also contained within a second object.[1]

For example, if m and n are two logical matrices, then

The modern symbol for inclusion first appears in Gergonne (1816), who defines it as one idea 'containing' or being 'contained' by another, using the backward letter 'C' to express this. Peirce articulated this clearly in 1870, arguing also that inclusion was a wider concept than equality, and hence a logically simpler one.[2] Schröder (also Frege) calls the same concept 'subordination'.[3]

References


  • Quine, W. V. (December 1937). "Logic based on inclusion and abstraction". The Journal of Symbolic Logic. 2 (4): 145–152. doi:10.2307/2268279. JSTOR 2268279.

  • "Descr. of a notation", CP III 28.

    1. Vorlesungen I., 127.


    No comments:

    Post a Comment