Знаки препинания в предложенияхсо словами и конструкциями, грамматическине ...Larisa ZaytsevaЗадание 17 ЕГЭ по русскому языку. Знаки препинания в предложенияхсо словами и конструкциями, грамматическине связанными с членами предложения
Schang which logic for iterativesform_philThis document discusses iterative verbs in modal logic. It defines iterative verbs as those that can apply repeatedly to oneself, unlike verbs of repeated physical actions. It examines how different modal logics, like S4 and S5, treat iterative concepts. Some key points made:
- Iterative verbs include believe, know, doubt, want, which are propositional attitudes.
- Epistemic logic's theorem of positive introspection is that if one knows p, they know they know p.
- Boulic logic examines desires to desire something.
- Grammatical distinctions between indicative/factive vs. subjunctive/hypothetical usages and use of "that" vs. "whether".
Знаки препинания в предложенияхсо словами и конструкциями, грамматическине ...Larisa ZaytsevaЗадание 17 ЕГЭ по русскому языку. Знаки препинания в предложенияхсо словами и конструкциями, грамматическине связанными с членами предложения
Schang which logic for iterativesform_philThis document discusses iterative verbs in modal logic. It defines iterative verbs as those that can apply repeatedly to oneself, unlike verbs of repeated physical actions. It examines how different modal logics, like S4 and S5, treat iterative concepts. Some key points made:
- Iterative verbs include believe, know, doubt, want, which are propositional attitudes.
- Epistemic logic's theorem of positive introspection is that if one knows p, they know they know p.
- Boulic logic examines desires to desire something.
- Grammatical distinctions between indicative/factive vs. subjunctive/hypothetical usages and use of "that" vs. "whether".
Горбатов В.В. Онтологический аргумент в свете 2D-семантикиVictor GorbatovДоклад на конференции "Трансцендентное в современной философии: направления и методы" (ВШЭ, 6 июня 2013)
Vladimir Malakhov. Theory of Undercomsumption. Edition-2015BICCED - Business-schoole for Invesment-Construction Consalting, Engineering and DevelopmentThere is a new political theory about political faces of each and other. Main idea of the book: the political portrait of the person is not derivative of the knowledge imparted to it by a civilization, values and preferences, but it is the experience of underconsumption in the past referred on risk of a nedopotrbleniye in the future.
Epistemic Taxonomy of Assertionform_philThis document presents an epistemic taxonomy of assertions based on elements of epistemic and doxastic logic. It discusses types of assertions and their theoretical difficulties, elements of epistemic/doxastic models including possible worlds, relations, and truth conditions, and provides examples to illustrate concepts like an agent's knowledge, lack of knowledge, questioning, and common belief. The goal is to develop a framework to categorize assertions based on speakers' and hearers' epistemic attitudes.
Relative Charityform_philThis document discusses an alternative approach to logic called the logic of acceptance and rejection (AR4). It begins by outlining three views on logic: logical absolutism, relativism, and relative charity. It then introduces AR4, which treats logic as involving questions, answers, and speech acts of assertion and rejection. Under AR4, a proposition can be answered by either asserting or rejecting it in response to the questions of whether it is the case and whether it is not the case. This moves beyond the traditional view of logic as only involving truth. The document outlines the components of AR4 and how it represents logic using a four-valued semantics involving acceptance and rejection.
Inaccesible worldsform_philThis document discusses the development of modal logic systems that incorporate notions of logical accessibility and inaccessibility between possible worlds. It proposes operators to represent logical necessity (Ω), necessity in a sense (), logical inaccessibility (), and inaccessibility in a sense (). It explores properties like seriality and duality between these operators. It also discusses Cocchiarella's condition on modal semantics, transcendental necessity vs. transcendency, forbidding redoubling inaccessibility in a sense, and the need for ontological analysis of quantified modal logics.
Dialecticsform_philThe document discusses Lawvere's development of categorical logic and its relationship to Hegelian dialectics. It provides context on Lawvere's philosophical motivations for pursuing objectivity in logic through categorical logic. Specifically, it discusses Lawvere's view that adjoint functors can express Hegelian notions of dialectical contradiction, and his goal of grounding logic ontologically without restoring dogmatism. The document also summarizes some of the key concepts in Lawvere's Elementary Theory of the Category of Sets, which laid the foundation for categorical logic without relying on set-membership.
Building game theoretic models of conversationsform_philThis document proposes game-theoretic models of conversations by representing them as sequences of speech acts and physical acts performed by players. Previous models are inadequate because they only consider small parts of conversations or have other limitations. The proposed models view a conversation as developing along a subgame perfect equilibrium path through backwards induction. Both perfect and incomplete information models are suggested to more fully capture conversations using tools from game theory. Weaknesses include not directly addressing utterance understanding and assuming discrete time.
Kudrinski jaeger egtform_philThe document discusses how evolutionary game theory can be used to model the development of case marking patterns in language through the interaction of speakers attempting to communicate effectively with minimal resources and hearers attempting to correctly understand utterances. It analyzes 16 possible case marking patterns and finds that only four systems involving differential treatment of arguments are evolutionarily stable strategies that persist over time.
усвоение импликатур детьмиform_philThis document summarizes the results of 4 experiments on children's understanding of scalar implicatures. Experiment 1 found that 7-year-olds were more likely than adults to accept logically true but pragmatically misleading statements. Experiment 2 found that additional training increased children's rejection of such statements. Experiment 3 found this effect did not persist without retraining. Experiment 4 found that providing rich contextual information allowed children to perform similarly to adults.
Embedded implicaturesform_philThis document discusses linguistic pragmatics and experiments testing theories of scalar implicatures. It describes experiments that tested whether scalar implicatures are derived in embedded contexts, and whether rates of implicature derivation differ between inference tasks and verification tasks. The experiments found lower rates of implicature derivation in embedded contexts compared to simple sentences, and higher rates with inference tasks than verification tasks. The results are discussed in relation to conventionalist theories of implicature derivation.
Vasiliev mordukhaiform_philThis document discusses the metalogic concept of hypersyllogisms developed by D. Mourdoukhay-Boltovskoy in 1919-1926. Metalogic relates to classical logic similarly to how four-dimensional space relates to usual space, preserving laws of propositional logic but replacing class logic laws with more general ones. A hyperproposition relates not two but three terms - a species, genus, and hypergenus. Hyperclasses have two duals rather than one, and three operations rather than two. Hyperpropositions and their logic are explored through diagrams and their translation to predicate calculus and linkage to N. Vasiliev's imaginary logic.
занятие 2 неограйсианствоform_philThis document provides an introduction to modern linguistic pragmatics. It discusses neo-Gricean theories of scalar implicatures and the maxims of Horn and Levinson. Scalar implicatures are seen as central to neo-Griceanism and are experimentally testable, though there is no single theory. Alternatives include relevance, substitutability, monotonicity, symmetry problems, and whether alternatives are context-dependent or default. The literature discussed includes works by Chierchia, Fox, Gazdar, Geurts, Hirschberg, Horn, Katzir, and others.
2. «Формалистическое заблуждение»
«Формалистическая стратегия состоит в
разработке идеального языка, включающего
формальную символику; его предложения
должны быть ясными, иметь строго
определенное истинностное значение и быть
заведомо свободными от всякой метафизики»
Пол Грайс
«Я испытываю затруднения в отношении
самих слов и бываю почти что обманут в
своих ожиданиях обычным способом
выражения»
Рене Декарт
3. Когнитивная vs. информационная значимость
Формальную семантику
≪интересуют не значения (в
смысле закодированных в языке
концептуальных структур), а
логические свойства
предложений, такие как
следствие, противоречие,
логическая эквивалентность, то
есть… не “когнитивная
значимость” (“cognitive
significance”), а “информационная
значимость” (“informational
significance”)≫
Анна Вержбицкая
4. Тавтология и противоречие ничего не говорят
4.461. Предложение показывает то, что оно говорит,
тавтология и противоречие показывают, что они ничего
не говорят.
Тавтология не имеет условий истинности, потому что
она безусловно истинна; а противоречие ни при каких
условиях не истинно.
Тавтология и противоречие не имеют смысла. (Как
точка, из которой две стрелки расходятся в
противоположных направлениях.)
(Я не знаю, например, ничего о погоде, если я знаю, что
дождь идет или что дождь не идет.)
5. Тавтология и противоречие - не образы действительности
4.462. Тавтология и противоречие-не образы
действительности. Они не изображают
никакого возможного положения вещей,
поскольку первая допускает любое возможное
положение вещей, а второе не допускает
никакого.
В тавтологии условия соответствия с миром -
отношения изображения - взаимно
аннулируются, так что они не стоят ни в каком
отношении изображения к действительности.
4.463. Тавтология оставляет действительности
все бесконечное логическое пространство,
противоречие заполняет все логическое
пространство и ничего не оставляет
действительности. Поэтому ни одно из них не
может каким-либо образом определить
действительность.
6. Экзистенциальные импликатуры тавтологий
«Импликатурой может, в частности, быть сам факт
существования данной категории явлений: признавая
существование явления, мы должны принять как
должное все его аспекты, в частности - отрицательные.
Фраза Терроризм есть терроризм, которая звучит
странно (поскольку призывает как бы к примирению с
терроризмом) не аномальна, а скорее ложна в нашей
культуре, поскольку мы не склонны признавать
терроризм - в отличие даже от войны - законно
существующим в нашем мире. В то же время для
высказывания Террорист есть террорист вполне
можно найти подходящий контекст: например, его
выпустили на свободу, а он совершил новый теракт, и
этого следовало ожидать»
Елена Викторовна Падучева
7. Ипликатуры vs. Имманул Кант
"Тавтологические положения
виртуально пусты или
безрезультатны, так как они
бесполезны и неупотребительны.
Пример такого тавтологического
положения: человек есть человек.
Ибо если я о человеке не могу
сказать большего, чем то, что он есть
человек, то я ничего большего и не
знаю о нем »
Иммануил Кант
8. Кант: возможное vs. действительное
≪На первый взгляд в самом деле кажется, что количество
возможного превышает количество действительного, так как к
возможности должно еще что-то прибавиться, чтобы получилось
действительное. Однако я не знаю этого прибавления к возможному;
ведь то, что должно было бы быть еще прибавлено к возможному,
было бы невозможно≫
≪в существующем полагается не
больше, чем в чем-то только возможном
(ибо в таком случае речь идет только о
его предикатах), однако посредством
существующего полагается больше,
чем посредством только возможного,
ибо существующее касается также и
абсолютного полагания вещи≫
9. Декарт: творение вечных истин
≪Вдумываясь в бесконечность Бога мы уясним себе,
что нет вообще ничего, что бы от него не зависело,
— не только ничего сущего, но и никакого порядка,
закона или основания истины и добра: ведь в
противном случае… он не был бы полностью
безразличен к творению того, что он сотворил. Ибо,
если бы какое-то основание блага предшествовало
его предопределению, оно само предопределяло бы
его к наилучшему свершению; однако, наоборот,
именно поскольку он предопределил себя к тому, что
должно было быть создано, это получилось, как
сказано в книге Бытия, весьма хорошо; таким
образом, основание блага зависит от того, что Бог
пожелал сотворить вещи такими. И нет надобности
доискиваться, от какого рода причины зависит эта
благость и прочие, как математические, так и
метафизические, истины…≫
Рене Декарт
10. Перформативная интерпретация Cogito
Hintikka J. Cogito ergo sum: inference or
performance?”, Philosophical Review 71(1962),
p. 3-32;
Hintikka J. “The Cartesian Cogito, Epistemic
Logic and Neuroscience: Some Surprising
Interrelation”, Synthese, 1990, v. 83, No. 1, p.
133-157;
«Декарт не выводит sum из cogito, но
демонстрирует себе своё собственное
существование путем исполнения акта
мышления. Выражение cogito обозначает
не посылку, из которой выводится sum, а
акт мышления, который (постольку,
поскольку он осуществляется)
демонстрирует Декарту то, какой именно
сущностью тот является»
Яаакко Хинтикка
11. Экзистенциальное противоречие
Предложение p является экзиcтенциально противоречивым для персоны а,
произносящей р, если предложение “р; и а существует” противоречиво в
обычном смысле. Если р экзистенциально противоречиво для персоны а, то не -
р является экзистенциально самоверифицируемым для а.
«Я существую» самоверифицируемо для любого говорящего.
12. Иллокутивно невозможные миры
Пусть v - возможный мир, а а - субъект исполняемого в v речевого акта. Мир
v называется иллокутивно невозможным тогда и только тогда, когда а ∉
D(v), где D(v) - предметная область мира v.
«субъект сомнения не нуждается в
“другом”, он теряет всякую опору и
отрывается от условий диалога и
совместной беседы. Нельзя даже сказать,
что “я” ведет монолог, потому что монолог
предполагает наличие диалога, который
прерывается»
П.Рикер
13. Прагматические парадоксы
«Можно задаться вопросом: какую роль
способно играть в человеческой жизни
предложение типа «Я всегда лгу»? И тут
вообразимы самые разнообразные варианты»
Людвиг Витгенштейн
«Ибо есть много и непокорных, пустословов и
обманщиков, особенно из обрезанных. Каковым
должно заграждать уста: они развращают целые
домы, уча, чему не должно, из постыдной
корысти. Из них же самих один стихотворец
сказал: «Критяне всегда лжецы, злые звери,
утробы ленивые». Свидетельство это
справедливо. По сей причине обучай их строго,
дабы они были здравы в вере» [Тит.1: 10 - 13].