kosta.gif
повестки

жалуем

ПРИСУТСТВУЮЩИХ

OS: Linux s
PHP: 5.1.6
MySQL: 10.0.28-MariaDB-cll-lve
Время: 22:24
Caching: Disabled
GZIP: Enabled
Участников: 4
Новостей: 345
Ссылок: 4
посетителей: 11767560

Sunday, 21 January 2018

ловкость пальцев
 понимания на которых основывается пророческое
А
Введите искомое слово.

Названии Комментариях Везде
Редакт. глоссарий
Отправить термин

Все | А | Б | В | Г | Д | З | И | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Ц | Ч | Э | Ю | Я


Найдено 400 записей вглоссарии.
страница: «1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 »
Термин Определение
Косвенное Доказательство - доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения. При прямом доказательстве задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис. В К. д. рассуждение идет как бы окольным путем. Прямые аргументы для выведения из них доказываемого положения не отыскиваются. Вме¬сто этого формулируется антитезис, отрицание этого положе¬ния, и тем или иным способом показывается его несостоятельность. Поскольку К. д. использует отрицание доказываемого положе¬ния, оно называется также доказательством от противно¬го. Напр., врач, убеждая пациента, что тот не болен малярией, мо¬жет рассуждать так: «Если бы действительно была малярия, имелся бы ряд характерных для нее симптомов, в частности общая слабость и озноб. Однако таких симптомов нет. Значит, нет и малярии». К. д. проходит, таким образом, следующие этапы: выдвигается антитезис и из него выводятся следствия с намерением найти сре¬ди них ложное; устанавливается, что в числе следствий действи¬тельно есть ложное; делается вывод, что антитезис неверен; из лож¬ности антитезиса делается заключение, что тезис является истинным. В зависимости от того, как устанавливается ложность антите¬зиса, можно выделить несколько вариантов К. д. Иногда ложность антитезиса удается установить простым сопоставлением вытека¬ющих из него следствий с фактами, эмпирическими данными. Так, в приведенном примере рассуждение идет по схеме: если неверно первое, то второе; но второе неверно, значит, верно первое. Нередко анализ самой логической структуры следствий антите¬зиса позволяет сделать вывод, что он ошибочен. Так, если в чис¬ле следствий встретились и утверждение, и отрицание одного и того же, можно сразу заключить, что антитезис неверен. Ложным будет он и в том случае, если из него выводится внутренне проти¬воречивое высказывание о тождестве утверждения и отрицания. Напр., для доказательства тезиса «Квадрат — это ромб с пря¬мыми углами» выдвигается антитезис: «Неверно, что квадрат есть ромб с прямыми углами». Из последнего выводится как то, что у квадрата все углы прямые (т. к. быть квадратом значит иметь четы¬ре прямых угла), так и то, что у квадрата углы не являются пря¬мыми. Раз из антитезиса вытекает и утверждение, и отрицание одного и того же, значит, он неверен, а правильным является противоположное утверждение - тезис. Рассуждение здесь идет в соответствии с законом косвенного доказательства: если из отрицания высказывания вытекает логи¬ческое противоречие, само высказывание истинно. Существует разновидность К. д., когда прямо не приходится ис¬кать ложных следствий антитезиса. Согласно закону Клавия, если из отрицания высказывания вытекает это высказывание, оно являет¬ся истинным. Напр., из отрицательного высказывания «Ни одно суждение не является отрицательным» вытекает: «Некоторые суж¬дения являются отрицательными»; значит, истинно это утверди¬тельное высказывание, а не исходное отрицательное. К. д. — эффективное средство обоснования выдвигаемых поло¬жений. Однако его специфика в определенной мере ограничивает сферу применения. Эта специфика состоит в том, что из антите¬зиса, являющегося ложным, выводятся следствия до тех пор, пока не будет получено ложное утверждение или логическое противо¬речие. Имея дело с К. д., приходится все время сосредоточиваться не на верном положении, справедливость которого необходимо обосновать, а на ошибочных утверждениях. Более серьезные воз¬ражения против К.д. связаны с использованием в нем закона (снятия) двойного отрицания. Этот закон не признается универсаль¬ным, неограниченно приложимым интуиционистской логикой. / религия производит бога по этой причине богослужения в ней и зовутся его именем наука производящая авторитетные утверждения объективные суждения неопровержимые законы и подтверждающие себя решения из за большой любви к богу отказала ему в чести в своих его творчеств власть сильно занята исполнением божьей воли дабы отвлекаться от своих занятий на высочайшую власть культура сорняка это постоянное давление на культуру культуры от возмущения очередным сельскохозяйственным бездельем ещё раз итэпэ
 
