健全性

論証 > 健全性

健全性（けんぜんせい、英: Soundness）は、論証が次の属性を持つことと同値である。

  1. その論証は妥当である。
  2. その前提の全てが真である。

論理体系における証明（例えば自然演繹）が健全（sound）であるとは、妥当な論理式（あるいは恒真式）のみを証明することを意味する。すなわち、論理体系が健全であるとは、 が を含意することをいう。

日本では、土木工学、特にインフラストラクチャーにおいて健全性という言葉が使われることが多い。経年劣化や災害によって構造物に変化が生じたときに使用に耐えられるかどうかの意味で使われている。

健全な論証

次のような健全な論証があるとする（三段論法）。

全ての人間は死ぬ。
ソクラテスは人間である。
従って、ソクラテスは死ぬ。

この論証は妥当であり（前提から結論が導かれ、前提を真とすれば結論が真であるため）、前提が真なので、論証全体としては健全である。

以下の論証は妥当だが、健全ではない。

全ての動物は飛ぶことができる。
豚は動物である。
従って、豚は飛ぶことができる。

大前提は実際には偽であるため、この論証は妥当だが健全ではない。

参考文献

  • Irving Copi. Symbolic Logic, Vol. 5, Macmillian Publishing Co., 1979.
  • Boolos, Burgess, Jeffrey. Computability and Logic, Vol. 4, Cambridge, 2002.

関連項目

外部リンク

科学と非科学
帰納の問題
科学理論
観測
立場
人物
分野
言葉
causality（因果性）
関連項目
カテゴリ Category:科学哲学
スタブアイコン

この項目は、哲学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:哲学）。

Read other articles:

Bindoy, Negros Timur

Peta menunjukkan lokasi Bindoy Bindoy adalah munisipalitas yang terletak di provinsi Negros Oriental, Filipina. Pada tahun 2010, munisipalitas ini memiliki populasi sebesar 37.914 jiwa dan 8.053 rumah tangga. Pembagian wilayah Secara administratif Bindoy terbagi menjadi 22 barangay, yaitu: Atotes Batangan Bulod Cabcaban Cabugan Camudlas Canluto Capipines Danao Danawan Domolog Malaga Manseje Matobato Nagcasunog Nalundan Pagsal-ayon Pangalaycayan Peñahan Poblacion (Payabon) Salong Tagaytay Tin...

 

Potato pancake

Shallow-fried pancakes of grated or ground potato Potato pancakePotato pancakes with apple sauce and sour creamTypePancakeRegion or stateCentral, Eastern, and Northern EuropeMain ingredientsPotatoes, flour, egg, cooking oil Cookbook: Potato pancake  Media: Potato pancake Potato pancakes are shallow-fried pancakes of grated or ground potato, matzo meal or flour and a binding ingredient such as egg or applesauce, often flavored with grated garlic or onion and seasonings. They may be to...

 

Macerata

