Logical consequence (also entailment) is a fundamental concept in logic which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises?[1] All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.[2]
Logical consequence is necessary and formal, by way of examples that explain with formal proof and models of interpretation.[1] A sentence is said to be a logical consequence of a set of sentences, for a given language, if and only if, using only logic (i.e., without regard to any personal interpretations of the sentences) the sentence must be true if every sentence in the set is true.[3]
Logicians make precise accounts of logical consequence regarding a given language L {\displaystyle {\mathcal {L}}} , either by constructing a deductive system for L {\displaystyle {\mathcal {L}}} or by formal intended semantics for language L {\displaystyle {\mathcal {L}}} . The Polish logician Alfred Tarski identified three features of an adequate characterization of entailment: (1) The logical consequence relation relies on the logical form of the sentences: (2) The relation is a priori, i.e., it can be determined with or without regard to empirical evidence (sense experience); and (3) The logical consequence relation has a modal component.[3]
The most widely prevailing view on how best to account for logical consequence is to appeal to formality. This is to say that whether statements follow from one another logically depends on the structure or logical form of the statements without regard to the contents of that form.
Syntactic accounts of logical consequence rely on schemes using inference rules. For instance, we can express the logical form of a valid argument as:
This argument is formally valid, because every instance of arguments constructed using this scheme is valid.
This is in contrast to an argument like "Fred is Mike's brother's son. Therefore Fred is Mike's nephew." Since this argument depends on the meanings of the words "brother", "son", and "nephew", the statement "Fred is Mike's nephew" is a so-called material consequence of "Fred is Mike's brother's son", not a formal consequence. A formal consequence must be true in all cases, however this is an incomplete definition of formal consequence, since even the argument "P is Q's brother's son, therefore P is Q's nephew" is valid in all cases, but is not a formal argument.[1]
If it is known that Q {\displaystyle Q} follows logically from P {\displaystyle P} , then no information about the possible interpretations of P {\displaystyle P} or Q {\displaystyle Q} will affect that knowledge. Our knowledge that Q {\displaystyle Q} is a logical consequence of P {\displaystyle P} cannot be influenced by empirical knowledge.[1] Deductively valid arguments can be known to be so without recourse to experience, so they must be knowable a priori.[1] However, formality alone does not guarantee that logical consequence is not influenced by empirical knowledge. So the a priori property of logical consequence is considered to be independent of formality.[1]
The two prevailing techniques for providing accounts of logical consequence involve expressing the concept in terms of proofs and via models. The study of the syntactic consequence (of a logic) is called (its) proof theory whereas the study of (its) semantic consequence is called (its) model theory.[4]
A formula A {\displaystyle A} is a syntactic consequence[5][6][7][8][9] within some formal system F S {\displaystyle {\mathcal {FS}}} of a set Γ Γ --> {\displaystyle \Gamma } of formulas if there is a formal proof in F S {\displaystyle {\mathcal {FS}}} of A {\displaystyle A} from the set Γ Γ --> {\displaystyle \Gamma } . This is denoted Γ Γ --> ⊢ ⊢ --> F S A {\displaystyle \Gamma \vdash _{\mathcal {FS}}A} . The turnstile symbol ⊢ ⊢ --> {\displaystyle \vdash } was originally introduced by Frege in 1879, but its current use only dates back to Rosser and Kleene (1934–1935). [9]
Syntactic consequence does not depend on any interpretation of the formal system.[10]
A formula A {\displaystyle A} is a semantic consequence within some formal system F S {\displaystyle {\mathcal {FS}}} of a set of statements Γ Γ --> {\displaystyle \Gamma } if and only if there is no model I {\displaystyle {\mathcal {I}}} in which all members of Γ Γ --> {\displaystyle \Gamma } are true and A {\displaystyle A} is false.[11] This is denoted Γ Γ --> ⊨ ⊨ --> F S A {\displaystyle \Gamma \models _{\mathcal {FS}}A} . Or, in other words, the set of the interpretations that make all members of Γ Γ --> {\displaystyle \Gamma } true is a subset of the set of the interpretations that make A {\displaystyle A} true.
Modal accounts of logical consequence are variations on the following basic idea:
Alternatively (and, most would say, equivalently):
Such accounts are called "modal" because they appeal to the modal notions of logical necessity and logical possibility. 'It is necessary that' is often expressed as a universal quantifier over possible worlds, so that the accounts above translate as:
Consider the modal account in terms of the argument given as an example above:
The conclusion is a logical consequence of the premises because we can not imagine a possible world where (a) all frogs are green; (b) Kermit is a frog; and (c) Kermit is not green.
Modal-formal accounts of logical consequence combine the modal and formal accounts above, yielding variations on the following basic idea:
The accounts considered above are all "truth-preservational", in that they all assume that the characteristic feature of a good inference is that it never allows one to move from true premises to an untrue conclusion. As an alternative, some have proposed "warrant-preservational" accounts, according to which the characteristic feature of a good inference is that it never allows one to move from justifiably assertible premises to a conclusion that is not justifiably assertible. This is (roughly) the account favored by intuitionists such as Michael Dummett.
The accounts discussed above all yield monotonic consequence relations, i.e. ones such that if A {\displaystyle A} is a consequence of Γ Γ --> {\displaystyle \Gamma } , then A {\displaystyle A} is a consequence of any superset of Γ Γ --> {\displaystyle \Gamma } . It is also possible to specify non-monotonic consequence relations to capture the idea that, e.g., 'Tweety can fly' is a logical consequence of
but not of
Western Wing of Schloss Wickrath Schloss Wickrath is a moated castle complex in Wickrath.[1] The castle is located on the river Niers. The original castle, the so-called Chateau de Wyckradt, was demolished in 1859 by the Prussian administration. The ensemble of buildings in the park, the baroque west and east wing and the so-called Landstallmeisterhaus, the residence of the former stud master, which was built in 1875, is nowadays called Schloss Wickrath. It was built between 1746 and 177…
2019 song by Ed Sheeran featuring Paulo Londra and Dave Nothing on YouPromotional single by Ed Sheeran featuring Paulo Londra and Davefrom the album No.6 Collaborations Project LanguageEnglishSpanishReleased12 July 2019 (2019-07-12)Length3:20Label Asylum Atlantic Songwriter(s) Ed Sheeran Paulo Londra David Omoregie Fred Gibson Daniel Oviedo Cristian Salazar Producer(s) Fred Gibson Sam Tsang Music videoNothing on You on YouTube Nothing on You is a song recorded by English singer-so…
Abierto de los Estados Unidos 1973Datos generalesSede West Side Tennis Club (Estados Unidos)Fecha 1973Edición 92.ª CampeonesIndividual masculino John NewcombeIndividual femenino Margaret CourtDobles masculino Owen Davidson / John NewcombeDobles femenino Margaret Court / Virginia WadeDobles mixto Billie Jean King / Owen Davidson[editar datos en Wikidata] El Abierto de Estados Unidos 1973 es un torneo de tenis disputado en superficie dura, siendo el cuarto y último torneo del Grand Sl…
Government agency overseeing stock exchanges Securities and Exchange Commission redirects here. For other uses, see Securities and Exchange Commission (disambiguation). For other uses, see SEC (disambiguation). U.S. Securities and Exchange CommissionSeal of the U.S. Securities and Exchange CommissionU.S. Securities and Exchange Commission headquarters in Washington, D.C.Agency overviewFormedJune 6, 1934; 89 years ago (1934-06-06)JurisdictionUnited States federal governmentHeadq…
Buildings and structures in Luxembourg City This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Château de Septfontaines – news · newspapers · books · scholar · JSTOR (August 2021) (Learn how and when to remove this template message) Château de Septfontaines, Luxembourg City The Château de Septfontaines is locat…
هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (يناير 2019) باتريك كولمان معلومات شخصية الميلاد 25 فبراير 1983 (40 سنة)[1][2][3] دورتموند[4] الطول 1.82 م (5 قدم 11 1⁄2 بوصة)[5][5] مركز الل…
17th/18th-century English politician and Irish peer William Richard Chetwynd, 3rd Viscount Chetwynd (1684 – 3 April 1770) was a British politician who sat in the House of Commons from 1715 to 1770. Early life Chetwynd was the youngest son of John Chetwynd (1643–1702) and thus younger brother of Walter Chetwynd, 1st Viscount Chetwynd and John Chetwynd, 2nd Viscount Chetwynd. He was educated at Westminster School (c.1698–1702) and Christ Church, Oxford. In 1706, he became secretary to his el…
هذه المقالة عن فضيل شريف. لمعانٍ أخرى، طالع شريف (توضيح). فضيل شريف معلومات شخصية الميلاد سنة 1943 لارهاط الوفاة 19 يونيو 2008 (64–65 سنة) المستشفى المركزي للجيش بعين النعجة سبب الوفاة مرض عضال مكان الدفن لارهاط مواطنة الجزائر الحياة العملية المهنة عس…
وضع الاستلقاء بالأعلى ووضع الرقود بالأسفل. وضع الرقود هو وضع للجسم يقوم فيه الفرد بالاستلقاء بشكل منبسط مع وضع الصدر مستندًا لأسفل.[1][2] أصل الكلمة تم إدراج كلمة «الرقود»، التي تعني الميل بشكل طبيعي إلى شيء عرضي ملائم، منذ عام 1382؛ تم إدراج المعنى «إلقاء الوجه لأسفل» ل…
Стаття описує спортивні активності на тимчасово окупованих територіях України. Частина цієї території анексована Російською Федерацією (АРК, Севастополь), тому спортивною активністю там російські державні структури опікуються безпосередньо. На окремих територіях Луга
Sporting event delegationNorth Korea at the2024 Summer OlympicsIOC codePRKNOCOlympic Committee of the Democratic People's Republic of Koreain Paris, France26 July 2024 (2024-07-26) – 11 August 2024 (2024-08-11)Competitors2 in 1 sportMedals Gold 0 Silver 0 Bronze 0 Total 0 Summer Olympics appearances (overview)1972197619801984–1988199219962000200420082012201620202024 North Korea, officially the Democratic People's Republic of Korea, is scheduled to compete a…
Extinct genus of reptiles SunosuchusTemporal range: Middle Jurassic - Early Cretaceous, 164.7–139.8 Ma PreꞒ Ꞓ O S D C P T J K Pg N (possible Early Jurassic occurrence) Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Class: Reptilia Clade: Pseudosuchia Clade: Crocodylomorpha Family: †Goniopholididae Genus: †SunosuchusYoung, 1948 Species †S. miaoi Young, 1948 (type) †S. shartegensis? (possibly belongs to Chalawan) Efimov, 1988 †S. junggarensis Wu…
葛宸羽女艺人本名葛子楊英文名KBao昵称阿寶、酪梨寶寶、鼠鼠教教主国籍 中華民國出生 (1995-06-24) 1995年6月24日(28歲) 臺灣台北市职业歌手、演員语言國語、台語、英語教育程度台北城市科技大學演藝系父母高凌風(父,已故)金友莊(母)亲属葛兆恩(弟)葛曉潔(同父異母姊)演奏乐器鋼琴出道地点 臺灣活跃年代2017年至今经纪公司就要娛樂(2019年-2022年)相关团体G.…
Felix Bernstein Felix Bernstein Nascimento 24 de fevereiro de 1878Halle an der Saale, Império Alemão Morte 3 de dezembro de 1956 (78 anos)Zurique, Suíça Residência Halle (Saale) Nacionalidade alemão Cidadania Alemanha Etnia judeus Progenitores Julius Bernstein Alma mater Universidade de GöttingenStadtgymnasium Halle Ocupação matemático, professor universitário Empregador(a) Universidade de Göttingen, Universidade de Halle-Vitemberga Orientador(a)(es/s) David Hilbert[1] Camp…
Zasugerowano, aby wydzielić z tego artykułu informacje nt. przedsiębiorstwa do artykułu Twitter (przedsiębiorstwo). (dyskusja) X (Twitter) Typ strony serwis społecznościowy Komercyjna tak Data powstania 21 marca 2006 Autor Jack DorseyEv WilliamsBiz Stone Właściciel X Corp.(inne języki) (Elon Musk) Rejestracja wymagana Wersje językowe 40 języków (w tym polski) Multimedia w Wikimedia Commons Strona internetowa Twitter, Inc. Siedziba przedsiębiorstwa – budynek Market S…
Ardi KartonoPa Sahli Tk. II Kasad Bidang EkkuMasa jabatan29 Agustus 2022 – 31 Januari 2023PendahuluSupriyatna Informasi pribadiLahir1965 (umur 57–58)KebangsaanIndonesiaAlma materAkademi Militer (1987)Karier militerPihak IndonesiaDinas/cabang TNI Angkatan DaratMasa dinas1987—2023Pangkat Brigadir Jenderal TNINRP31120SatuanInfanteriSunting kotak info • L • B Brigadir Jenderal TNI (Purn.) Ardi Kartono, S.I.P. (lahir 1965) adalah seorang Purnawirawan TN…
لمعانٍ أخرى، طالع تينا (توضيح). هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (يوليو 2021) تينا (بالإنجليزية: Tina) ملصق الفيلم الصنف وثائقي - تاريخ - سيرة ذاتية الموضوع عرض حياة الفنانة تينا ترنر، ومسيرتها المه…
Vara Comuna Símbolos Brasão de armas Localização Região Gotalândia Província Gotalândia Ocidental Condado Gotalândia Ocidental Administração Capital Vara Características geográficas Área total 697 km² População total (2018) 15 952 hab. Densidade 22,9 hab./km² Sítio www.vara.se Vara (em sueco: Vara kommun) é uma comuna da Suécia localizada no condado da Gotalândia Ocidental. Sua capital é a cidade de Vara. Possui 697 quilômetros…
Former telecommunications tower in Arkansas, United States Not to be confused with Redfield Tower. KATV towerKATV tower in 2002Location within ArkansasGeneral informationStatusDestroyedTypeTowerArchitectural styleGuyedLocationBarraque Township, ArkansasCountryUnited StatesCoordinates34°28′24.0″N 92°12′11.0″W / 34.473333°N 92.203056°W / 34.473333; -92.203056CompletedAugust 1965 (1965-08)OpenedSeptember 12, 1965 (1965-09-12)DestroyedJanu…
United States historic placeGalli-Curci TheatreU.S. National Register of Historic Places LocationMargaretville, NYNearest cityOneontaCoordinates42°8′56″N 74°38′52″W / 42.14889°N 74.64778°W / 42.14889; -74.64778Built1922[1]NRHP reference No.06000254Added to NRHPMarch 15, 2006 The Galli-Curci Theatre is located on Main Street (state highway NY 30) in Margaretville, New York, United States. It is a brick building erected in the 1920s, now primar…
Lokasi Pengunjung: 3.141.200.69