Зміст
46 відносини: Cluedo, DFKI, Quaternio terminorum, Контрапозиція, Коефіцієнт інтелекту, Правило висновування, Принцип Юма, Проблемна задача, Парадокс імплікації, Платон, Попередня Аналітика, Об'єкт дослідження, Абстракція, Нікітін Микола Никифорович, Науковий скептицизм, Спростування, Тавтологія (логіка), Термодинаміка, Теоретико-доказова семантика, Філософська думка в США, Френсіс Бекон, Частковий випадок (логіка), Штучний інтелект, Мікроекономіка, Математична індукція, Математична логіка, Математична економіка, Математика та мистецтво, Майкрофт Холмс, Золотий жук, Вивідне знання, Гіпотетично-дедуктивний метод, Граматика Пор-Рояля, Глибинне навчання, Давньогрецька математика, Доведення від супротивного, Дедуктивна логіка, Історія арифметики, Історія математики, Ім'я рози, Індукція (логіка), Евклідова Оптика, Економіка, Емпіричне і теоретичне, Логіка предикатів, 5 Чому.
Cluedo
Cluedo, або Clue в Північній Америці (злиття clue —доказ і ludo —граю) — настільна гра детективного жанру, яка стала основою для однойменного фільму.
Переглянути Дедукція і Cluedo
DFKI
Будівця DFKI в Саарбрюкені. Німецький дослідний центр зі штучного інтелекту (Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI) — це один з найбільших некомерційних дослідних інститутів в галузі інноваційних технологій програмного забезпечення на основі штучного інтелекту.
Переглянути Дедукція і DFKI
Quaternio terminorum
Виникнення четвертого терміну (Quaternio terminorum) — логічна хиба ділової комунікації, коли в доведенні з'являється четвертий термін, який має на увазі інший зміст і тому не може зв'язати крайні терміни умовиводу.
Переглянути Дедукція і Quaternio terminorum
Контрапозиція
У логіці контрапози́ція — це закон, який говорить, що його протиста́вленню.
Переглянути Дедукція і Контрапозиція
Коефіцієнт інтелекту
нормального розподілу результатів Коефіцієнт інтелекту (IQ — intelligence quotient) — кількісна оцінка рівня інтелекту людини: рівень інтелекту відносно рівня інтелекту середньостатистичної людини такого ж віку.
Переглянути Дедукція і Коефіцієнт інтелекту
Правило висновування
У логіці пра́вило висно́вування, або пра́вило перетво́рення (rule of inference, inference rule, transformation rule) — це, що складається з функції, яка отримує передумови, аналізує їхній і повертає висновок (або).
Переглянути Дедукція і Правило висновування
Принцип Юма
Принцип Юма (гільйотина Юма) — принцип, який стверджує неможливість переходу від суджень зі зв'язкою «є» (описових) до суджень зі зв'язкою «повинен» (що містять наказ) виключно на підставі логіки.
Переглянути Дедукція і Принцип Юма
Проблемна задача
«Проблемна задача» — це мета, яку треба досягти шляхом перетворення заданих умов.
Переглянути Дедукція і Проблемна задача
Парадокс імплікації
Парадокси імплікації — це парадокси, що виникають у зв'язку зі змістом умовних тверджень класичної логіки.
Переглянути Дедукція і Парадокс імплікації
Платон
Плато́н (Πλάτων; 427 до н. е. — 347 або 348 до н. е.) — давньогрецький мислитель, засновник філософської школи відомої як Академія Платона.
Переглянути Дедукція і Платон
Попередня Аналітика
Сторінка 13-14-го століття, латинська транскрипція ''«Опера логіки»'' Арістотеля. Попередня Аналітика (грецька: Ἀναλυτικὰ Πρότερα; Analytica Priora) — робота Арістотеля про дедукцiйнi методи (силогiзми).
Переглянути Дедукція і Попередня Аналітика
Об'єкт дослідження
Об'єкт дослідження — в науці: зв'язна сукупність елементів дійсності (як явищного так і предметного порядку), вивчення якої становить практичний інтерес для дослідника і науки в цілому.
Переглянути Дедукція і Об'єкт дослідження
Абстракція
Абстра́кція (abstractio — відсторонення, відвернення, відволікання) — теоретичне узагальнення, один з основних способів мислення, а також метод наукового дослідження, який полягає у тому, що суб'єкт, відокремлює деякі ознаки об'єкту котрий вивчається, відволікається від інших властивостей та не враховує його неістотні сторони й особливості.
Переглянути Дедукція і Абстракція
Нікітін Микола Никифорович
Микола Никифорович Нікітін (1885, місто Усть-Сисольськ — 1966) — російський і радянський педагог-математик.
Переглянути Дедукція і Нікітін Микола Никифорович
Науковий скептицизм
Науковий скептицизм (scientific skepticism, rational skepticism, інколи skeptical inquiry) — філософська позиція, за якою всі твердження, що не мають емпіричних доказів, слід поставити під сумнів, це також громадський рух, що стоїть на згаданій позиції та має на меті критичне вивчення пара- і псевдонаукових вченьHansen G.
Переглянути Дедукція і Науковий скептицизм
Спростування
Грема Спростування — це доказ хибності тези (твердження, судження, міркування).
Переглянути Дедукція і Спростування
Тавтологія (логіка)
Тавтологією в логіці називається тотожно істинне висловлювання, інваріантне щодо значень своїх компонент.
Переглянути Дедукція і Тавтологія (логіка)
Термодинаміка
Тепловий двигун — типова термодинамічна система Термодинáміка — розділ класичної макроскопічної фізики — загальна феноменологічна наука про енергію, яка досліджує різноманітні явища природи (фізичні, хімічні, біологічні, космічні і т.
Переглянути Дедукція і Термодинаміка
Теоретико-доказова семантика
Теоретико-доказова семантика — це підхід до семантики логіки, яка намагається знайти сенс пропозицій і логічних зв'язок не в термінах інтерпретацій, як в підходах до семантики в стилі Тарського, а в ролі, яку судження або логічна зв'язність грає в системі висновку.
Переглянути Дедукція і Теоретико-доказова семантика
Філософська думка в США
Філософська думка в Сполучених Штатах Америки має тривалу історію розвитку, широка за обсягом та тематикою.
Переглянути Дедукція і Філософська думка в США
Френсіс Бекон
Сер Фре́нсіс Бе́кон (Francis Bacon, 22 січня 1561, Лондон — 9 квітня 1626) — англійський політик, державний діяч, вчений, філософ і есеїст.
Переглянути Дедукція і Френсіс Бекон
Частковий випадок (логіка)
У логіці поняття A називається частковим або окремим випадком поняття B тоді і лише тоді, коли кожен екземпляр A є водночас і примірником B (іншими словами, якщо поняття B є узагальненням поняття A).
Переглянути Дедукція і Частковий випадок (логіка)
Штучний інтелект
Шту́чний інтеле́кт (Artificial intelligence, AI) — розділ комп'ютерної лінгвістики та інформатики, що опікується формалізацією проблем та завдань, які нагадують справи, виконувані людиною.
Переглянути Дедукція і Штучний інтелект
Мікроекономіка
Мікроеконо́міка — розділ економічної теорії, який вивчає взаємодію окремих економічних суб'єктів та досліджує механізм функціонування конкретних ринків.
Переглянути Дедукція і Мікроекономіка
Математична індукція
300px Математи́чна інду́кція — застосування принципу індукції для доведення теорем в математиці.
Переглянути Дедукція і Математична індукція
Математична логіка
Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.
Переглянути Дедукція і Математична логіка
Математична економіка
Математи́чна еконо́міка досліджує економічні проблеми формально-математичними методами.
Переглянути Дедукція і Математична економіка
Математика та мистецтво
пісочним годинником. Дослідження вази як тіла обертання. Паоло Учелло, 15-те ст. Математика та мистецтво пов'язані здавна та декількома шляхами.
Переглянути Дедукція і Математика та мистецтво
Майкрофт Холмс
Ма́йкрофт Холмс (Mycroft Holmes) — рідний брат Шерлока Холмса, старший за нього на сім років.
Переглянути Дедукція і Майкрофт Холмс
Золотий жук
«Золотий жук» (The Gold-Bug) — оповідання, написане Едгаром Аланом По, один з ранніх зразків детективного жанру.
Переглянути Дедукція і Золотий жук
Вивідне знання
Вивідне́ знання́ — результат теоретичної діяльності мислення, яка дає змогу з аксіоматично прийнятих чи перевірених на істинність положень (принципів) одержувати на основі логічних закономірностей (тобто умоглядно, абстраговано від безпосереднього споглядання дійсності) нові положення.
Переглянути Дедукція і Вивідне знання
Гіпотетично-дедуктивний метод
Гіпотетично-дедуктивний метод — метод наукового дослідження, який полягає у висуненні гіпотез про причини досліджуваних явищ і виведенні висновків з цих гіпотез шляхом дедукції.
Переглянути Дедукція і Гіпотетично-дедуктивний метод
Граматика Пор-Рояля
* «Всезагальна та раціональна граматика Пор-Рояля» (фр. Grammaire générale et raisonnée de Port-Royal) – граматика Пор-Рояля видана французькими філософом і логіком Антуаном Арно та граматистом й логіком Клодом Лансло в 1660р.
Переглянути Дедукція і Граматика Пор-Рояля
Глибинне навчання
Глиби́нне навча́ння (також відоме як глибинне структурне навчання, ієрархічне навчання, глибинне машинне навчання, deep learning, deep structured learning, hierarchical learning, deep machine learning) — це галузь машинного навчання, що ґрунтується на наборі алгоритмів, які намагаються моделювати високорівневі абстракції в даних, застосовуючи глибинний граф із декількома обробними шарами, що побудовано з кількох лінійних або нелінійних перетворень.
Переглянути Дедукція і Глибинне навчання
Давньогрецька математика
Муза геометрії (Лувр).
Переглянути Дедукція і Давньогрецька математика
Доведення від супротивного
Доведення від супротивного (зведення до абсурду, Reductio ad absurdum) — один із поширених методів доведення тверджень в математичній логіці.
Переглянути Дедукція і Доведення від супротивного
Дедуктивна логіка
Дедуктивна логіка — розділ логіки, в якому вивчаються способи міркування, що гарантують істинність висновку при істинності посилок.
Переглянути Дедукція і Дедуктивна логіка
Історія арифметики
Арифметика. Розпис Пінтуріккіо. Апартаменти Борджіа. 1492–1495. Рим, Ватиканські палаци Істо́рія арифме́тики охоплює період від виникнення рахування до формального означення чисел і арифметичних операцій над ними за допомогою системи аксіом.
Переглянути Дедукція і Історія арифметики
Історія математики
Істо́рія матема́тики — це галузь знань, що займається дослідженням походження та розвитку математичних відкриттів та методів, а також математичних праць минулого.
Переглянути Дедукція і Історія математики
Ім'я рози
Ім'я́ ро́зи, або Ім'я́ троя́нди (Il nome della rosa) — перший роман італійського письменника Умберто Еко, який відразу приніс йому світову славу.
Переглянути Дедукція і Ім'я рози
Індукція (логіка)
Інду́кція — це процес судження, котрий досягає висновку, що при наявному стані знань є напевно істинний, але не гарантує його.
Переглянути Дедукція і Індукція (логіка)
Евклідова Оптика
Евклідова Оптика (Ὀπτικά), це робота з геометрії зору, написана грецьким математиком Евклідом приблизно в 300 р. до н.е..
Переглянути Дедукція і Евклідова Оптика
Економіка
Еконо́міка або економічні науки (від οἶκος, oíkos - «дім» та νόμος - «закон») — комплекс суспільних наукових дисциплін про господарство, а саме — про організацію та управління матеріальним виробництвом, ефективне використання ресурсів, розподіл, обмін, збут і споживання товарів та послуг.
Переглянути Дедукція і Економіка
Емпіричне і теоретичне
Емпіричне і теоретичне — поняття, за допомогою яких сучасна методологія науки позначає гетерогенні системи наукового знання і сполучені типи науково-дослідної діяльності.
Переглянути Дедукція і Емпіричне і теоретичне
Логіка предикатів
Логіка предикатів — це розділ класичної символічної логіки, що вивчає суб'єктно-предикатну структуру висловлювань, на підставі чого визначають значення істинності висловлювань; по-іншому — це дедуктивна теорія, яка моделює процес виведення одних висловлювань із інших, враховуючи їх структуру.
Переглянути Дедукція і Логіка предикатів
5 Чому
5 Чому — інтерактивна техніка запитань, що використовується для виявлення причинно-наслідкових зв'язків, що лежать в основі певної проблеми.
Переглянути Дедукція і 5 Чому
Також відомий як Дедуктивний метод.