Introductio in Logica
Ad recte et vere ratiocinandum requiritur cognitio artis logicae, cuius regulae praebentur
demonstrative ad illa parte Philosiophiae quae Logica appellatur quaeque
definitur: "Scientia operationum intellectus ad verum dirigendarum".
Cum autem ratiocinium possit considerari in forma (rectum vel non rectum) et
in materia (verum vel falsum), Logica dividitur dupliciter: formalis et
materialis.
Logica formalis
Prima operatio intellectus est CONCEPTUS, qui est repraesentatio universalis
alicuius rei, et distinguitur a phantasmate, quod est repraesentatio
singularis.
Logica considerat conceptus obiectivos seu concepta, quae dici possunt
notiones, verba mentalia, termini mentales, ideae, simplices
appraehensiones.
Proprietates fundamentales conceptus sunt comprehentio et extensio; prior est
summa notarum constituentium conceptus; posterior est summa
subiectorum de quibus conceptus praedicatur. Comprehensio et extensio
sunt in ratione inversa.
Conceptus dupliciter dividuntur: in quantum considerantur sine relatione ad
invicem, in quantum considerantur cum relatione ad invicem.
-
Conceptus sine relatione ad invicem (potest esse)
- Ratione originis
- directus et reflexus, sed directus est intuitivus et discursivus
- proprius et communis
- Ratione comprehensionis
- simplex et compositus, sed compositus est complexus et non-complexus
- concretus et abstractus
- Ratione extensionis
- singularis
- particularis
- universalis
- collectivus
- Ratione perfectionis
- clarus et obscurus, sed clarus est distinctus et confusus, sed distinctus est adaequatus et inadequatus, sed adequatus est comprehensivus et apprehensivus.
-
Conceptus cum relatione ad invicem (possunt esse)
- sociabiles
- insociabiles
- relativi
- privativi
- contradictorii
- contrarii
TERMINUS est expressio conceptus; definitur signum sensibilis, arbitrarium, expressivum conceptus;
in Logica consideratur terminus oralis (vox), qui potest esse scriptus.
Proprietas fundamentalis terminorum est suppositio seu modus quo accipitur
terminus. En schema:
Suppositio est
- Materialis
- Formalis
- realis
- communis
- distributiva
- collectiva
- particularis
- logica
Termini eandem divisionem habent ac conceptus; addi debet quod terminus est:
- categorematicus
- univocus
- aequivocus
- analogus
- analogia attributionis
- propria
- metaphorica
- analogia proportionalitatis
- syncategorematicus
De IUDICIO et PROPOSITIONE
IUDICIUM est operatio qua intellectus affirmat vel negat unum de alio;
est unio (vel disunio) duorum conceptuum vel rei et conceptus.
PROPOSITIO (in Logica) est oratio enuntians
praedicatum de subiectu, quia est signum iudicii; materia
propositionis sunt termini; forma est copula "est"
vel "non est"; forma dicitur etiam qualitas propositionis.
- Iudicium potest esse:
- ratione originis
- prudens vel temerarium
- immediatum vel mediatum
- ratione finis
- speculativum
- praticum
- ratione formae
- affirmativum (positivum)
- negativum
- materiae
- iudicium existentiae
- iudicium valoris
- Propositio potest esse:
- ratione veritatis
- vera
- falsa
- ratione materiae
- necessaria
- contingens
- possibilis
- impossibilis
- ratione qualitatis
- affirmativa
- negativa
- ratione quantitatis
- universalis
- particularis
- singularis
- indefinita
- ratione compositionis
- simplex
- composita
- ratione modi
- de inesse
- modalis
- ratione conditionis
- categorica
- ipotetica
- conditionalis
- coniunctiva
- disiunctiva
Quantitas subiecti (a qua pendet quantitas propositionis) non est
confundendam cum quantitate praedicati, quae habet proprias regulas:
praedicatum propositionis affirmativae est particulare, praedicatum
propositionis negativae est universale; haec lex pedet a comprehensione et
extensione terminorum.
Propositiones possunt esse oppositae in quantitatae ( A et I , E et O), et
dicuntur subalternae; in qualitate (A et E), et dicuntur contrariae vel (I
et O) subcontrariae; in quantitate et qualitate (A et O . E et I), et
dicuntur contradictoriae.
Quadratum Paelli:
A ––– E
I ––– O
En leges: contradictoriae non possunt esse simul verae neque simul falsae;
contrariae non possunt esse simul verae, sed possunt esse simul falsae;
subcontrariae possunt esse simul verae, sed non possunt esse simul falsae;
in materia necessaria contrariae et subcontrariae possunt esse una vera et
altera falsa; subalternae possunt esse simul verae aut simul falsae; sed in
materia contingenti possunt esse una vera et altera falsa.
Aequipollentia propositionum obtinetur per particulam "non": si ipsa ponitur
ante (prae) subiectum, habetur propositio aequipollens contradictoriae
propositionis datae; si post, habetur aequipollens cantrariae propositionis
datae; si prae et post, habetur aequipollens subaltarnae.
Conversio est utilis in philosophia et in aliis scientiis; E et I
convertuntur simpliciter, scilicet remanendo E universalis et I
particularis; A et E convertuntur per accidens, scilicet fiunt particulares.
Illatio immediata est frequentissima inter homines, sed ut sit recta fieri
debet secundum regulas datas pro oppositione, aequipollentia et conversione.
De RATIOCINIO et ARGUMENTO
Ratiocinium est processus intellectus a noto ad incognitum, seu ab aliquibus
iudiciis ad aliud; espressio ratiocinii est argumentum.
Ratiocinium potest esse deductivum vel inductivum: deductivum procedit a
magis universale ad minus universale, inductivum procedit a particularibus
ad universale. En schema:
- ratiocinium deductivum seu syllogismus
- perfectus
- categoricus
- hipotheticus
- conditionalis
- coniunctivus
- disiunctivus
- imperfectus: enthimema, epicherema, polisyllogismus, sorites, dilemma
- ratiocinium inductivum seu inductio
Syllogismus (perfectus et categoricus) habet:
- regulas 8 (pro terminis 4 + 4 pro propositionibus)
- figuras 4 (sub-prae, prae-prae, sub-sub, prae-sub)
- modos 19.
Figura syllogismi resultat ex dispositione termini medii in praemissis,
secundum quod est subiectum vel praedicatum.
Modus resultat ex dispositione propositionum secundum quantitatem et
qualitatem.
Pro silloghismo hypotetico habemus:
- in prima figura syllogismi conditionalis concludit modus ponens, non
tollens;
- in seconda figura syllogismi conditionalis concludit modus tollens, non
ponens;
- in syllogismo coniunctivo concludit modus ponendo-tollens, non
tollendo-ponens;
- in syllogismo disiunctivo concludit sive modus ponendo-tollens sive
modus tollendo-ponens.
Logica materialis
De materia CONCEPTUS
Conceptus directus, si consideratur quoad materia, dicitur praedicamentum;
praedicamenta sunt classes supremae praedicamentorum; conceptus reflexus,
consideratus etiam quoad materia, dicitur praedicabile; praedicabilia sunt
modi supremi quibus praedicatur praedicamenta.
Praedicamenta et praedicabilia respiciunt res contingentes seu creaturas.
Praedicamenta sunt duplici generis: substantia seu res cui convenit esse in
se et non in alio tamquam subiectum inhaesionis; accidens seu res cui
convenit esse in alio tamquam subiectum inhaesionis.
Accidentia sunt novem: quantitas, qualitas, relatio, actio, passio, ubi,
quando, situs, habitus.
Praedicabilia sunt quinque: species (quid completum), genus (quid incompletum),
differentia specifica (quale quid), propium (quale necessarium), accidens
(quale contingenter).
Bene distinguendum est accidens praedicamentale (reale et opponitur)
substantiae) ab accidenti praedicabili (logicum et opponitur prapio).
De materia IUDICII
Secundum materiam iudicium dividitur in analyticum et syntheticum.
Iudicium analyticum illud est in quo praedicatum necessarie et universaliter
convenit subiecto; synteticum illud est in quo praedicatum convenit subiecto
contingenter.
Iudicia analytica sunt necessaria, universalia, rationalia, a priori,
absoluta; iudicia synthetica sunt contingentia, particularia, empirica, a
posteriori, hypothetica.
Definitio est oratio significans quid sit aliquid.
Definitio nec modo dividitur:
- Definitio est
- nominalis
- communis
- privata
- realis
- extrinseca (historica, genetica)
- intrinseca
- descriptiva
- essentialis
Regilae bonae definitionis:
- Regulae definitionis sunt
- pro definitio
- declarabile per conceptus simplicieres
- universale
- pro definitione
- clariter definitio
- brevis
- conveniens toti et soli definitio
- constans genere proximo et differentia specifica
- non continens definitum
- convertibilis
Divisio est oratio distribuens totum in suas partes.
Divisio Logica, seu considetata in Logica, respicit conceptus, non mera
nomina, quorum divisio dicitur potius distinctio.
Schema divisionis:
- divisio est
- per se
- subiectiva (divisio totius universalis)
- integralis (divisio totius integralis)
- potestativa (divisio totius potestativi)
- per accidens
Regulae bonae divisionis:
- divisio debet esse
- brevis
- adeguata
- in membra opposita
- gradualis
De materia RATIOCINII
Ratiocinium, quoad materiam, potest esse apodicticum, probabile et falsum.
Ratiocinium apodicticum (demonstratio) ducit ad conclusionem
necessario veram; ratiocinium probabile ducit ad conclusionem verisimilem.
Divisio argumentationis apodicticae:
- argumentatio apodictica potest esse
- directa (ex propriis principiis)
- propter quid = a priori
- quia
- a priori
- a posteriori
- indirecta (ex difficultate thesis adversae)
- ex absurdis
- ad hominem
- negativum
- inversio
- instantia
- retroversio
Argumentatio probabilis habetur in testimonio, hipothesi, analogia et statistica.
- Analogia potest esse
- a pari (bene potest inservire)
- a contrario (male inservit)
- a fortiori (melius inservit)
Argumentatio sophistica, seu argumentatio falsa sub specie veri, in duas
classes dividitur; 1 - in voce; 2 - in re. Plura adhiberi solent sophismata
in voce (hodie praesertim), sed sunt magis notanda sophismata in re. En
schema:
- Sophismata in re habentur
- in inductione
- fallacia analogiae
- fallacia accidentis
- fallacia a dicto sec. quid
- ad dictum simpliciter
- fallacia non causae pro causa
- in deductione
- fallacia de genere ad genus
- ignoratio elenchi
- fallacia conseguentis
- petitio principii
- circulus vitiosus
Inventio et positio termini medii, qui affert rationem ad probandam aliquam thesim, est
maxime attendenda ut syllogismus recte et vere concludat; adhibentur
ordinarie 1. figura (sub-prae) et 2. figura (prae-prae).
Per ragionare non solo rettamente ma anche affermando il vero bisogna conoscere l'arte della logica,
le cui regole servono per le dimostrazioni in quella parte della Filosofia che è la Logica,
la quale si definisce: "La Scienza delle operazioni che portano l'intelletto ad affermare il vero".
Poiché il ragionamento può essere considerato sotto l'aspetto formale (retto o non retto)
e sotto l'aspetto materiale (vero o falso), la Logica si divide in: formale e materiale.