Круг В Доказательстве (лат. — circulus in demonstrando) — ло¬гическая ошибка в доказательстве, заключающаяся в том, что истинность доказываемого положения (тезиса) обосновывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса. Данную ошибку называют также «порочным кругом». В качестве примера можно привести доказательство конечности и ограниченности Вселенной, приводивше¬еся противниками учения Коперника. Защитники геоцентризма доказывали конечность Вселенной, опираясь на утверждение о том, что Вселенная в течение суток совершает полный оборот вокруг неподвижного центра, совпадающего с центром Земли. В свою очередь, истинность этого аргумента они доказывали, опира¬ясь на утверждение о конечности Вселенной, т. к. при условии ее бесконечности нельзя понять, каким образом бесконечная Все¬ленная могла бы в течение одних суток совершить полный оборот около своего центра. Иными словами, тезис (положение о конеч¬ности мира) доказывался посредством аргумента (суточное вра¬щение мира вокруг центра), который сам доказывался при помо¬щи доказываемого тезиса (положения о конечности мира). В относительно коротких рассуждениях К. в д. сравнительно нетрудно обнаружить. Однако в доказательствах, включающих в себя длинные цепи умозаключений, круг может остаться незамеченным. Доказательство, содержащее в себе круг, не достигает своей основной цели — оно не обосновывает истинности доказываемого тезиса. / иисус сын божий потому что сын божий иисус вера в иисуса спасение человека ибо спасение человека вера в иисуса православие вера в бога ибо вера в бога православие ещё раз ходил иисус по аш два о ибо аш два о под ним была так вот ной был на ковчеге ибо тот того в себе держал заметь как доказательство бога не основывается на доказуемом ибо доказывается иными положеньями примерь иисус сын божий ибо продолжатель его предмета наследник его предмета род этого предмета как на примере математики любого математика можно рассматривать в математике как носящего её честь а математику математиков как собственно саму математику вот так вот вера математике есть шансом уберечься от математики видишь как вера в бога такой же шанс от бога в боге так что славить право бога существенно отличается от славы в нём ошибающихся по кругу собственного верю в то чего не знаю
 
Круг В Определении — логическая ошибка, связанная с на¬рушением одного из правил определения и состоящая в том, что при определении некоторого понятия в определяющей части ис¬пользуется понятие, которое, в свою очередь, определяется с помощью данного определяемого понятия. Напр., в определении «Вра¬щение есть движение вокруг своей оси» будет допущена ошибка круга, если понятие «ось» само определяется через понятие «вра¬щение»: ось есть прямая, вокруг которой происходит вращение. Частным случаем этой ошибки является тавтология — повторе¬ние в определяющей части самого определяемого понятия, хотя, быть может, в несколько ином словесном выражении, напр.: «Фильтрование — процесс разделения с помощью фильтра» (см.: Определение). / бог это бог и точка в его определении христос это христос и точка в его определении вера это вера и точка в её нашем понимании ещё раз для развития понятия необходимо развитие понимания а не стояния без понимания на манящих бабочек понятиях примерь бог это творец мира то есть законодатель существующего законодательства по которому существует бытиё исход и прочее развитие естественно происходящего христос это чело века которое образовал бог для процесса плодиться челами и множиться челами вера это наше творчество и верить в веру что верить в творчество а не в творца теперь заметь последствия такой вот веры то то что плачевны
 
Лемма (от греч. lemma — предположение) - в математике вспо¬могательное предложение, употребляемое при доказательстве од¬ной или нескольких теорем. В логике — условно-разделительное, или лемматическое, умозаключение (см.: Дилемма). / 23 июня сего года случай был наехали те кто в законе при погонах на того кто в бизнесе при деньгах мол в силе ибо в звании но тот и сам при силе оказался ибо грамотен вот так и съехали с него ибо не дал наехать на себя и вот чем интересна эта лемма одни гордятся могут выебать другие тем что отъебаться третьи тем что бог смиренье завещал ну и есть ещё четвёртые к которым собственно и отношусь а именно любители предположеньем подсоблять мол ага он так и завещал ублажайте горит пидарасов а то мужиков обидите ещё раз перечисленные три категории постоянно обижаются на категорию иисуса мол она по их понятиям петушиная членов которой они с верой в добро опущения опускают заметь в то время как мы их поднять питаемся заметил кто в силе тот в боге не нуждается а кто бессилен тот немощен нуждаться ну и ещё заметь проблема то четвёртой в неумении косноязычного общения договариваться с мягкотелыми содомлянами ибо при умении заключать компромиссы благоустраивают а не распинают вот тут на помощь моисею брат его иуда заметил эту лемму аароном
 
