1. Computational ArtifactsComputer

1. Computational Artifacts
Computer science underpins our Facebook pages, controls air traffic around the world, and ensures that we will not be too surprised when it snows. It has been applied in algebra, car manufacturing, laser surgery, banking, gastronomy, astronomy and astrology. Indeed, it is hard to find an area of life that has not been fundamentally changed and enhanced by its application. But what is it that is applied? What are the things that give substance to such applications? The trite answer is the entities that computer scientists construct, the artifacts of computer science, computational artifacts, if you will. Much of the philosophy of the subject is concerned with their nature, specification, design and construction.

1.1 Duality
Folklore has it that computational artifacts fall into two camps: hardware and software. Presumably, software includes compilers and natural language understanding systems whereas laptops and tablets are hardware. But how is this distinction drawn: how do we delineate what we take to be software and what we take to be hardware?

A standard way identifies the distinction with the abstract/physical one (see the entry on abstract objects) where hardware is taken to be physical and software to be abstract. Unfortunately, this does not seem quite right. As Moor (1978) points out, programs, which are normally seen as software, and therefore under this characterization abstract, may also be physical devices. In particular, programs were once identified with sequences of physical lever pulls and pushes. There are different reactions to this observation. Some have suggested there is no distinction. In particular, Suber (1988) argues that hardware is a special case of software, and Moor (1978) that the distinction is ontologically insignificant. On the other hand, Duncan (2009—see Other Internet Resources) insists that there is an important difference but it is one that can only be made within an ontological framework that supports finer distinctions than the simple abstract/physical one (e.g., B. Smith 2012). Irmak (2012) also thinks that software and hardware are different: software is an abstract artifact, but apparently not a standard one since it has temporal properties.

Whether or not the software/hardware distinction can be made substantial, most writers agree that, while a program can be taken as an abstract thing, it may also be cashed out as a sequence of physical operations. Consequently, they (e.g., Colburn 2000; Moor 1978) insist that programs have a dual nature: they have both an abstract guise and a physical one. Indeed, once this is conceded, it would seem to apply to the majority of computational artifacts. On the one hand they seem to have an abstract guise which enables us to reflect and reason about them independently of any physical manifestation. This certainly applies to abstract data types (Cardelli and Wegner 1985). For example, the list abstract data type consists of the carrier type together with operations that support the formation and manipulation of lists. Even if not made explicit, these are determined by several axioms that fix their properties e.g., if one adds an element to the head of a list to form a new list, and then removes the head, the old list is returned. Similarly, an abstract stack is determined by axioms that govern push and pop operations. Using such properties one may reason about lists and stacks in a mathematical way, independently of any concrete implementation. And one needs to. One cannot design nor program without such reasoning; one cannot construct correct programs without reasoning about what the programs are intended to do. If this is right, computational artifacts have an abstract guise that is separable from their physical realization or implementation. Indeed, this requirement to entertain abstract devices to support reasoning about physical ones is not unique to computer science. The necessity to abstract is clearly made by the physicist Duhem.

When a physicist does an experiment, two very distinct representations of the instrument on which he is working fill his mind: one is the image of the concrete instrument that he manipulates in reality; the other is a schematic model of the same instrument, constructed with the aid of symbols supplied by theories; and it is on this ideal and symbolic instrument that he does his reasoning, and it is to it that he applies the laws and formulas of physics. A manometer, for example, is on the one hand, a series of glass tubes, solidly connected to one another filled with a very heavy metallic liquid called mercury and on the other by the perfect fluid in mechanics, and having at each point a certain density and temperature defined by a certain equation of compressibility and expansion. (Duhem 1954: 155–156)

Wittgenstein talks about a similar notion of abstraction when he argues that in kinematics one abstracts away from actual physical properties.

In kinematics we talk

Resultados (Português) 1:

