Integrative Levels Classification project ILC2 schedules developing schedules how it works people references

ILC developing version
Expanded class ai

  ▲  broader class

▽ ⌕         aiWj       discrete structures  [discrete mathematics; combinatorics]  ✍
▽ ⌕         ai       statements; propositions  [classical logic]  ✍
▽ ⌕         ai9            truth value
▽ ⌕         ai9d                 contradictory; paradoxical
▽ ⌕         ai9f                 false
▽ ⌕         ai9t                 true
▽ ⌕         aii            implication  ✍
▽ ⌕         aii96   [a]                     is consequence
▽ ⌕         aii98   [a]                     of premise  ✍
▽ ⌕         aiq            equivalence  ✍
▽ ⌕         ais            subjective propositions  [modal logic]
 
Connected classes:
 
                 t6g           sincerity; truth  ↞ ai 

specificity 
current: 99 

   
   

 

Move to another main class:
      a  b  c  d  e  f  g  h  i  j  k  l  m  n  o  p  q  r  s  t  u  v  w  x  y

or


or insert a term  and do a new 


Facets key
0  as for perspective +
1  at time            +
2  in place           +
3  by agent           +
4  opposed to         +
5  undergoing change  +
6  having property    +
7  with part          +
8  in quantity        +
9  of quality         +

 

ILC developing version. Expanded class ai / — ISKO Italia <http://www.iskoi.org/ilc/no.php?no=ai> : 2006.03.06 - 2021.12.09 -