если не брать модальную логику, которая у нас и так была, то там еще будет про субструктурную логику и логики, ориентированные на доказательство корректности компьютерных программ
приятное напоминание – то, чем я занимаюсь, все еще считается философией, потому что в книге по модальной логике глава про Авиценну
‘Cause now is the time
To testify
Wake from this dream
Wipe the dust from your eyes
To testify
Wake from this dream
Wipe the dust from your eyes
к счастью факт того, что information processing как описание работы мозга это лишь метафора, не является проблемой для неорационалистов
Forwarded from MAA — САП
Пучки, топосы и КШ, всё как всегда https://pubmed.ncbi.nlm.nih.gov/28887144/
PubMed
Sheaf theoretic formulation for consciousness and qualia and relationship to the idealism of non-dual philosophies - PubMed
Questions about the nature of reality, whether Consciousness is the fundamental reality in the universe, and what is Consciousness itself, have no answer in systems that assume an external reality independent of Consciousness. Ultimately, the ontological…
>We advocate instead what we consider to be an approach that is in agreement with the foundation of quantum reality, which is based on Rāmānuja's version of Vedanta philosophy and non-dual Kashmir Śaivism.
According to Quantum Bayesianism, the irreducible probabilities in quantum mechanics tell us that it is really a theory about making bets on the world’s behavior (via our measurements) and then updat ing our knowledge after those measurements are done.
Реквием Моцарта заканчивается на аккорде, который не явлется ни минорным, ни мажорным. Понятно, что реквием заканчивать ни на мажоре, ни на миноре не хочется
Но интересно, что сегодня этот тип аккорда называют power chord и он часто используется в роке и в метале (то есть root и fifth ноты аккорда). Только сверху нужен еще distortion, который в случае power chord не приводит к диссонансу, потому что отношение между нотами почти 3:2