2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4  След.
 
 
Сообщение14.03.2006, 01:35 


19/01/06
179
Уважаемый Котофеич
я сперва просмотрел отдельно InconsistentMathematics.pdf взяв это у Bremer - осталось впечатление, что это что-то вроде обзора. Т.е. обещают покормить, а не кормят. Теперь начал с начала указанное "Lectures on Paraconsistent Logic http://www.mbph.de/"

три ваших последних поста крайне интересны. Но обсуждать эти "вкусные" предложения хотелось бы после того как будет понимание хотя бы основных положений систематически. Нет ли где еще монографии, по которой можно читать?

Не хотелось бы терять и основную нить - пока не нашел понятия существования определенного в пара-мире

 Профиль  
                  
 
 
Сообщение14.03.2006, 12:34 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
:evil: Квантор существования определен в разделе Inconsistent Logic. Этот раздел начинается с описания логики PL. Вам достаточно ознакомиться только с этим разделом.
Настоящая противоречивая логика с бесконечным числом уровней противоречия строится
на базе другой идеи. Я потом разъясню, что там делается и как применяется в классической
математике. Вам нужно разобраться с семантикой. Это в книжке хорошо описано. Другие
ссылки Вам пока не нужны.

 Профиль  
                  
 
 
Сообщение15.03.2006, 06:39 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
Котофеич писал(а):
Котофеич писал(а):
Естественно возникает вопрос о том какова природа противоречивой логики :?:
Существует две основных концепции, в рамках которых трактуется природа противоречивой
логики и природа противоречивых множеств.
1.Паралогический формализм.2.Паралогический платонизм.


1.Паралогический формализм. Это концепция, которая есть обобщение идеи
Д.Гильберта. Сторонники этой концепции не считают, что нужно придавать конкретный
смысл математическому утверждению А, если оно истинно одновременно с утверждением не А, в лучшем случае объекты этого типа относятся к некоторому
воображаемому универсуму V{Inc}.
Такой точки зрения придерживается большинство логиков-нематематиков. В частности
этой точки зрения придерживался великий русский логик Васильев-основоположник
современной теории противоречивых логик. По этой причине Васильев, назвал свою
логику Воображаемая логика. Он ошибочно полагал, что в реальном мире не может
существовать объективных противоречий.


2.Паралогический платонизм
(а)Паралогический платонизм в наиболее сильной форме. Это концепция согласно
которой противоречие признается как часть объективной реальности.
Сторонники этого направления не рассматривают парадокс лжеца как семантический
парадокс но только как объективное логическое противоречие избавиться от которого
принципиально невозможно. Как мы потом покажем ЛЖЕЦ имеет фундаментальную
математическую природу и в абстрактной форме всегда присутствует в топосах Гротендика
с противоречивой внутренней логикой.

 Профиль  
                  
 
 
Сообщение15.03.2006, 14:51 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
zkutch писал(а):
Уважаемый Котофеич
я сперва просмотрел отдельно InconsistentMathematics.pdf взяв это у Bremer - осталось впечатление, что это что-то вроде обзора. Т.е. обещают покормить, а не кормят. Теперь начал с начала указанное "Lectures on Paraconsistent Logic http://www.mbph.de/"

три ваших последних поста крайне интересны. Но обсуждать эти "вкусные" предложения хотелось бы после того как будет понимание хотя бы основных положений систематически. Нет ли где еще монографии, по которой можно читать?

Не хотелось бы терять и основную нить - пока не нашел понятия существования определенного в пара-мире


:evil: Вот тут есть еще один дядька, пишущий про эти логики.
http://www.cle.unicamp.br/prof/carnielli/

 Профиль  
                  
 
 
Сообщение16.03.2006, 08:29 


19/01/06
179
У дядьки (Walter Alexandre Carnielli) нашел вроде только Limits.pdf в Articles and Technical Reports - что-нибудь еще можно\нужно взять?

 Профиль  
                  
 
 
