逻辑学吧
关注: 38,409 贴子: 145,233

逻辑学爱好者的家园

  • 目录:
  • 人文学科
  • 4
    最近听《华严经讲义》忽然悟得:心不住我,识非我意。 我 只是一个短暂的生命状态,这种状态本质是一种各种物质与非物质条件聚合的现象。 佛说 心 是化境的,识 是变法的,境是维度,法是客观规律。 心 本质是不动及一体的,识时刻在变动,一般人认为心变动,其实是颠倒迷幻的。 识 时刻变动,产生限制前提条件的规律,人的想法意念也是各种条件聚合的一种生命功能
    墨灵子V 1-28
  • 17

    广告
    23:27
    不感兴趣
    开通SVIP免广告
  • 3
    古希腊时期,阿基米德烤了一张长1米,宽1米的大饼,要分给三个即将远行的儿子,并且保证每个儿子所分到的饼都是绝对均等,分毫不差的。阿基米德的方法是:先将这个正方形的大饼均分为四个小正方形,三个儿子各拿走其中的四分之一,还剩下四分之一,阿基米德再将这剩下的四分之一大饼再均分成四个小正方形,三个儿子各拿走其中一份,阿基米德再将剩余的大饼再均分为四个小正方形,每个儿子再拿走其中的一份…… 就这样无限地分割下去
    酷酷0612 1-24
  • 40
    逻辑学不能保证起点的纯粹,就不能保证结果的正确,他能保证的就是逻辑过程的合理。对事物认知的最大困难就是无法对原点也就是逻辑的起点进行准确量化,而只能根据需要忽略他们各自的特点而进行简单的分类
  • 2
    对当关系中,非PES怎么推出非PE非S的#逻辑学#
    闫六二 1-18
  • 0
    1月14日是第8个世界逻辑日,也是卡罗尔逝世128周年纪念日。世界逻辑日纪念二位著名的逻辑学家塔尔斯基和哥德尔。卡罗尔是世界著名的儿童文学作家,也重要的逻辑学家。 刘易斯·卡罗尔(Lewis Carroll)是查尔斯·L·道奇森(Charles L. Dodgson,1832.1.27- 1898.1.14)的笔名。 他以“爱丽丝”故事闻名于世,《爱丽丝漫游奇境》已经翻译为世界上的125种语言。1886年出版《逻辑的游戏》,1896年出版《符号逻辑》(中译本2025年出版)。 他发明一种逻辑游戏。读
    闫六二 1-14
  • 44
    证明:∀x(Ax→Bx)→(∀xAx→∀xBx)。 ----------- *1.∀x(Ax→Bx), *2.Ay→By, **3.∀xAx, **4.Ay, **5.By, **6.∀xBx, *7.∀xAx→∀xBx, 8.∀x(Ax→Bx)→(∀xAx→∀xBx). _________ 条件证明规则[CP]里, 引入假说时右侧退一格, 消除假说时左侧进一格。 此法极其简洁优美, 不知是谁的发明? 间接证明规则[IP]类似,也使用进退格。
    闫六二 1-12
  • 54

    广告
    23:21
    不感兴趣
    开通SVIP免广告
  • 12
    刘易斯·卡罗尔《符号逻辑》是数理逻辑(一阶逻辑)的普及读物,也是深入理解文恩图解和欧拉图解的经典文献。闫文彤翻译和注解,黑龙江科学技术出版社于2025年6月出版。《符号逻辑》(Symbolic logic) 是卡罗尔生前出版的最后一部著作,1896年由英国的麦克米伦公司出版。在基础理论上,该书“论域”“主项存在含义”等观点值得探讨;在逻辑教育上,该书仍然具有实用价值。
    whshdkn 1-7
  • 0
    兄弟们你们学了逻辑,如何实践内化成逻辑思维?
    Fan1 1-3
  • 31
    1.“所有S都是P” 和“所有的S都不是P” 是--------上反对关系, 2.“如果S则P”和“如果S则非P“ 根据真值表显示是-----------下反对关系。 A B 非A A-->B A-->非B T F T F T T T F T F F F T T T F T F T T 上反对关系:必有一假 下反对关系:必有一真 3.又因为 所有S都是P =如果S则P= S-->P;所有S都不是P=如果S则非P= S-->非P。 导致所有S都是P” 和“所有的S都不是P” 成了---------下反对关系。 这与1的结论矛盾! 请高手帮忙指明问题出在哪里,感谢感谢
    闫六二 12-31
  • 13
    中国、山东、济南,三个概念之间是什么关系呀?
  • 3
    15."鱼目焉能混珠"中的"鱼目"与"人贵有自知之明"中的"人"分别表达了() A 集合概念、集合概念 B 集合概念、非集合概念 C 非集合概念、非集合概念 D 非集合概念、集合概念
  • 47

    广告
    23:15
    不感兴趣
    开通SVIP免广告
  • 9
    关于p —> q的肯前必肯后的一点困惑,列真值表可知(p —> q)𠆢p —> q为永真式,但是在肯前即p为1时,真值表里q可以为1或0,为什么说是肯后呢?
    闫六二 12-29
  • 11
    “美丽的凤凰是存在的”改为直言命题是“有凤凰是美丽的”还是“有生物是美丽的凤凰”或者别的,搞不懂,请教,谢谢
    闫六二 12-28
  • 3
    集合与个体、类与分子怎么区分?
    闫六二 12-27
  • 1
    “他调研了此事”是简单判断还是复合判断?有人说是简单判断,也有人说是复合判断,莫衷一是,头晕了,求我们逻辑学吧的友友们都来说一下吧
    闫六二 12-26
  • 0
    在传统逻辑里,四个直言命题组成了对当方阵。SAP与SOP,SEP与SIP,它们都具有矛盾关系。SAP与SIP,SEP与SOP,它们都具有差等关系。差等关系实际上是直接推理的规则,意思是SAP推出SIP,SEP推出SOP。欧拉图解可以解释差等关系,见图1. 图1.差等关系的欧拉图解 两个概念之间具有五种关系,每种关系都断定了特定的情况,因此每个关系都可以看作是一个命题(判断)。全同关系、种属关系、属种关系、交叉关系、全异关系,分别简称为A,B,C,D,E。全称肯定命
    闫六二 12-25
  • 1

    广告
    23:09
    不感兴趣
    开通SVIP免广告
  • 2
    请问在同一素材的AEIO命题中,pis是否可以推sip,sip推pis和pis推sip是等价的吗,比较困惑,请教大家
    闫六二 12-25
  • 13
    从SAP推出SE非P,我可以理解,但他说用欧拉图可以证明,可是SE非P的欧拉图怎么画啊?
    闫六二 12-23
  • 25
    原帖意思是贴主认为,洗衣机洗个人内裤是干净的并试图推广于公共洗衣机,并遭受了广大网友的攻击。我发表评论的目的是,通过尿壶干净论来认证帖主不应该将这种观点推广到公共洗衣机上,他自己爱怎么干就怎么干。 很显然,这位吧友可能理解错我的意思了。我认同他第二条评论。 但是就尿壶这个论证方式我认为它评论我例举的方式错误这个看法这是不恰当的。 本帖建立在友善的沟通方式以及客观的讨论环境,希望吧友不要人身攻击以及点润
    圆粪 12-23
  • 1
    寻思是你自己先用AI的,然后别人用AI你又不爽了,用的比你好,说不了话,只能拉黑?还有点脸逻辑吧发帖
  • 2
    一个视频内一个人说“一个人天天和一个月薪1000的人商量如何成为百万富翁,他有机会天天和百万富翁在一起共处,但是他老假定百万富翁是在pua他压榨他剥削他……” 评论区A: A:你这话说的没逻辑百万富翁能有多少?那些穷人又有多少你能保证每个穷人都能分配到一个百万富翁?你能保证每个百万富翁都在真正的交那个穷人赚钱的法子?你能保证穷人能遇到这种好人吗? A的评论下: B:不是没可能的,你就看我我从刚开始开杂牌车到现在开奔驰,女朋友
    天长不长 12-22
  • 0
    (四七)讲到这里,亡国论和妥协论者又将跑出来说 :中国由劣势到平衡,需要有同日本相等的军力和经济力 ;由平衡到优势,需要有超过日本的军力和经济力 ;然而这是不可能的,因此上述结论是不正确的 m。只有能看懂的才有批评的权利,我是指学习过相关符号逻辑知识的人,没有学过的人,在这里当场解释也难以相信。前面三句并列的被认为是错误的观点有相同的逻辑形式A→B,后者是前者的必要条件结尾说到后面三个必要条件是不可能的,
    就是少奇 12-21
  • 88

    广告
    23:03
    不感兴趣
    开通SVIP免广告
  • 3
    真心想系统的学习和深度了解一下逻辑学,有没有大佬有推荐的数目和学习方法
  • 0
    卡罗尔图解是方格图,文恩图解是连环图。它们的逻辑学表达能力是相同的;但是在视觉效果上,连环图更简便。 图1.卡罗尔图解的方格图 图2. 文恩图解的连环图 两种图解的极小区域数量相同,逻辑能力相同,都是2的n次方。二元图里有4个极小区域,三元图里有8个,四元图里有16个。 两种图解的极小区域形状不同,视觉效果不同。卡罗尔图解里,所有极小区域几乎都是正方形或长方形,四条直线四个直角,互相之间很难鉴别。文恩图解的连环图则不
    闫六二 12-12
  • 34
    全中国最大的论坛,竟然没有一篇能让小白看得懂的文恩图帖子,我要补这个空缺。 学会了文恩图,就可以跳过五规则法,对直言三段论的有效性进行判定。
    闫六二 12-9
  • 3
    卡罗尔(Lewis Carroll,1832-1898)是著名儿童文学作家,也是逻辑学家,他在现代逻辑学史上具有重要地位。其代表作品有《逻辑的游戏》(the game of logic,1886)和《符号逻辑》(symbolic logic,1896)。不同于欧拉图解和AEIO符号,他设计了精巧的方格图解和下标符号(the method of subscripts),清晰表达了直言三段论。本文采用文恩图解和AEIO简介如下。
    闫六二 12-9
  • 47

    广告
    22:57
    不感兴趣
    开通SVIP免广告
  • 11
    现代逻辑是符号逻辑, 符号化、形式化反映了逻辑向现代化发展的历史轨迹。
    闫六二 12-8
  • 1
    文恩图解检验三段论有效性时,卡罗尔定理是核心推理规则。首先介绍卡罗尔定理的图解和符号,然后简介一些文献资料。
    闫六二 12-8
  • 8
    四个直言命题,共有四个文恩图,。 第一格的六个直言三段论,其中四个有效式,二个无效式;共六个文恩图。
    闫六二 12-5
  • 2
    传统逻辑里直言三段论的有效式(valid mood of categorical syllogism)有24个,其中前提都是全称命题而结论是特称命题的共有9个。从现代逻辑的角度看,后者都是无效式,称为存在谬误(existential fallacy)。但是,若增加一个前提,则可以变成有效式。文恩图解可以检验其有效性。
    闫六二 12-5
  • 6
    lz对逻辑学感兴趣,朋友在lz生日的时候送了一本逻辑学书籍,lz这几天也在尝试读懂书中的内容,已经了解了逻辑学的基本概念(应该理解了吧)也发现自己确实感兴趣,准备在大学空闲时间里自学,请问大佬们新手小白一开始读这个可以吗?
  • 34
    前提都是全称命题,结论是特称命题。 例如AAI-3 我假设Mx 可以得到Sx^Px 可是我怎么消去假设呢 书上关于AAA的是直接使用假言三段论 关于AAI的证明很少我找到一个是图3属于结论比较特殊的证明 求问大家是怎么证明这一类型的题目🙏🙏🙏
    闫六二 11-29
  • 36

    广告
    22:51
    不感兴趣
    开通SVIP免广告
  • 19
    贴吧关于这个问题的回答很少,所以我觉得逻辑学对于大部分人来说应该是更注重实际应用,而不是理论说明? 我是一位高中生,有数竞经历,从阅读过本格推理小说后,对逻辑推演产生了浓厚兴趣,所以来恳求吧里大佬能给我推荐逻辑学入门书籍😁。我不想过深地研究逻辑语言符合(高中学业压力大),想要进一步培养逻辑思维能力(这可以说我想要学古典逻辑?)。王路的逻辑基础,柯匹的逻辑学导论,卡哈尼的哲学与逻辑,吴家国和杜国平的普通逻辑
    闫六二 11-23
  • 0
    大乘示法·论意识 阳光明媚 法光普照! 吾心光明 吾心即为宇宙 宇宙即为此刻吾心,正法通三界:神界-人界-灵界。(天道-人道-灵道)。正法光明心本心神性具足,心通神维,显示语言一维般若波罗蜜。 何谓意识? 意识即此时此刻人类生命存在,与肉身共存的自我意识精神感知系统认知意识,一个人作为活性生命个体乃为自然神赋予灵魂与肉身的真实存在,宇宙自然物_人类,人类心灵基因具有接收宇宙自然神意念的直觉意识,此时此刻,活体的
  • 18
    【所有金属都不是绝缘体】 金属是周延的没有问题, 但老师说绝缘体也是周延的。 理由是:‘万一有一小部分绝缘体,它是金属呢。’ 不懂,如果金属是周延的,那绝缘体里已经包括了所有的金属了呀,怎么还存在‘万一有一小部分绝缘体,它是金属呢。’
    闫六二 11-18
  • 12
    能看的懂就看吧,知道答案是啥不
  • 0
    https://www.bilibili.com/video/BV1ZrC1BPEhp/
    阿嘉里斯 11-15
  • 34

    广告
    22:45
    不感兴趣
    开通SVIP免广告
  • 0
    https://www.bilibili.com/video/BV1eSCVBBEtG
    阿嘉里斯 11-15
  • 1
    通过网盘分享的文件:逻辑学已整理等2个文件 链接: https://pan.baidu.com/s/1j2MuPTFHlNgeKjYkHVsA1A?pwd=uni7 提取码: uni7
  • 1
    如果你做成了生意,老板就会很高兴,除非他感到头疼。(p=你做成了生意”,r=“老板很高兴”,q=“老板感到头疼”)
  • 15
    中国人是有骨气的 中国人是亚洲人 哪个是集合词项啊?

  • 发贴红色标题
  • 显示红名
  • 签到六倍经验

赠送补签卡1张,获得[经验书购买权]

扫二维码下载贴吧客户端

下载贴吧APP
看高清直播、视频!

本吧信息 查看详情>>

小吧:小吧主共9

会员: 名正言顺

目录: 人文学科