SUBSCRIBESUBSCRIBESUBSCRIBE TO PREMIUMHomeHistory & SocietyScience & TechBiographiesAnimals & NatureGeography & TravelArts & CultureProConMoneyGames & QuizzesVideosOn This DayOne Good FactDictionaryNew ArticlesHistory & SocietyHistoryPhilosophy & ReligionPolitics, Law & GovernmentSociety & Social IssuesScience & TechHealth & MedicineScienceTechnologyBiographiesBrowse BiographiesAnimals & NatureBirds, Reptiles & Other VertebratesEnvironmentFossils & Geologic TimeInsects & Other InvertebratesMammalsPlantsGeography & TravelGeography & TravelArts & CultureEntertainment & Pop CultureLiteratureSports & RecreationVisual ArtsImage GalleriesPodcastsSummariesTop QuestionsLists and StoriesBritannica KidsAsk the ChatbotGames & QuizzesHistory & SocietyScience & TechBiographiesAnimals & NatureGeography & TravelArts & CultureProConMoneyVideoslogicIntroductionScope and basic conceptsLogical notationLogical systemsDefinitory and strategic inference rulesRules of ampliative reasoningReferences & Edit HistoryRelated TopicsImageslogic summaryPhilosophy & ReligionPhilosophical IssuesFacebookXhttps://www.britannica.com/topic/logicRebus Community - Introduction to Philosophy: Logic - What is Logic?Carnegie Mellon University - Department of Mathematical Sciences - Logic and Proof (PDF)VIVA Open Publishing - Let's Get Writing! - What is Logic?Milne Publishing - A Concise Introduction to Logic - Why study logic?Oxford University Research Archive - Logos, logic and maximal infinityNature - Mathematics: Logic and Lewis CarrollHumanities LibreTexts - What is Logic?ABC listen - The Philosopher's Zone - Logic: if + then = why?National Center for Biotechnology Information - PubMed Central - Logic, Reasoning, and Verbal BehaviorThe University of Hong Kong - Philosophy Department - What is logic?Pima Open Digital Press - An Introduction to Logic - Basics of Logical Analysis OverviewUniversity of Notre Dame - A quick introduction to logicStanford Encyclopedia of Philosophy - Logic and Ontologylogic - Student Encyclopedia (Ages 11 and up)logicJaakko J. Hintikka
Jakko Hintikka was a Professor of Philosophy at Boston University. He was known as the main architect of game-theoretical semantics and of the interrogative approach to inquiry and also as one of the architects...Britannica Editors
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree....HistorylanguagesinferencesYetGottlob Fregeformal, logicGottlob FregeBertrand RussellAlfred North WhiteheadDavid Hilbertambiguousexistenceidentitypredicationcontextpredicatesinferenceinferenceuniversal
logic, encyclopedia, encyclopeadia, britannica, article
- Logic - Symbols, Formalization, Notation: The way in which logical concepts and their interpretations are expressed in natural languages is often very complicated. In order to reach an overview of logical truths and valid inferences, logicians have developed various streamlined notations. Such notations can be thought of as artificial languages when their nonlogical concepts are interpreted; in this respect they are comparable to computer languages, to some of which they are in fact closely related. The propositions (1)â(4) illustrate one such notation. Logical languages differ from natural ones in several ways. The task of translating between the two, known as logic translation, is thus not