Сообщение16.03.2006, 10:48 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
zkutch писал(а):
У дядьки (Walter Alexandre Carnielli) нашел вроде только Limits.pdf в Articles and Technical Reports - что-нибудь еще можно\нужно взять?




:evil: Да вот 10 ти страниц этой его статьи вполне достаточно

1.A Taxonomy of C-systems
ftp://logica.cle.unicamp.br/pub/e-prints/Taxonomy.pdf
Вот еще есть журнальчик
2.
http://www.cle.unicamp.br/e-prints/index.html
http://www.cle.unicamp.br/e-prints/abstract_5.htm
Вот здесь я раньше давал ссылки на Приеста
http://dxdy.ru/viewtopic.php?p=8540#8540

3. Вот есть арифметика с бесконечнозначной семантикой
Arithmetic and truth in Lukasiewicz’s infinitely valued logic
http://scholar.google.com/scholar?hl=en ... 4461691665

4.Greg Restall
http://scholar.google.com/scholar?hl=en ... tnG=Search

5 Вот в этом архиве есть моя статья по противоречивому нестандартному анализу

http://www.sciencedirect.com/preprintar ... 699fe2114d

 Профиль  
                  
 
 
Сообщение16.03.2006, 13:05 


19/01/06
179
Даже стыдно признаваться, но как истинный барахольшик, я отоварился по всем ссылкам. Вроде все указанные источники сграбастал на случай, если у кого начнется спазм жадности (или наоборот закончится просвет доброты). Но пока продолжаю свыкаться с Lectures on Paraconsistent Logic.
Единственно с 5-м линком проблемы, я там зарегистрировался, но как использовать ваш линк после логина пока не понял.

 Профиль  
                  
 
 
Сообщение16.03.2006, 20:43 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
zkutch писал(а):
Даже стыдно признаваться, но как истинный барахольшик, я отоварился по всем ссылкам. Вроде все указанные источники сграбастал на случай, если у кого начнется спазм жадности (или наоборот закончится просвет доброты). Но пока продолжаю свыкаться с Lectures on Paraconsistent Logic.
Единственно с 5-м линком проблемы, я там зарегистрировался, но как использовать ваш линк после логина пока не понял.


По названию и номерам.
"Foundation of paralogical nonstandard
analysis and its application to some famous problems of
trigonometrical and orthogonal series.PartI,II."
http://www.mathpreprints.com/math/Prepr ... 20040330/1
http://www.mathpreprints.com/math/Preprint/-/20040221/1
Вот еще версия того же
http://www.geocities.com/jaykovf/PART.I.pdf
http://www.geocities.com/jaykovf/PART.II..pdf

 Профиль  
                  
 
 
Сообщение16.03.2006, 20:52 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
Котофеич писал(а):
zkutch писал(а):
Даже стыдно признаваться, но как истинный барахольшик, я отоварился по всем ссылкам. Вроде все указанные источники сграбастал на случай, если у кого начнется спазм жадности (или наоборот закончится просвет доброты). Но пока продолжаю свыкаться с Lectures on Paraconsistent Logic.
Единственно с 5-м линком проблемы, я там зарегистрировался, но как использовать ваш линк после логина пока не понял.


По названию и номерам.
"Foundation of paralogical nonstandard
analysis and its application to some famous problems of
trigonometrical and orthogonal series.PartI,II."
http://www.mathpreprints.com/math/Prepr ... 20040330/1
http://www.mathpreprints.com/math/Preprint/-/20040221/1
Вот еще версия того же
http://www.geocities.com/jaykovf/PART.I.pdf
http://www.geocities.com/jaykovf/PART.II..pdf


FOURTH EUROPEAN CONGRESS OF MATHEMATICS
STOCKHOLM, SWEDEN JUNE 27 ­ - JULY 2, 2004
http://www.math.kth.se/4ecm/poster.list.html#01
http://www.math.kth.se/4ecm/abstracts/1.5.pdf
Abstract Harmonic Analysis.Structure of Nonlocallycompact Abelyan Groups.Representations.
http://planetmath.org/?op=getobj&from=books&id=106

 Профиль  
                  
 
 
