kosta.gif
повестки

жалуем

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

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

Tuesday, 11 December 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 »
Термин Определение
Формализация

/ (от лат. forma — вид, образ)  — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соот­ветствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов. Ф. уточняет содер­жание путем выявления его формы и может осуществляться с раз­ной степенью полноты. Выражение мышления в естественном языке можно считать пер­вым шагом Ф. Дальнейшее ее углубление достигается введением в обычный язык разного рода специальных знаков и созданием час­тично искусственных и искусственных языков. Логическая Ф. направлена на выявление и фиксацию логической формы выводов и доказательств. Полная Ф. теории имеет место тог­да, когда совершенно отвлекаются от содержательного смысла ее исходных понятий и положений и перечисляют все правила логи­ческого вывода, используемые в доказательствах. Такая Ф. включает в себя три момента: 1) обозначение всех исходных, неопределяе­мых терминов; 2) перечисление принимаемых без доказательства формул (аксиом); 3) введение правил преобразования данных фор­мул для получения из них новых формул (теорем). В формализованной теории доказательство не требует обращения к содержанию используемых понятий, их смыслу. Доказательство является здесь последовательностью формул, каждая из которых либо есть аксиома, либо получается из аксиом по правилам вывода. Про­верка такого доказательства (но не его отыскание) превращается в чисто механическую процедуру, которая может быть передана вычислительной машине. Ф. играет существенную роль в уточнении научных понятий. Мно­гие проблемы не могут быть не только решены, но даже сформулированы, пока не будут формализованы связанные с ними рассуж­дения. Так обстоит дело, в частности, с широко используемым по­нятием алгоритма и вопросом о том, существуют ли алгоритмически неразрешимые проблемы. Только с Ф. арифметики появилась возможность поставить воп­рос, охватывает ли формализованная арифметика всю содержатель­ную арифметику. Как показал К. Гёдель, достаточно богатая содер­жанием теория (охватывающая арифметику натуральных чисел) не может быть полностью отображена в ее формализованной версии; как бы ни пополнялась дополнительными утверждениями после­дняя, в теории всегда останется невыявленный, неформализованный остаток (см.: Гёделя теорема). / 1.11.18.21 ещё раз если бог мудрость то какие в нём могут быть глупости если заняты глупостями то какой ими может быть бог 1.6.7 так что определитесь наконец то если бог вам господь то и последуйте за мудростью а если глупости вам бог то всё то ваши веры в нём а не его воля мёд с гавном соединять и вас насиловать двумя мол ложка бочку не испортит да ну примерь и в чём же мудрость христа смотреть по дню календаря или прислушиваться к тем кто поправляет в боге богом и в чём же богу служим как не в результатах или с вас достаточно процесса 1.1.4.3 ну и прочее в сём роде мёртвым петь чтоб не ещё уже совсем отпетым

 

 
Формальная Логика

/ или: Л о г и к а,  наука, занимающая­ся анализом структуры высказываний и доказательств, обраща­ющая основное внимание на форму в отвлечении от содержания (см.: Содержание и форма). Определение «формальная» было введе­но И. Кантом (1724—1804) с намерением подчеркнуть ведущую особенность Ф. л. в подходе к изучаемым объектам и отграничить ее тем самым от других возможных логик. / верить в бога без веры богу то же что верить в математику в нарушение её математики ещё раз верят по традиции отцов тут традиции на смену бог приводит бога ну и чем закончится с ним ваша встреча евангелием очередным мол сей грех на вас и ваших детях да ради бога бог сказал и дал себя на умерщвление ебитесь мол авось и за не за горами заметь никакой конкретики а как конкретно     

 

 
Формальная Суппозиция

/ см.: Суппозиция. / номинаты денотаты десигнаты отцы дети духи атрибуты модусы тэдэ видишь как одно и то же может быть не одним тем же ещё раз на примере математики не той которая как словесное обозначение её предмета а то которая как математическое обозначение ею решаемого заметь как в боге так как в математике вот так вот мантра кришны не то что на устах а то что на уме примерь без смысла повторять без толку время проводить а смысл искать у бога толку научиться 

 

 
Формальная Теория

/ теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, ма­нипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система явным образом включает­ся в теорию. Поэтому более точно Ф. т. можно определить как упорядоченную тройку (L, A, C), где L представляет формализо­ванный язык, A — множество аксиом и С — множество правил вывода. Ф. т. обычно строится следующим образом. Вначале задается алфа­вит языка — набор исходных символов, включающий в себя симво­лы для индивидных констант и переменных, для предикатов и функ­ций, для логических связок и кванторов. Затем определяется понятие правильно построенной формулы. Это определение дол­жно быть эффективным, т. е. должна существовать эффективная про­цедура, позволяющая для произвольной последовательности симво­лов решить, является ли она правильно построенной формулой. Из множества формул выбирается некоторое подмножество аксиом. Оп­ределение аксиомы также должно быть эффективным. Наконец фор­мулируются правила вывода, позволяющие получать из одних фор­мул другие. Добавляя к алфавиту языка новые математические, физические и др. символы и присоединяя к аксиомам дополнительные математические или конкретно-научные принципы, получают формальную конкретно-научную теорию. Примерами Ф. т. являются: пропозицио­нальное исчисление, исчисление предикатов, теория порядка, тео­рия групп, теория решеток, теория множеств и т. п. / вот так писания и создавались вначале видели что говорить затем искали как сказать а после говорили найденным увиденное ещё раз ну и скажите зачем вам знать когда и так всё знаете ну и на засыпку а если знаете зачем вы знанию когда мертвы и сами и оно чрез вас живущих якобы сим благом  

 

 
Формы Мысли

/ или: Формы мышления,  — в традици­онной логике основными формами мысли считаются понятие, суж­дение и умозаключение. Каждая из этих основных форм имеет многочисленные разновидности. / по мне так приём мышления оператор мышления и аспект мышления определяют совокупность мышления примерь понятие как оператор мы им оперируем в ходе мысленного процесса суждение как приём мы в нём бессознательно или сознательно применяем подходы мыслительного решения умозаключение как аспект мы именно со своей позиции находим обоюдно приемлемую ещё раз когда ты видишь то видишь и другими когда же слеп то и в своём преткнёшься а у других подавно

 

 
Функтор

/ — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы — индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двух­местными Ф. — бинарные логические связки: конъюнкция, дизъюнк­ция, импликация и т. п. Иногда Ф. подразделяются на экстенсиональные и ин­тенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинност­ные значения тех простых высказываний, к которым они применя­ются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импли­кацию и т. п. (см.: Функция). / посредством каких преобразующих сил человек становится математиком или не становится им да и как теория математики воплощается в следственные результаты как в ожидаемые так и в непредвиденные ну и о возникновении предмета математики видишь функтор между достижением математики и стартом в достижении вот так и в боге нольместность одноместность двухместность итэдэ ещё раз соблюдение необходимого условия подобно присутствию константы преобразующей в себя множество да и прохождение соблюдаемого условия подобно вычитанию из уже существующих благодаря чему остаются ещё не соблюдённые ну и если результат достигнут то в начале что то было ибо при отсутствии начала и в конце конца невидно примерь на 3) как грех снимается в предмете астрономии сожгли коперника и сгладился благоволеньем астрономии не так ли схема и с христом на 2) как есть занятье производящее предмет а так и есть одним занятием без производства не так ли с богом обстоят дела на 1) как творчество авторитета достойно веры в их тождественность как творчества творцу а как у вас смотри и сами ставите неравенство и тут же верите достойно бога наше творчество его 

 

 
Функция