1. computacionais artefatosCiência da computação sustenta nossas páginas do Facebook, controla o tráfego aéreo em todo o mundo e garante que não será muito surpresos quando neva. Ele foi aplicado em álgebra, fabricação de carros, cirurgia a laser, bancário, gastronomia, astronomia e astrologia. Na verdade, é difícil encontrar uma área da vida que não foi fundamentalmente alterada e reforçada pela sua aplicação. Mas o que é que é aplicada? Quais são as coisas que dão substância à tais aplicações? A resposta banal é as entidades que constroem os cientistas da computação, os artefatos de ciência da computação, artefatos computacionais, se quiserem. Muito da filosofia do sujeito está preocupado com sua natureza, especificação, projeto e construção.1.1 dualidadeFolclore tem que artefatos computacionais cair em dois campos: hardware e software. Presumivelmente, o software inclui compiladores e sistemas de compreensão de linguagem natural Considerando que computadores portáteis e tablets são hardware. Mas como essa distinção é desenhada: como podemos delinear o que levamos para ser o software e o que levamos para ser hardware?Uma forma padrão identifica a distinção com o abstrato/físico um (veja a entrada sobre objetos abstratos) onde o hardware é considerado como sendo físico e software para ser abstrato. Infelizmente, isto não parece muito bem. Como mouro (1978) aponta, programas, que normalmente são vistos como software e, portanto, sob este Resumo de caracterização, podem também ser dispositivos físicos. Em particular, programas uma vez foram identificados com seqüências de alavanca físico puxa e empurra. Existem diferentes reações a esta observação. Alguns sugeriram que não há nenhuma distinção. Em particular, Suber (1988) argumenta que o hardware é um caso especial de software e mouro (1978), que a distinção é ontologicamente insignificante. Por outro lado, Duncan (2009 — ver outros recursos da Internet) insiste que há uma diferença importante, mas é uma que só podem ser feitas dentro de uma estrutura ontológica que suporta distinções mais finas do que o simples Resumo/físico um (por exemplo, B. Smith 2012). Irmak (2012) também acha que o software e hardware são diferentes: o software é um artefato abstrato, mas aparentemente não um padrão uma vez que tem propriedades temporais.Ou não o software/ferragem pode estabelecer distinção substancial, a maioria dos autores concordam que, enquanto um programa pode ser tomado como uma coisa abstrata, pode também ser sacado como uma sequência de operações físicas. Consequentemente, eles (por exemplo, Colburn 2000; Moor 1978) insistem que os programas têm uma dupla natureza: eles têm ambos um abstrato guise e um físico. Com efeito, uma vez que este é concedido, parece aplicar-se para a maioria dos artefatos computacionais. Por um lado, eles parecem ter uma forma abstrata que nos permite refletir e raciocinar sobre eles, independentemente de qualquer manifestação física. Isso certamente se aplica a dados abstrato tipos (Cardelli e Wegner 1985). Por exemplo, o tipo abstrato de dados lista consiste o tipo de operadora juntamente com operações que oferecem suporte a formação e a manipulação de listas. Mesmo que não explicitada, estas são determinadas por vários axiomas que corrigir suas propriedades, por exemplo, se um adiciona um elemento para a cabeça de uma lista para formar uma nova lista e em seguida, remove a cabeça, a velha lista é retornada. Da mesma forma, uma pilha abstrata é determinada por axiomas que regem push e pop operações. Usando tais propriedades um pode raciocinar sobre listas e pilhas de forma matemática, independentemente de qualquer implementação concreta. E é preciso. Um não pode conceber nem programa sem tal raciocínio; um não pode construir programas corretos sem raciocínio sobre os programas que se destinam a fazer. Se isto estiver certo, artefatos computacionais têm um pretexto abstrato que é separável da sua realização física ou implementação. Com efeito, este requisito para entreter dispositivos abstratos para apoiar o raciocínio sobre físicas não é exclusivo para ciência da computação. A necessidade de abstrair claramente feita pelo físico Duhem.Quando um físico faz experimento, duas representações muito distintas do instrumento no qual trabalha encher sua mente: um é a imagem do instrumento concreto que ele manipula na realidade; o outro é um modelo esquemático do mesmo instrumento, construído com o auxílio de símbolos fornecidos pelas teorias; e é neste instrumento ideal e simbólica que ele faz o seu raciocínio, e é para isso que ele se aplica as leis e fórmulas de física. Um manómetro, por exemplo, por um lado, é uma série de tubos de vidro, solidamente ligados um ao outro cheio com um líquido metálico muito pesado chamado mercúrio e o outro pelo fluido perfeito em mecânica, e tendo em cada ponto de uma certa densidade e temperatura definida por uma certa equação de compressão e expansão. (Duhem 1954:155-156)Wittgenstein fala sobre uma noção semelhante de abstração quando ele argumenta que em cinemática um resumos de propriedades físicas reais.Na cinemática falamos

Resultados (Português) 2:

