Веб-бібліотека - головна сторінка


Луцишин П.В. Теорія міжнародних відносин:

Теоретичні джерела і концептуальні основи міжнародних відносин. Міжнародні відносини в історії соціально-політичної думки. Що таке теорія міжнародних відносин. Сучасні теорії міжнародних відносин. Об'єкт і предмет міжнародних відносин. Поняття і критерії міжнародних відносин. Світова політика. Взаємозв'язок внутрішньої і зовнішньої політики. Предмет міжнародних відноси. Види міжнародних відносин. Історична еволюція об'єкта аналізу. Реальність у міжнародних відносинах. Генеза і розвиток міжнародних відносин. Міжнародні відносини як дисципліна. Фактори формування міжнародних відносин. Класифікація факторів. Умовні фактори. Реалізаційні фактори. Закономірності міжнародних відносин. Про характер законів у сфері міжнародних відносин...

Семотюк В. Програмування в середовищі Турбо Паскаль: Загальна характеристика мови Паскаль. Структура Паскаль-програми. Елементи мови Паскаль. Мова металінгвістичних формул. Прості типи даних. Вирази. Стандартні типи даних. Цілий тип. Дійсний тип. Логічний тип. Символьний тип. Конструйовані типи. Перелічуваний тип. Діапазонний тип. Оператори надання значень змінним. Оператор присвоєння. Введення-виведення. Порядок виконання операцій. Складений оператор. Стиль запису програми. Структури керування. Структура послідовного виконання. Структура розгалуження. Умовний оператор. Оператор варіанта. Оператор безумовного переходу. Структура повторення. Цикл з параметром. Цикл з передумовою. Цикл з післяумовою. Ітераційні цикли. Вкладені цикли...

ЛОГИЧЕСКАЯ ПРАВИЛЬНОСТЬ

- соответствие законам и правилам формальной логики. Обычно проводят различие между истинностью и правильностью человеческого мышления. Понятие истины характеризует мышление в его отношении к действительности: мысль, предложение истинны, если они соответствуют действительности. Понятие правильности характеризует мышление в его отношении к законам и правилам логики: рассуждение правильно, если в нем соблюдены все необходимые правила логики.
Различие между истинностью и правильностью отчетливо проявляется в тех случаях, когда формально правильное рассуждение приводит к ложному выводу. Напр., рассмотрим умозаключение:
Все металлы - твердые тела. Ртуть не является твердым телом.
Ртуть не является металлом.
Это умозаключение построено в форме простого категорического силлогизма, причем оно отвечает соответствующим правилам, т. е. правильно. Однако вывод является ложным. Это обусловлено ложностью первой посылки. Если рассуждение построено неправильно, то даже из истинных посылок мы можем получить как истину, так и ложь. Напр.:
Все тигры - полосаты.
Это животное - полосато.
Это животное - тигр.
Выводное суждение может быть как истинным, так и ложным, в зависимости от того, кто перед нами - полосатый тигр или полосатая зебра. Для того чтобы выводное знание было безусловно истинным, требуется, чтобы наше рассуждение опиралось на истинные посылки и было правильным. Правильность рассуждений можно контролировать, гораздо сложнее устанавливается истинность знания. Ученые прошлого часто приходили к ложным выводам не потому, что рассуждали неправильно, а потому, что посылки их были ложными.