Map all coordinates using OSMMap up to 200 coordinates using Bing Export all coordinates as KML Export all coordinates as GeoRSS Export all coordinates as GPX Map all microformatted coordinates Place data as RDF Ang Macerata ngalan niining mga mosunod: Italya 1 2 3 Mga dapit nga gitawag Macerata sa Italya. Provincia di Macerata, lalawigan, Marche, 43°12′00″N 13°10′00″E / 43.2°N 13.16667°E / 43.2; 13.16667 (Provincia di Macerata) Macerata (kapital s...

Diplôme national de licence

Pour les articles homonymes, voir Licence. Diplôme national de licence Certification du ministère de l'Enseignement supérieur garantissant son contrôle et l'authenticité du diplôme. Lieu France Établissements Université Direction Ministère de l'Enseignement supérieur Taux de réussite 19 % pour l'année scolaire 2019-2020 Sélection Diplôme ou concours requis diplôme (Baccalauréat général) Niveau ougrade requis niveau 4 RNCP/CEC Diplôme Durée de la formation 3 ans Dipl�...

 

Princé

Cet article est une ébauche concernant une commune d’Ille-et-Vilaine. Vous pouvez partager vos connaissances en l’améliorant (comment ?). Le bandeau {{ébauche}} peut être enlevé et l’article évalué comme étant au stade « Bon début » quand il comporte assez de renseignements encyclopédiques concernant la commune. Si vous avez un doute, l’atelier de lecture du projet Communes de France est à votre disposition pour vous aider. Consultez également la page d�...

 

Stasiun Tachikōji

Stasiun Tachikōji立小路駅Stasiun Tachikōji pada April 2009LokasiTomizawa, Mogami-machi, Mogami-gun, Yamagata-ken 999-6105JepangKoordinat38°44′31″N 140°32′34″E / 38.7420°N 140.5427°E / 38.7420; 140.5427Koordinat: 38°44′31″N 140°32′34″E / 38.7420°N 140.5427°E / 38.7420; 140.5427Operator JR EastJalur■ Jalur Rikuu TimurLetak62.8 kilometer dari KogotaJumlah peron1 peron sampingInformasi lainStatusTanpa stafSitus webSit...

Rafik Halliche

Rafik Halliche Halliche bersama Aljazair pada 2014Informasi pribadiNama lengkap Rafik Halliche[1]Tanggal lahir 2 September 1986 (umur 37)[2]Tempat lahir Aljir, AljazairTinggi 1,87 m (6 ft 1+1⁄2 in)[2]Posisi bermain BekKarier junior1993–2000 CREPS Ben Aknoun2000–2005 NA Hussein DeyKarier senior*Tahun Tim Tampil (Gol)2006–2008 NA Hussein Dey 45 (1)2008–2010 Benfica 0 (0)2008–2010 → Nacional (pinjaman) 34 (0)2010–2012 Fulham 1 (0)2...

 

McArdle Laboratory

McArdle Laboratory for Cancer Research The McArdle Laboratory for Cancer Research is a basic cancer research facility located on the University of Wisconsin–Madison campus in Madison, Wisconsin. It houses the university's Department of Oncology .[1] The staff of the McArdle Laboratory numbers approximately 200. Twenty-eight faculty members lead research groups focused on various fields such as cancer virology, signal transduction, cell cycle, cancer genetics, and carcinogenesis.[...

 

Alya Rohali

Alya RohaliLahir1 Desember 1976 (umur 47)Jakarta, IndonesiaAlmamater Universitas Trisakti Fakultas Hukum Universitas Indonesia PekerjaanAktrispresentermodelratu kecantikannotarisTahun aktif1994—sekarangGelar None Jakarta Barat 1994 Puteri Indonesia DKI Jakarta 1 1996 Puteri Indonesia 1996(Miss Universe Indonesia 1996) Suami/istri Eri Surya Kelana ​ ​(m. 1999; c. 2003)​ Faiz Ramzy Rachbini ​(m. 2006)​Anak...

ISO 7001

Public information symbols standard ISO 7001:2023Graphical symbols — Public information symbolsThe ISO symbol for information.AbbreviationISO 7001Year startedOctober 1980 (1980-10)First publishedOctober 1980; 43 years ago (1980-10)Latest version42023OrganizationInternational Organization for StandardizationCommitteeISO/TC 145/SC 1 Public information symbolsDomainPublic information symbol designWebsitewww.iso.org/standard/77442.html ISO 7001 (public informati...

 

Craig Ferguson

Craig FergusonFerguson di Comic-Con pada Juli 2013Lahir17 Mei 1962 (umur 62)Springburn, Glasgow, Skotlandia, Britania RayaMediaKomedi tunggal, televisi, film, musik, bukuKebangsaanBritania, Amerika (dinaturalisasikan 2008)Tahun aktif1980–sekarangGenrekomedi observasional, satir/politik satir/berita satirSubjekEveryday life, politik, budaya populer, self-deprecationDipengaruhiThe Marx Brothers, The Three Stooges dan Laurel and Hardy[1]Suami/istriAnne Hogarth (1983–86; bercerai...

 

زاهنيتكيف (أوديسكا)

زاهنيتكيف   تقسيم إداري البلد أوكرانيا  [1] خصائص جغرافية إحداثيات 48°02′37″N 28°52′58″E / 48.043661°N 28.882759°E / 48.043661; 28.882759   المساحة 6.82 كيلومتر مربع  الارتفاع 222 متر  معلومات أخرى التوقيت ت ع م+02:00 (توقيت قياسي)،  وت ع م+03:00 (توقيت صيفي)،  وتوقيت شرق أورو...

Isabella II of Jerusalem

Holy Roman Empress and Queen of Jerusalem Isabella IIThe death of Queen Isabella (From MS of William of Tyre's Historia and Old French Continuation, painted in Acre, 13C. Bib. Nat. Française)Queen of JerusalemReign1212 – 4 May 1228Coronation1225PredecessorMariaSuccessorConrad IICo-rulerJohn (1212–1225) and Frederick (1225–1228)Holy Roman Empress;Queen consort of Sicily and GermanyTenure1225 – 4 May 1228Bornc. 1212Died4 May 1228 (aged 15–...

 

1914 Pennsylvania gubernatorial election

1914 Pennsylvania gubernatorial election ← 1910 November 3, 1914 (1914-11-03) 1918 →   Nominee Martin Brumbaugh Vance McCormick Party Republican Democratic Popular vote 588,705 453,880 Percentage 52.98% 40.84% County results Brumbaugh:      40–50%      50–60%      60–70%      70–80% McCormick:      30–40%  &...

 

Uzer Effendi

Uzer Effendi Anggota DPRD Sumatera Selatan Fraksi PDIPMasa jabatan24 September 2014 – 24 September 2019PresidenSusilo Bambang YudhoyonoJoko WidodoGubernurAlex NoerdinHerman Deru Informasi pribadiLahir7 Juni 1958 (umur 66)Ngulak, Sanga Desa, Musi Banyuasin, Sumatera SelatanKebangsaanIndonesiaPartai politikPDI-PSunting kotak info • L • B H. Uzer Effendi, M.S. (lahir 7 Juni 1958) adalah Anggota DPRD Sumatera Selatan Fraksi PDIP periode 2014—2019.[1] Uzer p...

Ducie Island

Atoll in the Pitcairn Islands, British Overseas Territories DucieNASA photograph of Ducie IslandGeographyLocationSouth Pacific OceanCoordinates24°40′09″S 124°47′11″W / 24.66917°S 124.78639°W / -24.66917; -124.78639ArchipelagoPitcairn IslandsTotal islands4Major islandsAcadia, Pandora, Edwards, WestwardHighest elevation15 ft (4.6 m)AdministrationPitcairn Islands (British Overseas Territory) Ducieclass=notpageimage| Location of Ducie Atoll in th...

 

Championnat du monde de hockey sur glace 2000

Cet article est une ébauche concernant le hockey sur glace. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Russie 2000 Généralités Sport Hockey sur glace Organisateur(s) Fédération internationale de hockey sur glace Éditions 64e édition Lieu(x) Saint-Pétersbourg (Russie) Date 29 avril au 14 mai 2000 Nations 16 (pour le groupe Élite) Palmarès Vainqueur Tchéquie Finaliste Slovaquie Troisième Fin...

 

4400 未知からの生還者

4400 未知からの生還者ジャンル 海外ドラマ、SF、社会派ミステリー出演者 登場人物を参照 放送放送国・地域 アメリカ合衆国 シーズン1放送期間2004年7月11日 - 8月8日回数6パラマウント・ジャパン シーズン2放送期間2005年6月5日 - 8月28日回数13パラマウント・ジャパン シーズン3放送期間2006年6月11日 - 8月27日回数13パラマウント・ジャパン シーズン4放送期間2007年6月17日 - 9�...

Squartamento

Questa voce o sezione sull'argomento storia non cita le fonti necessarie o quelle presenti sono insufficienti. Commento: Descrizione dettagliata al limite dello splatter, ma senza una fonte storica Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Lo squartamento di Ippolito, di Dieric Bouts L'esecuzione di Túpac Amaru II Lo squartamento è una forma di esecuzione della p...

 

Data management

Disciplines related to managing data as a resource The data lifecycle Data management comprises all disciplines related to handling data as a valuable resource, it is the practice of managing an organization's data so it can be analyzed for decision making.[1] Concept This section does not cite any sources. Please help improve this section by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Data management – news...