Портал:Логика

Категории | Прашања | Уметност | Биографија | Култура | Географија | Историја | Математика | Философија | Наука | Општество | Технологија уреди    Портал „Логика“   Логиката (од старогрчки: λόγος - 'збор/говор') е наука која се занимава со изучување на принципите и критериумите на валидните заклучоци и докажувањето. Како формална наука, логиката ја истражува и класификува структурата на исказите и аргументите, по пат на изучување на формални системи на заклучувањето, но и со изучување на аргументите во природниот јазик. Логиката опфаќа најразлични проблематики, од основни теми како изучувањето на логички грешки и парадокси, специјализирани анализи на расудувањето со примена на веројатност, па сè до аргументи во врска со причиноста. Логиката денес честопати се применува во теоријата на аргументацијата. Традиционално логиката се изучува како гранка на философијата, како еден дел од класичниот тривиум, кој се состоел од граматика, логика и реторика. Од средината на XIX век формалната логика се изучува во контекст на основите на математиката. Во 1903 г. Бертранд Расел и Алфред Норт Вајтхед се обиделе формално да ја утврдат логиката како камел темелник на математиката со објавувањето на делото „Принципија Математика“. Меѓутоа системот на ова дело повеќе не се користи, поради неговото истиснување од страна на теоријата на множествата. Развојот на формалната логика и нејзината примена во сметачата машинерија претставува темел на информатиката. Прочитајте повеќе... уреди    Одбрана статија Логичка дисјункција („или“) Во логиката и математиката, логичка дисјункција („или“) е логичка операција која резултира со вистина (т) кога еден или повеќе вредности се вистинити. Во граматиката пак, или е сврзник. Логичката дисјункција е операција на две логички вредности, обично вредностите на две тврдења, која дава вредност невистина (⊥) ако и само ако двата оператора се невистинити. Повоопштено, дисјукнцијата е логичка формула која може да има еден или повеќе литерали раздвоени само со знаци „ИЛИ“. Еден сам литерал честопати се смета за дегенерична функција. Таблицата на вистинитост на p или q: p q ∨ т т т т ⊥ т ⊥ т т ⊥ ⊥ ⊥ Веновиот дијаграм на p или q: Прочитајте повеќе... уреди    Одбрана слика Logic Lane Поглед на уличката Лоџик Лејн (англ. Logic Lane, „Сокак на логиката“) кон улицата Хај Стрит во рамките на Универзитетскиот колеџ во Оксфорд. уреди    Одбрана биографија Бертранд Расел Бертранд Расел (англ. Bertrand Russell), (18 мај, 1872 – 2 февруари, 1970) бил англиски философ, логичар, математичар и поборник за општествени реформи. Расел бил плоден писател, а бил и популаризатор на философијата и коментатор на најразлични теми, од најсериозни проблеми, па сè до шеговити тематики. Во продолжение на семејната традиција во политиката, тој бил истакнат противвоен активист, поборник за слободна трговија помеѓу земјите и голем противник на империјализмот. Прочитајте повеќе... уреди    Дали сте знаеле... ...дека Принципот на непротивречност е ист што и принципот на противречност? ...дека НЕИ и НИЛИ се единствените кои сами по себе сочинуваат функционално потполно множество на логички оператори? ...дека според хипотезата на континуумот, не постојат основни броеви помеѓу алеф-нула и степенот на континуум? ...дека сите 24 валидни силогистички форми имаат називи како 'Каместроп' и 'Фелаптон'? ...дека ако исказот P имплицира друг исказ Q, и трет исказ R исто така имплицира Q,каде или P или R е вистинит; тогаш Q мора да биде вистинит? ...дека збирна именка за група логичари е „секвитур логичари“ уреди    Големи логичари  · Аристотел · Бул · Вајтхед · Гедел · Генцен · Кантор · Карнап · Квајн · Крипке · Парс · Патнам · Пеано · Расел · Скулем · Тарски · Тјуринг · Фреге · Хилберт · Черч · уреди    Сродни портали Философија Математика Теорија на множествата Философија на науката Епистемологија Етика Лингвистика Информатика уреди    Логичка теорема на месецот ¬(P & ¬ P) — Принцип на непротивречност Не е дека еден исказ е вистинит и невистинит. уреди    Категории Логика Никулци за логика Вистина Логички грешки Информатичка логика Историја на логиката Концепти во логиката Критичко размислување Логичари Математичка логика Математички релации Металогика Неопределена логика Предлошки за логички знаци Расудување Логички сврзници Филозофија на логиката Филозофска логика Предлошки за логика уреди    Цитати „ Логиката е анатомија на мислата. “ Џон Лок „ Да се биде значи да се биде вредноста на една зависна променлива. “ В. В. О. Квајн уреди    Што можете да направите Придружете ни се на ВикиПроект „Логика“ Нонимирајте статија за избрана статија на месецот. Помогнете со оценување на статиите од областа на логиката. Проширете ги статиите во категоријата логички никуци. Придружете ни се на потпроектот за да ги проширите статиите за 16-те бинарни логички оператори (Разговор). уреди    ВикиПроекти Логика Философија Математика Философија на јазикот Информатика Теоретска лингвистика Псевдонаука Рационален скептицизам Системи уреди    Поврзани Викимедиуми Список на портали | Избрани портали