2014 dxdy logo

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

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




На страницу Пред.  1, 2, 3, 4  След.
 
 
Сообщение14.03.2006, 01:35 
Уважаемый Котофеич
я сперва просмотрел отдельно InconsistentMathematics.pdf взяв это у Bremer - осталось впечатление, что это что-то вроде обзора. Т.е. обещают покормить, а не кормят. Теперь начал с начала указанное "Lectures on Paraconsistent Logic http://www.mbph.de/"

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

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

 
 
 
 
Сообщение14.03.2006, 12:34 
Аватара пользователя
:evil: Квантор существования определен в разделе Inconsistent Logic. Этот раздел начинается с описания логики PL. Вам достаточно ознакомиться только с этим разделом.
Настоящая противоречивая логика с бесконечным числом уровней противоречия строится
на базе другой идеи. Я потом разъясню, что там делается и как применяется в классической
математике. Вам нужно разобраться с семантикой. Это в книжке хорошо описано. Другие
ссылки Вам пока не нужны.

 
 
 
 
Сообщение15.03.2006, 06:39 
Аватара пользователя
Котофеич писал(а):
Котофеич писал(а):
Естественно возникает вопрос о том какова природа противоречивой логики :?:
Существует две основных концепции, в рамках которых трактуется природа противоречивой
логики и природа противоречивых множеств.
1.Паралогический формализм.2.Паралогический платонизм.


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


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

 
 
 
 
Сообщение15.03.2006, 14:51 
Аватара пользователя
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 
У дядьки (Walter Alexandre Carnielli) нашел вроде только Limits.pdf в Articles and Technical Reports - что-нибудь еще можно\нужно взять?

 
 
 
 
Сообщение16.03.2006, 10:48 
Аватара пользователя
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 
Даже стыдно признаваться, но как истинный барахольшик, я отоварился по всем ссылкам. Вроде все указанные источники сграбастал на случай, если у кого начнется спазм жадности (или наоборот закончится просвет доброты). Но пока продолжаю свыкаться с Lectures on Paraconsistent Logic.
Единственно с 5-м линком проблемы, я там зарегистрировался, но как использовать ваш линк после логина пока не понял.

 
 
 
 
Сообщение16.03.2006, 20:43 
Аватара пользователя
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 
Аватара пользователя
Котофеич писал(а):
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 
Вот ещё на русском есть
"Противоречивые логики предикатов с нерекурсивным правилом
отделения и паранепротиворечивая теория множеств ZFC" (J.Foukzon)

 
 
 
 
Сообщение19.03.2006, 15:51 
Есть большая обзорная статья: 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 
Аватара пользователя
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 
Котофеич писал(а):
:evil: Там чтойто по этим ссылкам пусто :?:

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

 
 
 
 
Сообщение20.03.2006, 05:33 
Аватара пользователя
dikun писал(а):
Вот ещё на русском есть
"Противоречивые логики предикатов с нерекурсивным правилом
отделения и паранепротиворечивая теория множеств ZFC" (J.Foukzon)

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

 
 
 
 
Сообщение20.03.2006, 05:39 
Аватара пользователя
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