Ce chapitre donne un aperçu du concept de logique. La logique peut être identifiée comme l’étude des inférences et des relations inférentielles. L’utilisation pratique de la logique consiste en tout cas à bien raisonner et à tirer de bonnes inférences. La transition d’une prémisse ou d’un certain nombre de prémisses à la conclusion est régie par une règle d’inférence. Si l’inférence est conforme à la règle appropriée, elle est appelée valide. Les règles d’inférence sont souvent considérés comme l’alpha et l’oméga de la logique., Les inférences peuvent être déductives, c’est-à-dire nécessairement préservant la vérité, ou ampliatives, c’est-à-dire pas nécessairement préservant la vérité. Les philosophes considèrent généralement le raisonnement déductif comme le type paradigmatique d’inférence. Cependant, il existe une opinion répandue parmi les nonphilosophes qui pourrait être appelée la vue de Sherlock Holmes. Selon tout cela, un bon raisonnement, y compris le raisonnement ampliatif, active les « déductions” et la « logique ». »Les Concepts liés à la logique et à l’inférence, à l’inférence déductive et à l’information, aux inférences analytiques et à l’inférence ampliative sont discutés., Des détails de systématisation logique et extralogique sont fournis. Il traite également des concepts liés à la syntaxe et à la sémantique.