timelets: (Default)
[personal profile] timelets
I wonder whether the subobject classifier approach can be used to detect new developments in technology. For example, expressions like _horseless carriage_, _smarphone with no keyboard_, _driverless car_, _artificial intelligence_ indicate that the object in question doesn't belong to a boolean topos ( or is it a slice topos?).

Date: 2017-07-03 10:24 am (UTC)
bamalip: (Default)
From: [personal profile] bamalip
ВОпрос интересный, но готового ответа нет. Человек в неформальных рассуждениях пользуется логикой умолчания, когда карета обычно с конем, а автомобил обычно с водителем, но при этом легко можно вводить исключительные случаи, которые как бы противоречат типичному положению вещей. Работ по логике умолчания в категорном варианте я не видел.

Date: 2017-07-04 07:40 am (UTC)
bamalip: (Default)
From: [personal profile] bamalip
Мне кажется, это явный пример вот этого https://web.stanford.edu/class/cs227/Lectures/lec10.pdf
но там без категорий

Profile

timelets: (Default)
timelets

July 2017

S M T W T F S
       1
2 3 4 5 67 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 242526272829
3031     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 25th, 2017 06:32 am
Powered by Dreamwidth Studios