谬论属于哲学范畴吗?_百度作业帮
拍照搜题，秒出答案
谬论属于哲学范畴吗?
谬论属于哲学范畴吗?
这句话的英语原文是“Everything is implied by a fallacy”,是逻辑学中的一条定理,也称为“由任何一句假话都可以推出任何一句话”,形式化的表述是(非P)→(P→Q).　　“由谬论可以推出任何一句话”的概念是罗素最先提出的.他举了一个荒谬的例子“如果1+1=3,那么罗素是教皇”,并给出了“证明”：　　根据自然数3的定义,3=2+1,但已知1+1=3,所以1+1=2+1,利用等量公理得到1+1-1=2+1-1,即1=2； 　　考虑集合{罗素,教皇},这个集合的元素个数为2,但是已证1=2,所以也可以说这个集合的元素个数为1,由此可以得出罗素=教皇,证毕.　　通过这个例子,可以给出对于“逻辑蕴含”（即“推出”）的形式定义：“P→Q当且仅当Q为真或P为假”.
谬论属于哲学范畴,并且谬论是真正的哲学！谬论形成的过程：通常是用非常真实和有力量论据反驳或者质疑了提出论点的一方，然而提出论点的一方没有足够的理论来应付反对意见，就称反对方的理论是谬论。【论文】L集合范畴中的L幺半群模_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
中国最大最早的专业内容网站
评价文档：
&购买后可评价
&&¥2.00
&&¥2.00
&&¥2.00
&&¥1.00
&&¥2.00
&&¥1.00
&&¥2.00
&&¥2.00
&&¥2.00
您可以上传图片描述问题
联系电话：
请填写真实有效的信息，以便工作人员联系您，我们为您严格保密。
L集合范畴中的L幺半群模
本​文​引​入​以​完​备​的​H​e​y​t​i​n​g​代​数​为​真​值​集​L​集​合​范​畴​及​L​幺​半​群​范​畴​概​念​,​构​造​了​L​幺​半​群​模​结​构​与​L​幺​半​群​T​代​数​结​构​;​讨​论​了​L​积​函​子​F​与​L​幺​半​群​单​位​函​子​G​的​伴​随​性​,​并​证​明​了​与​该​伴​随​对​应​的​L​比​较​函​子​K​是​一​个​同​构​,​从​而​得​出​L​幺​半​群​单​位​函​子​G​是​L​可​模​的​。
试读已结束，如果需要继续阅读或下载，敬请购买
把文档贴到Blog、BBS或个人站等：
普通尺寸(450*500pix)
较大尺寸(630*500pix)
你可能喜欢
同期刊文献简政放权在教育范畴迈出一大步？_非论如何，“放权是大势所趋，放权才能激发高校和处所活力。各类审批权都鄙人放，教育部也放了良多，好比打消了重点学科、专业设置自主权范畴有所扩大，北大、和上海市的分析方案中也都测验考试下放更多的自主权给高校和处所。”卢晓东说。（记者 原春琳）
当前位置： >
简政放权在教育范畴迈出一大步？
标签：非论如何，“放权是大势所趋，放权才能激发高校和处所活力。各类审批权都鄙人放，教育部也放了良多，好比打消了重点学科、专业设置自主权范畴有所扩大，北大、和上海市的分析方案中也都测验考试下放更多的自主权给高校和处所。”卢晓东说。（记者 原春琳）“民办学校分类办理的工作曾经说了十几年，争议声不断不竭。”马陆亭说，此中一个争议的核心问题是：高校无论怎样公司化，归根结底也是育人单元，一旦呈现资金链断裂，公司搞欠好能够破产，可是学校怎样办呢？对民办教育界来说，今天的国务院常务会议传来一个利好动静――“明白对民办学校实行分类办理，答应兴办营利性民办学校”。当前，高校设置仍然秉承这个思，高校设立审批的权限仍然在教育部。1999年高校大扩招后，这种环境发生了变化，市场力量起了感化。“不完满是民间的市场，更头要的是省与省之间的市场。”马陆亭说，良多省份，特别是经济相对发财省份，但愿可以或许脱节这种不均衡的高档教育分布款式。虽然不少教育界人士几回再三呼吁给处所下放自主权，“这是大势所趋，能够充实调动下面的积极性”。卢晓东强调，“可是在放权的过程中也要强调动态均衡，下放的同时要付与义务。”以南方科技大学为例，在过去的5年，它的办学履历如统一部，一步一步展现在全国观众面前。一位不情愿透露姓名的教育界人士说，正由于如斯，省级不情愿去自动安排工作。正如民办学校萌芽时，良多人没有想过度类的问题。多年成长之后，民办学校呈现分化：有的民办学校举办者但愿继续当教育家，有的但愿投资有合理报答，有的既要打着教育的招牌享受免税的待遇还要赔本。虽然省里有办学的积极性，可是，“省级在教育上确实没有几多自主裁量权”。大学教务部副部长卢晓东说。教育部教育成长研究核心研究员马陆亭引见，过去实行打算经济，高校按照大区设置，在某省的高校是为大区办事，而不是特地为地点的省份办事。这种布场面地步必导致高档教育分布的不服衡。7日，李克强总理掌管国务院常务会议，通过对教育法、高档教育法、民办教育推进法进行一揽子点窜的批改案草案，决定提请全国常委会审议。此中，草案完美了高校设立审批、经费投入等办理轨制，把部门高校设立审批下放到省级。“这都是在分歧汗青阶段发生的分歧问题。”马陆亭说，若是早十年，也不会呈现学校破产的问题，但此刻有可能了。“标的目的上分类办理，是大势所趋，走到这一步是水到渠成的工作。”他相信，会出台响应的配套办法来防备这些问题的发生。经费投入办理轨制和高校经费办理自主权同样是高教界呼吁了多年的工作。一位教育研究者引见，虽然前几年教育部和财务部同一提高了高校生均拨款尺度，可是高校运营经费的大头仍次要来自项目拨款。项目拨款的财政办理很是严酷，要求专款公用，“打酱油的钱不克不及用来买醋”，而现实上，很难做到这一点。卢晓东说，来自高校的遍及声音是但愿可以或许现有经费投入办理法子，可以或许按年度预算固定拨给高校一笔钱，高校能够自主按照固定预算打算本人的工作。什么是Monad？
& & & &&& & &
　　为了理解什么是Monad，最好需要了解。这两篇互为姐妹篇，因为Monad的定义是：A monad is just a monoid in the category of endofunctors, what's the problem?
　　what's the problem？其实问题大了去了，这个定义中首先我们知道monad是一个特殊的monoid，特殊在哪里？是在endofunctor这个范畴里，正如书桌比桌子特殊，特殊在书桌用在看书读书这个范围里。所以，我们需要首先了解什么是endofunctor，而endofunctor是end of functor的组合，还得首先了解什么是functor函子。
自函子endofunctor
　　一个functor是一个多态数据类型，支持用函数对数据内容的操作，这非常类似面向对象概念中的对象，一个对象也是由数据和方法组成，方法是操作数据的函数。所以，当我们认为世界上每个都是对象时，也可以认为每个都是functor。
　　一个functor是将一个范畴(广群)转换到另外一个范畴(广群)，而endofunctor则是转换的源范畴和目标范畴是同一个，endofunctor是functor的特殊。
　　我们知道：一个范畴是由三个部分组成: 元素对象、态射（又称为箭头）以及二元运算。如果这个范畴又满足结合律，那么它是一个半群，如果又满足幺元，那么是幺半群，也就是Monoid。
　　因此，functor实际是将一个Monoid中的元素对象映射到另外一个Monoid的元素对象，态射也是这么映射。而自函子endofunctor映射的这两个Monoid是同一个。　
　　在Haskell中，一个endofunctor被称为&the Hask category,&，是Hask范畴。Hask范畴中的元素对象是Haskell的类型，态射箭头是Haskell的函数。
　　类型是值的集合，比如类型Bool(Haskell核心类型是大写开始)是一个有两个元素的集合，这两个元素
是True和False，类型Char是所有Unicode字符如'a'或'b'的集合。
　　函数也是有类型的，函数的类型是其输入输出的综合，比如f函数是输入类型A到输出类型B：B f(A a); 在 Haskell中是如下表达：
f ∷ A → B
　　因此区别两个函数的不同，我们可以从其输入类型和输出类型上区别。
　　函子functor是比函数更高阶的函数，函子是作用于两个范畴之间的函数，但是根本上也是一个函数，因此函子的类型与上面的函数类型差不多。假设两个范畴是 C和D, 其函函子是：
functor F: C -& D
函子functor原理
　　函数组合的方式有其特殊地方，这个特殊主要是由于我们组合的对象是函数，如果组合的对象是整数类型，两个整数组合成一个整数，这没有问题，但是你不能将两个函数类型组合起来还是和原来函数类型一样。比如我们将两个f函数f ∷ A → B组合起来，就不会得到还是A → B。
　　函子functor是比函数更高阶的函数，函子是作用于两个范畴之间的函数，可以简单认为是两个集合之间的映射。范畴的映射转换需要转换其中的元素和态射。
　　假设两个范畴是 C和D, 有一个函子functor F: C -& D ，这种写法类似函数写法，但是因为函子是范畴的函数，所以，其工作原理是进入范畴C和D内部，而范畴是由元素对象和态射箭头组成，因此函子就要分别作用于元素对象和态射箭头。
　　映射元素对象：C中的任何对象A转变成了D中的F(A)；
　　映射态射箭头：C中的态射f: A -& B转变成了D中的F(f): F(A) -& F(B) 。
　　(组合箭头和元箭头映射这里省略)
　　函子这种映射实际是一种分解组合方式，对于这个过程我们可以用下面模拟形象地理解：
计算C集合中每个函数的&结果&, 但是不组合它们.
将 F函数单独应用于C中每个函数的结果，我们就获得结果的集合的集合。
压平这两层集合，组合所有的结果。 (注意这里的组合方式将对应Monad的自然变换态射)
　　可以用Java的集合操作来形象理解 ：
Collection ednfunctor(Collection c){
　　Collection d = new ArrayList();
　　for(Object o:c)
　　　　//对输入集合C元素逐个应用函数F转换到新的输出集合
　　这种转换一般是由SDK专门工具来提供，如果自己实现就非常丑陋，　　
　　现在回到Monad英文定义：
　　A monad is just a monoid in the category of endofunctors
　　the category of endofunctors是自函子endofunctor的范畴(category)，Monad是自函子范畴中的Monoid。
　　前面我们已经了解函子的映射原理，自函子可以理解为映射范畴C到另外一个范畴C。那么自函子的范畴是什么意思？是基于自函子的新范畴吗？经过查询此句原出处： ,原文是：
　　All told, a monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set by the identity endofunctor.
　　确实是基于范畴X的新范畴，这个新范畴看成是endofunctors on X。范畴X之上的范畴，这个新范畴的元素对象是自函子endofunctor，谈到范畴就要想到元素对象和态射，那么其态射是什么呢？
　　前面我们解释函子funtor工作原理时，有一句：&3.压平这两层集合，组合所有的结果&，这个组合方式是一种自然变换natural transformation，属于新范畴的态射，因为态射有份两种：组合态射和元identitiy，自然变化就要对分别对X范畴中这两种进行转换。
　　所以，Monad工作原理包含两个部分：对原范畴组合成新的范畴，这个范畴对于Monad来说必须是幺半群Monoid，可以认为Monad是一系列自函子的组合，这种组合是一种转换，转换的结果是Monoid。
　　Monad有以下特征：
Monad是一种定义将函数(函子)组合起来的结构方式。(monoid是定义元素对象组合起来的结构方式。如果元素对象是特殊种类：函数(函子)，那么它可能是Monad)
这些组合的方法都是符合结合律的
有一个特殊幺元，能够和任何元素组合，导致的结果是不改变这些元素。
　　关键对最后一点幺元讲解一下，以一文中案例为说明，假设有两个数字a和b相加，这里a和b 可能为空，Java 代码如下：
int try_to_add_numbers( Integer a, Integer b ){
return a +}
　　如果a 和b非空，那么这个方法将会返回它们的总数，但是如果其中有一个是空的，我们会得到NullPointerException错误，调用客户端得到这个错误必须去处理它。而函数的定义是有一个输入类型和一个输出类型，现在又跑出第三种类型Exception，很显然Exception是和输入输出类型不属于同一个范畴，这就不符合封闭运算了。
　　那么我们使用一个幺元，比如Optional来封装结果，这样就能保证不抛出Exception，而是将Exception错误通过输出结构输出，这种结果分两种，要么是空，要么是有值，如果是有值，打开它就能获得真正的计算结果。我们使用Optional与结果值结合，但是不会改变这个结果值类型。具体可见：
　　总体来说：Monoid是元素对象的组合的范畴，如果这种元素对象是函数或函子(也可能是Pipe，这就复杂了去了 )，那么Monad是自函子的组合范畴，Monad也是一种特殊的Monoid子集。
　　如果你对大数据Hadoop等比较熟悉，map/reduce其实也是一个Monad。
　　最后我们用简单大白话(不精确有助于理解)翻译一下Monad的英文定义：A monad is just a monoid in the category of endofunctors，monad只不过也是一种特殊情况下的monoid，特殊在哪里呢？就是自己对自己进行转换的集合而已。
| 网站地图 | 设为首页