1. Computacional Artefatos
Informática sustenta as nossas páginas do Facebook, controla o tráfego aéreo em todo o mundo, e garante que não vai ser muito surpreso quando neva. Ele tem sido aplicado na álgebra, fabricação de automóveis, a cirurgia a laser, bancário, e da gastronomia, astronomia e astrologia. Na verdade, é difícil encontrar uma área de vida que não foi fundamentalmente alterada e reforçada pela sua aplicação. Mas o que é que é aplicado? Quais são as coisas que dão substância a esses pedidos? A resposta é banal as entidades que os cientistas da computação, construir os artefatos da ciência da computação, artefatos computacionais, se você quiser. Grande parte da filosofia do sujeito está preocupado com a sua natureza, especificação, projeto e construção. 1.1 Dualidade Folclore diz que artefatos computacionais cair em dois campos: hardware e software. Presumivelmente, o software inclui compiladores e sistemas naturais de compreensão de linguagem enquanto que laptops e tablets são hardware. Mas como é esta distinção: como é que vamos traçar o que nós consideramos ser software e aquilo que considero ser hardware? A maneira padrão identifica a distinção com o resumo / física (veja a entrada em objetos abstratos) onde o hardware é levado para ser física e software a ser abstrato. Infelizmente, isso não parece muito certo. Como Moor (1978) aponta, programas, que são normalmente vistos como software, e, portanto, sob esta caracterização abstrata e também podem ser dispositivos físicos. Em particular, os programas foram uma vez identificados com seqüências de alavanca física puxa e empurra. Há diferentes reações a essa observação. Alguns têm sugerido que não há distinção. Em particular, Suber (1988) argumenta que o hardware é um caso especial de software, e Moor (1978) que a distinção é ontologicamente insignificante. Por outro lado, Duncan (2009-ver Outros recursos da Internet) insiste que há uma diferença importante, mas é aquela que só pode ser feito dentro de um quadro ontológico que suporta distinções mais finos do que um simples resumo / física (por exemplo, B. Smith 2012). Irmak (2012) também acha que software e hardware são diferentes:. Software é um artefato abstrato, mas, aparentemente, não um padrão, uma vez que tem propriedades temporais ou não a distinção software / hardware podem ser feitas substancial, a maioria dos autores concordam que, enquanto um programa pode ser tomado como uma coisa abstrata, mas também podem ser retirados como uma seqüência de operações físicas. Conseqüentemente, eles (por exemplo, Colburn 2000; Moor 1978) insistem que os programas têm uma natureza dupla: eles têm tanto um pretexto abstrato e um físico. Com efeito, uma vez que este é concedido, ao que parece a aplicar-se a maioria dos artefatos computacionais. Por um lado, eles parecem ter uma forma abstrata, que nos permite refletir e raciocinar sobre elas independentemente de qualquer manifestação física. Isso certamente se aplica aos tipos de dados abstratos (Cardelli e Wegner, 1985). Por exemplo, a lista de tipo abstrato de dados consiste no tipo de suporte, juntamente com as operações que suportam a formação e manipulação de listas. Mesmo que não explicitada, estes são determinados por vários axiomas que fixam suas propriedades, por exemplo, se alguém adiciona um elemento à cabeça de uma lista para formar uma nova lista e, em seguida, remove a cabeça, a antiga lista é retornada. Da mesma forma, uma pilha sumário é determinada por axiomas que regem as operações de push e pop. Usando essas propriedades pode-se raciocinar sobre listas e pilhas de uma forma matemática, independentemente de qualquer implementação concreta. E é preciso. Não se pode conceber nem programa sem tal raciocínio; não se pode construir programas corretos, sem raciocinar sobre o que os programas se destinam a fazer. Se isso é certo, artefatos computacionais têm um disfarce abstrato que é separável da sua realização física ou implementação. Com efeito, este requisito para entreter dispositivos abstratos para apoiar o raciocínio sobre os físicos não é exclusivo da ciência da computação. A necessidade de abstrair é claramente feito pelo físico Duhem. Quando um físico faz um experimento, duas representações muito distintas do instrumento em que ele está trabalhando preencher sua mente: uma é a imagem do instrumento concreto que ele manipula na realidade; o outro é um modelo esquemático do mesmo instrumento, construído com o auxílio de símbolos fornecidos pelo teorias; e é sobre este instrumento ideal e simbólica que ele faz o seu raciocínio, e é a ele que ele aplica as leis e fórmulas da física. Um manómetro, por exemplo, é, por um lado, uma série de tubos de vidro, solidamente ligados uns aos outros enchido com um líquido, designado mercúrio metálico muito pesados ​​e, por outro, o fluido perfeito em mecânica, e tendo em cada ponto de uma determinada densidade e temperatura definida por um certo equação de compressão e expansão. (Duhem 1954: 155-156) Wittgenstein fala sobre uma noção semelhante de abstracção quando ele argumenta que em uma cinemática abstrai de propriedades físicas reais. Em cinemática falamos