/ (от лат. functio — осуществление, выполнение)  — соот­ветствие между переменными величинами х и у, в результате которо­го каждому значению величины х (независимой переменной, аргу­менту) сопоставляется одно-единственное значение величины у (за­висимой переменной). Это соответствие записывается в виде выражения y=f(x). Такое соответствие может быть задано не только формулой, но и графиком или таблицей (примером такой таблицы может быть таблица логарифмов). Множество элементов некоторой Ф., подставляемых вместо х, называют областью ее определения, а множество элементов у некоторой Ф. называют областью ее значе­ний. Обобщением понятия одноместной Ф. является понятие много­местной Ф. (см.: Отношение). В логике большую роль играет понятие о пропозициональной Ф. (см.: Ф. пропозициональная, Ф. переменная, Отношение функциональное). / в паре бог и человек кто из области определения а кто из области значений как на примере математики благодаря тому иному функтору то иное приобретает вид того иного вот так и так и этак будет верно ещё раз человек благодаря математике становится математиком а математика благодаря человеку становится математикой видишь два не противоречащие хода события с существенным изменением области определения и области значения вот так и в боге бог отец ибо рождает волю от себе подобного чела но и человек отец рождающий свою от авторитета свыше с тем чтоб парой тому стать видишь как есть сын святого духа а у вас что божьей троицей впросак от простаков не дружащих ни с ни с ни с

 

 
Целевое Обоснование

/ - обоснование позитивной оценки какого-то объекта ссылкой на то, что с его помощью может быть получен другой объект, имеющий позитивную ценность. Напр., по утрам следует делать зарядку, поскольку это способствует укреплению здоровья; нужно отвечать добром на добро, т. к. это ведет к справедливости в отношениях между людьми и т. п. Ц. о. иногда наз. мотивационным; если упоминаемые в нем цели не являются целями человека, оно обычно именуется телеологическим. Центральным и наиболее важным способом эмпирического обо­снования описательных (дескриптивных) высказываний является выведение из обосновываемого положения логических следствий и их последующая опытная проверка. Подтверждение следствий — свидетельство в пользу истинности самого положения. Общая схема косвенного эмпирического подтверждения: (1) Из A логически следует B; В подтверждается в опыте; зна­чит, вероятно, A истинно. Это — индуктивное рассуждение, истинность посылок не обеспе­чивает здесь истинности заключения. Эмпирическое подтвержде­ние может опираться также на подтверждение в опыте следствия причинной связи. Общая схема такого каузального подтвержде­ния: (2) A является причиной В; следствие В имеет место; значит, вероятно, причина A также имеет место. Напр.: «Если идет дождь, земля является мокрой; земля мок­рая, значит, вероятно, идет дождь». Это - типичное индуктивное рассуждение, дающее не достоверное, а только проблематичное след­ствие. Если бы шел дождь, земля действительно была бы мокрой; но из того, что она мокрая, не вытекает, что идет дождь: земля может быть мокрой после вчерашнего дождя, после таяния снега и т. п. / богу служат для самого бога как пишется в писаниях теперь смотри как это значит служат математике для самой математики то есть в цели не само служение как на примере каина а достижение ответа как на примере авеля ещё раз благодатный огонь иерусалима это не плазма фокуса коперфильда а слово бога с уст его производящих 1.1.14.18 примерь Салим: 1) [Евр. Шалем, "невредимый", "целый", "мирный"], & Иерусалим. Первонач., возм., "основание (Божия) Салима"; в Библии толкуется как "основание мира". I. НАЗВАНИЕ Во времена Авраама И. назывался Салимом - "мир" (Быт ; ср. Пс 75:3; Евр 7:2), & Мел(ь)хиседек (царь правды) (Быт 14.18; Пс 109.4; Евр 5.6,10; 6.20; 7.1,10,11,15,17,21) - царь Салима и священник Бога Всевышнего. Таинственная фигура, неожиданно появившаяся перед Авраамом, со словами воистину христос 1.1.1.28 заметь воскрес когда он трудится по исправлению ошибок в боге а не когда нет исправляющего но есть традиция отметить и нажраться допьяна ибо исправления вас к богу приближают а не надежды на уже мол их скопу рай а их противникам другое да ааа а в смоле ада кто погряз по сами уши 1.1.3: 1.1.14 

 

 
Цель-Средство

