Див. Також в інших словниках:
Безпосереднє умовивід - в традиційній логіці, умовивід з однієї посилки або (у Аристотеля (Див. Аристотель)) висновок з аксіом або з посилки, «якій не передує жодна інша». Теорія Н. у. (В будь-якому із зазначених смислів) безпосередньо не підпадала ... ... Велика радянська енциклопедія
безпосереднє умовивід - (в традиційній логіці) умовивід з однієї посилки. До числа Н. у. відносяться звернення суджень, перетворення суджень, протиставлення предикату, деякі умовиводи по логічному квадрату, напр. від істинності загальних суджень (А і Е) до ... ... Словник термінів логіки
Безпосереднє умовивід - (в традиційній л о г і до е) - умовивід з однієї посилки. У Аристотеля - висновок з аксіом або з посилки, до рій не передує жодна інша. Назва Н. у. сходить до греч. πρότασις ἄμεσος, що означає неопосередковано посилка (див. ... ... Філософська енциклопедія
Умовивід - розумовий процес, в ході якого з одного або декількох суджень, званих посилками, виводиться нове судження, зване висновком, або наслідком. У. зазвичай поділяють на дедуктивні та індуктивні. Висновки дедуктивних У. якщо ... ... Філософська енциклопедія
Перетворення - безпосереднє умовивід в рамках формалізму традиційної логіки (Див. Логіка); застосовується зазвичай спільно зі Зверненням суджень. П. складається в зміні якості посилки (Див. Посилка) і одночасному заміщенні терміну предиката на ... ... Велика радянська енциклопедія
ПЕРЕТВОРЕННЯ - безпосереднє умовивід в рамках формалізму традиц. логіки; застосовується зазвичай спільно зі зверненням суджень. П. складається в зміні якості посилки і одночасному заміщенні терміну предиката на термін йому протилежний. ... ... Філософська енциклопедія
ОБМЕЖЕННЯ ТРЕТЬОГО ПОНЯТТЯ - к о з в е н н и й з і л л о г і з м (лат. Determinatio tertii, sillogismus obliquus), - умовивід, до рої в загальному вигляді можна виразити схемою (1): (Всі) А суть В; отже, С (недо якого) А є С (недо якого) В або схемою (2): (Всі) А суть У ... Філософська енциклопедія
Висновок - або умовивід процес думки, яким ми переконуємося в істинності відомого судження при посередництві інших суджень; самий процес при цьому полягає в перенесенні одного з основних елементів встановленого вже в нашому знанні судження на ... ... Енциклопедичний словник Ф.А. Брокгауза і І.А. Ефрона
ЗВЕРНЕННЯ конверсія () - ЗВЕРНЕННЯ конверсія (в логіці) в силогістиці операція перетворення суджень видів: Всі S суть Р. Жодне S не їсти Р. Нек риє S суть P. пов'язана зі взаємним обміном місцями термінів S і Р. Зазвичай О. розглядається як безпосереднє ... ... Філософська енциклопедія