Сообщение18.03.2006, 03:00 


29/05/05
143
Вот ещё на русском есть
"Противоречивые логики предикатов с нерекурсивным правилом
отделения и паранепротиворечивая теория множеств ZFC" (J.Foukzon)

 Профиль  
                  
 
 
Сообщение19.03.2006, 15:51 
Заслуженный участник


15/05/05
3445
USA
Есть большая обзорная статья: Paraconsistent Logic, by Graham Priest.

Напечатана в "Handbook of Philosophical Logic," Second Edition.
Volume 6, p.287-393
Kluwer Academic Publishers, 2002. ISBN: 1402005830.

Книга доступна в eDonkey:

ed2k://|file|handbook%20of%20philosophical%20logic%20vol%206.ps|2648454|16320A36AA2C584741A0EFF801080229|h=U3UDD3FHU33H3P37HZSTEDDNZB3Q4NFM|/

ed2k://|file|handbook%20of%20philosophical%20logic%20vol%206.pdf|2429704|DED79ADE34F02C6C5D0EDE4F8A5EC2E2|/

 Профиль  
                  
 
 
Сообщение20.03.2006, 03:44 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
Yuri Gendelman писал(а):
Есть большая обзорная статья: Paraconsistent Logic, by Graham Priest.

Напечатана в "Handbook of Philosophical Logic," Second Edition.
Volume 6, p.287-393
Kluwer Academic Publishers, 2002. ISBN: 1402005830.

Книга доступна в eDonkey:

ed2k://|file|handbook%20of%20philosophical%20logic%20vol%206.ps|2648454|16320A36AA2C584741A0EFF801080229|h=U3UDD3FHU33H3P37HZSTEDDNZB3Q4NFM|/

ed2k://|file|handbook%20of%20philosophical%20logic%20vol%206.pdf|2429704|DED79ADE34F02C6C5D0EDE4F8A5EC2E2|/


:evil: Там чтойто по этим ссылкам пусто :?:

 Профиль  
                  
 
 
Сообщение20.03.2006, 04:36 
Заслуженный участник


15/05/05
3445
USA
Котофеич писал(а):
:evil: Там чтойто по этим ссылкам пусто :?:

Я использую клиент eMule, который, кроме eD2K, работает еще с сетью Kad. Поиск дал обе ссылки, которые я и привел. Я скачал версию .ps (был всего 1 источник). Могу прислать файл email-ом, но нужен Ваш адрес (через ЛП?). Длина файла - 2.7Mb.

 Профиль  
                  
 
 
Сообщение20.03.2006, 05:33 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
dikun писал(а):
Вот ещё на русском есть
"Противоречивые логики предикатов с нерекурсивным правилом
отделения и паранепротиворечивая теория множеств ZFC" (J.Foukzon)

Идея построения таких логик, опирается на ряд идей А. Колмогорова, касающихся
обобщения интуиционистской логики Брауэра. Краткое описание соответствующей работы Колмогорова имеется в книге В. Успенского стр. 20.
http://www.mccme.ru/free-books/usp.htm
В этой работе Колмогорова впервые подвергнут сомнению, следующий важнейший закон
классической логики
$  ¬b\Rightarrow b\Rightarrow a$

 Профиль  
                  
 
 
Сообщение20.03.2006, 05:39 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
Yuri Gendelman писал(а):
Котофеич писал(а):
:evil: Там чтойто по этим ссылкам пусто :?:

Я использую клиент eMule, который, кроме eD2K, работает еще с сетью Kad. Поиск дал обе ссылки, которые я и привел. Я скачал версию .ps (был всего 1 источник). Могу прислать файл email-ом, но нужен Ваш адрес (через ЛП?). Длина файла - 2.7Mb.

Большое спасибо. Можно вот на этот адрес.
advancedguidance@list.ru

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 57 ]  На страницу Пред.  1, 2, 3, 4  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group