Лжеца Парадокс - один из наиболее известных логиче¬ских парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сей¬час произношу, является ложным». Или: «Это высказывание лож¬но». Если высказывание ложно, то говорящий сказал правду и, зна¬чит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот. Традиционная лаконичная формулировка парадокса гласит: если лгущий говорит, что он лжет, то он одновременно лжет и говорит правду. В ср. в. была распространенной такая формулировка «Л.» п.: «Ска¬занное Платоном - ложно, — говорит Сократ. - То, что сказал Сократ, — истина, - говорит Платон». Возникает вопрос: кто из них высказывает истину, а кто — ложь? Открытие «Л.» п. приписывается древнегреческому философу Евбулиду (IV в. до н. э.). Оно произвело громадное впечатление. Философ-стоик Хрисипп (ок. 281-208 до н. э.) посвятил ему три книги. Некто Филет Косский, отчаявшись разрешить парадокс, покончил с собой. Предание говорит, что известный древнегре¬ческий логик Диодор Кронос (ум. ок. 307 до н. э.) уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решение «Лжеца», и вскоре умер, ничего не добившись. В древности «Лжец» рассматривался как хороший пример двусмысленного выражения. В ср. в. «Л.» п. был отнесен к т. наз. «неразрешимым предложениям» и сделался объектом систематического анализа. Особым вниманием «Л.» п. пользуется в современной логике. Нередко он именуется «королем логических парадоксов», ему по¬священа обширная научная литература. И тем не менее, как и в случае многих других парадоксов, остается неясным, какие имен¬но проблемы скрываются за данным парадоксом и как следует избавляться от него. Чаще всего «Л.» п. считается характерным примером тех труд¬ностей, к которым ведет смещение двух языков: языка предметно¬го, на котором говорится о лежащей вне языка действительности, и метаязыка, на котором говорят о самом предметном языке. В повседневности нет различий между этими языками: и о дей¬ствительности, и о языке говорится на одном и том же языке. Если язык и метаязык разграничиваются, утверждение «Я лгу» уже не может быть сформулировано. Проблемы, связывавшиеся на протяжении веков с «Л.» п., ра¬дикально менялись в зависимости от того, рассматривался ли он как пример двусмысленности, или же как выражение, внешне пред¬ставляющееся осмысленным, но по своей сути бессмысленное, или же как образец смешения языка и метаязыка. И нет уверенности в том, что с этим парадоксом не окажутся связанными в будущем и другие проблемы (см.: Антиномия). / любая задача решается при достаточном количестве исходных данных ибо недостаточность данных порождает недоумение в процессе решения недостаточного так вот выходят из положения просто перечисляют возможные варианты ещё раз если остаться в положении недодачи то войдёте в тупиковую ситуацию а если обогатите положение то выйдите из ситуации как на примере платона и сократа где сказанное сократом всё сказанное платоном и где сказано платоном что именно сказанное сократом ещё раз на примере я лгу эйнштейн бы тут же вёл понятье относительности и решил бы забавляясь абсолютностью
 
