eo eu eo eo eo eo eo eo eo pt eo eu eo eu eo eo eo eo eo eo eo eo eo eo eo eo eo eo eo it eo pt eo eo eo eo lt id eo eo eo eo eo fi lt ur fi eo ja eo fi eo eo eo eo ur eo fi lt fi fi de eo io eo it eo eo it eo en it eo eo eo eo en eo it it eo fr eo eo eo eo nl pt eo eo eo io eo eo it eo eo eo eo eo eo sv eo eo eo eo eo eo io eo eo eo it io eo eo eo nl eo it it de eo es eo eo eo eo eo eo it eo eo eo sv eo eo eo eo eo eo pt eo eo en sl en eo eo eo eo eo eo eo eo eo eo eo eo it eo eo eo hbs_lat eo es eo es it es eo eo it en eo pt hbs_lat eo eo eo sq eo eo eo hbs_lat pt en eo eo eo gl it eo eo eo eo pt eo eo eo eo es eo eo eo pt it es eo eo it eo eo eo pt eo eo eo eo pt en eo it eo fr eo eo eo eo eo eo eo pt eo eo eo eo eo eo eo eo eo eo eo eo eo eo eo pl eo fr eo eo eo eo de eo eo eo eo hu eo eo eo eo hbs_lat eo es eo de uk eo eo eo es eo es fr eo eo fi eo eo eo pl eo eo eo eo eo eo eo pl eo eo eo eo es eo eo eo eo eo fr eo eo en it pl eo eo de pl eo es eo eo eo eo nl eo eo it eo eo eo eo eo eo eo eo eo lt pt de de nl eo fr it eo eo es eo es eo eo eo eo en en eo eo eo en en en en en en eo eo en en en en en en es en es en es eo eo en eo eu eo eo eo eo eo lt eo eo eo eo de es eo eo eo eo eo sv eo ur eo eo eo eo es eo eo eo eo eo eo eo eo tr fi eo eo it eo eo cs eo eo eo eo eo eo eo eo eo eo nl de am an ar arz as en az ku uz de lt ru sv bg bn hbs_lat uk ca pt mhr ckb it hbs_lat vi cy da de el en es et eu ast fa fi et fr fy de ja lt he hi tl hbs_lat hu hy it id fr en en es is it ja fr jbo jv ka ko kk ko ku cs it lb ru lt lv en ml be ms es my nds ne nl nb nb es fr pa pl pms pnb ps pt ro ru ru bxr es jbo en sd hbs_lat en sk sl sq hbs_lat la sv hu ta en th tr ceb tr tr oc tyv fy ur uz vi ceb pl fr he da zh zh fr zh eo eo eo eo eo eo eo eo eo
El Vikipedio, la libera enciklopedio
Ŝanĝoj al ŝablonoj aŭ dosieroj en ĉi tiu versio estas kontrolendaj. La stabila versio estis patrolita je 16 mar. 2016.
Filozofio kaj historio de scienco
v • d • r
Logiko (malnovgreka λoYιkὴ tέxvn arto de rezonado, tio de λόYoς [LOgos] vorto, diraĵo; racio) estas branĉo de filozofio, kiu okupiĝas pri racia rezonado.[1][2] Ĝi povas esti konsiderata ankaŭ fako de matematiko kaj de komputiko. Tradicie ĝi estas dividita en du ĉefajn branĉojn: la dedukta logiko kaj la indukta logiko. Tamen, la vorto logiko plej ofte nur signifas dedukta logiko, ĉar multaj modernaj logikistoj ne konsentas, ke indukta logiko apartenas al logiko. La resto de ĉi tiu artikolo temas nur pri dedukta logiko (de nun simple nomata logiko).
Logiko estas la studo de la valideco de argumentoj. Argumento konsistas el du partoj: la premisoj kaj la konkludo. Ĝi estas nomata valida, se la vereco de la premisoj entenas la verecon de la konkludo. Oni povas diri ankaŭ, ke ĝi estas valida, se estas neebla, ke la konkludo malveras kiam la premisoj veras.
Logikistoj uzas aron de specialaj simboloj por pli preciza reprezento de asertoj, ĉar ordinara lingvaĵo ĉiam estas iom malpreciza. Ekzemploj de tiaj signoj estas → ("entenas", "nur se"), ∧ ("kaj"), ∨ ("aŭ"), ∃ ("ekzistas"), ∀ ("ĉiuj") kaj ordinaraj literoj (a,b,c,...; P,Q,R,...). Permesitaj kombinoj de tiaj simboloj nomiĝas formuloj.
Gottlob Frege, unu el la plej grandaj logikistoj
La ĉefaj branĉoj de logiko estas la asertologiko kaj la predikata logiko. La predikata logiko estas etendiĝo de la asertologiko, ĉar ĝi aldonas pliajn logikajn simbolojn, sed ankoraŭ povas esprimi ĉiujn formulojn de la asertologiko. Eblas krei eĉ pli ampleksajn logikajn sistemojn, kiel la epistema logiko aŭ la modala logiko, sed ili estas pli disputeblaj.
Logiko estis studita en kelkaj antikvaj civilizoj, kiaj Grekio, Hindio,[3] kaj Ĉinio.[4] En Okcidento, logiko estis establita kiel formala fako fare de Aristotelo, kiu donis al ĝi fundamentan lokon en filozofio. La studo de logiko estis parto de la klasika trivium, kiu inkludis ankaŭ gramatikon kaj retorikon. Logiko estis poste etendita de Al-Farabi kiu kategoriis ĝin en du separitaj grupoj (ideo kaj pruvo). Poste, Aviceno revivigis la studo de logiko kaj disvolvis rilatojn inter tempo kaj ties implicon. En Oriento, logiko estis disvolvigita fare de Hinduoj, Budhistoj kaj Ĝajnistoj.
Alian specon de logiko difinis Lewis Carroll en siaj verkaĵoj La Ludo de Logiko kaj Simbola Logiko, kun ekzemploj kaj ekzercoj. Ofte menciita logika problemo estas la problemo pri la Aktuala reĝo de Francio.
1 Klasigo de la subfakoj de logiko kaj rilataj fakoj
Ekzistas multaj manieroj por klasigi la diversajn specojn de logiko, ĝiajn subfakojn kaj ĝiajn rilatajn temojn, laŭ diversaj kriterioj kiuj konsideras ties ecojn. Inter la aŭtoroj kiuj prilaboris klasigojn menciindas: Susan Haack, Nicholas Rescher, Dov M. Gabbay, Franz Guenthner, Maria Luisa Dalla Chiara, Francisco Miró Quesada, kaj Newton C. A. da Costa.
Sekve estas ampleksa klasigo, bazita parte en klasigo fare de Nicholas Rescher, sed eksplikindas ke:
Ekzistas multaj koincidoj, interkovroj kaj rilatoj inter subfakoj, foje la distingebleco inter logikoj ne estas klara.
Ekzistas nomoj plimalpli ĝeneralaj kiuj kovras totale aŭ parte plurajn el la klasoj de logiko malsupre listigitaj, kaj pri kies difinoj kaj limoj la esploristoj ne akordas tute, ekzemple: Klasika logiko kaj Matematika logiko (malnove: "Simbola logiko").
Foje iu klaso de logiko malsupre menciita havas plurajn variantojn, disvolvitaj fare de pluraj esploristoj.
Ekzistas ankaŭ logikoj kiuj kombinas kelkajn el la logikoj malsupre listigitaj, ekzemple: Akra intuicia logiko (kiel tiu disvolvita fare de Esko Turunen), Nemonotona akra logiko (kiel tiu disvolvita fare de Dimiter Driankov kaj Patrick Doherty), ktp.
Aristotelo laŭ manuskripto de lia Historia naturalis de 1457.
1.1. Tradicia Logiko (parto de klasika logiko)
1.1.2.1. Mez-epoka teorio pri la consequentiae
1.1.2.2. Pritrakto de Leĝoj de la Pensado en idealisma logiko
1.2. Ortodoksa Moderna Logiko (parto de klasika logiko)
1.2.2.1. Predikata logiko aŭ Predikatkalkulo de unua ordo
1.2.2.2. Rilata logiko / logikoj de supera ordo
1.3. Neortodoksa moderna logiko
1.3.1.1. Aleta logiko ("est-devi":pri kontingenco, nepreco, ebleco)
1.3.1.2. Doksasta logiko (pri kredo)
1.3.1.3. Devo-logiko (aŭ deonta logiko) (pri normoj, devoj kaj permesoj) (vidu: 4.3.1.)
1.3.1.4. Epistemologia logiko (pri kono/scio, certeco, probableco)
1.3.1.6. Fizikaj modaloj (vidu: 4.1.2.)
1.3.3. Nenormaj implicaj sistemoj
1.3.3.3. Necesigo kaj reliefa implico
1.3.3.4. Nenormaj kvantigaj sistemoj
1.3.4. Logikoj por proksimuma rezonado
1.3.4.1. Neakra logiko (en la senco de L. Zadeh)
1.3.4.2. LT-neakra predikata logiko (en la senco de H. Rasiowa kaj Cat Ho)
1.3.4.3. Aspra logiko (en la senco de Zdzisław Pawlak)
1.3.6. Kontraŭdirtolera logiko (parakonsistenta logiko)
1.3.7. Parakompleta logiko (nekompletec-tolera logiko)
2.2.3.1. Teorioj pri difino
2.2.3.2. Teorioj pri terminoj
2.2.3.3. Teorioj pri priskribo
2.2.3.4. Teorioj pri identeco
2.2.3.5. Teorioj pri ekzisto
2.2.3.6. Logiko de informo kaj komputiko
2.3.1. Logika lingvistiko kaj logika teorio pri la naturaj lingvoj
2.3.1.1. Teorio pri strukturo
2.3.1.2. Teorio pri signifo
2.3.1.3. Teorio pri valideco
2.3.3. "Kunteksta implico" (laŭ Herbert Paul Grice)
2.3.4. Teorio pri la neformalaj (aŭ materialaj) malveroj
2.3.5. Neortodoksaj aplikoj de logiko
3. Matematikaj disvolvoj (parto de Matematika logiko)
3.1. Aritmetikaj kaj Komputikaj
3.3.1. Rekursiaj funkcioj (mem-alvokaj funkcioj)
3.4. Pruvteorio (teorio pri aksiomigebleco)
3.7. Fundamentoj de Matematiko
4. Sciencaj disvolvoj kaj aplikoj
4.1.1. Kvantumteoria Logiko / kvantuma logiko
4.1.2. Teorio pri kaŭzaj kaj fizikaj modaloj (vidu: 1.3.1.6.)
4.2. Biologiaj kaj sistemikaj aplikoj
4.2.1. "Aksioma Biologio" (precipe fare de Joseph Henry Woodger)
4.3. Aplikoj en sociaj sciencoj, etiko kaj filozofio
4.3.1. Logiko pri normoj: Deonta logiko (vidu: 1.3.1.3.)
4.3.2. Logiko de taksado
4.3.4. Logiko de la agado
4.3.5. Logiko de imperativoj
4.3.6. Logiko de preferoj kaj opcioj
Historio[redakti | redakti fonton]
Vidu[redakti | redakti fonton]
Vidu ankaŭ[redakti | redakti fonton]
Notoj[redakti | redakti fonton]
↑ (1 July 1993) Philosophy Made Simple. Random House Digital, Inc. ISBN 978-0-385-42533-9.
↑ Jacquette, D.. (2002) A Companion to Philosophical Logic. Wiley Online Library.
↑ Ekzemple, Njaja (silogisma rimedo) datas el antaŭ 1900 jaroj.
↑ Moismo kaj la Skolo de Nomoj datas el antaŭ 2200 jaroj.
Bibliografio[redakti | redakti fonton]
Nuel Belnap, (1977). "A useful four-valued logic". In Dunn & Eppstein, Modern uses of multiple-valued logic. Reidel: Boston.
Józef Maria Bocheński (1959). A précis of mathematical logic. D. Reidel, Dordrecht, South Holland.
Józef Maria Bocheński, (1970). A history of formal logic. 2a Eldono. Chelsea Publishing, New York.
BROOKSHEAR, J. Glenn. (1989) Theory of computation: formal languages, automata, and complexity. Redwood City, Calif.: Benjamin/Cummings Pub. Co.. ISBN 0-8053-0143-7.
Cohen, R.S, kaj Wartofsky, M.W. (1974). Logical and Epistemological Studies in Contemporary Physics. Boston Studies in the Philosophy of Science. D. Reidel Publishing Company: Dordrecht, Netherlands. ISBN 90-277-0377-9.
Finkelstein, D. (1969). "Matter, Space, and Logic". in R.S. Cohen and M.W. Wartofsky (eld. 1974).
Gabbay, D.M., kaj Guenthner, F. (eld., 2001–2005). Handbook of Philosophical Logic. 13 vols., 2a eldono. Kluwer Publishers: Dordrecht.
Hilbert, D. kaj Ackermann, W, (1928). Grundzüge der theoretischen Logik (Principoj de Matematika Logiko). Springer-Verlag. OCLC 2085765
Susan Haack, (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism, University of Chicago Press.
Hodges, W., (2001). Logic. An introduction to Elementary Logic, Penguin Books.
Hofweber, T., (2004), Logic and Ontology. Stanford Encyclopedia of Philosophy. Edward N. Zalta (eld.).
Hughes, R.I.G., (1993, ed.). A Philosophical Companion to First-Order Logic. Hackett Publishing.
KLINE, Morris. (1972) Mathematical Thought From Ancient to Modern Times. Oxford University Press. ISBN 0-19-506135-7.
Kneale, William, kaj Kneale, Martha, (1962). The Development of Logic. Oxford University Press, London, UK.
Logikos. A Greek-English Lexicon. Perseus Project. Alirita 8a de Majo 2009.
Mendelson, Elliott, (1964). Introduction to Mathematical Logic. Wadsworth & Brooks/Cole Advanced Books & Software: Monterey, Calif. OCLC 13580200
. Logic. Online Etymology Dictionary (2001). Alirita 8a de Majo 2009.
Smith, B., (1989). "Logic and the Sachverhalt". The Monist 72(1):52–69.
Whitehead, Alfred North kaj Bertrand Russell, (1910). Principia Mathematica. Cambridge University Press: Cambridge, England. OCLC 1041146
Eksteraj ligiloj[redakti | redakti fonton]
Enkonduko al natura dedukto
Paĝoj kiuj uzas ISBNajn magiajn ligojn
Havendaj artikoloj malpli grandaj ol 30 kB
Informoj pri la paĝo
Citi ĉi tiun artikolon
Ĉi tiu paĝo estis lastafoje redaktita je 17:08, 16 mar. 2016.
La teksto disponeblas laŭ la permesilo Krea Komunaĵo Atribuite-Samkondiĉe 3.0 Neadaptita; eble aldonaj kondiĉoj aplikeblas. Vidu la uzkondiĉojn por detaloj.
Regularo pri respekto de la privateco
Vidigo por porteblaj aparatoj