科学代表(完结)
小说视图的第二个版本明确关注表示。 到目前为止,我们遇到的大多数代表理论是有模型系统,并将科学表示作为两个实体,模型系统和目标系统之间的关系。 香椿呼吁这一代表的间接观点(2012:43)。 事实上,Weisberg(2007)将这种间接视为建模的定义特征(参见Knuuttila和Loettgers 2017)。 这种观点与TOON(2012:43)和征税(2015:790)对比的造影对比。 此视图无法识别模型系统,而是旨在将表示作为直接描述的形式。 在这种观点上,模型提供了“真实事物的想象力描述”(征收2012:741),例如实际的Pendula,并且没有作为模型系统的模型系统,其中钟摆描述实际上是真的(TOON 2012:43-44)。
TOON(2012)和Levy(2015)通过绘制Walton(1990)的愿景理论来阐明直接观点。 在这个理论的核心,是一场比赛的概念 - 相信(见想象力的SEP进入进一步讨论)。 如果,例如,在穿过森林时,我们会扮演这样的游戏,我们想象树桩是熊,如果我们发现一个树桩,我们想象我们发现了熊。 在沃尔顿的术语中,树桩是道具,当我们看到树桩时,我们想象一只熊的规则是一代的原则。 一代的道具和原则规定了要想象的内容。 沃尔顿考虑了各种不同的道具,包括文学小说的雕像和作品。 香椿专注于我们规定的游戏,以想象一个真实世界的物体的东西。 在马背上显示拿破仑的雕像(Toon 2012:37)是一个授权我们想象,例如,拿破仑有一定的地貌和某些面部表情。 在阅读世界的战争时(2012年:39),我们被规定想象,圣保罗大教堂的圆顶已经被外星人袭击,现在在西方侧面有一个巨大的洞。
至关重要的举措是说模特在比赛中是道具。 具体而言,材料模型就像拿破仑的雕像和理论模型就像世界战争的文本:两者都以自己的方式规定了关于一个真实对象的东西。 甲烷分子的球形和粘性模型规定了我们以想象关于甲烷的特定事物,并且描述了在完美的弹性弹簧上弹跳的点质量鲍勃的模型描述通过规定关于真实系统的想象来表示真正的球和弹簧系统。 这提供了er-artern的以下答案(Toon 2012:62):
直接代表性:M是T IFF M担任的科学代表,作为Bude的Prop的制作 - 相信哪个规定关于T.的想象力。
该帐户解决了第1节中提出的一些问题:直接表示是不对称的,为虚假陈述腾出空间,并且鉴于宗派中的根源,它会放弃划分问题。 View Abselve Instology的问题,因为模型是物理对象或描述,既不在此上下文中是有问题的。 香椿在风格问题和数学的适用性方面保持沉默。
仍然存在重要问题。 根据直接表示模型,规定我们想象他们的目标系统的某些事情。 然而,该帐户仍然保持沉默,而模型在规定我们想象的关系以及模型用户应该实际地了解目标系统之间的关系,因此它没有对ER-问题提供答案。 Levy(2015)将此标识为令人讨报的账户中的差距,并通过调用Yablo(2014)的“部分真理”概念来填补它,这一想法是模型用户应该采取想象的命题,以便部分地对其目标系统。 然而,随着征收承认,还有其他不适合模具的案例,最符合最扭曲的理想。 这些需要不同的待遇,这是一个开放的问题,这种治疗将是什么。
进一步的担心是直接代表如何处理目标模型。 如果没有目标系统,那么模型会开启想象的内容是什么? 香椿很清楚这些模型,并提出以下解决方案:如果模型没有目标,它规定了关于虚构字符的想象(2012:76)。 然而,此解决方案具有本体成本,并且直接视图的宣称目标之一是通过从图片中删除模型系统来避免这些成本。 Levy(2015)旨在挽救本体论,并提出一种激进的举措:没有无目标的模型。 如果(声称)模型没有目标,那么它不是模型。 然而,仍有一个问题,然而,这种观点如何与科学实践中断,其中无故障模型不仅是常见的,而且也明确承认。
7.代表 - as
在Goodman的(1976)审美表现的叙述,这一想法是艺术品不仅仅是表示其主题,而且它代表它是因此(参见Goodman的美学的SEP进入进一步讨论)。 Elgin(2010)进一步开发了这一账户,至关重要,建议它也适用于科学陈述。 我们首先讨论Goodman和Elgin的代表概念 - as然后考虑最近的框架延伸。
7.1从艺术到科学
许多认知代表的情况是善意和埃尔金称之为“代表 - ”的实例。 漫画是宗旨的例子:丘吉尔被代表为斗牛犬,撒切尔被代表为拳击手。 但是概念更普遍:Holbein的Henry VIII肖像代表亨利,因为强大而强大而强有力的,斯托德德的大卫苏立雕像代表着他的周到和明智。 使用这些表现,我们可以了解他们的目标,例如我们可以了解政治家或哲学家的个性。 本节中讨论的观点的主要思想是科学代表以相同的方式工作。 太阳系的模型代表了由完美的球体组成; 生长的后勤模型将人口代表为期以固定的时间间隔繁殖; 等等。 在每个实例中,模型可用于尝试通过确定前者代表后者作为存在的目标来了解其目标。
以以下方式授权表示 - 作为函数:对象x(例如,图片,雕像或模型)表示由此呈现的对象Y(例如,人或目标系统)或如此(z)。 那么问题是建立了这种代表关系的原因。 答案需要介绍一些概念Goodman和Elgins用于制定他们对代表性的账户。
Goodman和Elgin在某种东西之间的区分是一个Z的表现形式,以及Z-代表的东西(Elgin 2010:1-2; Goodman 1976:21-26)。 一个独角兽的绘画是一个独角兽的代表,因为它显示了一个独角兽,但它不是一个独角兽的表示,因为没有独角兽。 作为z形式是根据他们主题分类表示的一个地方谓词。 作为某事的代表是由表示来建立的; 它是一个二进制关系,它在符号和它表示的对象之间。 两者可以,但不需要,一致。 一些狗陈述是狗的陈述,但并非所有狗都是(例如,丘吉尔的漫画),而不是狗的所有代表都是狗表示(例如,闪电螺栓可以代表比赛中最快的灰度)。
下一个概念是示例:对象X示例了属性P IFF x实例化P,从而参考P(Goodman 1976:53)。 在当前的上下文中,应以最宽的感觉理解。 项目可以举例说明一个地方属性,多个地点属性(即关系),更高的订单属性,结构性等。这是样品的范式示例。 制造商的样品卡上的涂料芯片实例化了某种颜色,同时是指该颜色(Elgin 1983:71)。 请注意,实例化是必要的,但用于示例不足:样品卡不举例说明例如矩形。 当对象举例说明它为我们提供了对该属性的认知访问。
如图所示 - 然后通过将这些概念组合在一起来建立:Z-表示例证了与ZS,[11]相关的特性,如果另外表示Z-表示,则可以将这些性质归入Y(CF. ELG100:10)。 这提供了以下认知代表的以下陈述:
表示 - AS:X是Y IFF(i)x的认知表示表示Y,(ii)x是Z-表示属性p1,...,pn和(iii)x施加在y上的p1,...,pn或相关性质。
在科学上下文中应用这一点,即,通过让X范围在模型和y过度目标系统上,我们达到ER-问题的答案。 代表性 - 也回答第1节中引入的其他问题:否定了划分问题,并解释了代表的方向性。 它考虑了归咎于目标的特性的特殊推理。 如果y具有避税的属性,则表示表示准确,但由于目标不一定需要将其实例化,因此它允许歪曲的可能性。 可以通过在不同的ZS方面进行分类表示来计算不同的样式,或者在他们举例说明的属性方面进行分类。 然而,至少如上所述,该账户对本体论点和数学的适用性保持沉默。 我们在下面讨论如何考虑目标模型。
7.2 DEKI帐户
代表性 - 在科学环境中应用时提出了许多问题。 第一个涉及Z形式的概念。 虽然在图片的情况下它具有直观的吸引力,但它不太清楚它在科学背景下的工作方式。 菲利普斯和新界建造了一款精心制作的管道和坦克系统,现在被称为菲利普斯 - 新机器,建模经济(见摩根和Bourmans 2004和Barr 2000用于有用的讨论)。 所以机器是经济形式。 但是,将管道和坦克的系统变成经济形式?
Frigg和Nguyen(2016:227-8)认为,为了将物体X转变为科学模式,它必须以适当的方式解释(请注意,他们在Contessa使用它的方式中不使用“解释”,如上所述):x具有qua对象的属性与相关的z属性配对,并且用于定量属性,即,属性,例如诸如质量或流量的属性,它采用数值,需要在X属性的值和映射到z属性的值之间的进一步关联。 例如,在菲利普斯 - 新机器的情况下,机器的液压性质与经济性质相关,并给出了规则,指出升水对应于一定量的模型 - 经济的货币(Frigg和Nguyen 2018)。
如此相关联的x和z属性不需要排出x实例化的属性,也不需要所有可能的z属性都需要与x属性关联。 然后可以将科学模型定义为z表示,即在解释下的对象。 模型的这种概念明确地没有预先假定目标系统,因此为目标模型提供空间。 然后可以将模型视为在相关解释下的z-persionsing,这解释了模型如何举例说明这种属性。
下一个问题是,示例性属性很少被省略到目标系统上。 根据表示 - 随着所换的属性是由Z形式,“或相关的属性示例。 Frigg和Nguyen(2016:228),在Frigg(2010A:125-135)上建立,更愿意明确关于示例性质与避税到目标的关系之间的关系。 它们通过引入“键”来执行此操作,该“键”显式将示例性属性与要省略的属性相关联。 例如,在伦敦管贴图的情况下,密钥与特定管道线相关联的特定颜色,并且在理想的情况下,密钥与模型属性相关联的解识别属性。
将各种作品聚集在一起导致以下对代表性的陈述(Frigg和Nguyen 2016:229):
Deki:让m =⟨x,i⟩是模型,其中x是一个对象,我是一个解释。 让T成为目标系统。 m表示T,因为z IFF满足以下所有条件:
m表示t.
M例示z属性p1,...,pn。
m带有关键词,将集合{p1,...,pn}关联一个(可能相同)的属性{q1,...,qm}。
M赋予至少一个特性Q1,...,QM至T.
M是T IFF M的科学表示代表如(i) - (iv)中所定义的z。
MINIKER“DEKI”突出了帐户的关键特征:表示,示例,键控和归纳。 Deki以与代表相同的方式回答第1节的问题。 然而,它至少三种方式增加了后者。 首先,给出的条件使其清楚是什么使科学模型Z-呈现在第一名:解释。 其次,它使模型示例的属性明确不需要完全归入目标,并突出显示需要调查指定模型中的属性之间关系的键的需要以及模型实际赋予其目标的属性。 最后,它明确地解释了无数模型。 最终无法表示目标系统的科学模型可以是Z形式。 尽管它不是任何内容的事实,但是,仍然是一个桥梁表示的桥梁仍然是一个桥梁表示,这表明了与桥梁(稳定性等)相关的属性。 但是,就像在代表性的情况下一样,作为关于本体论问题的问题以及数学的适用性。