Comments | vic_gorbatov: Еще два доклада с казанской конференции

vic_gorbatov

Еще два доклада с казанской конференции

Oct 28, 2010 23:40

Какая-то сумасшедшая выдалась неделя в смысле работы. Не продохнуть. Правда, в выходные мы с Юлей, Аней и Тарасом прекрасно провели время у Кости с Леной за городом.
( 6 фото )

Шиян, философия, Павлов, видео, Казань, логика

Comments 15

igor_dzhadan October 29 2010, 07:51:23 UTC

По поводу лекции Павлова: один из центральных тезисов, что применение контекстуальной логики (условно логики типа 2) позволяет строить логический язык не "жестко", а переопределяя понятия в процессе рассуждений, в отличии от логики типа 1, в которой истинностные значения приписываются каждой формуле вне зависимости от контекста ( ... )

vic_gorbatov October 29 2010, 08:29:35 UTC

Отчасти соглашусь. Что касается "гибкости" и "переопределимости". Существуют ведь подходы, которые позволяют рекурсивным образом переопределять объем предикатов "истинно/ложно" в рамках самого языка - я имею в виду метод фиксированных точек Крипке и т.п. При использовании дистинкции "непротиворечиво/противоречиво" было бы полезно, на мой взгляд, учесть эти результаты.

Но с другой стороны, "гибкость" - лишь одна из фишек предложенного подхода. Очень важно уточнить, что эта гибкость основана на принципе контекстуальности, т.е. переопределение базовых семантических понятий происходит не под влиянием каких-то внешних обстоятельств, а с учетом самих выскаывзаний. По отдельности они семантического значения не имеют, но вклад в совокупное значений ВСЕГДА вносят. Вот что интересно!

igor_dzhadan October 29 2010, 16:13:36 UTC

==эта гибкость основана на принципе контекстуальности, т.е. переопределение базовых семантических понятий происходит не под влиянием каких-то внешних обстоятельств, а с учетом самих выскаывзаний. По отдельности они семантического значения не имеют, но вклад в совокупное значений ВСЕГДА вносят ( ... )

vic_gorbatov October 29 2010, 19:52:09 UTC

Мне трудно отвечать за автора доклада - да и он сам признавался, что идеи во много еще сырые, нуждаются в доработке ( ... )

Thread 12

О Финке и его интерпретациях anonymous November 13 2010, 00:25:57 UTC

Все-таки я не согласен с твоей, Витя, интерпретацией моего подхода к проблеме тематизации и устранения оперативных концептов и т.п. Тема "выразительных возможностей" теорий вполне определенна в логике, и я ее не касался. Собственно, в этот раз я не привел не единого формализма, так что предмета разговора о "выразительных возможностях" просто не было ( ... )

Re: О Финке и его интерпретациях vic_gorbatov November 13 2010, 09:25:21 UTC

>> Я затрагивал совсем другую тему, относящуюся даже не к логике, а к философии логики.

Но у философии логики тоже есть своя логика ))

Ревизия темы "Понятие" была бы необходима и возможна, если бы эта тема уже была кем-то по-настоящему разработана. Но увы :(

P.S. Вйошвилло не в счет, хотя он крут, конечно.

Re: О Финке и его интерпретациях anonymous November 13 2010, 16:38:49 UTC

1. "Но у философии логики тоже есть своя логика ( ... )