Loģika (grieķu: λογική, logiké — ‘pareizi domāt’)[1] ir zinātne par intelektuālās izziņas formām, metodem un to savstarpējām likumsakarībām. Būtībā loģika ir zinātne par domāšanu, kura nodarbojas ar domāšanas veidu un likumu pētīšanu. Loģika ļauj pamatot savu viedokli un nenonākt pretrunās pašam ar sevi. Viens no loģikas svarīgākajiem uzdevumiem ir iemācīt apzināti izmantot loģikas likumus un domāšanas formas. Tā ļauj izprast jēdzienus un izdarīt spriedumus un secinājumus.

Loģiska izteiksme, kas uzrakstīta, izmantojot loģiskos simbolus

Loģiskie spriedumi un elementi ir atrodami visās zinātņu nozarēs.

Nozares labot šo sadaļu

Matemātiskā loģika labot šo sadaļu

Pamatraksts: matemātiskā loģika

Matemātiskā loģika ir vairāku citu zinātņu nozaru pamatā, piemēram, teorētiskas datorzinātnes un filozofiskās loģikas pamatā. Matemātiskajā loģikā pēta matemātisko pierādījumu formas, formālās valodas izteikumus un operācijas ar izteikumiem. Matemātiskā loģika apvieno vienā disciplīnā matemātiku un loģiku, aprakstot pareizai domāšanai raksturīgās formālās kārtulas.

Filozofiskā loģika labot šo sadaļu

Filozofiskā loģika ir akcentēta uz loģikas filozofiskajiem aspektiem. Tajā tiek apskatīti tādi jautājumi kā, piemēram, vai patiesība ir absolūta, vai tā tomēr ir atkarīga no prāta un uztveres.

Citas nozares labot šo sadaļu

Radniecīgās nozares labot šo sadaļu

Loģikas vēsture labot šo sadaļu

Tiek uzskatīts, ka loģika radās pirms aptuveni trīs tūkstošiem gadu. Līdz ar to tā ir viena no senākajām zinātnēm. Lielā mērā loģika ir bijusi saistīta ar filozofiju. Līdz 19. gadsimtam loģika bija filozofijas sastāvdaļa. Tikai 20. gadsimtā tā kļuva par patstāvīgu zinātni. Loģika kļuva ne tikai par zinātni, bet arī kļuva par izziņas, darbības un komunikācijas organonu.

Starp sengrieķu filozofiem, kas lika pamatus antīkās pasaules loģikai, bija Pitagors, Zēnons Elejietis, megarieši, īpaši Eubulīds, Sokrats un Platons.[2] Liels devums Rietumu pasaules loģikas attīstībā bija arī vēlāk dzīvojošajam sengrieķu filozofam Aristotelim.

Loģikā izmantotie simboli labot šo sadaļu

Loģikā plaši tiek izmantoti dažādi simboli. Šeit ir uzskaitīti izplatītākie no tiem.

  • & vai — papildoperācijas simbols, kas attēlo saikli "un", piemēram, A&B (lasa "A un B");
  • — papildoperācijas simbols, kas attēlo loģisko disjunkciju "vai", piemēram, A∨B (lasa "A vai B");;
  • ¬ — pamatoperācijas simbols, kas attēlo noliegumu, piemēram, ¬A (lasa "ne A");
  • ~ — izmanto nolieguma attēlošanai "ne" (šī simbola vietā bieži izmanto simbolu ¬);
  • — izmanto izslēdzošā nolieguma attēlošanai, piemēram, A⊕B (lasa "A vai B, bet ne abi");
  • — pamatoperācijas simbols, kas norāda uz to, kas seko pēc iepriekš minētā, piemēram, A→B (lasa "ja A, tad B" vai "no A seko B");
  • — nosacījuma simbols, līdzīga nozīme kā iepriekšējam simbolam →;
  • — simbols, kuru izmanto ekvivalences apzīmēšanai, piemēram, A≡B (lasa "A līdzvērtīgs B" vai "A ekvivalents B");
  • | — izmanto, lai apzīmēt "ne un", angliski not and;
  • — universālais kvantors, kas nozīmē "visiem ... (ir spēkā, ka)";
  • — eksistences kvantors, kas nozīmē "eksistē tāds ..., ka";
  • ∃! — eksistences kvantors, kas nozīmē "eksistē tieši viens tāds ..., ka";
  • — loģiskais lielums, kas apzīmē tautoloģiju;
  • — loģiskais lielums, kas apzīmē pretrunu;
  • — norāda, ka izteikums ir pierādāms, piemēram, A⊢B nozīmē, ka "B ir pierādāms no A";
  • — norāda uz saistību, piemēram, A⊨B nozīmē, ka "A ir semantiski saistīts ar B";
  • — simbols nozīmē "tādējādi";
  • — simbols nozīmē "tāpēc, ka".

Atsauces labot šo sadaļu

  1. Zinātnes un tehnoloģijas vārdnīca. Rīga : Norden AB. 2001. 399. lpp. ISBN 9984-9383-5-2.
  2. «THE HISTORY OF LOGIC» (angliski). Valdosta State University. Arhivēts no oriģināla, laiks: 2009-06-19. Skatīts: 2012-12-03.