Шановні колеги!
Відділ історії зарубіжної філософії Інституту філософії ім. Г. С. Сковороди спільно з кафедрою філософії Одеського національного університету та кафедрою філософії Криворізького державного педагогічного університету проводить чергове спільне засідання Міжнародного семінару Post Scriptum. Запрошуємо вас до участі.
Дата: 24 квітня, 18:00 (за київським часом)
Доповідач: Prof. Dr. Heinrich Wansing, Professor of Logic and Epistemology, Ruhr University Bochum, Department of Philosophy I, and Distinguished Professor, Tohoku University, Graduate School of Information Sciences.
Тема: Протиріччя, логічний висновок та інформаційний потік (Contradictions, logical consequence, and information flow)
Анотація: Логічний висновок зазвичай розуміють як збереження (preservation) істини. Речення випливає з набору засновків, якщо завжди, коли засновки істинні, істинним є й висновок. Іншими словами, міркування є правильним, якщо неможливо, щоб засновки були істинними, а висновок — хибним. У класичній логіці це означає, що якщо засновки судження суперечливі, то судження є валідним, оскільки суперечності ніколи не є істинними. Це розуміння має дивовижний наслідок: будь-яке твердження випливає з суперечливих засновків: /ex contradictione sequitur quodlibet/, ECQ.Д
ля багатьох філософів та логіків ECQ є вкрай небажаним принципом, і існують способи, щоб зробити ECQ недійсним. Логічні системи, в яких ECQ не є валідним, називаються /параконсистентними/ або /толерантними до несумісності/. Існують також добре обґрунтовані логічні системи, в яких деякі суперечності є доказовими і, отже, валідними. Нещодавно Грем Пріст стверджував, що існування таких логік підсилює аргументи на користь діалетизму — погляду, що існують істинні суперечності. У своїй доповіді я доводитиму, що для того, щоб дійти цього висновку, необхідно встановити зв’язок між діалетизмом та поняттям валідного виведення, як воно визначено в теорії моделей. Крім того, я вкажу, що певні логіки з валідними суперечностями та їхня семантика, заснована на станах, можуть розглядатися як ілюстрація твердження, яке я назвав «сильний диматематизм», який уникає згаданого вище припущення, що пов’язує структури теорії моделей із реальністю. Ця точка зору ґрунтується на розумінні логічної послідовності з точки зору збереження інформації.
Семінар проводитиметься онлайн.
Мова семінару англійська (без перекладу).
За zoom посиланням звертайтесь до Світлани Балінченко sp.balinchenko@gmail.com чи Тараса Маменка tarmam@meta.ua
Відділ історії зарубіжної філософії Інституту філософії ім. Г. С. Сковороди спільно з кафедрою філософії Одеського національного університету та кафедрою філософії Криворізького державного педагогічного університету проводить чергове спільне засідання Міжнародного семінару Post Scriptum. Запрошуємо вас до участі.
Дата: 24 квітня, 18:00 (за київським часом)
Доповідач: Prof. Dr. Heinrich Wansing, Professor of Logic and Epistemology, Ruhr University Bochum, Department of Philosophy I, and Distinguished Professor, Tohoku University, Graduate School of Information Sciences.
Тема: Протиріччя, логічний висновок та інформаційний потік (Contradictions, logical consequence, and information flow)
Анотація: Логічний висновок зазвичай розуміють як збереження (preservation) істини. Речення випливає з набору засновків, якщо завжди, коли засновки істинні, істинним є й висновок. Іншими словами, міркування є правильним, якщо неможливо, щоб засновки були істинними, а висновок — хибним. У класичній логіці це означає, що якщо засновки судження суперечливі, то судження є валідним, оскільки суперечності ніколи не є істинними. Це розуміння має дивовижний наслідок: будь-яке твердження випливає з суперечливих засновків: /ex contradictione sequitur quodlibet/, ECQ.Д
ля багатьох філософів та логіків ECQ є вкрай небажаним принципом, і існують способи, щоб зробити ECQ недійсним. Логічні системи, в яких ECQ не є валідним, називаються /параконсистентними/ або /толерантними до несумісності/. Існують також добре обґрунтовані логічні системи, в яких деякі суперечності є доказовими і, отже, валідними. Нещодавно Грем Пріст стверджував, що існування таких логік підсилює аргументи на користь діалетизму — погляду, що існують істинні суперечності. У своїй доповіді я доводитиму, що для того, щоб дійти цього висновку, необхідно встановити зв’язок між діалетизмом та поняттям валідного виведення, як воно визначено в теорії моделей. Крім того, я вкажу, що певні логіки з валідними суперечностями та їхня семантика, заснована на станах, можуть розглядатися як ілюстрація твердження, яке я назвав «сильний диматематизм», який уникає згаданого вище припущення, що пов’язує структури теорії моделей із реальністю. Ця точка зору ґрунтується на розумінні логічної послідовності з точки зору збереження інформації.
Семінар проводитиметься онлайн.
Мова семінару англійська (без перекладу).
За zoom посиланням звертайтесь до Світлани Балінченко sp.balinchenko@gmail.com чи Тараса Маменка tarmam@meta.ua