Unlike in historical logicism, the idea is not to consider logic as an axiom system on the same level as mathematical axiom systems (Hintikka 1996: 183),[83] and to attempt to reduce mathematics to logic.
Following the logicism of Frege and Russell, the Circle considered logic and mathematics to be analytic in nature.
In a famous response to Russell, Poincaré refuses to consider logic or epistemology independently from psychology (Poincaré 1909: 482).
Once the spell of bivalence was broken, a natural next step was to consider logic with more than three values.
The programs might contain grammars, that is, we consider logic grammars.
For these considered logic functions, high intensity contrast ratios between Boolean logic states "1" and "0" can be achieved at the telecom wavelength.
Avempace remarks that for this reason some people consider logic to be only an instrument and not a part of philosophy, but insofar as these properties have real existence, logic can be integrated into philosophy.
Aristotle's logical works were collected and put in a systematic order by later Peripatetics, who entitled them the Organon or 'tool', because they considered logic not as a part but rather an instrument of philosophy.
Let the considered logic be (mathcal {L}_{Sigma ^dag,Phi ^dag }) and let (d = mathsf {mdepth}(C)), (Phi = Phi ^dag ) and (Sigma = Sigma ^dag cup {A_0}), where (A_0 notin Sigma _C^dag ).
We formulate and prove an important theorem on basic selectors, which states that: to reach the partition corresponding to the equivalence relation characterizing indiscernibility of objects w.r.t. a given sublanguage of the considered logic, it suffices to start from the full block consisting of all objects and repeatedly granulate it using the basic selectors of the sublanguage.