Логика (от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика, — наука о законах и операциях пра¬вильного мышления. Согласно основному принципу Л., пра¬вильность рассуждения (вывода) определяется только его логиче¬ской формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений. Различие между формой и содержанием может быть сделано явным с помощью особого язы¬ка, или символики, оно относительно и зависит от выбора языка. Отличительная особенность правильного вывода в том, что от истинных посылок он всегда ведет к истинному заключению. Та¬кой вывод позволяет из имеющихся истин получать новые исти¬ны с помощью чистого рассуждения, без обращения к опыту, интуиции и т. п. Неправильные выводы могут от истинных посы¬лок вести как к истинным, так и к ложным заключениям. Л. занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами (понятиями), операциями определения и логического деления по¬нятий, вероятностными и статистическими рассуждениями, па¬радоксами и логическими ошибками и т. д. Но главные темы логи¬ческих исследований - анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых являет¬ся необходимым условием получения истинных заключений в процессе вывода. Правильным является, напр., рассуждение, следующее схеме: «Если есть первое, то есть и второе; есть первое, значит, есть и второе» (см.: Модус поненс). По этой схеме из высказываний «Если сейчас день, то светло» и «Сейчас день» вытекает высказывание «Сейчас светло». Какие бы конкретные истинные высказывания ни подставлялись в указанную схему, заключение обязательно бу¬дет истинным. В правильном рассуждении заключение вытекает из посылок с логической необходимостью, общая схема такого рассуждения вы¬ражает логический закон. Рассуждать логически правильно — значит рассуждать в соответствии с законами Л. Л. не просто перечисляет некоторые схемы правильного рас¬суждения. Она выявляет различные типы таких схем, устанавлива¬ет общие критерии их правильности, выделяет исходные схемы, из которых по определенным правилам могут быть получены другие схемы данного типа, исследует проблему взаимной совместимости схем и т. д. В современной Л. логические процессы изучаются путем их отображения в языках формализованных, или логических, исчислений. Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, от¬сутствием исключений, характерных для естественного языка. Ис¬следованием формального строения логических исчислений, пра¬вил образования и преобразования входящих в них выражений занимается логический синтаксис. Отношения между исчисления¬ми и содержательными областями, служащими их интерпретаци¬ями или моделями, исследуются семантикой логической. Современная Л. слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы, содержательных рассуждений. Эти системы принято делить на Л. классическую, включающую классические Л. высказываний и Л. предикатов, и Л. неклассическую, в которую входят модальная Л., интуиционист¬ская Л., многозначная Л., неклассические теории логического следо¬вания, паранепротиворечивая Л., Л. квантовой механики и др. Каж¬дая из этих Л. также включает, как правило, соответствующие Л. высказываний и Л. предикатов. Таким образом, хотя Л. как наука едина, она слагается из множества более или менее частных сис¬тем, ни одна из которых не может претендовать на выявление ло¬гических характеристик мышления в целом. Единство Л. проявляет¬ся прежде всего в том, что входящие в нее «отдельные» Л. пользуются при описании логических процессов одними и теми же методами исследования. Все они отвлекаются от конкретного содержания выс¬казываний и умозаключений и оперируют только их формальным, структурным содержанием. В каждой применяется язык символов и формул, строящийся в соответствии с общими для всех систем принципами. И наконец, «сконструированная» Л. вызывает ряд вопросов, характерных для любой системы: нет ли в ней противоре¬чий, охватывает ли она все истины рассматриваемого рода и др. (см.: Непротиворечивость, Полнота, Разрешения проблема). Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или быть их обобщением и т. д. Единство Л. проявляется также в том, что разные Л. не противоречат друг другу: законами одной из них не являются отрицания законов, принятых в другой. История Л. насчитывает около двух с половиной тысячелетий и разделяется на два основных этапа. Первый начался с трудов Ари¬стотеля (384-322 до н. э.) и продолжался до второй половины XIX - начала XX в., второй — с этого времени до наших дней. На первом этапе Л. развивалась очень медленно, это дало И. Канту по¬вод заявить, что она является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на один шаг. Ошибоч¬ность такого представления была ясно показана в последние сто с небольшим лет, когда в Л. произошла научная революция и на смену традиционной Л. пришла современная Л., называемая также математической или символической Л. В основе последней — идеи Г. Лейбница (1646-1716) о возможности представить доказатель¬ство как математическое вычисление. Д. Буль (1815-1864) истол¬ковал умозаключение как результат решения логических равенств, в результате чего теория умозаключения приняла вид своеоб¬разной алгебры, отличающейся от обычной алгебры лишь от¬сутствием численных коэффициентов и степеней. С работ Г. Фреге (1848-1925) начинается применение Л. для исследования оснований математики. Значительный вклад в развитие Л. в дальнейшем внесли Б. Рассел (1872-1970), А. Н. Уайтхед (1861-1947), Д. Гильберт (1862-1943) и др. В 30-е годы фундаментальные результаты получили К. Гёдель (1906-1978), А. Тарский (1901-1983), А.Чёрч(р. 1903). На первых порах современная Л. ориентировалась почти всеце¬ло на анализ только математических рассуждений. Это поддерживало иллюзию, что развитие Л. не зависит от эволюции теорети¬ческого мышления и не является в к.-л. смысле отображением последней. В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться многозначная Л., предполага¬ющая, что наши утверждения являются не только истинными или ложными, но могут иметь и другие истинные значения; модальная Л., рассматривающая понятия необходимости, возможности, слу¬чайности и т. п.; деонтическая Л., изучающая логические связи нормативных высказываний, и др. Все эти новые разделы не были непосредственно связаны с математикой, в сферу логического ис¬следования вовлекались уже естественные и гуманитарные науки. В дальнейшем сложились и нашли интересные применения: Л. времени, описывающая логические связи высказываний о про¬шлом и будущем; паранепротиворечивая Л., не позволяющая вы¬водить из противоречий все что угодно; эпистемическая Л., изуча¬ющая понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» и т. п.; оценок Л., имеющая дело с поня¬тиями «хорошо», «плохо», «безразлично», «лучше», «хуже» и т. п.; Л. изменения, говорящая об изменении и становлении нового; причинности Л., изучающая утверждения о детерминизме и при¬чинности; парафальсифицирующая Л., не позволяющая отвергать положения, хотя бы одно следствие которых оказалось ложным; релевантная Л. и др. Экстенсивный рост Л. не завершился и сейчас. Основные ее ветви, или разделы, можно сгруппировать так: о базисная Л., в которую входят классическая Л., модальная Л., многозначная Л., неклассические теории логического следования; >> металогика, исследующая сами логические теории, их внут¬реннюю структуру и связи с описываемой ими реальностью; о разделы математического направления, включающие теорию доказательства, теорию множеств, теорию функций, Л. вероятно¬стей, обоснование математики; о разделы, ориентированные на приложение в естественных и гуманитарных науках, такие, как индуктивная Л., изучающая про¬блематичные выводы, логические теории времени, причиннос¬ти, норм, оценок, действия, решения и выбора и др.; >> разделы, находящие применение при обсуждении опреде¬ленных философских проблем: Л. бытия, Л. изменения, Л. части и целого, логические теории вопросов, знания, убеждения, вооб¬ражения, стремления и т. п. Границы между этими областями не являются четкими, одни и те же ветви Л. могут иметь одновременно отношение к филосо¬фии и естествознанию, к математике и металогике и т. д. Прояснение и углубление оснований современной Л. сопро¬вождалось пересмотром и уточнением таких центральных ее по¬нятий, как логическая форма, логический закон, доказательство, логическое следование и др. Законы Л. долгое время представлялись абсолютными истина¬ми, никак не связанными с опытом. Однако возникновение конкурирующих логических теорий, отстаивающих разные множества законов, показало, что Л. складывается в практике мышления и что она меняется с изменением этой практики. Логические зако¬ны - такие же продукты человеческого опыта, как и аксиомы евклидовой геометрии, тоже казавшиеся когда-то априорными. Именно постоянно повторяющаяся практика выявляла некото¬рые общие и инвариантные отношения между вещами, вовлечен¬ными в трудовую деятельность, и закрепляла их в сознании в виде некоторых логических структур, лежащих в основе формулирова¬ния правил логики. Доказательство, и в особенности математическое, принято было считать императивным и универсальным указанием, обязатель¬ным для всякого непредубежденного ума. Развитие Л. показало, однако, что доказательства вовсе не обладают абсолютной, вне¬временной строгостью и являются только опосредствованными средствами убеждения. Даже способы математической аргумента¬ции на деле историчны и социально обусловлены. В разных логи¬ческих системах доказательствами считаются разные последова¬тельности утверждений, и ни одно доказательство не является окончательным. Перемены, происшедшие в Л. в XX в., приблизили ее к реально¬му мышлению и тем самым к человеческой деятельности, одной из разновидностей которой оно является. Для правильного понимания предмета и задач формальной Л. важно четко представлять ее соотношение с диалектической Л. Ди¬алектика как Л. исследует становление и развитие понятий и пред¬ставлений, их отношения, переходы, противоречия. Диалектиче¬ские принципы историзма, конкретности истины, единства абстрактного и конкретного, практики как критерия истины и т. д. направлены на познание закономерностей мышления, взятого в его движении и развитии, в последовательном постижении ре¬альности. Формальная Л. главное внимание направляет на прояс¬нение структуры готового знания, на описание его формальных связей и элементов. Диалектическая и формальная Л. - две разные науки, различающиеся как предметами своего исследования, так и методами. Современная Л. находит применение во многих областях. В час¬тности, она оказала влияние на развитие математики, прежде всего теории множеств, формальных систем, алгоритмов, рекурсивных функций; идеи и аппарат Л. используются в кибернетике, вычис¬лительной технике, в электротехнике и др. / логика подобно математике занята бессодержательным носителем содержания для того чтобы привязывая предлагаемый логикой носитель с необходимым потребителю содержанием знать правила пользования имеющимся материалом как на примере физики содержание физики работает соответственно бессодержательному математики так что не суйтесь в логику с религией но извлекайте логику в религию тогда и будет логика державной то есть нам принадлежащей а религия самодержавной то есть правее нас лишь бог которого мы слышим подчиняться ещё раз как в боевом искусстве приёмов много но главное не в их количестве а в качестве владения а совершенство мастерства в искусстве боя а не в бое по искуснее посмотри в базу стал и кто собьёт когда ты собственно она сама так что как прежде утверждаю логику для прикладного есть операторы мышления есть приёмы мышления есть аспекты мышления вот база для совокупности авторитетного мышления на собственные вкусы предрасположенности нравы
 
Логика Времени или: Временная логика, — раздел современной модальной логики, изучающий логические связи вре¬менных утверждений, т. е. утверждений, в которых временной па¬раметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ. логика А. Н. Прайора, хотя первые попытки учесть роль временного фак¬тора в логическом выводе относятся еще к античности (Аристотель, Диодор Кронос). Задачей Л.в. является построение искусственных (формализо¬ванных) языков, способных сделать более ясными и точными, а следовательно, и более плодотворными рассуждения о предметах и явлениях, существующих во времени. Л. в. представляет собой множество логических систем (логик), распадающихся на А-л о г и к у и B-логику времени. Пер¬вая ориентирована на временной ряд «прошлое — настоящее — будущее», вторая - на временной ряд «раньше - одновременно -позже». В А-логике рассматриваются высказывания с «будет», «было», «всегда будет», «всегда было» и т. п. Понятия «будет» («было») и «всегда будет» («всегда было») взаимно определимы: «Будет A» («Было A») означает «Неверно, что всегда будет не-А» («Неверно, что всегда было не-А»). Напр., «Будет ветрено» означает то же, что «Неверно, что всегда будет безветренно». В числе законов А-логики времени утверждения: >> то, что всегда будет, будет; то, что всегда было, было (напр.: «Если всегда будет время, то оно будет»); >> неверно, что наступит противоречивое событие; неверно, что было такое событие («Неверно, что было холодно и не холодно»); >> если будет, что будет нечто, оно будет; >> если неверно, что всегда было, что не всегда будет нечто, то оно имеет место сейчас; >> будет, что нечто было, если и только если оно или есть сей¬час, или будет, или уже было («Будет так, что шел снег, только если он или идет, или пойдет, или уже шел»); >> всегда было, что всегда будет нечто, только если оно есть, всегда было и всегда будет («Всегда было, что всегда будет хоро¬шая погода, в том и только том случае, если она есть, всегда была и всегда будет») и т. п. Финским философом и логиком Г. X. фон Вригтом А-логика времени формулируется с использованием выражений «...и за¬тем...» и «...и в следующей ситуации...». «A и затем В» означает «Сейчас А и будет В», что может пониматься также как «A изменяется (переходит) в B». Л.в. может, таким образом, истолковываться и как логика изменения. В терминах временных понятий могут быть определены модаль¬ные понятия «необходимо» и «возможно»: >> необходимым является то, что всегда было, есть и всегда бу¬дет («Пространство необходимо, только если оно всегда было, есть и всегда будет»); >> возможно то, что или было, или имеет место, или будет («Воз¬можно, что птицы улетают на юг, только если они уже улетели, улетают сейчас или улетят в будущем»). В B-логике времени рассматриваются высказывания с «рань¬ше», «позже» и «одновременно». Первые два из этих понятий вза¬имно определимы: «A раньше В» означает «В позже A». Одновре¬менные события могут быть определены как такие, что ни одно из них не раньше другого. Среди законов B-логики утверждения: >> ничто не раньше самого себя; >> если первое раньше второго, то неверно, что второе раньше первого; >> если первое раньше второго, а второе одновременно с треть¬им, то первое раньше третьего и т. п. Понятие «раньше» неопределимо через «было», «есть» и «будет»; раньше одно другого могут быть и два прошлых, и два будущих события. В свою очередь, временные оценки, включающие ссылку на «настоящее», несводимы к утверждениям с «раньше». А-логика и B-логика времени являются, таким образом, двумя самостоя¬тельными, несводимыми друг к другу ветвями Л. в. А-логика времени нашла приложения при обсуждении некото¬рых философских проблем, в анализе грамматических времен и др. B-логика использовалась при аксиоматизации определенных раз¬делов физики, биологии, при обсуждении проблемы непротиво¬речивого описания движения и др. Временные ряды «прошлое - настоящее - будущее» и «рань¬ше - одновременно - позже» несводимы друг к другу. Они независимы в широких пределах и представляют собой две точки зре¬ния на мир, два способа описания одних и тех же вещей и собы¬тий, дополняющие друг друга. Первый ряд употребляется по пре¬имуществу в гуманитарных науках, второй - в естественных. Можно сказать, что первые понятия служат для описания становле¬ния мира, вторые — для описания его бытия. Поскольку времен¬ные ряды несводимы друг к другу, возникает вопрос, не является ли один из них более фундаментальным. Согласно распространен¬ной точке зрения, в интерсубъективном, безличностном языке науки неправомерно употребление «было - есть - будет», предполагающих ссылку на «субъективное», постоянно меняющее свое положение «настоящее». С другой стороны, мир без «стрелы вре¬мени» неисторичен, он как бы задан сразу, и все события лежат в одной временной плоскости. К этому спору о допустимости использования в науке временных оценок с изменяющимся истинностным значением имеет пря¬мое отношение и Л. в. / с одной стороны обозначим было как > есть как = будет как < с другой стороны раньше (>) одновременно (=) позже (<) вопрос верно ли что эти стороны не соприкасаются смотрим если было раньше >(>) то есть ли быть и будет ли позже =(=)<(<) если раньше было не стать позже (>)><(<) то позже стало не быть и доныне (<)<<(=) если то что было раньше будет позже >(>)<(<) то есть ли ныне то что есть по ходу дела =(=)=(=) итэдэ примерь на если >(>) то =(=)<(<) раньше были бесы по церквям которых иуст разгонял ну и где которых нужно гнать с церквей вот так вот гонят на их гонящих мол верят в снятие греха путём указанным в их евангелиях примерь на если (>)><(<) то (<)<<(=) геоцентризм обоснованно сменился гелиоцентризмом потому и не возобновляется вот так бы и в религии поубирать с неё ошибки заметили христа и нежелания им быть не говоря уже о нежелании его вообще сей лгущей массой лицемеров примерь на если >(>)<(<) то =(=)=(=) иисус воскреснуть обещал мол повторюсь так что не повторитесь ещё раз было раньше было одновремённо было позже итэдэ так что ставить равенство между было и раньше не совсем этично по отношению к одновремённо и позже вот так и в боге ставить точку на равенстве между христом и прежним исусом не совсем этично по отношению к нему же настоящему и будущему как на примере авраама патриарх воскреснул плотью иуста а тем довольно было прежнего
 
Логика Высказываний или: Пропозициональная логика, — раздел логики, формализующий употребление логичес¬ких связок «и», «или», «не», «если, то» и т. п., служащих для образова¬ния сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие высказывания, в противном случае оно называется с л о ж н ы м. В Л. в. простые выс¬казывания рассматриваются в отвлечении от их внутренней (субъектно-предикатной) структуры. Та или иная истинностная оценка высказывания именуется его истинностным значением. В логике классической предполагается, что простое высказыва¬ние является либо истинным, либо ложным (см.: Двузначности принцип) и что истинностное значение сложного высказывания зависит только от истинностных значений входящих в него про¬стых высказываний и характера их связи. Так, соединение двух высказываний с помощью связки «и» дает сложное высказывание (именуемое конъюнкцией), являюще¬еся истинным, только когда оба составляющие его высказывания истинны. Сложное высказывание, образованное с помощью связ¬ки «или» (дизъюнкция), истинно, если и только если хотя бы одно из двух входящих в него высказываний истинно. Сложное выска¬зывание, образованное с помощью «не» (отрицания), истинно, если только исходное высказывание ложно. Сложное высказывание, полученное из двух высказываний с помощью связки «если, то» (импликация), истинно в трех случаях: оба входящие в него выска¬зывания истинны, оба они ложны, первое из этих высказываний (следующее за словом «если») ложно, а второе (следующее за сло¬вом «то») истинно; импликация является ложной только когда первое из составляющих ее высказываний истинно, а второе ложно. Возможны и другие способы образования сложных высказыва¬ний. Всего в классической двузначной логике четыре способа об¬разования сложного высказывания из одного высказывания и шестнадцать способов образования сложного высказывания из двух высказываний. Язык Л. в. включает бесконечное множество переменных: р, q, r,..., p1, q1, r1, ..., представляющих высказывания, и особые символы для логических связок : & — конъюнкция («и»), v - дизъюнкция («или»), ~ - отрицание («не» или «неверно, что»), -> — имплика¬ция («если, то»). Роль знаков препинания обычного языка играют скобки. Понятие формулы в Л. в. определяется так: отдельная переменная является формулой; если A и В — формулы, то (А&В), (AvB), ~A и (A->B) также формулы. Формулам Л. в., образованным из переменных и связок, в естественном языке соответствуют предложения. Напр., если р есть высказывание «Сейчас ночь», q — высказывание «Сейчас темно» и r — высказывание «Сейчас ветрено», то формула (p->(qvr)) представляет высказывание «Если сейчас ночь, то сейчас темно или ветрено», формула ((q&.r)->p) - высказывание «Если сейчас темно и ветренно, то сейчас ночь», формула (~q->~p) — высказывание: «Если неверно, что сейчас темно, то сейчас не ночь» и т. п. Подставляя вместо переменных другие высказывания, получим другие переводы указанных формул на обычный язык. Каждой формуле Л. в. можно поставить в соответствие таблицу истинности, указывающую зависимость истинностного значения формулы от истинностных значений входящих в нее переменных. Напр., формула (~q->~p) принимает значение «ложно» только в случае ложности q и истинности р. Формула Л. в. называется тождественно-истинной, или тавтологией, если и только если она принимает значение «истин¬но» при всех распределениях истинностных значений входящих в нее простых высказываний. Формула, принимающая при всех рас¬пределениях значение «ложно», называется противоречием. Тавто¬логии выражают логические законы. К тавтологиям относятся, в ча¬стности, формулы: (р->р) — закон тождества, ~(р&~р) — закон непротиворечия, (pv~p) — закон исключенного третьего, (p->q)->(~q->~p) - закон контрапозиции. Множество тавтологий бесконечно. Л. в. может быть представлена также в форме логического исчис¬ления, в котором задается способ доказательства некоторых выс¬казываний (формул), называемых теоремами. Исчисление может быть формализовано с помощью аксиоматического метода. При этом указываются формулы, принимаемые в качестве аксиом, и задаются правила вывода, позволяющие получать из аксиом теоре¬мы. Аксиоматическое исчисление высказываний строится таким образом, чтобы класс теорем совпадал с классом тавтологий, т. е. чтобы каждая теорема была тавтологией и каждая тавтология — теоремой (см.: Полнота). По отношению к аксиоматическому по¬строению встают также вопросы о его непротиворечивости и неза¬висимости принятых аксиом и правил вывода. Наряду с классической Л. в., предполагающей, что всякое выс¬казывание является истинным или ложным, существуют много¬образные неклассические Л. в. В числе последних — многозначные Л. в., интуиционистская Л. в. и др. / если истинное высказывание что положительное положение а ложное что отрицательное тогда действие их сложения должно приводить их убавление друг другом иначе высказывание уподобится решению до знака равенства без собственного на себя ответа после знака равенства примерь те крестятся двумя мол отцом и сыном те тремя мол святага духа позабыли те тем в ответ а кукиш вами ну те и выдали в ответ держите сами ну и в ответе видим пять двоих как при решении а не единое от двух как после быть обязано или вот это икона святость христианства аллах нам завещал не верить в святость рукоделия не нашей веры вы тогда да сами вы неверные и так в ответе как до ответа два своих а не одного единого аллаха иже бога всем и вся ещё раз креститься нужно богом как на примере астрономии перекрестились ею понести её и дальше в путь её святыми так что вы руки спрячьте от беды ибо то в боге постороннее да и святость бога бог как на примере математики она во всём но извлекать умете или она вам не нужна ибо вам бы лишь бы и себе поучаствовать в сём зрелище её уничтожения заметь как много в боге не решённого к примеру те отмечают день христа а те в другой но оба в не настоящий день а в календарный те служат лицами к народу те от народа лицами но оба лицами не служат богом ибо лицами в него не вышли что у тех туризм что у этих что там едят что там не голодают что там носимое не так что там так не носимое ну и в чём меж ними разница когда меж ними знаки равенства усугубляющих неположительное
 
Логика Дедуктивная см.: Дедукция. / вы б научились действовать на уровне плюс минус тогда бы поднялись до уровня произвести и отнести а после и вообще поднялись бы до уровня корней и степеней логарифмов и тэдэ ещё раз возвратись к логике высказывания и научись завершать начатое ибо пророк не отступится от начатого так что продолжение от меня 2.27.16.17 будет соответственно совершённому от вас 2.27.12.10
 
Логика Изменения - раздел современной логики, занима¬ющийся исследованием логических связей высказываний об из¬менении и становлении материальных или идеальных объектов. Л.и. относится к логике неклассической; ее задача — построение искусственных (формализованных) языков, способных сделать бо¬лее ясными и точными рассуждения об изменении объекта — переходе его от одного состояния к другому, о становлении объекта, его формировании. В Л. и. ничего не говорится о конкретных характеристиках изменения и становления. Она только предоставляет совершенный с точки зрения синтаксиса и семантики язык, позволяющий дать строгие утверждения об изменении объекта, вскрыть основания и следствия этих утверждений, выявить их возможные и невозможные комбинации. Использование искусствен¬ного языка при обсуждении проблем изменения объекта не есть подмена этих онтологических проблем логическими, сведение эм¬пирических свойств и зависимостей к логическим. Разработка Л. и. идет по двум направлениям: построение специальных Л. и. и истолкование определенных систем логики времени как логических описаний изменений. При первом подходе обычно дается «одномоментная» характеристика изменяющегося объекта, при втором изменение рассматривается как отношение между дву¬мя последовательными состояниями объекта. К первому направлению относится, в частности, логика на¬правленности. Язык логики направленности богаче, чем язык логики классической; он включает не только термины «существует» и «не существует», но также термины «возникает», «исчезает», «уже есть», «еще есть», «уже нет», «еще нет» и т. п. С помощью этих терминов формулируются законы логики направленности: >> существовать — это то же, что начинать исчезать, и то же, что переставать возникать; >> не существовать - то же, что начинать возникать, и то же, что прекращать исчезать; >> становление — прекращение несуществования, а исчезнове¬ние - возникновение несуществования; >> уже существует — значит существует или возникает и т. п. Логика направленности допускает четыре типа существования объектов: бытие, небытие, возникновение (становление) и ис¬чезновение. Относительно всякого объекта верно, что он или су¬ществует, или не существует, или возникает, или исчезает. Вместе с тем объект не может одновременно существовать и не существо¬вать, существовать и возникать, не существовать и исчезать, возни¬кать и исчезать и т. п. Иными словами, четыре типа существования исчерпывают все возможные способы существования и являются взаимно несовместимыми. Логика направленности позволяет вы¬разить в логически непротиворечивой форме гегелевское утверждение о противоречивости всякого движения и изменения. Ут¬верждение «Предмет движется в данный момент в данном месте» эквивалентно утверждению «В рассматриваемый момент предмет находится и не находится в данном месте». Примером второго подхода может служить логика времени финского философа и логика Г. X. фон Вригта (р. 1916). Ее исходное выражение «A и в следующей ситуации В» может интерпретироваться как «Состояние А изменяется в состояние В» («А-мир переходит в B-мир»), что дает Л. и. В логике времени доказуе¬мы такие теоремы: >> всякое состояние либо сохраняется, либо возникает, либо исчезает; >> при изменении состояние не может одновременно сохра¬няться и исчезать, сохраняться и возникать, возникать и исчезать; >> изменение не может начинаться с логически противоречи¬вых состояний и не может вести к таким состояниям и т. п. Примеры утверждений, доказуемых в различных системах Л. и., показывают, что она не является самостоятельной теорией из¬менения и не может претендовать на то, чтобы быть таковой. Фор¬мально-логический анализ изменения объекта преследует узкую цель - отыскание средств, позволяющих отчетливо зафиксировать логические связи утверждений об изменении того или иного объекта. Вместе с тем Л. и. имеет важное философское значение, по¬скольку тема изменения (становления) еще с античности стоит в центре острых философских дискуссий. Л. и. позволяет, кроме про¬чего, прояснить отношение формальной логики к концепции внут¬ренне противоречивой сущности становления. / если бог сущность законодательства по которому всё существует то как он есть во всём что существует рассмотрим вопрос с использованием модели математики как сущности законодательства видим внутри нас математика предстаёт нашим её сознанием нами математика предстаёт математиками вне нас математика предстаёт чем только не предстаёт в глубине всего математика предстаёт нашим собственным её естеством которое либо есть в человеке либо в меру наличия и результаты нашего её познания ещё раз сознание растёт математики сменяются обстоятельства применения соответствуют настоящему состоянию дел математические местоимения входят в общий курс математики соответственно своему в нём расположению заметь как математика предстаёт тремя четвёртого и двумя третьего и единым двух и двумя одного и тремя двух и четырьмя трёх
 


Все | А | Б | В | Г | Д | З | И | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Ц | Ч | Э | Ю | Я


Glossary V2.0

БЛАГОУСТРАИВАТЬ

для записи 2.27.20.6

чинам чести 1.1.49 чинам чести 2.27.7