/ - обоснование позитивной ценности сред­ства путем ссылок на позитивную ценность цели и наличие причинной связи между средством и целью. Таковым является, напр., обоснование внесения удобрений тем, что это способствует повы­шению урожая; позитивная оценка смертной казни на том основа­нии, что она якобы прямо влияет на сокращение числа тяжких преступлений, и т. п. Иногда идею обоснования Ц.-с. передают с помощью афоризма «Цель оправдывает средства», вызывающего постоянную полемику. Рассуждение, обосновывающее позитивную оценку средства ссыл­кой на позитивную ценность цели, идет по одной из следующих двух схем: (1) В есть средство для достижения A; A - позитивно ценно; значит, В, по-видимому, позитивно ценно. (2) Не-В есть средство, ведущее к не-A; А является целью (по­зитивно ценно); значит, вероятно, В также позитивно ценно. Связь Ц.-с. представляет собой перевернутую связь «причина-следствие»: если В есть причина А, то В есть тем самым средство или одно из средств достижения A. Схема (2) эквивалентна на базе про­стых принципов логики абсолютных оценок схеме: A есть причина В; В - отрицательно ценно; значит, A также, вероятно, является отрицательно ценным. Напр.: «Если все лето идут дожди, урожай будет невысоким; плохо, что урожай будет невысоким; значит, по всей вероятности, плохо, что все лето идут дожди». Рассуждения по схемам (1) и (2) являются не дедуктивными, а индуктивными, их заключение только вероятно или проблематично. Можно, таким образом, сказать, что принцип «Цель оправдывает средство» не является универсальным: иногда это действительно так, но иногда, какой привлекательной ни является цель, она не способна оправдать предлагаемые для ее достижения средства. Слово «причина» употребляется в нескольких различающихся по своей силе смыслах. В целевых обоснованиях обычно использу­ется не само это слово, а выражения «способствовать наступлению (какого-то) состояния», «способствовать сохранению», «препят­ствовать наступлению», «препятствовать сохранению». Эти выра­жения подчеркивают многозначность слова «причина». Наиболее сильный смысл этого слова предполагает, что имеющее причину не может не быть, т. е. не может быть ни отменено, ни изменено ника­кими иными событиями или действиями. Наряду с этим понятием полной, или необходимой, причины имеются также более слабые понятия частичной, или неполной, причины. Полная причина всегда или в любых условиях вызывает свое следствие, частичные при­чины только способствуют наступлению своего следствия, а следствие реализуется лишь в случае объединения частичной причины с некото­рыми дополнительными условиями. Чем более сильной является при­чинная связь, упоминаемая в целевом обосновании, т. е. чем эффек­тивнее то средство, которое предлагается для достижения поставлен­ной цели, тем более убедительным кажется целевое обоснование. Средство, указываемое в целевом обосновании, как правило, не является оценочно нейтральным. Если оно все-таки приемлемо для аудитории, целевое обоснование будет представляться ей достаточно убедительным. Но если средство сомнительно (негативно ценно), встает вопрос о сопоставлении наносимого им ущерба с теми преимуществами, которые способна принести реализация цели. Независимо от того, насколько ценной является цель и в какой мере приемлемо предлагаемое для ее достижения средство, целевое обоснование является индуктивным рассуждением. Если даже используемая в нем причинная связь является сильной, предлагаемое средство - вполне приемлемым, а поставленная цель - существенной, заключение целевого обоснования представляет собой проблематичное утверждение, нуждающееся в дальнейшем обосновании. Два примера целевого обоснования, взятые у философа XVIII в. Дж. Локка. Локк пишет в одном месте, что человек не должен иметь такого количества слив, которые не могут съесть ни он сам, ни его семья, т. к. они испортятся, но он может иметь столько золота и бриллиантов, сколько может получить законным образом, ибо зо­лото и бриллианты не портятся. По-видимому, Локк рассуждал так: «Если у человека слишком много слив, то часть из них непременно испортится; плохо, когда сливы портятся; значит, нельзя иметь чересчур много слив». Это рассуждение является попыткой целевого обоснования нормы «Нельзя иметь слишком много слив». Рассуж­дение неубедительно, поскольку первая его посылка не является истинным утверждением: Локку не приходит в голову, что обла­датель большого количества слив может продать их или подарить прежде, чем они испортятся. Второе целевое обоснование Локка: «Драгоценные металлы являются источником денег и обществен­ного неравенства; экономическое неравенство достойно сожаления и осуждения; значит, драгоценные металлы заслуживают осуждения». Локк принимал первую посылку этого рассуждения, сожа­лел, хотя и чисто теоретически, об экономическом неравенстве и вместе с тем не думал, что было бы разумно предпринять такие шаги, которые могли бы предотвратить это неравенство. Логичес­кой непоследовательности в такой позиции нет, поскольку в дан­ном целевом обосновании, как и во всяком другом, заключение не вытекает логически из посылок. / предотвращай убыток храня достаток в эскавэ вот как верно он сказал а не как вы теперь продолжим о своём математику как цель достигают математикой как средством вот так и в боге им самим а не как на примере астрономии поверим в гибель астронома и будет наша астрономия а фиг вам а не власть её вот так и в евангелии иль царь я вам иль вы к отцу придёте на ковёр его уж точно не распнёте а он вот вас за глаз свой спросит с вашего ещё раз без внедрения математики не будет извлечения математики вот так и в боге а вам там ниндзя говорит не верит он пророку а он там пробовал что делать иль сидя сиднем ничего не делал для того но ждал с меня когда же будет ему толк заметь себя тут тоже не забудьте усмотреть не сами ли с печи не слезете разжечь то под собою а так и дальше на холодной лжёте на неё не греет печь а обещала

 

 
Частное Суждение

