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

September 2017

S M T W T F S
     1 2
3 4 5 6 7 8 9
10 11 1213 141516
1718192021 2223
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 08:36 pm
Powered by Dreamwidth Studios