Synopsis "La lògica classica proposicional (in Català,)"
El món quotidià està relacionat amb el raonament, que és transferit en un llenguatge oral o escrit, i sotmès a regles gramaticals específiques; en el món de l'aritmètica es raona i es dedueix a partir d'uns supòsits per estendre el coneixement acceptant unes regles de deducció i certs formalismes; el mateix passa en el mons d'Aristòtil, de Leibniz, de Bertrand Russell, de Tarski, de Nero Wolfe i de Sherlock Holmes. El substrat del coneixement de cadascun dels mons el formen les coses que es creuen, les creences, de les quals ens interessa especialment l'estudi de la consistència, ja que, per exemple, dins la manera humana de raonar mai no es creu que dues coses inconsistents puguin ser certes al mateix temps. Per fer aquest estudi ens servim de les eines de la lògica, la qual proporciona un tipus de representació de les nostres creences que cobreix en principi els requisits primaris que necessitam emprar entorn al raonament.
El mundo cotidiano está relacionado con el razonamiento, que es transferido en un lenguaje oral o escrito, y sometido a reglas gramaticales específicas; en el mundo de la aritmética se razona y se deduce a partir de unos supuestos para extender el conocimiento aceptando unas reglas de deducción y ciertos formalismos; lo mismo ocurre en el mundos de Aristóteles, de Leibniz, de Bertrand Russell, de Tarski, de Nero Wolfe y de Sherlock Holmes. El sustrato del conocimiento de cada uno de los mundos lo forman las cosas que se cruzan, las creencias, de las que interesa especialmente el estudio de la consistencia, ya que, por ejemplo, en la forma humana de razonar nunca se cree que dos cosas inconsistentes puedan ser ciertas al mismo tiempo. Para hacer este estudio nos servimos de las herramientas de la lógica, la cual proporciona un tipo de representación de nuestras creencias que cubre en principio los requisitos primarios que necesitan emplear entorno al razonamiento.