/ - суждение, имеющее логическую струк­туру «Некоторые S суть Р» (частноутвердительное суждение) или «Некоторые S не есть Р» (частноотрицательное суждение). Примера­ми частных суждений могут быть: «Некоторые металлы являются жидкими» (1), «Некоторые металлы электропроводны» (2), «Неко­торые металлы не являются жидкими» (3), «Некоторые киты не являются рыбами» (4). Словно «некоторые» в случае Ч. с. употребле­но в смысле «по меньшей мере некоторые (а может быть, и все)». Это означает, что допускаются случаи, когда Ч. с. являются истинными и соответствующие им общие суждения также являются истинными. Таковы суждения (2) и (4). Суждение «Некоторые металлы электропроводны» считается истинным, хотя и соответствующее ему общее суждение «Все металлы электропроводны» также является истинным. Более адекватно смысл частноутвердительного суждения выражается структурой «Существуют такие элементы множества S, которые обладают свойством Р», смысл же частноотрицательного суждения более адекватно выражается структурой «Существуют та­кие элементы множества S, которые не обладают свойством Р». Эта структура охватывает все случаи употребления слова «некоторые» в частных суждениях: и в смысле «только некоторые», и случаи, ког­да слово «некоторые» в частных суждениях не исключает того, что одновременно и «все S суть (не есть) Р». / бога много а человека мало как на примере математики мне что надо всю её знать или лишь в меру надобности со знанием того что она есть больше нашей надобности вот так и в боге бога больше чем у нас самих его и проблема наша с ним не в том что меньше у кого то а в том что в малом неверны быть по большому вовсе срамно ещё раз быть в малом верно лучше чем быть с большим в нём ошибаясь как в евангелии обещано чем больше дам тем больше и потребую но и чем меньше вами тем больше я другими 

 

 


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


Glossary V2.0

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

для записи 2.27.20.6

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