?

Log in

No account? Create an account
Лабораторный журнал -- Day [entries|friends|calendar]
Anatoly Levenchuk

[ website | Лабораторный журнал ]
[ userinfo | livejournal userinfo ]
[ calendar | livejournal calendar ]

Первый мотоцикл-трансформер -- The Uno от BPG-Motors [12 Jan 2011|01:08am]
Если места мало и ездить нужно филигранно (радиус поворота 90см), то колёса трансформера The Uno от BPG-Motors складываются и получается что-то типа сегвея с сиденьем -- важно, что в таком виде он даже помещается в лифт! А когда выходишь на трассу, и нужна скорость, то происходит трансформация в обычный мотоцикл (http://bpg-motors.com/):

1 comment|post comment

Рабочая встреча "Праксеология и логика" [12 Jan 2011|12:45pm]
Рабочая встреча "Праксеология и логика" состоится 13 января 2011г. в 19 часов MSK:
-- в Москве очно по адресу Голиковский пер., дом 11 (офис TechInvestLab.ru, это одноэтажный особняк, вход со двора, дверь "1", две минуты пешком от метро Третьяковская, карта: http://www.techinvestlab.ru/til_ru_contacts.
-- для не-москвичей в онлайне dimdim.com (комната ailev), звук по Skype (стучитесь на levenchuk с пометкой "праксеология и логика", чтобы я мог добавить в правильную группу)

Во встрече принимает участие Андрей Шуман из Минска (см. его комментарий http://minski-gaon.livejournal.com/26257.html) и несколько московских праксеологов и австрийских экономистов, интересующихся логикой и онтологией.

В частности, будет обсуждаться тезис Андрея Шумана:
Логика праксеологии не должна быть логикой в обычном смысле! Она не должна быть априорной! Здесь уместно вспомнить Крипке. Он одним из первых обратил внимание на то, что есть логические отношения (например, модальности), которые нельзя определить как верифицируемые в любой модели (в отличие от логических союзов). Для верификации модальных суждений Крипке предложил особую семантику. Данный факт интересен тем, что, оказывается, существуют такие логические отношения, которые зависят от семантики и не являются, соответственно, в полной мере априорными. С другой стороны, Крипке обосновал логический статус аналитических суждений a posteriori. Бесспорно, такие идеи Крипке рушат многие стереотипы, главный из которых – допущение платонизма в логике. Согласно платонизму, все логические отношения априорны и любая дедуктивная система продуцирует аналитическое a priori. Однако, в свете аргументации Крипке можно обосновать антиплатонизм в логике, в соответствии с которым логические отношения могут пониматься как апостериорные, а дедуктивные системы, замкнутые относительно правил вывода, могут давать синтетическое знание.

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

Естественное развитие этих праксеологических и логических исследований -- выход на обсуждение онтологических вопросов австрийской школы экономики (см. http://ailev.livejournal.com/876070.html и более ранний материал kuznetsov http://g-l-memorial.ice.ru/files/135691/kuznetsov_26.05.2007.doc).
2 comments|post comment

Новости филологии [12 Jan 2011|03:45pm]
Дитёнка (второй класс) сообщил сегодня, что в предложении есть существительные, глаголы и пресмыкающиеся (которые подчёркиваются их символом -- волнистой линией).

Вот она, молодая шпана, которая сметёт нас с лица земли...
6 comments|post comment

Концепция жизненного цикла от ISO в открытом доступе (вышел ISO 24748-1:2010) [12 Jan 2011|04:15pm]
Оказывается, еще в сентябре вышла бесплатная версия ISO 24748-1:2010, разъясняющая концепцию жизненного цикла (искать тут: http://standards.iso.org/ittf/PubliclyAvailableStandards/index.html). Закончился очередной долгострой международной стандартизации (перевод черновика на русский мы выпустили еще в 2009г.).

Но это только начало: всего будет пять частей разъяснений, вышла только первая. Остальные до сих пор "в работе" (на FDIS в ноябре вышли только части вторая -- про практики жизненного цикла, и третья -- про жизненный цикл софта). Главный смысл всей этой серии стандартов -- гармонизировать между собой практики жизненного цикла системы (ISO 15288) и софта (ISO 12207).

Тем временем для стандарта по инженерии требований ISO 29148 в ноябре 2010 тоже наступило торжественное событие: он тоже пошёл на FDIS, мы скоро увидим результаты.
3 comments|post comment

navigation
[ viewing | January 12th, 2011 ]
[ go | previous day|next day ]