Quina diferència hi ha entre diferents tipus de lògica?


Resposta 1:

Hauríeu de fer més clara la vostra pregunta. Per descomptat, la lògica és lògica, però, utilitzeu la lògica de manera diferent segons el que feu. Per exemple, no faríeu servir la lògica informal per construir una prova matemàtica ni viceversa. Tot i això, el concepte de "lògica" en ambdós casos és similar. Breument, la diferència no està en la lògica, sinó en la cosa que es discuteix.


Resposta 2:

És una mica com el programari informàtic. Per exemple, teniu un programari d’ús general, que us permet escriure el vostre propi programari. I també teniu un programari de propòsit especial que, per exemple, fa els vostres impostos o el registre de llibres. És així amb sistemes de lògica.

Teniu una lògica de propòsit general, la lògica estàndard que la majoria dels matemàtics, científics i enginyers fan servir cada dia.

Aleshores, hi ha sistemes de lògica amb propòsits especials que no requereixen totes les característiques de la lògica estàndard, per exemple, poder fer proves per contradicció o assumir que les proposicions lògiques són necessàriament certes o falses. També poden fer que les matemàtiques siguin més difícils i divertides.


Resposta 3:

Un bon argument lògic és aquell que té dues virtuts: la bona forma i totes les premisses veritables. Els arguments poden ser deductius, inductius o segrestadors. Es diu que un argument deductiu amb forma vàlida i premisses veritables. Es diu que un argument inductiu basat en evidències fortes és cogent. El terme "bon argument" cobreix els tres d'aquests tipus d'arguments.