Logiko

Parto de serio pri
Scienco
Formalaj sciencoj Logiko Matematiko Matematika logiko Matematika statistiko Teoria komputila scienco
Fizikaj sciencoj Fiziko Klasika fiziko Moderna fiziko Aplikata fiziko Eksperimenta fiziko Teoria fiziko Komputada fiziko Termodinamiko Meĥaniko Solida meĥaniko Klasika meĥaniko Kontinuaĵa meĥaniko Reologio Meĥaniko de fluidaĵo Plasmo Atoma fiziko Fiziko de kondensita materio Kvantuma meĥaniko Nuklea fiziko Partikla fiziko Speciala relativeco Kvantuma kampa teorio Ĝenerala relativeco Kordoteorio Ĥemio Redoksa reakcio Alkemio Analiza kemio Astrokemio Biokemio Kristalografio Media kemio Manĝaĵokemio Geokemio Verda kemio Neorganika kemio Materiala inĝenierarto Molekula fiziko Nuklea kemio Organika kemio Fotokemio Fizika kemio Radiokemio Solidstata kemio Stereokemio Supermolekula kemio Surfacoscienco Teoria kemio Astronomio Astrofiziko Kosmologio Galaksiastronomio Planeda geologio Planedoscienco Stela astronomio Tersciencoj Meteorologio Klimatologio Ekologio Media scienco Geodezio Geologio Geomorfologio Geofiziko Glaciologio Hidrologio Limnologio Oceanografio Paleoklimatologio Paleoekologio Polenoscienco Pedologio Edafologio Fizika geografio Spaca scienco
Vivosciencoj Biologio Anatomio Astrobiologio Bioĥemio Biogeografio Biologia inĝenierarto Biofiziko Konduta neŭroscienco Biotekniko Botaniko Ĉelbiologio Konservobiologio Kriobiologio Disvolviĝ-biologio Ekologio Etnobiologio Etologio Evolubiologio) Genetiko (Enkonduko al genetiko) Gerontologio Imunologio Limnologio Marbiologio Mikrobiologio Molekula biologio Neŭroscienco Paleontologio Parazitologio Fiziologio Radiobiologio Edafo Sociobiologio Sistematiko Toksologio Zoologio
Sociaj sciencoj Antropologio Arkeologio Kriminologio Demografio Ekonomiko Edukado Internaciaj rilatoj Juro Lingvistiko Politika scienco Psikologio Sociologio Soci-ekonomia geografio
Aplikataj sciencoj Inĝenierarto Aerospaca scienco Agrikultura Biomedicina Kemia inĝenierarto Civila inĝenierarto Komputila scienco Komputika inĝenierarto Elektra inĝenierarto Fajroprotekto Genteĥniko Industria inĝenierarto Meĥanika inĝenierarto Milita inĝenierarto Mineja inĝenierarto Nuklea inĝenierarto Operacia esploro Programada inĝenierarto Robotiko TTT-inĝenierarto Sanscienco Biologia inĝenierarto Dentokuracado Epidemiologio Sankuracado Medicino Flegado Farmacio Socia laboro Veterinara medicino
Interfakeco Aplikata fiziko Artefarita intelekto Bioetiko Biokomputiko Biomedika inĝenierarto Biostatistiko Kognoscienco Kompleksaj sistemoj Komputada lingvoscienco Kulturaj sciencoj Kibernetiko Mediscienco Media socia scienco Mediaj studoj Etnaj studoj Evolua psikologio Forstado Sano Bibliotekscienco Matematika kaj teoria biologio Matematika fiziko Militistiko Retscienco Neurona inĝenierarto Neŭroscienco Sciencaj studoj Scienco, teĥnologio kaj socio Scienca modelado Semiotiko Sociobiologio Statistiko Sistemscienco Transdisciplino Urba planado TTT-sciencoj
Filozofio kaj historio de scienco Civitanoscienco Marĝenscienco Historio de scienco Filozofio de scienco Protoscienco Pseŭdoscienco Scienca libereco Scienca politiko Scienca metodo Teĥnoscienco
Ĝeneralaĵoj Kategorio
v • d • r

Logiko (malnovgreka λογικὴ τέχνη arto de rezonado, tio de λόγος [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 komputoscienco. Tradicie ĝi estas dividita en du ĉefajn branĉojn: la dedukta logiko kaj la indukta logiko. Tamen, la vorto logiko plej ofte signifas nur deduktan logikon, ĉ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 neeble, 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.

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 studon 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. ↑ (1-a de julio 1993) Philosophy Made Simple. Random House Digital, Inc. ISBN 978-0-385-42533-9.
2. ↑ Jacquette, D.. (2002) A Companion to Philosophical Logic. Wiley Online Library, p. 2.
3. ↑ Ekzemple, Njaja (silogisma rimedo) datas el antaŭ 1900 jaroj.
4. ↑ Moismo kaj la Skolo de Nomoj datas el antaŭ 2200 jaroj.